СВЯЗЬ СОДЕРЖАТЕЛЬНЫХ ЧАСТЕЙ

Понятие логической формы, формы рассуждения, или формы мысли, является крайне абстрактным. Смысл его лучше всего раскрыть на примерах.

Сравним два утверждения: «Все лошади едят овес» и «Все реки впадают в море». По содержанию они совершенно различны, к тому же первое из них является истинным, а второе ложным. И тем не менее сходство их несомненно. Это сходство, а точнее говоря, тождество их строения, формы. Чтобы выявить подобное сходство, нужно отвлечься от содержания утверждений, а значит, и от обусловленных им различий. Оставим поэтому в стороне лошадей и овес, реки и моря. Заменим все содержательные компоненты утверждений латинскими буквами, скажем, S и Р, не несущими никакого содержания. В итоге получим в обоих случаях одно и то же: «Все S есть Р».

Это и есть форма рассматриваемых утверждений. Она получена в результате отвлечения от конкретного их содержания, от которого в ней не осталось никаких следов. Но сама эта форма имеет все-таки некоторое содержание. Из нее мы узнаем, что у всякого предмета, обозначаемого буквой S, есть признак, обозначаемый буквой Р. Это не особенно богатое, но все-таки содержание, «формальное содержание».

Этот простой пример хорошо показывает одну из особенностей подхода формальной логики к анализу рассуждений — его высокую абстрактность.

В самом деле, все началось с очевидной мысли, что утверждения о лошадях, которые едят овес, и о реках, впадающих в море, совершенно различны. И если бы не цели логического анализа, на этом различии мы и остановились бы. Именно так и поступил герой одного из рассказов А. Чехова, не увидевший ничего общего между высказываниями «Лошади едят овес» и «Волга впадает в Каспийское море».

Отвлечение от содержания и выявление формы привело нас, однако, к прямо противоположному мнению: рассматриваемые утверждения имеют одну и ту же логическую форму, и, следовательно, они полностью совпадают. Начав с мысли о полном различии утверждений, мы пришли к выводу об абсолютной их тождественности.

Никакой непоследовательности во всем этом нет. Два утверждения, различные с точки зрения своего содержания, оказались неразличимыми с точки зрения своей логической формы. Но насколько абстрактным должен быть подход формальной логики, чтобы дать возможность увидеть за совершенным различием полное совпадение!

Легко понять, что такое пространственная форма. Скажем, форма здания характеризует не то, из каких элементов оно сложено, а только то, как эти элементы связаны друг с другом. Здание одной и той же формы может быть и кирпичным и железобетонным.

Достаточно просты также многие непространственные представления о форме. Говорят, например, о форме классического романа, предполагающего постепенную завязку действия, кульминацию и, наконец, развязку. Все такие романы независимо от их содержания сходны в своей форме, способе связи своих содержательных частей.

В сущности, ненамного более сложным для понимания является и понятие логической формы. Наши мысли слагаются из некоторых содержательных частей, как здание из кирпичей, блоков, панелей и т. п. Эти «кирпичики» мысли определенным образом связаны друг с другом. Способ их связи и представляет собой форму мысли.

Наше внимание направлено обычно только на содержание. Логическая форма остается вне поля зрения. Она начинает как-то интересовать нас лишь в тех не особенно частых случаях, когда мы сомневаемся в правильности своих рассуждений и намереваемся проконтролировать их.

Для выявления формы надо отойти от содержания мысли, заменить содержательные ее части какими-нибудь пустыми пробелами или буквами. Останется только связь этих частей. В обычном языке она выражается словами «и», «или», «если, то», «не», «все», «некоторые» и т. п. Часто ли мы задумываемся над ними?

Вряд ли.

Знаем ли те правила, которым подчиняется их употребление?

Довольно смутно. Но это означает, что нас обычно мало занимает логическая форма наших рассуждений, представляемая этими, совсем незаметными словечками.

ТОТАЛЬНЫЙ ОПТИМИЗМ

Каждый умеет рассуждать правильно, хотя редко кто знаком даже с азами теории правильного рассуждения.

Принципы, или схемы, правильных рассуждений усваиваются каждым человеком с усвоением языка.

Наибольшую трудность в овладении в раннем детстве первым, или, как говорят, родным, языком чаще всего видят в обилии тех слов, которые предстоит запомнить. Иногда основные трудности связывают с грамматикой. Хотя имен вещей, их свойств и отношений чрезвычайно много, далеко не все в обычной жизни приходится именовать и обозначать точно. Можно обойтись каким-то минимумом в. считанные сотни слов, комбинируя и перекомбинируя их применительно к ситуации, варьируя их значения с помощью тона, жеста или мимики. Даже большие знатоки языка, стремящиеся к максимальной точности выражения мыслей и чувств, используют за всю свою жизнь всего чуть больше десяти тысяч разных слов. Словарь ребенка тем более не-велик.

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

Не умаляя трудностей, связанных с расширением словаря и усвоением грамматики, нужно все-таки сказать, что наиболее трудное дело в обучении первому языку — это выработка умения рассуждать правильно. Без такого умения нет связи предложений между собой, нет выведения одних истин из других. В сущности, без него нет владения языком.

Приклеивание ярлыков-имен к вещам и соединение слов в утверждения и отрицания необходимы для того, чтобы говорить на каком-то языке. Но на языке не просто говорят, на нем рассуждают. Без устойчивых логических навыков нет и самой способности рассуждать, умения связывать свои утверждения и отрицания в правильные умозаключения.

Схемы рассуждения усваиваются, как правило, бессознательно, стихийно. Точно так же они применяются. Словарю и грамматике более или менее учат с самого детства. Ошибки здесь заметны, обычно они режут слух. Неправильности же в рассуждениях не так бросаются в глаза, так как не лежат на поверхности и требуют для своего обнаружения не так часто встречающегося умения переключать внимание с содержания наших суждений на их форму. Навыкам правильного мышления специально не обучают либо обучают очень редко.

Одно время логику изучали в течение года в общеобразовательной школе. Но вскоре этот предмет из круга школьных дисциплин был исключен: преподавать его было некому, учебник был откровенно неважным, и неудивительно, что последствия поверхностного знакомства с логикой на практике мышления школьников почти не сказывались. Сейчас ситуация изменилась, и следовало бы, по всей вероятности, вернуться к вопросу о возобновлении преподавания логики в школе.

Главным, а нередко и единственным источником представлений о правильности рассуждений является практика рассуждения. Повседневное, тысячи и тысячи раз повторяющееся соединение утверждений между собой, образование из них умозаключений приводит в конце концов к формированию более или менее устойчивого навыка рассуждать правильно и замечать свои и чужие ошибки.

Навык не предполагает ни каких-то теоретических сведений, ни умения объяснить, почему что-то делается именно так, а не иначе. Но обычно он вполне достаточен для всех практических целей.

Можно научиться ходить, не овладевая никакой теорией ходьбы, если она вообще существует. Можно даже стать выдающимся мастером в этом деле, никогда не задумываясь особенно над самим механизмом хождения. Впрочем, размышление не помешает даже здесь.

Более близкая аналогия — умение говорить грамматически правильно. Грамматические правила, если они и изучаются, вскоре забываются. Но остается умение говорить в соответствии с этими правилами, складывающееся по преимуществу стихийно. Оно не требует отчетливого знания ни самих правил, ни тем более тех сложных теорий, которые их истолковывают. Знание правил, конечно, не помешает, но только при условии, что их употребление будет доведено до автоматизма. Человек, припоминающий после каждого слова необходимое правило, вряд ли способен говорить правильно.

Навыки логически правильного рассуждения составляют в совокупности то, что можно назвать интуитивной логикой. Это не теория и не система отчетливых правил, а просто некоторое умение. Оно во многом подобно умению ходить и говорить. Но кое в чем и отлично.

Многие согласятся, что им стоило бы ходить немного иначе, более правильно. Редко кто не ощущает шероховатостей в своей грамматике. Почти всякий не отказался бы в чем-то ее усовершенствовать, если, разумеется, это не потребовало бы каких-то особых усилий.

Но гораздо меньше людей, чувствующих пробелы в своей логике и пытающихся устранить их.

В отношении той логической интуиции, того чутья правильности проводимых рассуждений, которое есть у каждого из нас, царит почему-то оптимизм. Большинство вполне удовлетворено своей интуитивной логикой, не замечает допускаемых логических ошибок и не видит особой необходимости в ее прояснении и усовершенствовании. Свое умение рассуждать последовательно и доказательно лишь немногие оценивают относительно невысоко.

