Философия логического атомизма - Рассел Бертран Артур Уильям - Страница 24

(1) Положительные и отрицательные факты. (2) Образные пропозиции, в которых можно быть убеждённым или нет, но которые не допускают какой-либо двойственности

содержания, соответствующего положительным и отрицатель ным фактам. (3) Словесные пропозиции, которые всегда являются положи тельными фактами, но которые распадаются на два вида: один верифицируется положительным объективным коррелятом, другой - негативным объективным коррелятом.

Таким образом, простейшие виды параллелизма между пропозицией и фактом должны рассматриваться только в случае позитивных фактов и пропозиций. Там, где факт является негативным, соответствие необходимо становится более сложным. Отчасти ошибка в осознании утраты параллелизма между отрицательными фактами и отрицательными словесными пропозициями суть то, что сделало корректную теорию отрицательных фактов такой трудной для того, чтобы её открыть или чтобы в неё поверить. Вернёмся теперь к положительным фактам и убеждениям в образных пропозициях. В случае пространственных отношений мы обнаружили, что для отношений конституенгных образов возможно быть одинаковыми с отношениями консппуент объективного коррелята. В моей визуализации того, что А находится слева от В, мой образ А находится слева от моего образа В. Встречается ли тождество отношения, такое как между образной пропозицией и его объективным коррелятом, где-то кроме случая пространственных отношений? Случай, который естественно рассмотреть следующим, - это случай с временными отношениями. Предположим, я убеждён, что А предшествует В. Может ли это убеждение иметь в качестве своего содержания образ А, предшествующий образу В? На первый взгляд, большинство людей без колебаний отвергнут такую гипотезу. Мы так часто говорили, что идея последовательности не является последовательностью идей, что почти автоматически считаем понимание последовательности чем-то таким, в чём более ранние и более поздние части последовательности должны присутствовать одновременно. По-видимому, стремление изменить эту точку зрения в общем рассматривается как несомненное, и тем не менее я не могу сопротивляться серьёзным сомнениям в его истинности. Конечно, факт в том, что мы часто обладаем последовательностью образов без убеждённости в том, что их прототипы имеют тот же самый временной порядок. Но это ничего не доказывает, поскольку в любом случае убеждение является чем-то таким, что должно быть добавлено к образной пропозиции. Очевидно ли то, что мы не можем обладать образом А, за который следует образ В и переходить к убеждению в этой последовательности? И не может ли этобыть убеждением в том, что А предшествует Д? Я не вижу причи ны, почему бы этому не иметь место. Когда, например, я вообра жаю человека, высказывающего предложение, или когда в связи с этим я действительно слышу, что он его высказывает, по- видимому, как вопрос эмпирического факта, отсутствует какойлибо момент, в который всё предложение представлено воображе нию или чувству, и однако, чем бы ни было обычное значение фразы, я могу 'понять предложение как целое'. Я слышу слова упорядочение, но никогда не слышу всё предложение сразу; однако я понимаю предложение в целом в том смысле, что оно оказывает на меня направленное действие, каким бы оно ни было. Вы подхо дите ко мне и говорите: 'Ваша крыша обвалилась, и дождь проте кает прямо в комнату, разрушая всю вашу обстановку'. Я понимаю то, что вы говорите, поскольку выражаю ужас, звоню владельцу дома, пишу в страховую компанию, и вереница фургонов вывозит мои веши- Однако из этого ни в коей мере не следует, что всё предложение было имагинативно представлено мне в какой-то один момент. Моё убеждение в вашем высказывании является каузальным единством и, по предположению, представляет собой единое событие. Но в ментальных делах каузальное единство вполне может быть несколькими событиями в различные моменты времени. Последнее является частью точки зрения Бергсона* на повторяемость; оно также предполагается законом привычки. Оно вполне может быть преобразовано в одно из фундаментальных различий между физикой и психологией. Таким образом, нет хо рошей причины тому, чтобы, когда мы убеждены в последователь ности, существовал бы какой-то один момент, в рамках которого существует всё содержание убеждения. Убеждение в последова тельности само вполне может быть последовательностью. Если это так, временные отношения, как и пространственные, допускают простейший тип соответствия, при котором отношение в образной пропозиции совпадает с отношением в объективном корреляте. Но я только хочу предложить эту точку зрения как возможную; я не чувствую себя готовым сказать с какой-либо уверенностью, что фактически это истинно. Соответствие пропозиции и факта неизмеримо усложняется, ко гда мы переходим к более сложным типам пропозиций: пропози циям о существовании, общим пропозициям, дизъюнктивным и гипотетическим пропозициям и т.д. Эта тема важна и способна, я уверен, пролить много нового света на логику; но я не буду продолжать её здесь. Общую природу формального соответствия, создающего истинность или ложность, можно видеть из простейшего случая: случаядвухместного отношения, которое одинаково в факте и в образной пропозиции. У вас есть образ А, находящийся слева от вашего образа В; последнее обстоятельство является образной пропозицией. Если А находится слева от В, пропозиция является истинной; если А не находится слева от В, она является ложной. Фраза 'А находится слева от В' обозначает образную пропозицию и является истинной, когда последняя истинна, и ложной, когда последняя ложна; с другой стороны, фраза 'Л не находится слева от В' является истинной, когда образная пропозиция является ложной, и ложной, когда последняя истинна. Таким образом, для простейшего случая мы получили формальное определение истинности и ложности как для образных пропозиций, так и для словесных пропозиций. Легко видеть, что тот же самый вид определения может быть распространён на более сложные случаи. Заметим, что истинность и ложность в их формальном смысле первично являются свойствами пропозиций, а не убеждений. Про-изводно мы называем убеждение истинным, когда оно представляет собой убеждение в истинной пропозиции, а неверие называем истинным, когда оно относится к ложной пропозиции; но первично формальные значения 'истинности' и 'ложности' приложимы к пропозициям. Но когда мы переходим к тому, что придаёт важное значение истинности и ложности в противоположность тому, что конституирует их формальное определение, важны убеждения, а не пропозиции. Убеждения влияют на действия и, я говорю, влияние истинных убеждений приятны более, чем влияния ложных убеждений. Попытка определить истину таким способом кажется мне ошибочной. Но поскольку мы ограничиваемся формальным определением истины, затруднительно видеть, почему этим способом интересуются. Поэтому важно помнить о связи убеждения с действием. Но я не думаю, что приятные влияния убеждения сами по себе являются удовлетворительной его верификацией, или что эта верификация может быть использована для определения истины. Существуют, например, истинные пропозиции о прошлых состояниях дел, кото рые не могут быть верифицированы. Формальное определение истины посредством соответствия пропозиции и её объективного коррелята, по-видимому, единственно теоретически адекватно. Дальнейшее исследование, независимо от того, если наше опреде ление корректно, есть ли что-нибудь такое, что может стать из вестным, я не могу теперь предпринимать; но если результат тако го исследования будет неблагоприятным, я не рассматривал бы его как предоставляющий какое-либо теоретическое возражение на предложенное определение. ЛОГИЧЕСКИЙ АТОМИЗМ

