koob.ru

Логика высказываний и теория вывода

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

Книга «Логика высказываний и теория вывода», написанная выдающимся отечественным философом и логиком А.А. Зиновьевым, посвящена проблеме логического следования, которая, по мнению автора, является одной из центральных теоретических проблем современной логики.

Проблема логического следования заключается, коротко говоря, в следующем: можно ли классическую логику высказываний непосредственно рассматривать как общую теорию вывода, дающую описание привычно ясных правил вывода; если нет, то можно ли для логического следования построить систему, аналогичную построениям в классической логике высказываний?

При исследовании этой проблемы автор апеллирует к интуитивному пониманию правил вывода, к эмпирическим данным рассуждений и т.п.

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