Классическая логика

Классическая логика

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

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


Логика
Question book-4.svg
 В этой статье не хватает ссылок на источники информации.
Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена.
Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники.
Эта отметка установлена 13 мая 2011.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Полезное


Смотреть что такое "Классическая логика" в других словарях:

  • классическая логика — см.: Логика классическая …   Словарь терминов логики

  • ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно …   Философская энциклопедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Классическая точка зрения — Классика (от лат. classicus  образцовый) Классика  период в истории древнегреческого искусства (V в. до н. э.  сер. IV в. до н. э.). Классика  в широком смысле «образцовый, показательный, характерный, представительный, типичный». Возникший в… …   Википедия

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

  • КЛАССИЧЕСКАЯ НЕМЕЦКАЯ ФИЛОСОФИЯ —         период развития нем. философии (кон. 18 1 я пол. 19 вв.), когда был создан преемственный ряд систем филос. идеализма (Кант, Фихте, Шеллинг, Гегель) и материализм Фейербаха. Термин «К. н. ф.» употребляется Ф. Энгельсом в его работе «Людвиг …   Философская энциклопедия

  • КЛАССИЧЕСКАЯ НЕМЕЦКАЯ ФИЛОСОФИЯ — – философское направление 2 й пол. 18 и 1 й пол. 19 в. Родоначальник его был И.Кант,создатель трансцендентального идеализма.Его продолжатели и вместе с тем критики, развившие собственные философские системы, – И.Г.Фихте, Ф.В.И.Шеллинг,… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»