Моррис Коэн - Введение в логику и научный метод

Употребление кавычек в тексте учебника также не всегда соответствует современному. Термин без кавычек употребляется для обозначения соответствующего денотата; употребление термина с кавычками говорит о том, что речь идет о самом термине, а не о том, что им обозначается. Важность четкого соблюдения такого различия между объектным языком и метаязыком начала осознаваться именно в 30-е годы, поэтому неудивительно, что в самом их начале не все авторы строго его проводили.

Некоторая устарелость присуща и ряду упражнений данного учебника. Не все из них сегодня легко выполнить хотя бы потому, что в них предлагается ознакомиться с отрывками из книг, которые не всегда могут быть легко доступны читателю. Более того, некоторые упражнения были разработаны задолго до того, как в философии логики были проведены четкие различия между аналитическими, необходимыми и априорными истинами (в соответствующих местах даны комментарии переводчика). Философская традиция, восходящая к идеям раннего Витгенштейна и логических позитивистов, рассматривала аналитические истины как бессодержательные высказывания, демонстрирующие правила, по которым функционирует язык. При этом аналитические истины внутри каждого отдельного языка также считались необходимыми и априорно известными любому его пользователю. Данная установка приводила к тому, что между тремя видами истин не проводилось строгого различия. Критика У. Куайном аналитических высказываний появилась лишь в самом конце 40-х годов, а предложенные С. Крипке принципы различения необходимых и априорных истин – лишь в начале 70-х. Разумеется, в начале 30-х годов, когда писался данный учебник, эти уточнения еще не были сформулированы.

Помимо содержательной специфики настоящего учебника хотелось бы также упомянуть и тот колорит, который присущ предложенному в нем изложению. Многие из приводимых авторами примеров, как уже говорилось, нацелены на развенчание существующих в обществе предрассудков путем демонстрации их логической некорректности и, как следствие, содержательной несостоятельности. В этом смысле достаточно показательным является анализ утверждения о том, что якобы имеется корреляция между орлиной формой носа и еврейским происхождением его обладателя. Авторы приводят данные статистических исследований, разоблачающие этот предрассудок (с. 426). Однако в то же самое время авторы, исследуя роль аналогии в формировании гипотез, делают утверждение о том, что присущие азиатам разрез глаз и тонкость губ делают их всех похожими друг на друга (с. 310).

Колорит времени и политических реалий, в которых писалась книга, проявляется также и в выборе примеров посылок для силлогизмов («все коммунисты – русские»), и во многих других аспектах.

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

Термин «verification» (подтверждение, проверка, верификация) используется в тексте в тех случаях, когда речь идет о проверке той или иной научной теории и соответственно о ее принятии или отбрасывании. Следует отметить, что, несмотря на смысловую близость между терминами «verification» и «confirmation» (подтверждение), в философии науки они связываются не совсем с одинаковыми вещами. «Verification» скорее используется в тех случаях, когда речь идет о сопоставлении предложения или теории с данными чувственного опыта, выраженными в феноменалистском языке. Термин «confirmation» используется при обсуждении проверки теорий фактами, выраженными в вещном языке. Данное различие является ключевым при анализе прагматистски ориентированной философии науки и концепции философии науки, которой придерживались логические позитивисты на раннем этапе своего развития [1] . Однако авторы, являясь представителями научного реализма, используют термин «verification» в том смысле, который принято скорее приписывать термину «confirmation». Очевидно, это вызвано тем, что данное произведение было написано еще до того, как осознание указанного различия стало общепринятым. Чтобы не вносить большей путаницы, в данном издании термин «verification» и производные от него переводятся нейтрально как «верификация».

Некоторые трудности возникли с переводом термина «establish» в таких контекстах, как «establish a proposition» или «establish a theory». В одних случаях он используется в смысле «принятия в качестве истинного в результате проверки» (например, с. 378), в других случаях он используется в словосочетаниях, где речь идет лишь о выработке или формулировке суждения или теории (с. 169), в третьих случаях он используется в смысле «установить истинностное значение» суждения (с. 378). Представляется, что такое смешение различных смыслов в рамках одного термина и производных словосочетаний следует, как и в случае с термином «verification», объяснять тем, что данная книга была написана гораздо раньше, чем важность проведения указанных различий была реально осознана. Как бы то ни было, в тех случаях, когда «establish» употребляется авторами в смысле установления истинностного значения соответствующего суждения, данная специфика отражена в переводе, тем более что в таких ситуациях авторы зачастую (хоть и не всегда) и сами пишут «establish the truth of». Иными словами, в подобных случаях «establish q» переводится как «установить истинность q». В остальных же случаях «establish» и «establishing» переводится как «устанавливать» или «установление» без дополнительных уточнений.

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