ОПРЕДЕЛЕНИЕ ПОНЯТИЯ. ВИДЫ ОПРЕДЕЛЕНИЙ

Заключительным этапом формирования понятия является его определение. Определить понятие - это значит перечислить его существенные свойства. Определение поня­тия - это предложение, в котором раскрывается содержание понятия, т. е. совокупность условий, необходимых и достаточных для выделения класса объектов, принадлежащих определяемому понятию.

Явные и неявные определения. Явные и неявные определения различаются в зависимости от своей структуры. Явные определения содержат прямое указание на существенные признаки определяемого понятия; определяемое и определяющее в них выражено четко и однозначно. Например, «Углом называется фигура, образованная двумя лучами, выходящими из одной точки»; «Прямоугольник есть параллелограмм с прямым углом». Явное определение объектов, обозначение выражений, дескрипция («Выражение a+a+...+ a (n слагаемых) ввиду его важности кратко обозначают na. Символ na обозначает сумму n слагаемых, каждое из которых равно a»). Дескрипциями называются определения математических объектов путем указания их свойств (“То число, которое будучи умножено на длину диаметра, дает длину его окружности” - дескрипция числа p). Неявные определения объектов не содержат четкого и однозначного ределяющего элемента, в них содержание определяемого может быть установлено через некоторый контекст.

Номинальные и реальные определения.

Все определения, которые применяются в математике и других науках, делятся на номинальные и реальные, в зависимости от того, что определяется - знаковое выражение (термин, символ) или реальный объект, обозначаемый им. С помощью номинального определения вводится новый термин, символ или выражение как сокращения для более сложных выражений из ранее введенных терминов или символов, или уточняется значение уже введенного термина или символа. Номинальные определения являются средством обогащения языка науки и уточнения семантики его выражений (“Квадратным корнем из неотрицательного числа а называется такое неотрицательное число х, что х² = а”). С помощью реальных определений фиксируются характеристические свойства самих определяемых объектов. Деление определений на номинальные и реальные не связано с их формальной структурой. Одно и то же определение можно представить и как номинальное, и как реальное. Например, пусть дано реальное определение: «Пятиугольник – есть плоская геометрическая фигура, ограниченная пятью сторонами». Это же определение можно переформулировать как номинальное: «Пятиугольником называется плоская геометрическая фигура, ограниченная пятью сторонами».

Контектуальные и индуктивные определения. В математике начальных классов часто применяются контекстуальные определения, в которых определение нового неизвестного термина, понятия выясняется из смысла прочитанного, сводится к указанию содержащих его контекстов («больше», «меньше», «равно»).

Индуктивными называются определения, которые позволяют из сходных объектов (теории) путем применения к ним конкретных операций получать новые объекты. Например, по индукции вводит c я определение натурального числа в математике.

Аксиоматические определения.

Если определения исходных понятий даются посредством исходных понятий некоторой теории через ее аксиомы, то это аксиоматические определения. При аксиоматическом построении математической теории некоторые понятия остаются неопределенными (например, точка, плоскость и расстояние в аксиоматике А.Н. Колмогорова). Определением этих понятий можно считать систему аксиом, описывающих их свойства.

Определения через род и видовые отличия. Классическими определениями называются определения через род и видовое отличие. Их можно рассматривать как частный вид номинальных определений. В них определяемое выделяется из предметов некоторой области, которая при этом явно упоминается в определении (род), путем указания характеристического свойства определяемого (видовое отличие).

В школьном курсе математике определения через род и видовое отличие: Длина ломаной. Периметр многоугольника (прямоугольника, квадрата). Квадрат. Куб. Круг. Радиус окружности (круга). Биссектриса угла. Развернутый угол. Прямой угол. Градус. Острый угол. Тупой угол. Виды треугольников по величине углов. Фигуры, симметричные относительно точки (центр симметрии). Перпендикулярные и параллельные прямые.

Генетические определения.

Широкое распространение в школьном курсе математики получили генетические (конструктивные) определения, т.е. такие определения, в которых описывается или указывается способ его происхождения, образования, возникновения, построения. Генетические определения представляют собой разновидность определения через род и видовые отличия. Анализируя школьный курс математики, можно выделить следующие генетические определения понятий: Отрезок. Луч. Равносторонний треугольник. Координатный луч. Равные фигуры. Площадь прямоугольника. Площадь квадрата. Объем прямоугольного параллелепипеда. Окружность. Дуга окружности. Сектор. Угол и его элементы. Равные углы. Длина окружности. Площадь круга.

Определение через абстракцию. Определения, связанные с выделением такого типа объектов через установление между ними отношений равенства, равнозначности, тождества, получили название определений через абстракцию. В таком определении данное математическое понятие определяется как семейство классов эквивалентности по некоторому отношению эквивалентности. Например, натуральное число n - это характеристика класса эквивалентных конечных множеств, состоящих из n элементов.

Остенсивные определения - определения значений слов путем непосредственного показа, демонстрации предметов. Часто применяются в начальной школе (понятия отрезка, окружности, угла и др.). Постепенно с развитием математического опыта и накоплением определенного числа понятий на смену остенсивным понятиям приходят вербальные понятия. Вербальные понятия – это понятия, когда значения неизвестных выражений определяются через выражения, значения которых известны.

Определение называется корректным, если выполняются два условия:

а) отсутствует порочный круг и связанная с ним возможность исключения нововведенных терминов (“Решение уравнения - это то число, которое является его решением”);
б) отсутствует омонимия: каждый термин встречается не более одного раза в качестве определяемого.