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