Металогика
Метало́гика, область метатеоретических исследований проблем логики. См. Метатеория.

Метатеория
Метатео́рия — изучает структурные, дедуктивные, семантические и пр. свойства какой-либо другой (предметной) теории, представленной обычно в виде формальной системы или исчисления.

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

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

Модус
Мо́дус (от лат. modus),

Моррис Чарльз
Мо́ррис Чарльз (полн. Чарльз Уильям Моррис, Charles William Morris) (23 мая 1901, Денвер, Колорадо — 15 января 1979, Гейнсвилл, округ Алачуа, Флорида) — американский философ, один из основателей...

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

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

Определение (дефиниция)
Определе́ние (дефиниция),

Определение через абстракцию
Определе́ние че́рез абстра́кцию — способ описания (выделения, «абстрагирования») не воспринимаемых чувственно («абстрактных») свойств предметов путем задания на предметной области отношения типа...

Опровержение
Опроверже́ние — обоснование ложности утверждения (мнения, суждения) или совокупности утверждений (теории). Опровержением может служить указание на факт, не совместимый с истинностью утверждения или...

Отрицание (логический вариант частицы не)
Отрица́ние, логический эквивалент оборота «неверно, что...» или просто частицы «не»; операция, формализующая логические свойства этих слов.

Парадокс
Парадо́кс в логике — противоречие, полученное в результате логически формально правильного рассуждения, приводящее к взаимно противоречащим заключениям. Термин «парадокс» возник в античной философии...

Паралогизм
Паралоги́зм — непреднамеренная логическая ошибка; противопоставляется софизму — ошибке, совершаемой в рассуждениях (диспутах) намеренно.

Переменная
Переме́нная в логике, неопределенное имя предмета из некоторой выделенной предметной области — области значений этой переменной.

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

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

Положительная логика
Положи́тельная ло́гика, совокупность логических теорий, в которых изучаются способы рассуждений, не связанные с опровержениями; не содержит операции отрицания.

Пор-рояля логика
Пор-роя́ля ло́гика, логическое учение, основано на принципах философии Декарта и Паскаля; систематически изложена в книге близких к монастырю Пор-Руаяль А. Арно и П. Николя «Логика, или Искусство...

Постулат
Постула́т (от лат. postulatum — требование),