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