Насколько оправдана уверенность, что логическое чутье никогда не подводит?

В общем, она в достаточной мере оправдана. Интуитивная логика, если она уже сложилась и хорошо отработана на разнообразном материале, как правило, не подводит нас.

Но чрезмерный оптимизм по поводу наших стихийно сложившихся навыков правильного мышления вряд ли обоснован. Иногда даже в заурядных ситуациях они могут оказаться вдруг неэффективными.

Наше логическое чутье и наши навыки правильного рассуждения не так безупречны, как это зачастую кажется. Полезно поэтому не упускать случая, чтобы их усовершенствовать.

Практика рассуждения при всей ее необходимости и важности не способна сама по себе привести к ясному пониманию природы логического вывода. Опираясь только на собственный индивидуальный опыт мышления, никто не открыл пока ни одной схемы правильного рассуждения. Практика логичного мышления должна быть дополнена знанием его теории.

СТАРАЯ И НОВАЯ ЛОГИКА

История логического исследования мышления охватывает около двух с половиной тысячелетий. Из других наук раньше формальной логики начали складываться, пожалуй, только философия и математика.

За это время случались периоды бурного развития, предопределявшие на века вперед стиль научного анализа правильного мышления. Случались и периоды застоя, сомнений во всем, что было сказано ранее. Наступали, хотя и не часто, даже периоды регресса, когда отбрасывалось с порога все открытое ранее и начинались лихорадочные поиски абсолютного нового и не имеющего традиции.

В этой длинной и богатой событиями истории отчетливо выделяются два основных этапа. Первый из них — от древнегреческой логики до возникновения в прошлом веке современной логики. Второй — с этого времени до наших дней.

На первом этапе, продолжавшемся более двух тысяч лет, формальная логика развивалась очень медленно. Обсуждавшиеся в ней проблемы мало чем отличались от проблем, поставленных еще Аристотелем. Это дало повод И. Канту утверждать, что формальная логика является завершенной наукой, не продвинувшейся со времени Аристотеля ни на один шаг и не имеющей собственной истории.

Ошибочность такого представления была ясно показана в последние сто с небольшим лет. В формальной логике произошла научная революция. Предпосылки ее вызревали еще с XVII века и остались не замеченными И. Кантом. Именно в это время получила ясное выражение идея представить доказательство как вычисление подобное вычислению в математике.

Эта идея связана главным образом с именем немецкого философа и математика Г. Лейбница. Вычисление суммы или разности чисел осуществляется на основе простых правил, принимающих во внимание только форму чисел, а не их смысл. Результат вычисления однозначно предопределяется этими не допускающими разночтения правилами, и его нельзя оспорить. Г. Лейбниц мечтал о времени, когда умозаключение будет преобразовано в вычисление. Когда это случится, споры, обычные между философами, станут так же невозможны, как невозможны они между вычислителями. Вместо спора они возьмут в руки перья и скажут: «Будем вычислять».

Идеи Г. Лейбница не оказали, однако, заметного влияния на его современников. Бурное развитие формальной логики началось только в прошлом веке. Оно было связано с применением в ней тех же методов, какие применялись всегда в математике.

Ирландский математик Д. Буль представил умозаключение как результат решения логических равенств, подобных математическим равенствам. Теория умозаключений приняла вид своеобразной алгебры. От обыкновенной алгебры она отличалась лишь отсутствием численных коэффициентов и степеней.

С работ немецкого математика и логика Г. Фреге начинается применение формальной логики для исследования оснований математики.

Г. Фреге был убежден, что «арифметика есть часть логики и не должна заимствовать ни у опыта, ни у созерцания никакого обоснования». Пытаясь свести математику к логике, он реконструировал саму логику. В 1878 году им была опубликована книга, само название которой достаточно красноречиво говорит о направлении этой реконструкции: «Исчисление понятий. Язык формул для чистого мышления, построенный по образцу арифметического».

Логическая теория Фреге — прообраз всех нынешних теорий правильного рассуждения.

Идея сведения всей чистой математики к логике была подхвачена затем английским логиком и философом Б. Расселом.

Последующее развитие логики показало, однако, неосуществимость этой грандиозной по своему замыслу попытки. Оно привело все же к сближению математики и логики и к широкому проникновению плодотворных методов первой во вторую.

