В настоящей книге, написанной выдающимся отечественным философом и логиком А.А.Зиновьевым, дается систематическое изложение формального аппарата разработанной автором комплексной логики. Рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования. Рекомендуется философам, логикам, методологам науки, студентам и аспирантам соответствующих специальностей.
V nastojaschej knige, napisannoj vydajuschimsja otechestvennym filosofom i logikom A.A.Zinovevym, daetsja sistematicheskoe izlozhenie formalnogo apparata razrabotannoj avtorom kompleksnoj logiki. Rassmatrivaetsja obschaja teorija deduktsii i ee rasshirenija, vkljuchaja teoriju predikatsii, kvantorov, uslovnykh form, modalnostej, suschestvovanija, norm, terminov, otnoshenij i fizicheskogo sledovanija. Avtor privodit dokazatelstva neprotivorechivosti i polnoty sistem kompleksnoj logiki otnositelno opredelennykh semanticheskikh interpretatsij, vyjasnjaet mesto klassicheskoj i intuitsionistskoj logik v teorii logicheskogo sledovanija. Rekomenduetsja filosofam, logikam, metodologam nauki, studentam i aspirantam sootvetstvujuschikh spetsialnostej.