Явные и неявные определения

Явными называются такие определения, в которых устанавливаются существенные признаки определяемого предмета и имеющие вид Dfd==Dfn.

Неявными называются определения, в которых содержание того или иного понятия выводится из отношений того понятия к другим понятиям в некотором контексте.

Основными видами неявных определений являются: контекстуальные, индуктивные и определения через аксиомы.

Контекстуальными называются такие определения, в которых смысл того или иного термина выясняется в совокупности терминов и высказываний являющейся контекстом.

Контекстуальное определение имеет место тогда, тогда смысл, значение неизвестного термина выясняются в смысла прочитанного отрывка без использования словаря.

Индуктивными называются такие определения, которые позволяют из исходных объектов теории путем применения к ним определенных операций строить новые объекты этой теории.

Таковы, например, определения натурального числа в математике или формулы в математической логике.

Аксиоматическими называются определения исходных понятий теории через аксиомы. Такими, например, является определения исходных понятий в современной геометрии («точка», «прямая», «параллельная» и др.).

Наиболее важным видом явного определения является определение через ближайший род и видовое отличие.

Не нашли, что искали? Воспользуйтесь поиском: