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