Современную логику нередко называют математической, подчеркивая тем самым своеобразие новых ее методов в сравнении с использовавшимися ранее.

Одна из характерных черт этих методов — широкое использование разнообразных символов вместо слов и выражений обычного языка. Символы применял в ряде случаев еще Аристотель, а затем и все последующие логики. Однако теперь в использовании символики был сделан качественно новый шаг. В логике стали использоваться специально построенные языки, содержащие только специальные символы и не включающие ни одного слова обычного разговорного языка.

Широкое использование символических средств послужило основанием для того, что новую логику стали называть символической. И с этой поры названия «математическая логика» и «символическая логика», обычно употребляемые и сейчас, обозначают одно и то же — современную формальную логику. Она занимается тем же, чем всегда занималась логика, — исследованием правильных способов рассуждения. Однако методы, применяемые ею, принципиально отличаются от методов, характерных для старой логики.

В России в конце прошлого — начале нынешнего века, когда научная революция в логике набрала силу, ситуация была довольно сложной. И в теории, и в практике преподавания господствовала так называемая «академическая логика», избегавшая острых проблем и постоянно подменявшая науку логику невнятно изложенной методологией науки, истолкованной к тому же по чужим и устаревшим образцам. Профессор Московского университета М. Троицкий, профессора Петербургского университета М. Владиславлев и А. Введенский старательно не замечали нового в области логики. Они пытались вернуть ее ко временам И. Канта, уверявшего, что в логике не осталось крупных проблем.

И тем не менее в России были люди, стоявшие на уровне достижений логики своего времени и внесшие в ее развитие важный вклад. Первым из них надо упомянуть, конечно, доктора астрономии Казанского университета, логика и математика П. Порецкого. Сдержанное общее отношение к математической логике, разделявшееся даже многими русскими математиками, во многом осложнило его творчество. Часть своих работ он вынужден был опубликовать за границей на французском языке. Но его идеи оказали в конечном счете существенное влияние на развитие алгебраически трактуемой логики как в нашей стране, так и за рубежом. П. Порецкий первым в России начал читать лекции по математической логике, о которой он говорил, что это «по предмету своему есть логика, а по методу математика». Созданный на основе многолетних самостоятельных исследований труд П. Порецкого «О способах решения логических равенств и об обратном способе математической логики» значительно продвинул вперед разработку алгебры логики. По характеристике советского историка логики Н. Стяжкина, работы П. Порецкого «фактически превосходят не только труды его коллег-современников, но и в части, касающейся алгебры логики,, соответствующие разделы фундаментальной работы А. Уайтхеда и Б. Рассела «Principia Mathematical Исследования П. Порецкого продолжают оказывать стимулирующее влияние на развитие алгебраических теорий логики и в наши дни».

Важную роль в распространении идей математической логики у нас в стране сыграли также работы профессоров Одесского университета начала этого века Е. Буницкого и И. Слешинского. Они исследовали проблемы применимости результатов математической логики к арифметике и подчеркнули единство старой и новой (математической) логики.

Известный русский физик П. Эренфест первым высказал гипотезу о возможности применения современной ему логики в технике. В 1910 году он писал: «Символическая формулировка дает возможность «вычислять» следствия из таких сложных систем посылок, в которых при словесном изложении почти или совершенно невозможно разобраться. Дело в том, что в физике и технике действительно существуют такие сложные системы посылок. Пример: пусть имеется проект схемы проводов автоматической телефонной станции. Надо определить: 1) будет ли она правильно функционировать при любой комбинации, могущей встретиться в ходе деятельности станции; 2) не содержит ли она излишних усложнений. Каждая такая комбинация является посылкой, каждый маленький коммутатор есть логическое «или — или», воплощенное в эбоните и латуни; все вместе — система чисто качественных (сети слабого тока, поэтому не количественных) «посылок», ничего не оставляющая желать в отношении сложности и запутанности. Следует ли при решении этих вопросов раз и навсегда удовлетвориться... рутинным способом преобразования на графике? Правда ли, что, несмотря на существование уже разработанной алгебры логики, своего рода «алгебра распределительных схем» должна считаться утопией?»

В дальнейшем гипотеза П. Эренфеста получила прекрасное воплощение в теории релейно-контактных систем. Многие интересные и важные детали ее были развиты в работах советских логиков В. Шестакова, Е. Войшвилло и др.

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