Логика высказываний и теория вывода
Зиновьев А.А.
Настоящая книга, написанная выдающимся отечественным философом и логиком А. А. Зиновьевым, посвящена проблеме логического следования, которая, по мнению автора, является одной из центральных теоретических проблем современной логики. Проблема логического следования заключается, коротко говоря, в следующем: можно ли классическую логику высказываний непосредственно рассматривать как общую теорию вывода, дающую описание привычно ясных правил вывода если нет, то можно ли для логического следования построить систему, аналогичную построениям в классической логике высказываний? При исследовании этой проблемы автор апеллирует к интуитивному пониманию правил вывода, к эмпирическим данным рассуждений и т. п.
Categories:
Year:
2010
Publisher:
URSS
Language:
russian
Pages:
156
File:
PDF, 15.63 MB
IPFS:
,
russian, 2010