Абстрактно-дедуктивный метод
Дескрипциями называются определения математических объектов путем указания их свойств (“То число, которое будучи умножено на длину диаметра, дает длину его окружности” - дескрипция числа p).
Неявные определения объектов не содержат четкого и однозначного определяющего элемента, в них содержание определяемого может быть установлено через некоторый контекст.
Номинальные и реальные определения. Все определения, которые применяются в математике и других науках, делятся на номинальные и реальные, в зависимости от того, что определяется - знаковое выражение (термин, символ) или реальный объект, обозначаемый им. С помощью номинального определения вводится новый термин, символ или выражение как сокращения для более сложных выражений из ранее введенных терминов или символов, или уточняется значение уже введенного термина или символа. Номинальные определения являются средством обогащения языка науки и уточнения семантики его выражений (“Квадратным корнем из неотрицательного числа а называется такое неотрицательное число х, что х2 = а”).
С помощью реальных определений фиксируются характеристические свойства самих определяемых объектов. Деление определений на номинальные и реальные не связано с их формальной структурой. Одно и то же определение можно представить и как номинальное, и как реальное. Например, пусть дано реальное определение: «Пятиугольник – есть плоская геометрическая фигура, ограниченная пятью сторонами». Это же определение можно переформулировать как номинальное: «Пятиугольником называется плоская геометрическая фигура, ограниченная пятью сторонами».
Контекстуальные и индуктивные определения. В математике начальных классов часто применяются контекстуальные определения, в которых определение нового неизвестного термина, понятия выясняется из смысла прочитанного, сводится к указанию содержащих его контекстов («больше», «меньше», «равно»).
Индуктивными называются определения, которые позволяют из сходных объектов (теории) путем применения к ним конкретных операций получать новые объекты. Например, по индукции вводит c я определение натурального числа в математике.
Аксиоматические определения. Если определения исходных понятий даются посредством исходных понятий некоторой теории через ее аксиомы, то это аксиоматические определения. При аксиоматическом построении математической теории некоторые понятия остаются неопределенными (например, точка, плоскость и расстояние в аксиоматике А.Н. Колмогорова). Определением этих понятий можно считать систему аксиом, описывающих их свойства.
Определения через род и видовые отличия. Классическими определениями называются определения через род и видовое отличие. Их можно рассматривать как частный вид номинальных определений. В них определяемое выделяется из предметов некоторой области, которая при этом явно упоминается в определении (род), путем указания характеристического свойства определяемого (видовое отличие). Например:
«Квадрат - прямоугольник с равными сторонами».
«Ромб - параллелограмм, у которого все стороны равны».
«Параллелограммом называется четырехугольник, противоположные стороны которого параллельны».
«Прямоугольник есть параллелограмм с прямым углом».
Общая схема определения “через ближайший род и видовое отличие” может быть записана на языке множеств (классов):
B = { x / x € A и P (x) }
(класс B состоит из объектов x, принадлежащих A - ближайшему роду и обладающих свойством P - видовое отличие) или на языке свойств:
x € B <=> x € A и P (x), или B (x) <=> A (x) и P(x)
(объект x обладает свойством В тогда и только тогда, когда он обладает свойством А и свойством Р).
В школьном курсе математике определения через род и видовое отличие: Длина ломаной. Периметр многоугольника (прямоугольника, квадрата). Квадрат. Куб. Круг. Радиус окружности (круга). Биссектриса угла. Развернутый угол. Прямой угол. Градус. Острый угол. Тупой угол. Виды треугольников по величине углов. Фигуры, симметричные относительно точки (центр симметрии). Перпендикулярные и параллельные прямые.