Словарь терминов по логике

Последнее обновление: 29 Ноябрь 2018.

Наука — одна из сфер человеческой деятельности, функцией которой является производство и систематизация знаний о природе, обществе и сознании.

Не Вытекает, Не Следует — (лат. поп sequitur) — логическая ошибка в доказательстве некоторого тезиса, заключающаяся в том, что между аргументами доказательства и его тезисом отсутствует логическая связь, вследствие чего аргументы не обосновывают истинности доказываемого тезиса.

Недоказанное Основание Доказательства — логическая ошибка, заключающаяся в том, что в число аргументов доказательства включается положение, которое само нуждается в доказательстве (см.: Предвосхищение основания).

Независимость — (в логике и математике) — невыводимость предложения некоторой теории из данного множества ее предложений, напр. из системы ее аксиом. Система аксиом называется независимой (неизбыточной), если каждая входящая в нее аксиома невыводима из других аксиом.

Неклассическая Логика — см.: Логика неклассическая.

Необходимость — (логическая) — одна из модальных характеристик высказывания (наряду с «возможностью», «случайностью» и «независимостью»); необходимым является высказывание, отрицание которого логически невозможно.

Необходимые и Достаточные Условия — (в логике и математике) — условия, устанавливающие зависимость истинности к.л. утверждения А от наличия условий, фиксируемых в другом утверждении Я Необходимыми условиями истинности утверждения А называются условия, без соблюдения которых А не может быть истинным.

Непосредственное Умозаключение — (в традиционной логике) — умозаключение из одной посылки. К числу Н. у. относятся обращение суждений, превращение суждений, противопоставление предикату, некоторые умозаключения по логическому квадрату, напр. от истинности общих суждений (А и Е) к истинности соответствующих частных суждений (I и О) и др.

Неправильное Умозаключение — см.: Умозаключение.

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

Непротиворечивость — свойство предложений некоторой теории (в случае аксиоматической теории — системы ее аксиом), заключающееся в невыводимости из них противоречия.

Непротиворечия Закон — логический закон, согласно которому высказывание и его отрицание не могут быть одновременно истинными.

Несобственные Символы — см.: Символы собственные и несобственные.

Неточность — характеристика употребления термина (понятия), обозначающего недостаточно определенный или нечетко очерченный класс объектов.

Нечеткое Множество — множество с нечеткими границами, когда переход от принадлежности элементов множеству к непринадлежности их множеству происходит постепенно, нерезко.

Неясность — характеристика употребления термина (понятия) с недостаточно определенным, расплывчатым смыслом.

Номологическое Высказывание — (от греч. nomos — закон, logos — учение, понятие) — высказывание, выражающее закон природы. В логике научного познания проблема Н. в. связана с попытками сформулировать формальнологические критерии, позволяющие отличать Н.в. от случайно истинных общих высказываний.

Норма — см.: Нормативное высказывание.

Нормальное Множество — см.: Противоречие в явном определении.

Нормативная Логика — см.: Деонтическая логика.

Нормативная Модальность — см.: Деонтическая модальность.

Нормативное Высказывание — или: Деонтическое высказывание, — высказывание, устанавливающее какую-то норму поведения.

— см.: Логика неклассическая.