Предлагают авторы и критику историцизма и эволюционизма. В их понимании подобные подходы основываются на спутывании логического и временного порядков (с. 523–528). Фрейдовский психоанализ критикуется как дисциплина, включающая в себя целый ряд нарушений законов логики. Так, Коэн и Нагель утверждают, что метод психоаналитической интерпретации не является доказательством, ибо не отвечает соответствующим требованиям, выдвигаемым к доказательству (с. 355–356, 488), и не позволяет идентифицировать причину интерпретируемого события или литературного произведения, т. к. опирается на ошибочный аргумент ad hominem (с. 513). Наконец, они предлагают цитату из Фрейда, как явную демонстрацию того, что психоанализ не может рассматриваться в качестве научной гипотезы (с. 603).
Изложенная таким образом аргументация может представлять интерес, как минимум, в двух смыслах. Во-первых, сама по себе она является интересным и не всегда использующимся способом критики перечисленных концепций. Во-вторых, она является показательным примером того, как именно изложение основ традиционной и символической логики может с успехом увязываться с изложением основных принципов методологии науки в рамках единого университетского курса.
Издержки времени
Будучи написанной более 75 лет назад, данная книга не может не иметь определенной специфики, требующей в одних случаях некоторых пояснений, а в других простого упоминания. Некоторые аспекты в изложении материала, используемая символика, а также ряд утверждений, общепринятых в начале 30-х годов прошлого столетия и казавшихся авторам очевидными, сегодня уже таковыми не считаются. Поэтому книга Коэна и Нагеля имеет и известную историческую ценность. В отдельных ее пассажах авторы демонстрируют свои взгляды на общественно-политическую жизнь и даже предлагают решения актуальных для своего времени проблем. Эти особенности следует учитывать современному читателю, с тем чтобы, во-первых, по достоинству оценить данную книгу, а во-вторых, иметь возможность максимально использовать ее преимущества. Мне бы хотелось перечислить лишь наиболее заметные из них.
Многие из логических символов, используемых Коэном и Нагелем в этом учебнике, на сегодняшний день являются редко употребимыми. Это главным образом касается логических операторов, обозначающих отрицание и конъюнкцию (см. соответствующие примечания переводчика в тексте). Также в книге вводится отношение строгой дизъюнкции, однако для него не предлагается, как это принято в большинстве современных учебников, отдельного значка. Строгая дизъюнкция эксплицируется просто как отрицание конъюнкции. Данное определение отличается от принятого в большинстве современных учебников определения строгой дизъюнкции: строгая дизъюнкция, как правило, эксплицируется как логическая операция, позволяющая из двух суждений построить новое составное суждение, являющееся истинным лишь в случае, когда истинно одно и только одно из составляющих его суждений (см. с. 85).
Употребление кавычек в тексте учебника также не всегда соответствует современному. Термин без кавычек употребляется для обозначения соответствующего денотата; употребление термина с кавычками говорит о том, что речь идет о самом термине, а не о том, что им обозначается. Важность четкого соблюдения такого различия между объектным языком и метаязыком начала осознаваться именно в 30-е годы, поэтому неудивительно, что в самом их начале не все авторы строго его проводили.
Некоторая устарелость присуща и ряду упражнений данного учебника. Не все из них сегодня легко выполнить хотя бы потому, что в них предлагается ознакомиться с отрывками из книг, которые не всегда могут быть легко доступны читателю. Более того, некоторые упражнения были разработаны задолго до того, как в философии логики были проведены четкие различия между аналитическими, необходимыми и априорными истинами (в соответствующих местах даны комментарии переводчика). Философская традиция, восходящая к идеям раннего Витгенштейна и логических позитивистов, рассматривала аналитические истины как бессодержательные высказывания, демонстрирующие правила, по которым функционирует язык. При этом аналитические истины внутри каждого отдельного языка также считались необходимыми и априорно известными любому его пользователю. Данная установка приводила к тому, что между тремя видами истин не проводилось строгого различия. Критика У. Куайном аналитических высказываний появилась лишь в самом конце 40-х годов, а предложенные С. Крипке принципы различения необходимых и априорных истин – лишь в начале 70-х. Разумеется, в начале 30-х годов, когда писался данный учебник, эти уточнения еще не были сформулированы.