Настоящая книга, написанная выдающимся философом и логиком А.А.Зиновьевым, посвящена проблеме логического следования, которая, по мнению автора, является одной из центральных теоретических проблем современной логики. Проблема логического следования заключается, коротко говоря, в следующем: можно ли классическую логику высказываний непосредственно рассматривать как общую теорию вывода, дающую описание привычно ясных правил вывода; если нет, то можно ли для логического следования построить систему, аналогичную построениям в классической логике высказываний? При исследовании этой проблемы автор апеллирует к интуитивному пониманию правил вывода, к эмпирическим данным рассуждений и т.п.
Рекомендуется философам, логикам, методологам науки, студентам и аспирантам соответствующих специальностей.
Nastoyashchaya kniga, napisannaya vydayushchimsya filosofom i logikom A.A.Zinovevym, posvyashchena probleme logicheskogo sledovaniya, kotoraya, po mneniyu avtora, yavlyaetsya odnoy iz tsentralnykh teoreticheskikh problem sovremennoy logiki. Problema logicheskogo sledovaniya zaklyuchaetsya, korotko govorya, v sleduyushchem: mozhno li klassicheskuyu logiku vyskazyvaniy neposredstvenno rassmatrivat kak obshchuyu teoriyu vyvoda, dayushchuyu opisanie privychno yasnykh pravil vyvoda; esli net, to mozhno li dlya logicheskogo sledovaniya postroit sistemu, analogichnuyu postroeniyam v klassicheskoy logike vyskazyvaniy? Pri issledovanii etoy problemy avtor apelliruet k intuitivnomu ponimaniyu pravil vyvoda, k empiricheskim dannym rassuzhdeniy i t.p. Rekomenduetsya filosofam, logikam, metodologam nauki, studentam i aspirantam sootvetstvuyushchikh spetsialnostey.
This book, written by an outstanding logician and philosopher A. A. Zinoviev on the problem of logical entailment, which, in the opinion of the author, is one of the Central theoretical problems of modern logic. The problem of the logical sequence is, in short, the following: whether the classical propositional logic directly observed as a General theory of inference, giving a clear description of the familiar rules of inference; if not, then is it possible for a logical sequence to build a system similar constructions in classical logic statements? In the study of this problem, the author appeals to the intuitive understanding of rules of inference, empirical data, reasoning, etc.
It is recommended to philosophers, logicians, science methodologists, students and postgraduates of relevant specialties.