Результаты В. А. Смирнова в области современной формальной логики.

Аннотация

Сфера интересов В. А. Смирнова как логика широка и разнообразна. Мы по возможности попытаемся охватить все его основные логические результаты. Несомненно, центральное место занимает его докторская диссертация “Формальный вывод и логические исчисления” [1972b]2, богатая по своим идеям и результатам, представляющим большой интерес и сейчас (по ряду причин эта работа осталась неизвестной на Западе). Естественно, поэтому, начать с обзора результатов, полученных в этой работе. Структура нашего аналитического обзора будет выглядеть следующим образом:

I. “Формальный вывод и логические исчисления”

II. Релевантные логики

III. Классификация логических исчислений

IV. Импликативные логики и их классификация

V. Определимость и логические отношения между теориями
VI. Модально-временные логики

VII. Комбинированные логики

VIII. Многомерные логики

IX. Силлогистика

X. Системы Лесневского

XI. Паранепротиворечивые логики

XII. Полностью свободные логики

XIII. Теория доказательств