V nastoyashhej knige rassmatrivayutsya sistemy klassicheskoj i relevantnoj logiki i svyazannye s nimi voprosy filosofsko-metodologicheskogo charaktera (ponyatie formalizacii rassuzhdenij i ee znachenie, specifika formalizovannych yazykov i ich otnoshenie k estestvennym yazykam, ponyatie logicheskoj formy i zakony logiki, logicheskoe sledovanie i dr.). Izlagayutsya razrabotannye avtorom natural′nye postroeniya klassicheskoj logiki i nekotorych sistem relevantnoj logiki, maksimal′no priblizhayushhie formalizovannye vyvody i dokazatel′stva k sootvetstvuyushhim formam estestvennych rassuzhdenij. Analiz relevantnych sistem osushhestvlyaetsya na osnove sformulirovannych v rabote ponyatij relevantnogo logicheskogo sledovaniya i uslovnoj svyazi. .Kniga prednaznachena dlya studentov filosofskich fakul′tetov, specializiruyushhichsya po logike, a takzhe dlya specialistov-filosofov, interesuyushhichsya logicheskimi aspektami teorii poznaniya i problemami logiki nauchnogo poznaniya.