Читать онлайн «Логика высказывания и теория вывода»

Из наследия А. . Зиновьева I I II I •ill Из наследия А. А. Зиновьева А. А. Зиновьев ЛОГИКА ВЫСКАЗЫВАНИЙ И ТЕОРИЯ ВЫВОДА Вступительная статья академика В. А. Лекторского Издание второе, исправленное и дополненное URSS МОСКВА ПРЕДИСЛОВИЕ Данная работа посвящена проблеме логического следования в современной логике. Поскольку задача работы состоит именно в том, чтобы дать более или менее полное построение одной определенной логической концепции, информация о различного рода логических системах, формализующих логическое следование или затрагивающих (прямо или косвенно) его, будет далеко не исчерпывающей, а критические замечания о них будут иметь весьма односторонний характер. Обсуждаемая проблема по самому своему существу такова, что всякая попытка ее систематического рассмотрения оказывается связанной с гносеологической оценкой отдельных разделов, направлений и методов логики. К таким оценкам придется прибегать ,и в данной работе. При этом необходимо иметь в виду, что эти оценки имеют смысл исключительно в плане темы работы, а не сами по себе. Так, вся критика классической логики высказываний дается исключительно с точки зрения проблемы формализации логического следования, как это вообще и делается в многочисленных работах на эту тему. Кроме того, показывая несовпадение классической логики высказываний и общей теории вывода, мы вовсе не исключаем тем самым оценки ее как теории вывода в некотором более узком, специальном смысле слова. Наоборот, лишь на базе общей теории вывода становятся более отчетливыми роль и место классической логики высказываний как теории вывода в системе науки логики вообще. Проблема логического следования заключается, коротко говоря, в следующем: можно ли классическую логику высказываний непосредственно рассматривать как 3 общую теорию вывода, дающую описание . привычно ясных правил вывода; если нет, то можно ли для логического следования построить систему, аналогичную построениям в классической логике высказываний (в частности, воспользоваться аксиоматическим методом в рассмотрении самих правил вывода)? Пожалуй, самой характерной чертой в решении этой проблемы является стремление пойти по пути введения таких ограничений, благодаря которым круг истинных (доказуемых, выводимых и т. п. ) формул (высказываний, положений, утверждений) классической логики высказываний сократился бы. Но даже и в этом случае обнаруживается следующее важное обстоятельство: стремление ограничить классическую логику высказываний с целью интерпретировать се как теорию логического следования ведет к такой существенной перестройке принципов логического исследования, что становится возможным го,- ворить об особом налравлении логических исследований. Чтобы подчеркнуть некоторые черты этого направления и охарактеризовать одно из его пониманий, в данной работе нередко придется обращаться к рассмотрению довольно п-ростых вещей, на которые обычно не обращают внимания. На протяжении всей работы мы часто будем апеллировать к интуитивному пониманию правил вывода, к эмпирическим данным рассуждений и т.