Определение (логика): различия между версиями

[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
уточнение
Строка 23:
 
=== Явные определения ===
КогдаОпределения, даныв дефиденткоторых иопределяемое дефиниция,равно ив междуизвестном нимиотношении устанавливаетсяопределяемому [[отношение(<math>Dfd\equiv равенства]]Dfn</math>). Родовой признак указывает на тот круг предметов, из числа которых надо выделить определяемый предмет «прибор». (напр. «барометр — это прибор для измерения атмосферного давления»)
 
=== Генетическое определение ===
Определение предмета путём указания на способ, которым образуется только данный предмет и никакой другой. Пример: «кислоты — это вещества, образующиеся из кислотных остатков и атомов водорода».
 
=== Контекстуальное определение ===
Позволяет понять незнакомое слово через [[контекст]] ([[уравнение]]).
 
=== Неявные определения ===
Строка 39 ⟶ 36 :
=== Индуктивное ([[Рекурсивное определение|рекурсивное]]) определение ===
Дефидент используется в выражении понятия, которое ему приписывается в качестве его смысла (см.: «[[натуральное число]]»).
 
=== Контекстуальное определение ===
Позволяет понять незнакомое слово через [[контекст]] ([[уравнение]]).
 
=== Остенсивное «определение» ===