Страница:
В вопросе о логической форме, включающей два и более глагола, вы получаете любопытное переплетение логики с эмпирическими исследованиями. Конечно, в определённой степени где-то ещё может случиться так, что эмпирические исследования дают вам пример того, что обладает определённой логической формой, и вы не можете действительно убедиться в существовании того, что обладает данной логической формой, иначе как нахождением примера, а само нахождение примера является эмпирическим. Следовательно, в некоторой степени эмпирические факты соприкасаются с логикой в определённых пунктах. Я думаю, теоретически может быть известно, что существуют такие формы без знания их примеров, но практически, как мы склоины считать, это, по-видимому, не встречается. Практически, если вы не в состоянии найти пример формы, то вы и не знаете, что данная форма существует. Если я не могу найти пример, содержащий два или более глагола, у вас нет причины поверить теории, что такая форма существует. Когда вы прочитаете работы авторов типа Джеймса и Дьюи на тему убеждения, вас сразу же удивит, что тот тип вещей, которые они мыслят как объект убеждения, совершенно отлично от того, что мыслю я. Они всегда мыслят его как предмет. Они считают, что когда вы вериге в Бога или Гомера, вы верите в объект. Это тот образ, который они держат у себя на уме. При обыкновенной манере говорить, выражаться таким способом довольно обычно, и они сказали бы, что при первом грубом приближении их предположением было бы, что ваше убеждение правильно, когда такой объект существует, и ложно в противном случае. Я имею в виду не то, что они сказали бы именно так, но что они начали бы с этой приблизительной точки зрения. По-видимому, они не ухватывают того, что объективная сторона убеждения выражается пропозицией лучше, чем единственным словом, что, я думаю, имеет много общего с их целостным взглядом на тот предмет, из чего состоит убеждение. С их точки зрения объект убеждения в общем представляет собой не отношения между предметами, или предметы, имеющие качества, или что-то ещё, но как раз отдельные предметы, которые могут или не могут существовать. Этот взгляд представляется мне радикально и абсолютно ошибочным. Во-первых, существует большое количество суждений, которые вы не сможете втиснуть в эту схему и, во-вторых, это взгляд вероятно не способен дать какого-либо объяснения ложным убеждениям, потому что, когда вы убеждены, что предмет существует, а он не существует, то его нет, он - ничто, и анализ, рассматривающий ложное убеждение как отношение к тому, что на самом деле ничто, не может быть правильным. Это возражение на предположение о том, что убеждение просто-напросто состоит в отношении к объекту. Очевидно, если вы говорите: 'Я верю в Гомера', а такого человека как Гомер нет, ваше убеждение не может быть отношением к Гомеру, поскольку 'Гомер' не существует. Каждый факт, имеющий место в мире, должен быть полностью составлен из существующих консти-туент, а не из конституент, которые не существуют. Следовательно, когда вы говорите: 'Я верю в Гомера', не может быть правильным анализ вещи, полагающий её таким способом. К тому, что представляет собой правильный анализ, я подойду в теории дескрипций. Я возвращаюсь теперь к теории бихевиоризма, о которой говорил немного ранее. Предположим, например, вас уверили, что в 10.25 есть поезд. Это означает, вам сказали, что вы отправитесь со станции в определённое время. На подходе к станции, вы видите, что уже 10.24, и бежите бегом. Такое поведение конституирует ваше убеждение, что в это время есть поезд. Если, передвигаясь бегом вы захватили поезд, ваше убеждение было истинным. Если же поезд отбыл в 10.23, то вы на него опоздали, и ваше убеждение было ложным. Это то, что, как сказали бы они, конституирует убеждение. Нет единственного состояния сознания, заключающегося в постоянной проверке того, что поезд отбывает в 10.25. Они же применяют это даже к самым абстрактным предметам. Сам я не считаю, что этот взгляд прочен. Его трудно опровергнуть, поскольку он очень глубоко укоренён, и возникает чувство, что если размышлять над ним достаточно долго и удовлетворительно продумать все его следствия, вероятно, можно найти, что этот взгляд приемлем, но, однако, я не чувствую его таковым. Конечно, он тесно связан с теорией нейтрального монизма, с теорией, что материальное конституирование ментального есть то же самое, что и материальное констигуирование физического, подобно адресной книге, сообщающей вам о людях, упорядоченных географически и в алфавитном порядке. Эта целостная теория тесно связана с той. Я имею в виду не то, что все те, кто признаёт одну теорию, признаёт и другую, но то, что они сущностно взаимосвязаны. Если вы собираетесь принять эту точку зрения, вы должны объяснить убеждение и желание, потому что вещи такого типа кажутся ментальными феноменами. Они, по-видимому, довольно далеко отстоят от того, что происходит в физическом мире. Следовательно, приступая к работе над объяснением таких вещей, как убеждение, их будут редуцировать к поведению тела; и ваше убеждение в определённой пропозиции будет заключаться в поведении вашего тела. В самых приблизительных терминах это то, к чему сводится такая точка зрения. Она предоставляет вам возможность очень хорошо обойтись без разума. Истина и ложь в этом случае заключается в отношении вашего телесного поведения к определённому факту, к той разновидности отстоящего факта, который, так сказать, является целью вашего поведения, и когда ваше поведение в отношении этого факта удовлетворительно, ваше убеждение истинно, а когда ваше поведение в отношении этого факта неудовлетворительно, ваше убеждение ложно. Логическая сущность этой точки зрения будет заключаться в отношении между двумя фактами, обладающими одной и той же разновидностью формы, как причинном отношении, т.е., с одной стороны, одним фактом будет ваше телесное поведение а, с другой стороны, фактом будет то, что поезд отправляется в такое-то и такое-то время, который является другим фактом, и из отношения этих двух фактов конституируется целостный феномен. То, что вы получите, логически будет той же самой формы, которой вы обладаете в причине, где 'этот факт является причиной того факта'. Это логическая форма, совершенно отличная от фактов, содержащих два глагола, о которой я говорю сегодня.
Естественно, я расположен в пользу теории нейтрального монизма, поскольку она служит примером бритвы Оккама. Я всегда хотел продвигаться в философии с наименее возможным аппаратом, отчасти потому, что он уменьшает опасность ошибки, поскольку нет необходимости отрицать сущности, вами не утверждаемые, а следовательно, вы тем меньше подвержены опасности ошибки, чем меньше сущностей утверждаете. Другая причина -вероятно несколько легкомысленная - заключается в том, что любое уменьшение количества сущностей увеличивает количество работы для математической логики, сооружающей те вещи, которые выглядят как сущности, которые вы обычно допускаете. Следовательно, теория нейтрального монизма в целом мне нравится, но я-ЯйдСих пор нахожу слишком значительные трудности, чтобы поверить в неё. Обсуждение всего вопроса вы найдёте в нескольких статьях, написанных мной для журнала Monist, особенно за июль 1914, а также в двух предыдущих номерах*. На самом деле я скорее хотел бы переписать их, поскольку считаю, что некоторые использованные мной аргументы против нейтрального монизма не обоснованы. Больше всего я опирался на аргументы об 'эмфатических [emphatic] индивидах', на слова 'это', 'я', на весь тог класс слов, которые вычленяют определённых индивидов из универсума посредством своего отношения к чему-либо, и, я думаю, посредством того, что они или относящиеся к ним индивиды присутствуют для вас в тот момент, когда вы говорите. Конечно, слово 'это' есть то, что я называю 'эмфатическим индивидом'. Оно просто представляет собой собственное имя для присутствующего объекта внимания, собственное имя, которое ничего не обозначает. Оно двусмысленно, потому что объект внимания конечно всегда изменяется от момента к моменту и от человека к человеку. Я думаю, если вы вообще избавитесь от сознания, крайне трудно будет объяснить, что же подразумевается вами под таким словом, как 'это', которое приводит к отсутствию беспристрастности. Вы сказали бы, что в чисто физическом мире должна быть полная беспристрастность. Каждый отрезок времени и каждая часть пространства, по-видимому, в равной степени эмфатичны. Но на самом деле случается так, что мы вычленяем определённые факты, прошлое и будущее и тому подобное; все они концентрически расходятся от 'это', и сам я не вижу, каким образом на основе нейтрального монизма можно обращаться с понятием 'это'. Я не утверждаю этого догматически, я просто не вижу, что тут можно сделать. В оставшейся части лекции я буду предполагать, что такие факты, как убеждения, желания и т.д., существуют. На самом деле, полное прояснение этого вопроса заняло бы весь мой курс. Таким образом, от данного экскурса в психологию, за который я приношу извинения, мы возвращаемся к более чисто логическим вопросам. 2. Каков статус р в 'Я убеждён, что р '?
Вы не можете сказать, что убеждены в фактах, поскольку ваши убеждения иногда являются ошибочными. Вы можете сказать, что воспринимаете факты, поскольку восприятие не подвержено ошибке. Ошибка невозможна там, где затрагиваются только факты. Стало быть, вы не можете сказать, что убеждены в фактах. Вы должны говорить, что убеждены в пропозициях. Неудобство этого в том, что пропозиции, очевидно, суть ничто. Следовательно, такое рассмотрение предмета не может быть правильным. Когда я говорю: 'Пропозиции, очевидно, суть ничто', это, вероятно, не совсем очевидно. Было время, когда я думал, что пропозиции существуют, но мне кажется не совсем правдоподобно говорить, что вдобавок к фактам существуют также такие странные, призрачные вещи, типа 'что сегодня среда', когда на самом деле сегодня вторник. Я не верю, что они есть в реальном мире. Это превосходит то, во что можно суметь поверить, и я не думаю, что человек с живым чувством реальности мог бы это вообразить. Одно из затруднений в изучении логики заключается в том, что она представляет собой исключительно абстрактное исследование, имеющее дело с самыми абстрактными вещами, которые только можно представить, и однако вы не сможете заниматься ею надлежащим образом, если у вас отсутствует живой инстинкт в отношении того, что является реальным. В логике этот инстинкт должен быть довольно хорошо развит. Я думаю, в противном случае вы придёте к фантастическим результатам. Я думаю, этот инстинкт реальности как раз в достаточной степени отсутствует у Мейнонга*. Мейнонг утверждает, что есть такой объект как круглый квадрат, только он не существует, он даже не влачит существование, но тем не менее такой объект есть; и когда вы говорите: 'Кругльш квадрат - это фикция', он рассматривает это так, что есть такой объект 'круглый квадрат' и есть такой предикат 'фикция'. Никто, обладающий чувством реальности, не анализировал бы эту пропозицию таким образом. Он видел бы, что данная пропозиция требует такого анализа, при котором вы не должны рассматривать круглый квадрат как консти-туенту этой пропозиции. Предполагать, что в действительном мире природы существует целое множество ложных пропозиций, по моему мнению, чудовищно. Я не могу склониться к такому предположению. Я не могу поверить, что они есть в том смысле, в каком есть факты. Мне кажется, что факт 'Сегодня вторник' находится на другом уровне реальности, нежели предположение, что сегодня среда'. Когда я говорю о пропозиции 'что сегодня среда', я не имею в виду то, что произойдёт в грядущем состоянии разума, в котором вы будете думать, что сегодня среда, но говорю о теории, что существует нечто вполне логичное, нечто не входящее в разум каким-либо способом; и я не думаю, что в качестве такой вещи вы можете взять ложную пропозицию. Я считаю, что ложная пропозиция, где бы она не встречалась, должна быть подвергнута анализу, должна быть разложена на части, растаскана на кусочки, оказывающиеся просто отдельными частями одного факта, относительно которого анализируется ложная пропозиция. Я говорю так просто на основании того, что назвал бы инстинктом реальности. Я должен сказать пару слов о 'реальности'. Это - тёмное слово, и в большинстве своём его употребления неправильны. Когда я, как сейчас, веду речь о реальности, я смогу лучше объяснить то, что подразумеваю, если скажу, что подразумеваю всё то, что вы должны были бы упомянуть в полном описании мира; это будет передавать вам то, что я имею в виду. Итак, я не считаю, что ложные пропозиции должны упоминаться в полном Описании мира. Ложные убеждения упоминались бы, разумеется, упоминались бы и ложные предположения и несбывшиеся желания, но только вовсе не ложные пропозиции, и, стало быть, когда, как говорят, вы убеждены в ложной пропозиции, это не может быть точным отчётом о том, что происходит. Не правильно будет сказать: 'Я убеждён в пропозиции р' и рассматривать происходящее как двухместное отношение между мной и р. Логическая форма как раз одинакова, убеждены ли вы в ложной или истинной пропозиции. Поэтому во всех случаях вы не должны рассматривать убеждение как двучленное отношение между вами и пропозицией, а должны анализировать пропозицию и трактовать ваше убеждение иначе. Поэтому убеждение на самом деле не содержит пропозицию как конститу-енту, но как конституенты содержит только конституенты пропозиции. Когда вы убеждены, вы не можете сказать: 'Что же такое то, в чём вы убеждены?' На этот вопрос нет ответа, т.е. нет единственного предмета, в котором вы убеждены. 'Я убеждён, что сегодня вторник. ' Вы не должны предполагать, 'что сегодня вторник' - это единственный объект, в котором я убеждён. Это было бы ошибкой. Такой способ анализировать происходящее не верен, хотя такой анализ лингвистически удобен, и его можно придерживаться, если только известно, что он не правилен. 3. Каким образом мы будем описывать логическую форму убеждения?
Я хочу попытаться дать описание способа, которым создаётся убеждение. Это вовсе не лёгкий вопрос. Вы не способны создать то, что я назвал бы пространственной картой убеждения. Вы сможете сделать карту атомарного факта, но не убеждения, по той простой причине, что пространственные отношения всегда являются разновидностью атомарных отношений или их усложнениями. Я попытаюсь проиллюстрировать то, что имею в виду. Дело связано с существованием в суждении двух глаголов и с тем фактом, что оба глагола должны встречаться как глаголы, поскольку, если нечто является глаголом, оно не может встречаться иначе, чем глагол. Предположим, я беру пропозицию 'А убеждён, что В любит С'. 'Отелло убеждён, то Дездемона любит Кассио.' Здесь вы имеете ложное убеждение. Вы имеете то странное состояние дел, когда глагол 'любит' встречается в этой пропозиции и, по-видимому, встречается как отношение Дездемоны к Кассио, тогда как фактически это не так, и тем не менее он встречается как глагол, его вхождение как раз того типа, как у глагола. Я имею в виду, что, когда А убеждён, что В любит С, у вас должен быть глагол в том месте, где встречается 'любит'. Вы не можете подставить на это место существительное. Стало быть, ясно, что подчинённый глагол (т.е. глагол иной, чем убеждение) функционирует как глагол, и, по-видимому, соотносит два члена, но на самом деле, когда суждению случается быть ложным, это не так. Это - то, что конституирует загадку о природе убеждения. Заметьте, что как бы действительно близко не соприкасаться с теорией ошибки, остаётся загадкой, как обращаться с ошибкой, не предполагая существования несуществующего. Я имею в виду, что любая теория ошибки раньше или позже разрушается предположением о существовании несуществующего. Так, когда я говорю 'Дездемона любит Кассио', кажется, как если бы вы имели несуществующую любовь между Дездемоной и Кассио, но это также ошибочно как и несуществующий единорог. Поэтому вы должны объяснить всю теорию суждения некоторым другим способом. Я подхожу теперь к вопросу о карте. Предположим, вы пробуете карту типа следующей: ОТЕЛЛО 1 убеждён ^ ДЕЗДЕМОНА любит -> КАССИО Вопрос об изготовлении карты не так необычен, как можно предположить, поскольку она является частью целостной теории символизма. Важно осознать, где и как символизм такого типа был бы ошибочен; последнее заключается в том, что в данном символе у вас есть такое отношение, которое соотносит эти два предмета, а в факте оно на самом деле их не соотносит. Вы не можете получить в пространстве какие-либо обстоятельства, имеющие логически одинаковую форму с убеждением. Говоря 'логически одинаковую форм)'', я имею в виду, что одну можно получить из другой, заменой констшуенг последней новыми членами. Если я говорю 'Дездемона любит Кассио', то последнее имеет ту же самую форму, как и 'А расположено справа от В'. Они обладают одной и той же формой, и я говорю, что в пространстве не встречается ничего такого, что имеет такую же форму, как убеждение. Здесь я получил нечто новое, нового зверя для нашего зоопарка, не другого представителя тех видов, которые у нас уже были, но новый вид. Открытие этого факта принадлежит м-ру Витгенштейну*. С логической точки зрения убеждение содержит много странного. Одна из таких странностей в том, что вы можете верить в пропозиции всех типов форм. Я могу быть убеждённым в том, что 'Это - белое', и что 'Дважды два равно четыре'. Они обладают совершенно различными формами, и, тем не менее, можно верить и в то и в другое. Действительные обстоятельства в этих двух случаях вряд ли могут точно совпадать по логической форме, поскольку слишком отличаются по форме пропозиции убеждения. Поэтому должно казаться, что убеждение не может строго логически быть одним во всех различных случаях, но должно отличаться согласно природе пропозиции, в которой вы убеждены. Если у вас есть 'Я убеждён, что/?' и 'Я убеждён, что q', эти два факта (если/? и q не обладают одной и той же логической формой) различаются по логической форме в том смысле, о котором я только что говорил, в том смысле, что из 'Я убеждён, что /?' нельзя получить 'Я убеждён, что q' заменой конституент одного конституентами другого. Это подразумевает, что само убеждение не может трактоваться как соответствующий вид с одним членом. Убеждение действительно должно иметь различные логические формы, в соответствие с природой того, во что верят. Так что видимое сходство убеждений в различных случаях более или менее иллюзорно. На самом деле в том предмете, который я как раз сейчас обсуждаю, есть два главных момента, на которые требуется указать. Первый - это невозможность трактовки пропозиций, в которые верят, в качестве независимых сущностей, выступающих как единство в обстоятельствах убеждения, и второй - это невозможность постановки субординированного глагола на уровень его членов как объектного члена в убеждении. Это - тот пункт, в котором, я думаю, теория суждения, однажды изложенная мной в печати несколько лет назад*, не была должным образом простой, потому что тогда я трактовал объектный глагол так, как если бы его подобно членам полагали так же как объект, как если бы 'любит' можно было поместить на один уровень с Дездемоной и Кассио, как член для отношения 'верить'. Вот почему сегодня в этой лекции я особо подчёркивал, что существуют по крайней мере два глагола. Я надеюсь, вы простате, что многое из сказанного мной сегодня является предварительным и состоит в указании затруднений. Предмет не слишком прост и не может долго рассматриваться или обсуждаться. Практически до совсем недавнего времени никто не принимался за рассмотрение проблемы природы убеждения с помощью чего-то подобного надлежащему логическому аппарату и, следовательно, логический аппарат очень мало сможет помочь в каком-либо обсуждении, а потому во многих пунктах в настоящее время остаётся довольствоваться скорее указанием затруднений, чем формулировкой совершенно ясных решений. 4. Вопрос терминологии
Какое имя мы должны дать глаголам типа 'верить', 'хотеть' и т.п.? Я склонен называть их 'пропозициональными глаголами'. Это просто название, предлагаемое для удобства, потому что они суть глаголы, обладающие формой отношения объекта к пропозиции. Как я объяснял, это не то, что они делают на самом деле, но их удобно называть пропозициональными глаголами. Разумеется, вы можете называть их 'установками', но мне это не нравится, поскольку это термин психологии, и хотя все примеры в нашем случае психологические, нет причины предполагать, что все глаголы, о которых я говорил, являются психологическими. Нет никакой причины делать такое предположение. Всегда можно вспомнить бесконечные атрибуты, приписываемые Богу Спинозой. Вполне вероятно, что в мире существуют аналоги его бесконечных атрибутов. Нам они не известны, но нет причины предполагать, что ментальное и физическое исчерпывает весь универсум, поэтому нельзя сказать, что все примеры любой логической разновидности имеют такую-то и такую-то нелогическую природу: для этого нет достаточных знаний о мире. Следовательно, я не предполагаю, что все глаголы, имеющую форму, примером которой служат убеждение и волеизъявление, являются психологическими. Я могу сказать только обо всех тех, которые мне известны. Замечу, что согласно намеченному мной плану, сегодня я собирался рассматривать истину и ложь, но не многое можно сказать о них, в особенности о том, каким образом они всякий раз получаются. Прежде всего истинной или ложной считают пропозицию, а пропозиция - это ничто. Но убеждение является истинным или ложным таким же образом, как и пропозиция, так что в мире у вас есть факт, являющийся истинным или ложным. Несколько ранее я говорил, что среди фактов нет различения истины и лжи, но в отношении того особого класса фактов, который мы называем 'убеждения', оно есть в том смысле, что убеждение, имеющее место, может быть истинным или ложным, хотя оно в обоих случаях в равной степени является фактом. Можно назвать желания ложными в том самом смысле, когда желают чего-то неосуществимого. Истинность или ложность зависит от входящей пропозиции. Я склонен думать, что восприятие в противоположность убеждению выходит на факт прямо, а не через пропозицию. Воспринимая факт, вы конечно не приходите к ошибке, потому что в тот момент, когда факт является вашим объектом, ошибка исключена. Я думаю, что верификация как к последнему средству всегда редуцируется к восприятию фактов. Поэтому логическая форма восприятия будет отличаться от логической формы убеждения как раз из-за того обстоятельства, что в него входит факт. Это также вызывает рад логических затруднений, которые я не предполагаю развивать, но думаю, вы сами сможете увидеть, что восприятие, как и убеждение, тоже затрагивает два глагола. Я склонен считать, что волеизъявление логически отличается от желания способом, точно аналогичным тому, которым восприятие отличается от убеждения. Но обсуждение этой точки зрения увело бы нас слишком далеко от логики.
V. ОБЩИЕ ПРОПОЗИЦИИ И СУЩЕСТВОВАНИЕ
Сегодня я собираюсь говорить об общих пропозициях и существовании. Эти два предмета действительно взаимосвязаны; ониотносятся к одной и той же теме, хотя на первый взгляд может показаться, что это не так. Все пропозиции и факты, о которых я говорил до сих пор, таковы, что затрагивали только совершенно определённые индивиды, отношения, качества или вещи такого рода, никогда не затрагивая тот тип неопределённых предметов, на которые ссылаются посредством неопределённого артикля и таких слов, как 'все', 'некоторый', 'любой', и к этой разновидности пропозиций и фактов я приступаю сегодня. На самом деле все пропозиции того типа, о котором я собираюсь говорить сегодня, собираются в две группы - первая: обо 'всех' и вторая: о 'некоторых'. Эти две разновидности взаимосвязаны; они являются отрицаниями друг друга. Если, например, вы говорите: 'Все люди смертны', это будет отрицанием того, что 'Некоторые люди бессмертны'. В отношении общих пропозиций различие утвердительного и отрицательного произвольно. Собираетесь ли вы рассматривать пропозицию обо 'всех' как утвердительную, а пропозицию о 'некоторых' как отрицательную, или наоборот, исключительно дело вкуса. Например, если я говорю: 'По дороге мне никто не встретился', по внешнему виду этой пропозиции вы подумали бы, что она является отрицательной. На самом деле эта пропозиция конечно же обо 'всех', т.е. 'Все люди находятся среди тех, кого я не встретил'. Если, с другой стороны, я говорю: 'По дороге я встретил человека', вы нашли бы эту пропозицию утвердительной, тогда как её отрицанием будет: 'Все люди находятся среди тех, кого я не встретил по дороге'. Рассматривая пропозиции типа 'Все люди смертны' и 'Некоторые люди бессмертны', вы можете сказать, что более естественно брать общие пропозиции как утвердительные, а пропозиции о существовании как отрицательные, но просто потому что совершенно произвольно, что должно выбрать, лучше забыть эти слова и говорить только об общих пропозициях и пропозициях, утверждающих существование. Все общие пропозиции отрицают существование того или иного. Если вы говорите: 'Все люди смертны', это отрицает существование бессмертного человека и т.д. Я хочу подчеркнуть, что общие пропозиции должны интерпретироваться как не затрагивающие существования. Когда, например, я говорю: 'Все греки являются людьми', я не хочу, чтобы вы предполагали, что эта пропозиция влечёт существование греков. Её необходимо подчёркнуто рассматривать как то, что не влечёт существование, которое должно быть добавлено как отдельная пропозиция. Если вы хотите интерпретировать её в этом смысле, нужно добавить ещё одно высказывание 'и греки существуют'. Последнее служит целям практического удобства. Включая факт существования греков, вы сводите две пропозиции в одну, а это приводит в вашей логике к ненужному смешению, поскольку типы пропозиций, которые вам требуются, содержат и пропозиции, утверждающие существование чего-либо, и общие пропозиции, которые не утверждают существования. Если бы случилось так, что греков не было, то и пропозиция 'Все греки являются людьми', и пропозиция 'Ни один грек не является человеком' были бы истинными. Пропозиция 'Ни один грек не является человеком' - это, конечно же, пропозиция 'Все греки не являются людьми'. Если бы случилось так, что греков не было, обе пропозиции были бы истинными одновременно. Любые утверждения о всех элементах некоторого класса, не имеющего элементов, являются истинными, поскольку высказывание, противоречащее любому общему высказыванию, утверждает существование а, стало быть, в этом случае является ложным. Разумеется, такое понятие общих пропозиций, которые не затрагивают существования, отсутствует в традиционном учении о силлогизме. В традиционном учении о силлогизме предполагается, что когда у вас есть такое высказывание, как 'Все греки являются людьми', отсюда следует, что греки существуют, а это приводит к ошибкам. Например, 'Все химеры являются животными, и все химеры извергают пламя, следовательно, некоторые животные извергают пламя'. Это - силлогизм, построенный по модусу Darapti, но, как показывает пример, этот модус силлогизма ошибочен. Последний момент, между прочим, имеет определённый исторический интерес, поскольку он воспрепятствовал Лейбницу в его попытке построить математическую логику. Его всегда привлекала попытка построить такую математическую логику, какая сейчас есть у нас, или скорее такую, какую построил Буль*, и он всегда терпел неудачу, из-за своего почтения к Аристотелю. Всякий раз изобретая действительно хорошую систему, а это было в нескольких случаях, он всегда выявлял, что такой модус, как Darapti, ошибочен. Если вы говорите: 'Все А есть В, и все А есть С, следовательно, некоторые В есть С' - если вы говорите так, вы всегда подвержены ошибке, но он не смог заставить себя поверить в ошибочность этого и поэтому начинал сначала. Это демонстрирует вам, что нельзя слишком уж почтительно относиться к выдающимся людям'. Итак, когда вы начинаете задаваться вопросом, что же действительно утверждается в общей пропозиции, например такой, как 'Все греки - люди', вы находите, что утверждается истина всех значений того, что я называю пропозициональной функцией. Пропозициональная функция есть просто любое выражение, которое содержит неопределённую конституенту или несколько неопределённых конституент и которое становится пропозицией, как только определяются неопределённые конституенты. Если я говорю: 'х - человек' или 'и - число', это - пропозициональные функции; таковой является любая формула алгебры, скажем, (х + + у)(х - у) = х2 - у2. Пропозициональная функция есть ничто, но, как и большинство того, о чём намереваются вести речь в логике, она из-за этого не теряет своей важности. Действительно, единственное, что вы можете сделать с пропозициональной функцией, так это утверждать, что она либо всегда истинна, либо иногда истинна, либо никогда не истинна. Когда вы берёте:
Естественно, я расположен в пользу теории нейтрального монизма, поскольку она служит примером бритвы Оккама. Я всегда хотел продвигаться в философии с наименее возможным аппаратом, отчасти потому, что он уменьшает опасность ошибки, поскольку нет необходимости отрицать сущности, вами не утверждаемые, а следовательно, вы тем меньше подвержены опасности ошибки, чем меньше сущностей утверждаете. Другая причина -вероятно несколько легкомысленная - заключается в том, что любое уменьшение количества сущностей увеличивает количество работы для математической логики, сооружающей те вещи, которые выглядят как сущности, которые вы обычно допускаете. Следовательно, теория нейтрального монизма в целом мне нравится, но я-ЯйдСих пор нахожу слишком значительные трудности, чтобы поверить в неё. Обсуждение всего вопроса вы найдёте в нескольких статьях, написанных мной для журнала Monist, особенно за июль 1914, а также в двух предыдущих номерах*. На самом деле я скорее хотел бы переписать их, поскольку считаю, что некоторые использованные мной аргументы против нейтрального монизма не обоснованы. Больше всего я опирался на аргументы об 'эмфатических [emphatic] индивидах', на слова 'это', 'я', на весь тог класс слов, которые вычленяют определённых индивидов из универсума посредством своего отношения к чему-либо, и, я думаю, посредством того, что они или относящиеся к ним индивиды присутствуют для вас в тот момент, когда вы говорите. Конечно, слово 'это' есть то, что я называю 'эмфатическим индивидом'. Оно просто представляет собой собственное имя для присутствующего объекта внимания, собственное имя, которое ничего не обозначает. Оно двусмысленно, потому что объект внимания конечно всегда изменяется от момента к моменту и от человека к человеку. Я думаю, если вы вообще избавитесь от сознания, крайне трудно будет объяснить, что же подразумевается вами под таким словом, как 'это', которое приводит к отсутствию беспристрастности. Вы сказали бы, что в чисто физическом мире должна быть полная беспристрастность. Каждый отрезок времени и каждая часть пространства, по-видимому, в равной степени эмфатичны. Но на самом деле случается так, что мы вычленяем определённые факты, прошлое и будущее и тому подобное; все они концентрически расходятся от 'это', и сам я не вижу, каким образом на основе нейтрального монизма можно обращаться с понятием 'это'. Я не утверждаю этого догматически, я просто не вижу, что тут можно сделать. В оставшейся части лекции я буду предполагать, что такие факты, как убеждения, желания и т.д., существуют. На самом деле, полное прояснение этого вопроса заняло бы весь мой курс. Таким образом, от данного экскурса в психологию, за который я приношу извинения, мы возвращаемся к более чисто логическим вопросам. 2. Каков статус р в 'Я убеждён, что р '?
Вы не можете сказать, что убеждены в фактах, поскольку ваши убеждения иногда являются ошибочными. Вы можете сказать, что воспринимаете факты, поскольку восприятие не подвержено ошибке. Ошибка невозможна там, где затрагиваются только факты. Стало быть, вы не можете сказать, что убеждены в фактах. Вы должны говорить, что убеждены в пропозициях. Неудобство этого в том, что пропозиции, очевидно, суть ничто. Следовательно, такое рассмотрение предмета не может быть правильным. Когда я говорю: 'Пропозиции, очевидно, суть ничто', это, вероятно, не совсем очевидно. Было время, когда я думал, что пропозиции существуют, но мне кажется не совсем правдоподобно говорить, что вдобавок к фактам существуют также такие странные, призрачные вещи, типа 'что сегодня среда', когда на самом деле сегодня вторник. Я не верю, что они есть в реальном мире. Это превосходит то, во что можно суметь поверить, и я не думаю, что человек с живым чувством реальности мог бы это вообразить. Одно из затруднений в изучении логики заключается в том, что она представляет собой исключительно абстрактное исследование, имеющее дело с самыми абстрактными вещами, которые только можно представить, и однако вы не сможете заниматься ею надлежащим образом, если у вас отсутствует живой инстинкт в отношении того, что является реальным. В логике этот инстинкт должен быть довольно хорошо развит. Я думаю, в противном случае вы придёте к фантастическим результатам. Я думаю, этот инстинкт реальности как раз в достаточной степени отсутствует у Мейнонга*. Мейнонг утверждает, что есть такой объект как круглый квадрат, только он не существует, он даже не влачит существование, но тем не менее такой объект есть; и когда вы говорите: 'Кругльш квадрат - это фикция', он рассматривает это так, что есть такой объект 'круглый квадрат' и есть такой предикат 'фикция'. Никто, обладающий чувством реальности, не анализировал бы эту пропозицию таким образом. Он видел бы, что данная пропозиция требует такого анализа, при котором вы не должны рассматривать круглый квадрат как консти-туенту этой пропозиции. Предполагать, что в действительном мире природы существует целое множество ложных пропозиций, по моему мнению, чудовищно. Я не могу склониться к такому предположению. Я не могу поверить, что они есть в том смысле, в каком есть факты. Мне кажется, что факт 'Сегодня вторник' находится на другом уровне реальности, нежели предположение, что сегодня среда'. Когда я говорю о пропозиции 'что сегодня среда', я не имею в виду то, что произойдёт в грядущем состоянии разума, в котором вы будете думать, что сегодня среда, но говорю о теории, что существует нечто вполне логичное, нечто не входящее в разум каким-либо способом; и я не думаю, что в качестве такой вещи вы можете взять ложную пропозицию. Я считаю, что ложная пропозиция, где бы она не встречалась, должна быть подвергнута анализу, должна быть разложена на части, растаскана на кусочки, оказывающиеся просто отдельными частями одного факта, относительно которого анализируется ложная пропозиция. Я говорю так просто на основании того, что назвал бы инстинктом реальности. Я должен сказать пару слов о 'реальности'. Это - тёмное слово, и в большинстве своём его употребления неправильны. Когда я, как сейчас, веду речь о реальности, я смогу лучше объяснить то, что подразумеваю, если скажу, что подразумеваю всё то, что вы должны были бы упомянуть в полном описании мира; это будет передавать вам то, что я имею в виду. Итак, я не считаю, что ложные пропозиции должны упоминаться в полном Описании мира. Ложные убеждения упоминались бы, разумеется, упоминались бы и ложные предположения и несбывшиеся желания, но только вовсе не ложные пропозиции, и, стало быть, когда, как говорят, вы убеждены в ложной пропозиции, это не может быть точным отчётом о том, что происходит. Не правильно будет сказать: 'Я убеждён в пропозиции р' и рассматривать происходящее как двухместное отношение между мной и р. Логическая форма как раз одинакова, убеждены ли вы в ложной или истинной пропозиции. Поэтому во всех случаях вы не должны рассматривать убеждение как двучленное отношение между вами и пропозицией, а должны анализировать пропозицию и трактовать ваше убеждение иначе. Поэтому убеждение на самом деле не содержит пропозицию как конститу-енту, но как конституенты содержит только конституенты пропозиции. Когда вы убеждены, вы не можете сказать: 'Что же такое то, в чём вы убеждены?' На этот вопрос нет ответа, т.е. нет единственного предмета, в котором вы убеждены. 'Я убеждён, что сегодня вторник. ' Вы не должны предполагать, 'что сегодня вторник' - это единственный объект, в котором я убеждён. Это было бы ошибкой. Такой способ анализировать происходящее не верен, хотя такой анализ лингвистически удобен, и его можно придерживаться, если только известно, что он не правилен. 3. Каким образом мы будем описывать логическую форму убеждения?
Я хочу попытаться дать описание способа, которым создаётся убеждение. Это вовсе не лёгкий вопрос. Вы не способны создать то, что я назвал бы пространственной картой убеждения. Вы сможете сделать карту атомарного факта, но не убеждения, по той простой причине, что пространственные отношения всегда являются разновидностью атомарных отношений или их усложнениями. Я попытаюсь проиллюстрировать то, что имею в виду. Дело связано с существованием в суждении двух глаголов и с тем фактом, что оба глагола должны встречаться как глаголы, поскольку, если нечто является глаголом, оно не может встречаться иначе, чем глагол. Предположим, я беру пропозицию 'А убеждён, что В любит С'. 'Отелло убеждён, то Дездемона любит Кассио.' Здесь вы имеете ложное убеждение. Вы имеете то странное состояние дел, когда глагол 'любит' встречается в этой пропозиции и, по-видимому, встречается как отношение Дездемоны к Кассио, тогда как фактически это не так, и тем не менее он встречается как глагол, его вхождение как раз того типа, как у глагола. Я имею в виду, что, когда А убеждён, что В любит С, у вас должен быть глагол в том месте, где встречается 'любит'. Вы не можете подставить на это место существительное. Стало быть, ясно, что подчинённый глагол (т.е. глагол иной, чем убеждение) функционирует как глагол, и, по-видимому, соотносит два члена, но на самом деле, когда суждению случается быть ложным, это не так. Это - то, что конституирует загадку о природе убеждения. Заметьте, что как бы действительно близко не соприкасаться с теорией ошибки, остаётся загадкой, как обращаться с ошибкой, не предполагая существования несуществующего. Я имею в виду, что любая теория ошибки раньше или позже разрушается предположением о существовании несуществующего. Так, когда я говорю 'Дездемона любит Кассио', кажется, как если бы вы имели несуществующую любовь между Дездемоной и Кассио, но это также ошибочно как и несуществующий единорог. Поэтому вы должны объяснить всю теорию суждения некоторым другим способом. Я подхожу теперь к вопросу о карте. Предположим, вы пробуете карту типа следующей: ОТЕЛЛО 1 убеждён ^ ДЕЗДЕМОНА любит -> КАССИО Вопрос об изготовлении карты не так необычен, как можно предположить, поскольку она является частью целостной теории символизма. Важно осознать, где и как символизм такого типа был бы ошибочен; последнее заключается в том, что в данном символе у вас есть такое отношение, которое соотносит эти два предмета, а в факте оно на самом деле их не соотносит. Вы не можете получить в пространстве какие-либо обстоятельства, имеющие логически одинаковую форму с убеждением. Говоря 'логически одинаковую форм)'', я имею в виду, что одну можно получить из другой, заменой констшуенг последней новыми членами. Если я говорю 'Дездемона любит Кассио', то последнее имеет ту же самую форму, как и 'А расположено справа от В'. Они обладают одной и той же формой, и я говорю, что в пространстве не встречается ничего такого, что имеет такую же форму, как убеждение. Здесь я получил нечто новое, нового зверя для нашего зоопарка, не другого представителя тех видов, которые у нас уже были, но новый вид. Открытие этого факта принадлежит м-ру Витгенштейну*. С логической точки зрения убеждение содержит много странного. Одна из таких странностей в том, что вы можете верить в пропозиции всех типов форм. Я могу быть убеждённым в том, что 'Это - белое', и что 'Дважды два равно четыре'. Они обладают совершенно различными формами, и, тем не менее, можно верить и в то и в другое. Действительные обстоятельства в этих двух случаях вряд ли могут точно совпадать по логической форме, поскольку слишком отличаются по форме пропозиции убеждения. Поэтому должно казаться, что убеждение не может строго логически быть одним во всех различных случаях, но должно отличаться согласно природе пропозиции, в которой вы убеждены. Если у вас есть 'Я убеждён, что/?' и 'Я убеждён, что q', эти два факта (если/? и q не обладают одной и той же логической формой) различаются по логической форме в том смысле, о котором я только что говорил, в том смысле, что из 'Я убеждён, что /?' нельзя получить 'Я убеждён, что q' заменой конституент одного конституентами другого. Это подразумевает, что само убеждение не может трактоваться как соответствующий вид с одним членом. Убеждение действительно должно иметь различные логические формы, в соответствие с природой того, во что верят. Так что видимое сходство убеждений в различных случаях более или менее иллюзорно. На самом деле в том предмете, который я как раз сейчас обсуждаю, есть два главных момента, на которые требуется указать. Первый - это невозможность трактовки пропозиций, в которые верят, в качестве независимых сущностей, выступающих как единство в обстоятельствах убеждения, и второй - это невозможность постановки субординированного глагола на уровень его членов как объектного члена в убеждении. Это - тот пункт, в котором, я думаю, теория суждения, однажды изложенная мной в печати несколько лет назад*, не была должным образом простой, потому что тогда я трактовал объектный глагол так, как если бы его подобно членам полагали так же как объект, как если бы 'любит' можно было поместить на один уровень с Дездемоной и Кассио, как член для отношения 'верить'. Вот почему сегодня в этой лекции я особо подчёркивал, что существуют по крайней мере два глагола. Я надеюсь, вы простате, что многое из сказанного мной сегодня является предварительным и состоит в указании затруднений. Предмет не слишком прост и не может долго рассматриваться или обсуждаться. Практически до совсем недавнего времени никто не принимался за рассмотрение проблемы природы убеждения с помощью чего-то подобного надлежащему логическому аппарату и, следовательно, логический аппарат очень мало сможет помочь в каком-либо обсуждении, а потому во многих пунктах в настоящее время остаётся довольствоваться скорее указанием затруднений, чем формулировкой совершенно ясных решений. 4. Вопрос терминологии
Какое имя мы должны дать глаголам типа 'верить', 'хотеть' и т.п.? Я склонен называть их 'пропозициональными глаголами'. Это просто название, предлагаемое для удобства, потому что они суть глаголы, обладающие формой отношения объекта к пропозиции. Как я объяснял, это не то, что они делают на самом деле, но их удобно называть пропозициональными глаголами. Разумеется, вы можете называть их 'установками', но мне это не нравится, поскольку это термин психологии, и хотя все примеры в нашем случае психологические, нет причины предполагать, что все глаголы, о которых я говорил, являются психологическими. Нет никакой причины делать такое предположение. Всегда можно вспомнить бесконечные атрибуты, приписываемые Богу Спинозой. Вполне вероятно, что в мире существуют аналоги его бесконечных атрибутов. Нам они не известны, но нет причины предполагать, что ментальное и физическое исчерпывает весь универсум, поэтому нельзя сказать, что все примеры любой логической разновидности имеют такую-то и такую-то нелогическую природу: для этого нет достаточных знаний о мире. Следовательно, я не предполагаю, что все глаголы, имеющую форму, примером которой служат убеждение и волеизъявление, являются психологическими. Я могу сказать только обо всех тех, которые мне известны. Замечу, что согласно намеченному мной плану, сегодня я собирался рассматривать истину и ложь, но не многое можно сказать о них, в особенности о том, каким образом они всякий раз получаются. Прежде всего истинной или ложной считают пропозицию, а пропозиция - это ничто. Но убеждение является истинным или ложным таким же образом, как и пропозиция, так что в мире у вас есть факт, являющийся истинным или ложным. Несколько ранее я говорил, что среди фактов нет различения истины и лжи, но в отношении того особого класса фактов, который мы называем 'убеждения', оно есть в том смысле, что убеждение, имеющее место, может быть истинным или ложным, хотя оно в обоих случаях в равной степени является фактом. Можно назвать желания ложными в том самом смысле, когда желают чего-то неосуществимого. Истинность или ложность зависит от входящей пропозиции. Я склонен думать, что восприятие в противоположность убеждению выходит на факт прямо, а не через пропозицию. Воспринимая факт, вы конечно не приходите к ошибке, потому что в тот момент, когда факт является вашим объектом, ошибка исключена. Я думаю, что верификация как к последнему средству всегда редуцируется к восприятию фактов. Поэтому логическая форма восприятия будет отличаться от логической формы убеждения как раз из-за того обстоятельства, что в него входит факт. Это также вызывает рад логических затруднений, которые я не предполагаю развивать, но думаю, вы сами сможете увидеть, что восприятие, как и убеждение, тоже затрагивает два глагола. Я склонен считать, что волеизъявление логически отличается от желания способом, точно аналогичным тому, которым восприятие отличается от убеждения. Но обсуждение этой точки зрения увело бы нас слишком далеко от логики.
V. ОБЩИЕ ПРОПОЗИЦИИ И СУЩЕСТВОВАНИЕ
Сегодня я собираюсь говорить об общих пропозициях и существовании. Эти два предмета действительно взаимосвязаны; ониотносятся к одной и той же теме, хотя на первый взгляд может показаться, что это не так. Все пропозиции и факты, о которых я говорил до сих пор, таковы, что затрагивали только совершенно определённые индивиды, отношения, качества или вещи такого рода, никогда не затрагивая тот тип неопределённых предметов, на которые ссылаются посредством неопределённого артикля и таких слов, как 'все', 'некоторый', 'любой', и к этой разновидности пропозиций и фактов я приступаю сегодня. На самом деле все пропозиции того типа, о котором я собираюсь говорить сегодня, собираются в две группы - первая: обо 'всех' и вторая: о 'некоторых'. Эти две разновидности взаимосвязаны; они являются отрицаниями друг друга. Если, например, вы говорите: 'Все люди смертны', это будет отрицанием того, что 'Некоторые люди бессмертны'. В отношении общих пропозиций различие утвердительного и отрицательного произвольно. Собираетесь ли вы рассматривать пропозицию обо 'всех' как утвердительную, а пропозицию о 'некоторых' как отрицательную, или наоборот, исключительно дело вкуса. Например, если я говорю: 'По дороге мне никто не встретился', по внешнему виду этой пропозиции вы подумали бы, что она является отрицательной. На самом деле эта пропозиция конечно же обо 'всех', т.е. 'Все люди находятся среди тех, кого я не встретил'. Если, с другой стороны, я говорю: 'По дороге я встретил человека', вы нашли бы эту пропозицию утвердительной, тогда как её отрицанием будет: 'Все люди находятся среди тех, кого я не встретил по дороге'. Рассматривая пропозиции типа 'Все люди смертны' и 'Некоторые люди бессмертны', вы можете сказать, что более естественно брать общие пропозиции как утвердительные, а пропозиции о существовании как отрицательные, но просто потому что совершенно произвольно, что должно выбрать, лучше забыть эти слова и говорить только об общих пропозициях и пропозициях, утверждающих существование. Все общие пропозиции отрицают существование того или иного. Если вы говорите: 'Все люди смертны', это отрицает существование бессмертного человека и т.д. Я хочу подчеркнуть, что общие пропозиции должны интерпретироваться как не затрагивающие существования. Когда, например, я говорю: 'Все греки являются людьми', я не хочу, чтобы вы предполагали, что эта пропозиция влечёт существование греков. Её необходимо подчёркнуто рассматривать как то, что не влечёт существование, которое должно быть добавлено как отдельная пропозиция. Если вы хотите интерпретировать её в этом смысле, нужно добавить ещё одно высказывание 'и греки существуют'. Последнее служит целям практического удобства. Включая факт существования греков, вы сводите две пропозиции в одну, а это приводит в вашей логике к ненужному смешению, поскольку типы пропозиций, которые вам требуются, содержат и пропозиции, утверждающие существование чего-либо, и общие пропозиции, которые не утверждают существования. Если бы случилось так, что греков не было, то и пропозиция 'Все греки являются людьми', и пропозиция 'Ни один грек не является человеком' были бы истинными. Пропозиция 'Ни один грек не является человеком' - это, конечно же, пропозиция 'Все греки не являются людьми'. Если бы случилось так, что греков не было, обе пропозиции были бы истинными одновременно. Любые утверждения о всех элементах некоторого класса, не имеющего элементов, являются истинными, поскольку высказывание, противоречащее любому общему высказыванию, утверждает существование а, стало быть, в этом случае является ложным. Разумеется, такое понятие общих пропозиций, которые не затрагивают существования, отсутствует в традиционном учении о силлогизме. В традиционном учении о силлогизме предполагается, что когда у вас есть такое высказывание, как 'Все греки являются людьми', отсюда следует, что греки существуют, а это приводит к ошибкам. Например, 'Все химеры являются животными, и все химеры извергают пламя, следовательно, некоторые животные извергают пламя'. Это - силлогизм, построенный по модусу Darapti, но, как показывает пример, этот модус силлогизма ошибочен. Последний момент, между прочим, имеет определённый исторический интерес, поскольку он воспрепятствовал Лейбницу в его попытке построить математическую логику. Его всегда привлекала попытка построить такую математическую логику, какая сейчас есть у нас, или скорее такую, какую построил Буль*, и он всегда терпел неудачу, из-за своего почтения к Аристотелю. Всякий раз изобретая действительно хорошую систему, а это было в нескольких случаях, он всегда выявлял, что такой модус, как Darapti, ошибочен. Если вы говорите: 'Все А есть В, и все А есть С, следовательно, некоторые В есть С' - если вы говорите так, вы всегда подвержены ошибке, но он не смог заставить себя поверить в ошибочность этого и поэтому начинал сначала. Это демонстрирует вам, что нельзя слишком уж почтительно относиться к выдающимся людям'. Итак, когда вы начинаете задаваться вопросом, что же действительно утверждается в общей пропозиции, например такой, как 'Все греки - люди', вы находите, что утверждается истина всех значений того, что я называю пропозициональной функцией. Пропозициональная функция есть просто любое выражение, которое содержит неопределённую конституенту или несколько неопределённых конституент и которое становится пропозицией, как только определяются неопределённые конституенты. Если я говорю: 'х - человек' или 'и - число', это - пропозициональные функции; таковой является любая формула алгебры, скажем, (х + + у)(х - у) = х2 - у2. Пропозициональная функция есть ничто, но, как и большинство того, о чём намереваются вести речь в логике, она из-за этого не теряет своей важности. Действительно, единственное, что вы можете сделать с пропозициональной функцией, так это утверждать, что она либо всегда истинна, либо иногда истинна, либо никогда не истинна. Когда вы берёте: