Что такое определение
Кратко: определение — это точное и однозначное объяснение значения термина или понятия внутри данной дисциплины. Оно вводится для устранения двусмысленности и служит основанием для дальнейших рассуждений.
Подробно по пунктам
- Что делает определение
- Назначает смысл термину/понятию.
- Устанавливает границы применения термина (к каким объектам он относится).
- Делает язык науки точнее: на основе определения можно строить доказательства и вычисления.
- Какой бывает характер определения в математике и науке
- Лексическое (словарное) определение: даёт обычное смысловое значение термина. Пример: «Прямоугольник — это параллелограмм с прямыми углами».
- Стииппулятивное ( stipulative) определение: вводим новый термин и сразу ему даём смысл, который не обязательно совпадает с общепринятым. Пример: «Будем называть ‘квазичастицу’ число так же, как и частицу» — вводим новое слово.
- Прецизирующее (precising) определение: снимает неясности в определённой задаче, делает понятие более конкретным.
- Теоретическое определение: формулируется через более базовые понятия теории (часто усложняет пояснение). Пример: «множество натуральных чисел определяется как множество, которое удовлетворяет аксиомам Пеано» (определение через теорию).
- Правила хорошего определения
- Точность и однозначность: каждому термину даётся ровно одно ясное значение.
- Не использовать definiendum на правой стороне определения (никуда не должно быть прямо или косвенно указано само это же слово).
- Определение должно быть применимо к нужной области (не слишком широкое и не слишком узкое).
- Неправильно или неэффективно определять через слишком сложные или неясные признаки.
- Приводить примеры и контрпримеров, чтобы показать рамки применения.
- Четко уточнять область определения (например, «для всех натуральных чисел»).
- Примеры
Прямоугольник. Хорошее определение: «Прямоугольник — это параллелограмм, у которого все углы равны 90 градусов.» Примечание: определение вводит смысл термина «прямоугольник» и указывает, какие объекты к нему относятся.
Простое число. Хорошее определение: «Простое число — целое число большe 1, которое делится только на 1 и на само себя.» Пример: 2, 3, 5 — простые; 4 — не простое.
Модуль числа. Хорошее определение: «Модуль числа a — неотрицательное число |a| такое, что |a| = a при a ≥ 0 и |a| = −a при a < 0.» (или как квадратный корень из a2: |a| = sqrt(a^2).)
Ещё одно примитивное определение: «Натуральное число — это целое число ≥ 0» (вариант определения: 1, 2, 3, ... зависит от принятой конвенции). В разных курсах встречаются разные формулировки, но смысл ясно задаётся.
- Что не является определением
- Утверждение, которое говорит что-то о мире без формирования нового смысла, например: «π равно примерно 3,14159» — это не определение, это характеристика числа.
- Теорема или утверждение без объяснения значения термина — тоже не определение.
- Быстрая справка: как проверить, что это определение
- Можно ли применить определение к примерам и не примеру?
- Вдобавок: не содержит самоупоминания definiendum в правой части.
- Является ли оно достаточным и ясным для дальнейших рассуждений?
Если хочешь, могу адаптировать объяснение под конкретный предмет и класс или привести ещё примеры и задания на составление определений. Скажи, для какого уровня обучения и какие темы тебе удобнее разобрать дальше.
