Предлагают авторы и критику историцизма и эволюционизма. В их понимании подобные подходы основываются на спутывании логического и временного порядков (с. 523–528). Фрейдовский психоанализ критикуется как дисциплина, включающая в себя целый ряд нарушений законов логики. Так, Коэн и Нагель утверждают, что метод психоаналитической интерпретации не является доказательством, ибо не отвечает соответствующим требованиям, выдвигаемым к доказательству (с. 355–356, 488), и не позволяет идентифицировать причину интерпретируемого события или литературного произведения, т. к. опирается на ошибочный аргумент ad hominem (с. 513). Наконец, они предлагают цитату из Фрейда, как явную демонстрацию того, что психоанализ не может рассматриваться в качестве научной гипотезы (с. 603).

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

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

Многие из логических символов, используемых Коэном и Нагелем в этом учебнике, на сегодняшний день являются редко употребимыми. Это главным образом касается логических операторов, обозначающих отрицание и конъюнкцию (см. соответствующие примечания переводчика в тексте). Также в книге вводится отношение строгой дизъюнкции, однако для него не предлагается, как это принято в большинстве современных учебников, отдельного значка. Строгая дизъюнкция эксплицируется просто как отрицание конъюнкции. Данное определение отличается от принятого в большинстве современных учебников определения строгой дизъюнкции: строгая дизъюнкция, как правило, эксплицируется как логическая операция, позволяющая из двух суждений построить новое составное суждение, являющееся истинным лишь в случае, когда истинно одно и только одно из составляющих его суждений (см. с. 85).

Употребление кавычек в тексте учебника также не всегда соответствует современному. Термин без кавычек употребляется для обозначения соответствующего денотата; употребление термина с кавычками говорит о том, что речь идет о самом термине, а не о том, что им обозначается. Важность четкого соблюдения такого различия между объектным языком и метаязыком начала осознаваться именно в 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» переводится как «устанавливать» или «установление» без дополнительных уточнений.