Лемма
(от греч. lemma — предположение) - в математике вспомогательное предложение, употребляемое при доказательстве одной или нескольких теорем. В логике ... | Лжеца Парадокс
- один из наиболее известных логических парадоксов. В простейшем его варианте человек произносит одну фразу: «Я лгу». Или говорит: ... |
Логика
(от греч. logos — слово, понятие, рассуждение, разум), или: Формальная логика, — наука о законах и операциях правильного мышления. ... | Логика Времени
или: Временная логика, — раздел современной модальной логики, изучающий логические связи временных утверждений, т. е. утверждений, в которых временной ... |
Логика Высказываний
или: Пропозициональная логика, — раздел логики, формализующий употребление логических связок «и», «или», «не», «если, то» и т. п., служащих ... | Логика Дедуктивная
см.: Дедукция. ... |
Логика Изменения
- раздел современной логики, занимающийся исследованием логических связей высказываний об изменении и становлении материальных или идеальных объектов. Л.и. относится ... | Логика Квантовой Механики
- логическая теория, цель которой — описание логических связей высказываний об объектах, исследуемых квантовой механикой. Переворот, произведенный в физическом ... |
Логика Классическая
- раздел современной (математической, символической) логики, включающий классическую логику высказываний и классическую логику предикатов. Л.к. опирается на двузначности принцип, ... | Логика Классов
- раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. ... |
Логика Комбинаторная
(от лат. combinare — соединять, сочетать) — одно из направлений в математической логике, занимающееся анализом понятий, которые в рамках ... | Логика Многозначная
см.: Многозначная логика. ... |
Логика Научного Познания
или: Логика науки, -применение идей, методов и аппарата логики в анализе научного познания. Развитие логики всегда было тесно связано ... | Логика Неклассическая
- совокупность логических теорий, возникших в известной оппозиции к логике классической и являющихся во многом не только критикой последней ... |
Логика Норм
см.: Деонтическая логика. ... | Логика Отношений
- раздел логики, изучающий свойства высказываний об отношениях между объектами различной природы. Элементарными высказываниями об отношениях являются высказывания вида ... |
Логика Предикатов
или: Функциональная логика, теория квантификации, кванторная логика, - основной раздел современной (математической, символической) логики, в котором описываются выводы, учитывающие ... | Логика Традиционная
см.: Традиционная логика. ... |
Логика Эпистемическая
(от греч. episteme - знание) - раздел модальной логики, исследующий логические связи высказываний, включающих такие понятия, как «полагает» («убежден»), ... |