1. Горбатова Ю.В.

2. Определение – логическая
процедура точного смысла
языковым выражениям
(терминам языка)

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

4. ВАЖНО!
Всякое определение, независимо от
целей его введения, представляет собой
простую констатацию наличия
соответствия между языковым
выражением и его смыслом.
Такая констатация всегда является
конвенцией об употреблении языковых
конструкций.

5. К отдельному
определению К системе определений
 Определение  Система
должно быть: определений не
 Ясным должна содержать
 Четким «порочного круга»

6.  Остенсивное «определение» (лат. Ostensio)
 Описание
 Сравнение

7. Это определения, которые задаются лингвистической
конструкцией следующего вида:

8. А(t) – определяемая часть
(definiendum)
t – определяемый термин
В – определяющая часть
(definiens)

9.  Определяемый термин не должен входить в
определяющую часть.
 Иначе – ошибка (тавтология).
 Определение должно быть соразмерным
 Иначе – ошибка
 Слишком широкое определение
Кузен – сын близкого родственника

10.  Определяемый термин не должен входить в
определяющую часть.
 Иначе – ошибка (тавтология).
 Определение должно быть соразмерным
 Иначе – ошибка
 Слишком широкое определение
Кузен – сын близкого родственника

11.  Определяемый термин не должен входить в
определяющую часть.
 Иначе – ошибка (тавтология).
 Определение должно быть соразмерным
 Иначе – ошибка
 Слишком широкое определение
 Слишком узкое определение
Кузен – сын родного брата отца

12.  Определяемый термин не должен входить в
определяющую часть.
 Иначе – ошибка (тавтология).
 Определение должно быть соразмерным
 Иначе – ошибка
 Слишком широкое определение
 Слишком узкое определение
Кузен – сын родного брата отца

13.  Определяемый термин не должен входить в
определяющую часть.
 Иначе – ошибка (тавтология).
 Определение должно быть соразмерным
 Иначе – ошибка
 Слишком широкое определение
 Слишком узкое определение
 «Как попало»
Кузен – чей-либо родственник или знакомый

14.  Определяемый термин не должен входить в
определяющую часть.
 Иначе – ошибка (тавтология).
 Определение должно быть соразмерным
 Иначе – ошибка
 Слишком широкое определение
 Слишком узкое определение
 «Как попало»
Кузен – чей-либо родственник или знакомый

16. I. По характеру дефиниендума

17.  Здесь A(t) – имя собственное некоторого предмета
Пример:
Александр Сергеевич Пушкин – автор романа
«Евгений Онегин»

18. 2.1 Если A(t) – высказывательная форма вида
П( 1, 2, …, n) – это определение предиката
Пример:
Человек – это двуногое бесперое существо.
2.2 Если А(t) – выражение, содержащее знак логической
константы, - это определение логической константы
Пример:
(А B) Df ( А ∨ В)

19. 3.1 Если A(t) – выражение вида Ф( 1, 2, …, n) – это
определение предметного функтора
Пример:
(х,у) =Df (x’ + 2ху + y’)
3.2 Если А(t) – выражение, содержащее знак операции
над множествами, - это определение множественного
оператора
Пример:
W А( ) W B( ) Df W (А( ) & B( ))

20. II. По характеру дефиниенса

21.  В определяющей части указывается на способ
порождения предмета.
Пример:
Круг есть фигура,
получающаяся в
результате вращения
отрезка прямой вокруг
одного из его концов в
плоскости.

22.  В определяющей части указывается на
предназначение предмета.
Пример:
Дневные ходовые огни –
внешние световые приборы,
предназначенные для
улучшения видимости
движущегося
транспортного средства
спереди в светлое время
суток.

23.  В определяющей части указывается на
структурные или внешние особенности объекта,
его атрибуты.
Пример:
Ромб есть
четырехугольник с
равными сторонами.

24.  В определяющей части указываются все предметы,
подпадающие под определяемый термин.
Пример:
День недели – это
понедельник,
вторник, среда,
четверг, пятница,
суббота,
воскресенье.

25.  В определяющей части указывается процедура, с
помощью которой можно установить, подпадает
данный предмет под определяемый термин или нет.
Пример:
Щелочь – это
жидкость,
окрашивающая
лакмусовую бумагу в
синий цвет.

26. С ⥬Df D, K(C)
K(C/D)

27. Это определения, которые задаются лингвистической
конструкцией следующего вида:

28.  Особенности:
 Определяемый термин может находиться в
определяющей части
 Не действует правило замены по дефиниции
 Выражения, составляющие дефиниес, являются
высказываниями

30.  С их помощью дают определение классам
(множествам). Пример:
Определение правильно
построенной формулы в языке
КЛВ :
 Состав: 1. Всякая пропозициональная
 Базис индукции переменная является ппф.
2. Если А – ппф, то А – ппф.
 Индуктивный шаг (шаги) 3. Если А и В – ппф, то (А&В),
 «Ничто иное не является t» (А∨В), (А В) – ппф.
4. Ничто иное не является ппф.

31.  С их помощью дают определение функциям
Пример:
 Состав:
 Базис рекурсии 1. х + 0 = х
2. х + y’ = (x + y)’
 Рекурсия

32.  С их помощью дают определение исходным
терминам аксиоматической системы
Пример:
Термины «точка»,
«плоскость», «пустота»
в геометрии Евклида