Подробное описание документа

Васюков В. Л.
   Категорная логика / Васюков В. Л. ; РАН. Ин-т философии. - М. : АНО Ин-т логики, 2005. - 194 с. - Библиогр.: с. 185-190. - ISBN 5-85593-145-5.

Монография посвящена исследованию категорных дедуктивных систем, представляю- щих собой логическое исчисление, в котором наряду с формулами присутствуют коды дока-зательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория — это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует.
Книга представляет интерес для логиков, философов и математиков и может бьпь использована в исследовании теоретических и метатеоретических вопросов современной логики.