В настоящей книге рассматриваются системы классической и релевантной логики и связанные с ними вопросы философско-методологического характера (понятие формализации рассуждений и ее значение, специфика формализованных языков и их отношение к естественным языкам, понятие логической формы и законы логики, логическое следование и др.). Излагаются разработанные автором натуральные построения классической логики и некоторых систем релевантной логики, максимально приближающие формализованные выводы и доказательства к соответствующим формам естественных рассуждений. Анализ релевантных систем осуществляется на основе сформулированных в работе понятий релевантного логического следования и условной связи. Книга предназначена для студентов философских факультетов, специализирующихся по логике, а также для специалистов-философов, интересующихся логическими аспектами теории познания и проблемами логики научного познания.
V nastojaschej knige rassmatrivajutsja sistemy klassicheskoj i relevantnoj logiki i svjazannye s nimi voprosy filosofsko-metodologicheskogo kharaktera (ponjatie formalizatsii rassuzhdenij i ee znachenie, spetsifika formalizovannykh jazykov i ikh otnoshenie k estestvennym jazykam, ponjatie logicheskoj formy i zakony logiki, logicheskoe sledovanie i dr.). Izlagajutsja razrabotannye avtorom naturalnye postroenija klassicheskoj logiki i nekotorykh sistem relevantnoj logiki, maksimalno priblizhajuschie formalizovannye vyvody i dokazatelstva k sootvetstvujuschim formam estestvennykh rassuzhdenij. Analiz relevantnykh sistem osuschestvljaetsja na osnove sformulirovannykh v rabote ponjatij relevantnogo logicheskogo sledovanija i uslovnoj svjazi. Kniga prednaznachena dlja studentov filosofskikh fakultetov, spetsializirujuschikhsja po logike, a takzhe dlja spetsialistov-filosofov, interesujuschikhsja logicheskimi aspektami teorii poznanija i problemami logiki nauchnogo poznanija.
