Zinoviev, 2014. Complex Logic. (Russian)

Original Russian metadata

Зиновьев Александр Александрович

Комплексная логика / Вступ. ст. В. А. Лекторского. Изд. 3-е. М.: ЛЕНАНД, 2015. — 206 c. (Из наследия А. А. Зиновьева.)

ISBN 978-5-9710-1611-3

Аннотация

В настоящей книге, написанной выдающимся отечественным философом и логиком А. А. Зиновьевым, дается систематическое изложение формального аппарата разработоанной автором комплексной логики. Рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционисткой логи в теории логического следования.

Рекомендуется философам, логикам, методологам науки, студентам и аспирантам соответствующих специальностей.

Machine translation of Russian metadata

Alexander Alexandrovich Zinoviev

Complex Logic / Introductory article by V. A. Lektorsky. 3rd edition. Moscow: LENAND, 2015. — 206 pp. (From the Legacy of A. A. Zinoviev.)

ISBN 978-5-9710-1611-3

Abstract

This book, written by the outstanding Russian philosopher and logician A. A. Zinoviev, provides a systematic exposition of the formal apparatus of the complex logic developed by the author. It examines the general theory of deduction and its extensions, including the theory of predication, quantifiers, conditional forms, modalities, existence, norms, terms, relations, and physical entailment. The author provides proofs of the consistency and completeness of systems of complex logic with respect to certain semantic interpretations and clarifies the place of classical and intuitionistic logic within the theory of logical entailment.

Recommended for philosophers, logicians, philosophers of science, students of methodology of science, and undergraduate and graduate students in relevant fields.

Pravles Redneckoff