koob.ru

Комплексная логика

Автор: Зиновьев А.А. | Раздел: Логика

В настоящей книге, написанной выдающимся отечественным философом и логиком А.А. Зиновьевым, дается систематическое изложение формального аппарата разработанной автором комплексной логики.

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

Добавить отзыв о книге
Авторы сайта
Владимир Никонов & Георгий Ефимов
Библиотека «Куб»
Поддержать проектПодписаться