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

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

Лемма — (от греч. lemma — предположение) — в математике вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем. В логике — условноразделительное, или лемматическое, умозаключение (см.: Дилемма).

Лжеца Парадокс — один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: «Высказывание, которое я сейчас произношу, является ложным». Или: «Это высказывание ложно». Если высказывание ложно, то говорящий сказал правду и, значит, сказанное им не является ложью. Если же высказывание не является ложным, а говорящий утверждает, что оно ложно, то его высказывание ложно. Оказывается, таким образом, что, если говорящий лжет, он говорит правду, и наоборот.

Логика — (от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика, — наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или структурой, и не зависит от конкретного содержания входящих в него утверждений.

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

Логика Высказываний — или: Пропозициональная логика, — раздел логики, формализующий употребление логических связок «и», «или», «не», «если, то» и т. п., служащих для образования сложных высказываний из простых.

Логика Дедуктивная — см.: Дедукция.

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

Логика Квантовой Механики — логическая теория, цель которой — описание логических связей высказываний об объектах, исследуемых квантовой механикой.

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

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

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

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

Логика Научного Познания — или: Логика науки, применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано с практикой теоретического мышления и прежде всего с развитием науки.

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

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

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

Логика Предикатов — или: Функциональная логика, теория квантификации, кванторная логика, — основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие внутреннюю (субъектнопредикатную) структуру высказываний.

Логика Традиционная — см.: Традиционная логика.

Логика Эпистемическая — (от греч. episteme — знание) — раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как «полагает» («убежден»), «сомневается», «отвергает», «знает», «доказуемо», «неразрешимо», «опровержимо» т. п.

Логистика — в начале XX в. название формальной логики, изучаемой математическими методами, в частности с использованием аксиоматизации и формализации. Слово первоначально означало искусство вычисления или обычную арифметику.

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

Логическая машина — механическое, электромеханическое или электронно-вычислительное устройство, предназначенное для полуавтоматического или автоматического решения широкого круга математических и логических задач, для управления технологическими и производственными процессами, для оптимальных экономических расчетов, для обработки массивов информации, которые мозг человека не в состоянии охватить, для моделирования форм человеческого мышления.

Логическая правильность — соответствие законам и правилам формальной логики.

Логическая форма — способ связи содержательных частей рассуждения (доказательства, вывода и т. п.). В соответствии с основным принципом логики, правильность рассуждения зависит только от его формы и не зависит от его конкретного содержания. Само название «формальная логика» подчеркивает, что эта логика интересуется только формой рассуждения. Л. ф. представляется посредством логических констант и переменных.

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

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

Логические элементы автоматики — устройства, реализующие некоторые простые логические функции и функциональные преобразования в машинах, самостоятельно работающих по заданной программе.