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

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

Модус Поненс — (лат. modus ponens) - термин средневековой логики, обозначающий правило вывода и соответствующий ему логический закон. Правило вывода М. п., обычно называемое правилом отделения (иногда гипотетическим силлогизмом), позволяет от утверждения...

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

Логическое Противоречие — см.: Противоречие.

Ложь — см. Истинностное значение.

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

Модус Толленс — (лат. modus tollens) - термин средневековой логики, обозначающий следующую схему рассуждения: (Если A, то В; неверно В. = Неверно А). Здесь A и В - некоторые высказывания; "если А, то В" и "неверно, что В" ("не-В") - посылки; "неверно, что...

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

Метод — (от греч. methodos - путь, способ исследования, обучения, изложения) - совокупность приемов и операций познания и практического преобразования действительности; способ достижения определенных результатов в познании и практике. Применение того...