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

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

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

33. Реальные
 С семантической точки
зрения
 Действительно
существующие объекты
 С прагматической точки
зрения
 Те, что стремятся
придать точное
выражение языковым
выражениям
 С семантической точки
зрения
 Несуществующие
объекты
 Абстрактные объекты
различных наук
 С прагматической точки
зрения
 Те, что даются на время
для каких-либо
конкретных целей
Номинальные

34. Неконтекстуальные
 Явные определения:
 Имени
 Предикатора
 Явные определения
 Функтора
 Логической константы
 Неявные определения
Контекстуальные