Модальность — (от лат., modus — мера, способ)  — оценка выска­зывания, данная с той или иной точки зрения. Модальная оценка выражается с помощью понятий «необходимо», «возможно», «до­казуемо», «опровержимо», «обязательно», «разрешимо» и т. п. О предмете S можно...

Нечеткое Множество —  - множество с нечеткими границами, когда переход от принадлежности элементов множеству к непри- надлежности их множеству происходит постепенно, нерезко. В классической логике элемент х из соответствующей предмет­ной области принадлежит или не...

Модель — (от лат. modulus — мера, образец, норма)  — а) в самом широком смысле — любой мысленный или знаковый образ модели­руемого объекта (оригинала). К их числу относятся гносеологиче­ские образы (воспроизведение, отображение исследуемого объек­та или...

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

Многозначности Принцип — см.: Принцип многозначности.

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

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

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

Модус Понендо Толленс — (лат. modus ponendo tollens)  - тер­мин средневековой логики, обозначающий следующие схемы рас­суждения: Здесь A и В — некоторые высказывания; «либо A, либо В» и «A» — посылки; «неверно, что B» («не-В») — заключение; горизонталь­ная черта стоит...

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