(1924)

Философия, которую я защищаю, в общем рассматривается как разновидность реализма и обвиняется в непоследовательности из-за собственных оснований, которые, по-видимому, противоречат данной доктрине. С моей стороны, я не рассматриваю коллизию между реалистами и их оппонентами как фундаментальную; я могу изменить свою точку зрения на эту коллизию, не изменяя своего мнения относительно любой из доктрин, на которую желал бы обратить особое внимание. Я придерживаюсь того, что логика фундаментальна для философии, и что школы характеризуются скорее своей логикой, а не своей метафизикой. Моя собственная логика является атомистичной, и это тот аспект, на котором я хотел бы сделать ударение. Поэтому я предпочитаю описывать свою философию как 'логический атомизм', а не как 'реализм', независимо от того, предшествует ли данному слову какое-то прилагательное или же нет. В качестве предисловия полезными могут быть несколько слов относительно исторического развития. Я пришёл в философию через математику, или скорее через желание найти некоторую причину убеждённости в истинности математики. С ранней юности я горячо желал убедиться в том, что может существовать такая вещь, как познание, сочетающаяся со значительными затруднениями в допущении много из того, что проходит как познание. По-видимому, ясно, что лучший шанс обнаружить несомненную истину заключался бы в чистой математике, однако некоторые из аксиом Евклида были очевидно сомнительными, и исчисление бесконечно малых, когда я его изучал, содержало массу софизмов, которые я не мог обойти вниманием как что-то другое. Я не видел причины сомневаться в истинности арифметики, но я не знал тогда, что можно сделать так, чтобы арифметика включала всю традици онную чистую математику. В восемнадцатилетнем возрасте я про читал Логику Милля*, но был глубоко неудовлетворён его сообра жениями в пользу принятия арифметики и геометрии. Я не читал Юма, но мне казалось, что чистый эмпиризм (который я отказы вался принять) должен вести к скептицизму, а не к подтвержде нию, как у Милля, общепризнанных научных доктрин. В Кем бридже я читал Канта и Гегеля, а также Логику м-ра Брэдаи, кото рая глубоко на меня повлияла. В течение нескольких лет я был учеником м-ра Брэдли, но около 1898 года я изменил свои взгляды, по большей части в результате споров с Дж-Э.Муром. Больше я не мог быть уверенным в том, что знание создаёт какие-то различия впознаваемом. Также я обнаружил, что смещаюсь в сторону плюрализма. Анализ математических пропозиций убедил меня в том, что они не могут быть объяснены даже как отчасти истинные, если не допускать плюрализм и действительность отношений. В это время случай привёл меня к изучению Лейбница, и я пришёл к заключению (в последующем подтверждённому мастерскими исследованиями Купора*), что значительная часть большинства его характерных мнений обусловлена чисто логической доктриной о том, что каждая пропозиция имеет субъект и предикат. Эту доктрину Лейбниц разделяет со Спинозой, Гегелем и м-ром Брэдли; мне кажется, что если её отвергнуть, всё основание метафизики всех этих философов разрушится. Поэтому я вернулся к проблеме, которая первоначально привела меня в философию, а именно, к основаниям математики и применению к ним новой логики, в основном производной от Пеано* и Фреге*, доказательства которой (по крайней мере, так я думаю) гораздо более продуктивны, чем доказательства традиционной философии. Прежде всего я обнаружил, что многие из запасённых философских аргументов, касающихся математики (в основном производных от Канта), стали между тем недействительными в результате прогресса в математике. Неэвклидова геометрия подорвала аргумент трансцендентальной эстетики. Вейерштрасс* показал, что дифференциальное и интегральное исчисление не требуют понятия бесконечно малого, и что, стало быть, всё, сказанное философами на такую тему, как непрерывность пространства, времени и движения, должно рассматриваться как явная ошибка. Кантор освободил понятое бесконечного числа от противоречия, и, таким образом, разрушил антиномии Канта, а также многое у Гегеля. Наконец, Фреге в деталях показал, каким образом арифметика может быть выведена из чистой логики без необходимости в каких-либо свежих идеях или аксиомах; последнее разрушило утверждение Канта о том, что '7 + 5 = 12' является синтетическим выражением - по крайней мере в его очевидной интерпретации. Когда все эти результаты были получены, не с помощью какого-то героического метода, но с помощью терпеливого детального размышления, я стал думать о вероятности того, что философия заблуждается, адаптируя героические средства для интеллектуальньк затруднений, и что решения должны быть найдены просто большей заботой и аккуратностью. Этой точки зрения с течением времени я стремился придерживаться всё более и более строго, и она привела меня к сомнениям, является ли философия, как исследование, отличное от науки и предполагающее свои собственные методы, чем-то большим, чем неудачным наследием теологии.