Определение понятия. Требования к определению понятия

Появление в математике новых понятий, а значит, и новых терминов, обозначающих эти понятия, предполагает их определение.

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

Различают явные и неявные определения.

Явные определения имеют форму равенства, совпадения двух понятий, его можно представить в таком виде: а есть (по определению) b. Слова «есть (по определению)» обычно заменяют символом , и тогда определение выглядит так: а b.

Рассмотрим определение квадрата: «Квадратом называется прямоугольник с равными сторонами». В этом определении можно выделить определяемой понятие «квадрат» и определяющее понятие «прямоугольник с равными сторонами».

Примеры явных определений.

1)

видовое отличие

родовое понятие

определяемое понятие

Определение через род и видовое отличие. Оно имеет вид:

+

определяющее понятие

Примером такого определения является определение квадрата, данное выше.

Требования к определению через род и видовое отличие:

ü Определение должно быть соразмерным – объемы определяемого и определяющего понятия должно совпадать. Например, определение «Квадрат – это четырехугольник с равными сторонами» соразмерным не является, т.к. множество четырехугольников с равными сторонами – это множество ромбов.

ü В определении не должно быть порочного круга – нельзя определять понятие через само себя. Так, нельзя дать такое определение: «сложение называется действие, при котором числа складываются».

ü Определение должно быть ясным – значения терминов, входящих в определяющее понятие должны быть известны к моменту определении нового понятия. Например, нельзя определить квадрат как ромб с прямыми углами, если понятие «параллелограмм» еще не изучено.

ü Определение должно быть достаточным – в определении должны быть указаны все свойства, позволяющие однозначно выделять объекты, принадлежащие объему определяемого понятия. Например, в определении «Биссектрисой угла называется луч, делящий угол пополам» этим свойством не обладает, т.к. не указано, что луч выходит из вершины угла.

ü Определение не должно быть избыточным – не должно быть указано лишних свойств. Так, в определении «Ромбом называется параллелограмм, у которого все стороны равны и диагонали взаимно перпендикулярны» свойство, что диагонали взаимно перпендикулярны, является лишним.

2) Генетические – указывается способ образования определяемого объекта. Например: «Ломаной называется линия, состоящая из точек и соединяющих их отрезков

3) Индуктивные – указываются некоторые основные объекты теории и правила, позволяющие получать новые из уже имеющихся. Например: «Геометрической прогрессией называется числовая последовательность, каждый член которой, начиная со второго, равен предыдущему, умноженному на одно и то же число».

Неявные определения не имеют формы совпадения двух понятий. В них нельзя выделить определяемое и определяющее понятия.

Примеры неявных определений.

1) Контекстуальные – содержание нового понятия раскрывается через отрывок текста, через контекст. Пример: после записи 3 + х = 9 и перечня чисел 2, 3, 6 и 7 идет текст: «х – неизвестное число, которое надо найти. Какое из чисел надо подставить вместо х, чтобы равенство было верным? Это число 6». Из этого текста следует, что уравнение – это равенство с неизвестным числом, которое надо найти, а решить уравнение – это значит найти такое значение х, при подстановке которого в уравнение получается верное равенство.

2) Остенсивные – введение терминов путем показа, демонстрации объектов, которые этими терминами обозначают. Пример: 2 < 7, 2 · 4 > 5 – это неравенства.

Неявные определения часто используются в начальной школе.

Контрольные вопросы

1. Какие свойства считают существенными и несущественными для объекта?

2. Что понимают под объемом понятия?

3. Что понимают под содержанием понятия?

4. В каком отношении находятся объемы понятий, если понятия несовместимы, совместимы, тождественны, одно понятие является видовым по отношении к другому понятию?

5. Что значит – определить понятие?

6. Какие определения относят к явным и неявным?

7. Какие правила необходимо соблюдать, формулируя определения понятий через род и видовое отличие?

Глава 7. Математические доказательства

Дата добавления: 2014-01-04