Философия логического атомизма
Шрифт:
'то, что "х - человек" влечет "х - смертей", всегда истинно', является фактом. Вероятно, не слишком трудно видеть, каким образом может быть истинным, если кто-то собирается сказать, что "'Сократ - человек" влечёт "Сократ смертей"' само не является фактом, т.е. то, что я предполагал, когда обсуждал дизъюнктивные факты. Я чувствую уверенность, что вы сможете обойти это затруднение. Я только полагаю его, как вопрос, который необходимо рассмотреть, когда отрицается существование молекулярных фактов, поскольку, если его нельзя обойти, мы должны будем допустить молекулярные факты. Теперь я хочу перейти к вопросу о совершенно общих пропозициях и пропозициональных функциях. Под ними я подразумеваю пропозиции и пропозициональные функции, которые содержат только переменные и более вообще ничего. Последнее охватывает всю логику. Всякая логическая пропозиция состоит всецело и только из переменных, хотя и неверно, что каждая пропозиция, состоящая всецело и только из переменных, является логической. Стадии обобщения вы можете рассмотреть, например, следующим образом:
'Сократ любит Платона' 'х любит Платона' 'х любите' 'xRy'.
Здесь вы проходите через процесс последовательного обобщения. Переходя к xRy, вы получаете схему, состоящую только из переменных, и вообще не содержащую констант, чистую схему двухместного отношения, и ясно, что любая пропозиция, выражающая двухместное отношение, может быть получена из xRy приписыванием значений х, R и у. Поэтому можно сказать, что данная схема является чистой формой всех таких пропозиций. Я подразумеваю под формой пропозиции то, что получается, когда её каждая отдельная конституента заменяется переменной. Если требуется иное определение формы пропозиции, вы можете склониться к её определению как класса всех тех пропозиций, которые можно получить из данной пропозиции подстановкой других кон-ституент вместо одной или более конституент, содержащихся в пропозиции. Например, в 'Сократ любит Платона' что-то можно подставить вместо Сократа, что-то вместо Платона и какой-то другой глагол вместо 'любит'. Таким способом получается определённое число пропозиций, которые можно образовать из пропозиции 'Сократ любит Платона', заменой конституент данной пропозиции другими конституентами, так что здесь имеется определённый класс пропозиций, и все эти пропозиции имеют определённую форму, и, если угодно, можно сказать, что форма, которой все они обладают, есть класс, состоящий из них всех. Это достаточно предварительное определение, поскольку на самом деле идея формы более фундаментальна, чем идея класса. Я не предлагал бы его как действительно хорошее определение, но оно предварительно объяснит то, что подразумевается под формой пропозиции. Форма пропозиции представляет собой то, что является общим у любых двух пропозиций, где одна может быть получена из другой, подстановкой иных констшуенг вместо первоначальных. Получая формулы типа xRy, содержащие только переменные, вы находитесь на пути к тому типу вещей, о которых можете утверждать в логике. Приведём иллюстрацию. Вы знаете, что я подразумеваю под областью отношения*. Я имею в виду все члены, которые имеют данное отношение к чему-либо. Предположим, я говорю: 'xRy влечёт, что х принадлежит области R\ Это было бы пропозицией до-гики и пропозицией, которая содержит только переменные. Можно подумать, что она содержит такие слова, как 'принадлежит' и 'область', но это - ошибка. Эти слова появляются только в результате привычки использовать обыденный язык. На самом деле их там нет. Это - пропозиция чистой логики. Она вообще не упоминает каких-либо индивидуальных предметов. Она должна пониматься как утверждение об х, R и у, чем бы они не были. Таковы все утверждения логики.
Не очень легко видеть, что представляют собой консппуенгы логической пропозиции. Когда рассматривают 'Сократ любит Пла тона', 'Сократ' - это конституенга, 'любит' - это констигуента, 'Платон' - это констигуента. Затем вы преобразуете 'Сократ' в х, 'любит' в R и 'Платон' в у. х, R и у суть ничто, и они не являются конституентами, поэтому всё выглядит так, как если бы все пропо зиции логики были полностью лишены консппуент. Я не думаю, что последнее может быть совершенно истинным. Но тогда един ственное, что вы, по-видимому, можете сказать, так это то, что форма является конституентой, что пропозиции определённой формы всегда истинны; это может быть правильный анализ, хотя я и очень сильно в этом сомневаюсь. Однако необходимо заметить как раз то, что форма пропозиции никогда не является конституентой самой этой пропозиции. Если вы утверждаете, что 'Сократ любит Платона', форма этой пропо зиции есть форма двухместного отношения, но она не является констигуентой пропозиции. Если бы это было так, у вас должна была бы быть конституента, имеющая отношение к другим консти- туентам. Вы сделали бы форму слишком субстанциальной, если бы думали о ней как действительно об одной из вещей, что имеет дан ную форму, поэтому форма пропозиции определённо не является констигуентой самой пропозиции. Тем не менее она, вероятно, может быть конституентой общего высказывания о пропозициях, имеющих эту форму, поэтому, я думаю, возможно, чтобы логиче ские пропозиции могли интерпретироваться как пропозиции о формах. В заключение в отношении конституенг логических пропозиций я могу сказать только то, что эта проблема достаточно нова. Осо бой возможности рассмотреть её нет. Я не думаю, что вообще име ется какая-либо литература, которая как-то её затрагивает, и это интересная проблема. Как раз теперь я хотел бы привести несколько иллюстраций пропозиций, которые могут быть выражены на языке чистых пере менных, но не являются пропозициями логики. В совокупность пропозиций, являющихся пропозициями логики, включены все пропозиции чистой математики; не все они могут быть выражены только в логических терминах, но могут также быть дедуцированы из логических предпосылок, а стало быть, они являются логиче скими пропозициями. Обособленно от них имеется много таких пропозиций, которые могут быть выражены в логических терми нах, но не могут быть доказаны из логики и определённо не явля ются пропозициями, образующими часть логики. Предположим, вы берёте пропозицию типа 'В мире существует по крайней мереодна вещь'. Эту пропозицию вы можете выразить в логических терминах. Если вам угодно, она будет выражать то, что пропозициональная функция 'х = х' является возможной. Стало быть, эту пропозицию вы в состоянии выразить в логических терминах; но из логики вы не сможете узнать, является она истинной или ложной. Поскольку вы её знаете, вы знаете её эмпирически, потому что может случиться так, что универсума нет, и тогда она не была бы истинной. То, что универсум существует, так сказать, простая случайность. Пропозиция о том, что в мире имеет место в точности 30.000 предметов, также может быть выражена в чисто логических терминах, и она определённо является не пропозицией логики, но эмпирической пропозицией (истинной или ложной), потому что мир, содержащий более 30.000 предметов, и мир, содержащий менее 30.000 предметов, оба возможны, поэтому, если случится так, что существует в точности 30.000 предметов, последнее можно назвать
'Если узр следует q, а из q следует г, то из/? следует г'. 'Если все а суп. Ь, а все Ъ суть с, то все а суть с'. 'Если все а суть Ъ, и х есть а, то х есть Ь'. Это - пропозиции логики. Они имеют определённые особые качества, которые отличают их от всех других пропозиций и предоставляют нам возможность знать их a priori. Но каковы точно эти характеристики, я не в состоянии вам сообщить. Хотя необходимой характеристикой логических предложений и является то, что они состоят только из переменных, т.е. что они должны утверждать универсальную истину, или иногда-истину [sometimes-truth] пропозициональной функции, всецело состоящей из переменных - хотя Философия логического атомизма 67 это и необходимая характеристика, она не удовлетворительна. Прошу прощения, что я оставил так много проблем нерешёнными. Я всегда должен приносить подобное извинение, но мир действительно достаточно загадочен, и я ничего не могу поделать.
Дискуссия
Вопрос: Есть ли какое-то слово, которое вы могли бы подставить вместо слова 'существование' и которое давало бы существование индивидуумам? Вы применяете слово 'существование' к двум идеям, или же отрицаете, что имеется две идеи? М-р Рассел: Нет. Идеи, применимой к индивидуумам не существует. В отношении действительных вещей, имеющихся в мире, нет вообще ничего такого, что вы могли бы сказать о них и что каким-либо способом соответствует такому понятию существования. Явно ошибочно говорить, что имеется нечто аналогичное существованию и что это нечто вы могли бы высказать о них. Вас запутывает язык, поскольку совершенно корректно сказать: 'Все вещи в мире существуют', а от этого так легко перейти к 'Это существует, поскольку это вещь в мире'. В предикате нет ничего такого, что нельзя было бы мыслить ложным. Я имею в виду, совершено ясно, что если было бы нечто такое, как существование индивидуума, о котором мы говорим, его было бы совершенно невозможно применить, а это характеристика ошибки.
VI. ДЕСКРИПЦИИ И НЕПОЛНЫЕ СИМВОЛЫ
В JTOT р?' я предлагаю обратиться к теме дескрипций, к тому, что я называю 'неполными символами' и к существованию описываемых индивидуумов. Вспомните, что прошлый раз я рассматривал существование такого вида вещей, который вы подразумеваете, говоря 'Люди существуют'. Треки существуют' или другими фразами той разновидности, где у вас есть существование, которое может относиться ко множественному числу. Сегодня я намереваюсь иметь дело с существованием, которое утверждается в единственном числе, типа 'Человек в железной маске существует' или некоторыми выражениями той разновидности, где у вас есть объект, описываемый фразой 'определённый такой-то и такой-то' ['The so-and-so'] в единственном числе, и хочу обсудить анализ пропозиций, в которых встречаются фразы такого вида. Разумеется, в метафизике имеется огромное количество пропозиций, относящихся к данной разновидности. 'Я существую', 'Богсуществует' или Томер существовал', и другие подобные высказывания всегда встречаются в метафизических дискуссиях и, я думаю, трактуются в обычной метафизике таким способом, который включает простую логическую ошибку, с которой мы будем иметь дело сегодня, ошибку того же самого типа, о которой я говорил на прошлой неделе в связи с существованием видов вещей. Один из способов проверки пропозиции такого типа заключается в том, чтобы спросить себя, что случилось бы, если бы она оказалась ложной. Если вы возьмете такую пропозицию, как 'Ромул существовал', вероятно большинство из нас подумает, что это не так. Очевидно, сказать, что Ромул существовал, - это совершенно осмысленное высказывание (истинное, либо ложное). Если бы civ Ромул входил в наше высказывание, было бы ясно, что высказывание о его несуществовании было бы вздором, поскольку у пропозиции не может быть конституенты, которая ничего вообще собой не представляет. Каждая конституента должна иметь место как одна из вещей в мире, а следовательно, если бы Ромул сам входил в пропозиции о том, что он существовал или не существовал, обе эти пропозиции, если бы он не существовал, не могли не только быть истинными, но даже не были бы значимыми. Очевидно, это не тог случай, и первый вывод, который отсюда следует, состоит в том, что хотя и кажется, как если бы Ромул был конституентой данной пропозиции, на самом деле это ошибочно. Ромул не входит в пропозицию 'Ромул не существует'. Допустим, вы пытаетесь разобраться, что подразумевает данная пропозиция. Например, вы можете взять всё то, что Ливии должен сказать о Ромуле, все свойства, которые он ему приписывает, включая вероятно и то единственное, которое помнит большинство из нас, а именно, тот факт, что его звали 'Ромул'. Вы можете всё это объединить и образовать пропозициональную функцию, сказав: 'х имеет такие-то и такие-то свойства', и это будут те свойства, которые, как вы обнаружили, перечислены у Ливия*. Здесь у вас имеется пропозициональная функция, и сказав, что Ромул не существовал, вы просто говорите, что данная пропозициональная функция никогда не является истинной, что она невозможна в том смысле, который я разъяснял в прошлый раз, т.е., что у х нет значения, делающего её истинной. Это сводит несуществование Рому-ла к тому типу несуществования, о котором я говорил в прошлый раз, когда мы рассматривали несуществующих единорогов. Но последнее не является полным описанием существования или несуществования такого типа, потому что есть другой способ, которым не способны существовать описываемые индивидуумы, и это в том случае, где описание применяется более чем к одному человеку. Например, вы не можете говорить об 'определённом жителе Лондона' ['The inhabitans of London'], не потому что такового нет, но потому что их много. Вы, следовательно, видите, что пропозиция 'Ромул существовал' (или 'Ромул не существовал') вводит пропозициональную функцию, потому что имя 'Ромул' на самом деле не является именем, но разновидностью сокращённой дескрипции. Оно обозначает человека, который сделал то-то и то-то, который убил Рема, основал Рим и т.д. Оно является сокращением для такого описания; если вам нравится, оно сокращение для 'человек, которого звали "Ромул"'. Если бы оно действительно было именем, вопрос о существовании не мог бы возникнуть, потому что имя является именем чего-то, или же оно не является именем, и если такого человека как Ромул нет, то не может быть и имени такого несуществующего человека, так что данное единственное слово 'Ромул' на самом деле представляет собой разновидность сокращённого или свёрнутого описания, и если вы думаете о нём как об имени, то впадаете в логические ошибки. Когда вы осознаёте, что оно представляет собой дескрипцию, вы, стало быть, осознаёте, что любая пропозиция о Ромуле на самом деле вводит пропозициональную функцию, включающую описание, как (например): 'х, которого звали "Ромул"'. Последнее сразу же знакомит вас с пропозициональной функцией, и когда вы говорите 'Ромул не существует', вы имеете в виду, что данная пропозициональная функция не является истинной ни для одного значения х. Имеется две разновидности описаний, одни могут быть названы 'неопределёнными дескрипциями', когда мы говорим о 'неопределённом таком-то и таком-то' ['a so-and-so'], а другие могут быть названы 'определёнными дескрипциями', когда мы говорим об 'определённом таком-то и таком-то' ['the so-and-so'] (в единственном числе). Например: Неопределённые: Определённые:
[а] человек, [а] собака, [а] свинья, [а] кабинет министров. Человек в железной маске.
Человек, который последним зашёл в эту комнату.
Единственный англичанин, который ко гда-то оккупировал Папскую область. Число жителей Лондона.
Сумма 43 и 34. (Для дескрипции не необходимо, чтобы она описывала индивидуум; она может описывать предикат, отношение или что-то ещё.)
Определённые дескрипции - это фразы того типа, о котором я хочу вести речь сегодня. Я не хочу говорить о неопределённых дескрипциях, так как то, что бьию о них сказать, сказано мной в прошлый раз. Я хочу, чтобы вы осознали, что вопрос о том, является ли фраза определенной дескрипцией, зависит только от её формы, а не от вопроса, существует ли определённый индивидуум, описываемый таким образом. Например, я назвал бы фразу 'определённый житель Лондона' ['The inhabitant of London'] определённой дескрипцией, хотя фактически она не описывает никакого определённого индивидуума. Относительно определённой дескрипции прежде всего нужно осознать то, что она не является именем. Возьмём фразу 'автор Веверлея'. Это - определённая дескрипция, и легко видеть, что она не является именем. Имя - это простой символ (т.е. символ, не имеющий каких-либо частей, которые являются символами); простой символ обычно обозначает определённый индивид, или в расширенном смысле объект, который не является индивидом, но временно трактуется, как индивид, или по ложному убеждению считается индивидом, таким как человек. Фраза такого типа, как 'автор Веверлея' ['The author of Waverley'} не является именем, поскольку она представляет собой комплексный символ. Она содержит части, которые являются символами. Она содержит четыре слова, и значения этих четырёх слов уже зафиксированы, и они фиксируют значение фразы 'автор Веверлея' ['The author of Waverley'} в единственном смысле, в котором эта фраза имеет какое-либо значение. В этом смысле её значение уже предопределено, т.е. когда значения слов 'the', 'author', 'of и 'Waverley' уже зафиксированы, в значении всей данной фразы нет ничего произвольного или конвенциального. В этом отношении она отличается от слова 'Скотт', потому что, когда вы зафиксировали значение всех других слов в языке, вы ничего не сделали для фиксации значения имени 'Скотт'. Иначе говоря, если вы понимаете английский язык, вы должны понимать значение фразы 'автор Веверлея', если никогда не слышали её до сих пор, тогда как вы не поняли бы значение слова 'Скотт', если никогда не слышали данного слова ранее, поскольку знать значение имени значит знать, к чему оно применимо. Иногда вы найдёте людей, высказывающихся так, как если бы дескриптивные фразы были именами, и найдёте, например, предположение, что такая пропозиция, как 'Скотт является автором Веверлея' на самом деле утверждает, что 'Скотт' и 'автор Веверлея' суть два имени одного и того же человека. Это совершенноезаблуждение; прежде всего, потому что 'автор Веверлея' не является именем, и, во-вторых, потому что, как вы очень хорошо можете видеть, если бы это было так, данная пропозиция была бы подобна пропозиции 'Скотт есть сэр Вальтер', и не зависела бы от какого-либо факта, кроме того, что так звали рассматриваемого человека, поскольку имя и есть то, как зовут человека. Фактически Скотт был автором Веверлея тогда, когда никто не называл его так, когда никто не знал, был ли он автором или же нет, и факт, что он являлся таковым, был физическим фактом, фактом, что он сидел и писал книгу своей собственной рукой, что никоим образом не связано с тем, как его звали. Здесь нет произвола. Вы не сможете никаким подбором терминологии установить, является ли он автором Веверлея, потому что на самом деле он решил написать его и вы ничем себе не поможете. Это иллюстрирует, что фраза 'автор Веверлея' совершенно отлична от имени. Вы можете доказать это совершенно ясно с помощью формальных аргументов. В пропозиции 'Скотт является автором Веверлея' слово 'является' конечно же выражает тождество, т.е. что сущность, имя которой Скотт, тождественна с автором Веверлея. Но когда я говорю: 'Скотт является смертным', данное 'является' относится к предицированию, что совершенно отлично от 'является', выражающего тождество. Ошибочно интерпретировать пропозицию 'Скотт является смертным' как означающую 'Скотт тождествен с одним из смертных', потому что (помимо других причин) о 'смертности' нельзя говорить кроме как посредством пропозициональной функции 'х является смертным', что относит слово 'является' к предицированию. Вы не сможете редуцировать 'является', относящееся к предицированию, к другому 'является'. Но 'является' в 'Скотт является автором Веверлея' относится к тождеству, а не к предицированию1 Если в данную пропозицию вместо 'автор Веверлея' подставить какое угодно имя, скажем 'с', то она преобразуется в 'Скотт является с', тогда, если 'с' есть имя того, кто не является Скоттом, данная пропозиция становится ложной, тогда как, с другой стороны, если 'с' есть имя Скотта, то она становится просто тавтологией. Сразу же очевидно, что если бы 'с' совпадало с самим словом 'Скотт', то 'Скотт является Скоттом' есть как раз тавтология. Но если вы возьмёте любое другое имя, которое также является именем Скотта, тогда, если имя будет использоваться как имя, а не как описание, пропозиция всё ещё будет тавтологией. Поскольку само имя есть просто способ указания на предмет, и не входит в то, что Смешение этих двух значении слова 'является' по существу свойственно гегелевской концепции тождества-в-различии. ы утверждаете, так что если один предмет имеет два имени, вы получите в точности то же самое утверждение, независимо от того, какое из двух имён используете, при условии, что они на самом деле являются именами, а не сокращёнными дескрипциями. Поэтому есть только две альтернативы. Если 'с' имя, препозиция 'Скотт является с' либо ложна, либо тавтологична. Ни пропозиция 'Скотт является автором Веверлея' не является ни тем и не другим, а стало быть, она не совпадает с какой-либо пропозицией формы 'Скотт есть с', где 'с' является именем. Это другой способ иллюстрации того, что описание совершенно отлично от имени. Я с удовольствием проясню то, что говорил как раз сейчас, а именно, если вы подставите другое имя на место 'Скотт', которое также является именем того же самого индивидуума, скажем, 'Скотт есть сэр Вальтер', тогда 'Скотт' и 'сэр Вальтер' используются как имена, а не как дескрипции, ваша пропозиция есть тавтология в строгом смысле. Если же кто-то утверждает: 'Скотт есть сэр Вальтер', то способ, которым он это подразумевает, был бы использованием имён как дескрипций. Подразумевалось бы, что человек, называемый 'Скоттом', есть человек, называемый 'сэром Вальтером', и фраза 'человек, называемый "Скоттом"' является дескрипцией, таковой является и фраза 'человек, называемый "сэром Вальтером"'. Поэтому это не было бы тавтологией. Пропо-1иция подразумевала бы, что человек, называемый 'Скоттом', тояществен человеку, называемому 'сэром Вальтером'. Но если вы и то и другое используете как имена, существо дела совершенно иное. Вы должны заметить, что имя не встречается в том, что вы утверждаете, когда используете имя. Имя - это просто средство выражения того, о чём вы пытаетесь утверждать, и когда я говорю "Скотт написал Веверлея', имя 'Скотт' не входит в то, что я собираюсь утверждать. Я утверждаю нечто о человеке, а не об имени. Поэтому если я говорю: 'Скотт есть сэр Вальтер', используя эти два имени как имена, ни 'Скотт', ни 'сэр Вальтер' ни входят в то, что я утверждаю, но только человек, который имеет данные имена, и, стало быть, то, что я утверждаю, является тавтологией. Достаточно важно осознать эти два различных использования имён или любых других символов: одно, когда вы говорите о символе, и другое, когда вы используете его как символ, как средство сказать о чём-то ещё. Если вы говорите о своём обеде, само собой вы не говорите о слове 'обед', но говорите о том, что собираетесь съесть, а это совершенно иное. Обычное использование слов состоит в переходе к вещам, и когда вы используете слова таким способом, высказывание 'Скотт есть сэр Вальтер' является чистой тавтологией, в точности на том же уровне как и 'Скотт является Скоттом'. Это возвращает меня к пункту, что когда вы берёте "Скотт является автором Веверлея' и подставляете вместо 'автор Веверлея' имя на место дескрипции, вы с необходимостью получаете либо тавтологию, либо ложь - тавтологию, если подставляете 'Скотт' или какое-то другое имя того же человека, и ложь, если подставляете что-то ещё. Но сама эта пропозиция не является ни тавтологией, ни ложью, и это показывает вам, что пропозиция 'Скотт является автором Веверлея' отличается от любой пропозиции, которая может быть получена, если вместо 'автор Веверлея' вы подставите имя. Этот вывод одинаково верен для любой другой пропозиции, в которую входит фраза 'автор Веверлея'. Если вы возьмёте любую пропозицию, в которой встречается данная фраза, и замените её собственным именем, будет ли это имя 'Скотт' или любое другое, вы получите отличную пропозицию. Вообще говоря, если именем, которое вы подставляете, является 'Скотт', ваша пропозиция, если она была истинной до этого, будет сохранять истинность, а если она была до этого ложной, будет оставаться ложной. Но это отличная пропозиция. Не всегда верно, что она остаётся истинной или ложной, как можно видеть из примера: 'Георг IV желал знать, является ли Скотт автором Веверлея'. Неверно, что Георг IV желал знать, является ли Скотт Скоттом*. Таким образом, бывает даже так, что истина и ложь пропозиции иногда изменяются, когда вы подставляете имя объекта вместо описания того же самого объекта. Но в любом случае, когда вы подставляете имя вместо дескрипции, всегда получается отличная пропозиция. На первый взгляд тождество достаточно загадочно. Когда вы говорите: 'Скотт является автором Веверлея', для вас как будто бы заманчиво думать, что есть два человека, один из которых Скотт, а другой - автор Веверлея, и случилось так, что они совпадают. Это, очевидно, абсурдно, но данный способ, всегда привлекателен при рассмотрении тождества. Когда я говорю: 'Скотт является автором Веверлея', и 'является' выражает тождество, причина того, что здесь тождество может быть вьфажено верно и нетавтологично, состоит как раз в том, что одно есть имя, а другое - дескрипция. Или обе фразы могут быть дескрипциями. Если я говорю: 'Автор Веверлея является автором Мармиона', последнее, конечно, утверждает тождество двух дескрипций. Следующий пункт, который я хочу сейчас сделать ясным, заключается в том, что когда дескрипция (на будущее, когда я говорю 'дескрипция', я имею в виду определённую дескрипцию) входит в пропозицию, нет конституенты данной пропозиции, соответствующей этой дескрипции как целому. При правильном анализе Пропозиции дескрипция разлагается и исчезает. Другими словами, ОГДЯ я говорю: 'Скотт является автором Веверлея', предполагать, ЧТО вы имеете здесь три конституенты: 'Скотт', 'является' и 'автор Вюрлея', есть ошибочный анализ. Это конечно тот способ анализе, который может прийти вам на ум. Вы можете допустить, что "автор Веверлея' - комплексное выражение, и оно может быть разложено далее, но вы можете посчитать, что для начала пропозиция может быть расщеплена на эти три кусочка. Это совершенно ошибочно. 'Автор Веверлея' вообще не является консппуентой пропо-чиции. На самом деле конституент, соответствующих дескриптивным фразам, нет. Сейчас я попытаюсь вам это доказать. Первая и наиболее очевидная причина состоит в том, что могут быть значимые пропозиции, отрицающие существование 'определенного такого-то и такого-то'. 'Определённый единорог не существует' ['The unicorn does not exist']. 'Наибольшее конечное число W существует'. Пропозиции такого типа являются вполне значимыми. совершенно здравыми, правильными, пристойными пропо-Мцкями, и вероятно не может быть такого, чтобы единорог был ионституентой пропозиции, так как ясно, что он не может быть констигуентой, постольку поскольку никаких единорогов нет. По-Окодьку конституенты пропозиций конечно же суть то же самое, ЧТО и конституенгы соответствующих фактов, и поскольку то, что единорога не существует, является фактом, совершенно ясно, что единорог не является консппуентой данного факта, так как если бы имелся какой-то факт, констигуентой которого был бы единорог, имелся бы и единорог, и было бы неверно, что он не существует. В частности это применимо в случае дескрипций. Итак, поскольку для 'определённого такого-то и такого-то' возможно не существовать и, тем не менее, для пропозиций, в которые входит "определенный такой-то и такой-то', возможно быть значимыми и даже истинными, мы должны попытаться увидеть, что означает, когда говорят, что определённый такой-то и такой-то существует. Благодаря нашей озабоченности практическими делами временная характеристика глагола становится исключительно надоедливой пошлостью. Было бы гораздо приятнее, если бы они не имели временной характеристики, как, я думаю, имеет место в китайском языке, но я не знаю китайского. Вы должны быть в состоянии скяздть: "Сократ существует в прошлом', 'Сократ существует в Ийстоящем', 'Сократ существует в будущем' или просто 'Сократ существует', без каких-либо временных импликаций, но к несчастью язык этого не позволяет. Тем не менее, я собираюсь исполь-шйнгь язык таким безвременным способом; когда я говорю: 'Оп-tWWJiCHHOC такое-то и такое-то существует', я не собираюсь подразумевать, что оно существует в настоящем, прошлом или будущем, но просто, что оно существует, без каких-либо импликаций, затрагивающих время. 'Автор Веверлея существует' ['The author of Waverley exists']: есть две вещи, которые для этого требуются. Прежде всего, что такое 'автор Веверлея"] Это - человек, который написал Веверлея, т.е. теперь мы пришли к тому, что у вас есть затрагиваемая пропозициональная функция, а именно, 'х пишет Веверлея', и автор Веверлея - это человек, которьш пишет Веверлея, и для того, чтобы человек, которьш пишет Веверлея мог существовать, необходимо, чтобы данная пропозициональная функция обладала двумя свойствами:
1. Она должна быть истинной по крайней мере для одного х. 2. Она должна быть истинной самое большое для одного х. Если бы никто не написал Веверлея, автор не мог бы существовать, а если бы его написали два человека, не мог бы существовать определённый автор, на которого указывает артикль. Так что вам требуются эти два свойства: одно, что она является истинной по крайней мере для одного х, а другое, что она является истинной самое большое для одного х; и то и другое требуется для существования. Свойство быть истинным по крайней мере для одного х - это свойство, которое мы рассматривали в прошлый раз; это то, что я выражал, говоря, что пропозициональная функция является возможной. Поэтому мы переходим ко второму условию, что она является истинной самое большое для одного х, а это вы можете выразить следующим образом: 'Если х и у написали Веверлея, тогда х тождествен у, чем бы ни бьши х и у\ Последнее говорит, что его написал самое большое один человек. Оно не говорит, что кто-то вообще написал Веверлея, поскольку если бы никто его не написал, это высказывание всё ещё оставалось бы истинным. Оно говорит только то, что его написал самое большое один человек. Первое из приведённых условий существования нарушается в случае определённого единорога, второе - в случае определённого жителя Лондона. Можно объединить эти два условия и получить сложносокращённое выражение, включающее значение обоих. Вы можете их оба редуцировать к тому, что: '("х написал Веверлея" тождественно с "х есть с", чем бы ни был х) возможно относительно с'. Я думаю, что это просто настолько, насколько вы способны высказать утверждение.
Вы видите, что означает сказать, что существует некоторая сущность с; мы можем не знать, что она собой представляет, но она такова, что когда х есть с, истинно, что х написал Веверлея, а когда х не есть с, не истинно, что х написал Веверлея; и это равно высказыванию, что с - единственный человек, который написал Веверлея; и я говорю, что у с есть значение, которое делает его истинным. Так что данное целостное выражение, являющееся пропозициональной функцией о с, является возможным в отношении с (в объяснённом в прошлый раз смысле). Вот что я подразумеваю, когда говорю, что автор Веверлея существует. Когда я говорю: 'Автор Веверлея существует', я имею в виду, что имеется сущность с такая, что 'х написал Веверлея' истинно, когда х есть с, и ложно, когда х не есть с. 'Автор Веверлея' здесь совершенно исчезает как конституента; поэтому, сказав: 'Автор Веверлея существует', я ничего не говорю об авторе Веверлея. Вместо этого вы разработали рассмотрение пропозициональных функций, и 'автор Веверлея' исчез. Вот почему можно осмысленно сказать: 'Автор Веверлея не существует'. Это было бы невозможно, если бы 'автор Веверлея' был конституентой пропозиций, в вербальном выражении которых встречается данная фраза. Тот факт, что вы можете обсуждать пропозицию 'Бог существует', есть доказательство того, что слово 'Бог', как оно используется в данной пропозиции, является дескрипцией, а не именем. Если бы слово 'Бог' было именем, вопрос, касающийся существования, не мог бы возникнуть. Итак, я определил, что имею в виду, когда говорю, что описываемый предмет существует. Я всё ещё должен объяснить, что подразумеваю, говоря, что описываемый предмет имеет определённые свойства. Предположим, вы хотите сказать: 'Автор Веверлея был человеком', последнее будет репрезентировано следующим образом: '("х написал Веверлея" тождественно с "х есть с", чем бы ни был х, и с - человек) является возможным в отношении с'. Вы заметите, что то, что до этого мы придали как значение 'Автор Веверлея существует', является частью данной пропозиции. Последнее - часть любой пропозиции, в которую фраза 'автор Веверлея' имеет, как я его называл, 'первичное вхождение'. Говоря о 'первичном вхождении', я имею в виду, что у вас нет пропозиции об авторе Веверлея, входящей в качестве части в некоторую большую пропозицию типа 'Я убеждён, что автор Веверлея был человеком' или 'Я убеждён, что автор Веверлея существует'. Когда она имеет первичное вхождение, т.е. когда пропозиция, к ней относящаяся, вовсе не является час1ью большей пропозиции, фраза, которая определяется как значение 'Автор Веверлея существует' будет частью этой пропозиции. Если я говорю, что автор Веверлея был человеком, поэтом, шотландцем или кем-то ещё, я говорю об авторе Веверлея, как имеющим первичное вхождение, высказывание о существовании всегда является частью этой пропозиции. В этом смысле все пропозиции, которые я высказываю об авторе Веверлея, влекут, что автор Веверлея существует. Так что любое высказывание, в которое дескрипция имеет первичное вхождение, влечёт, что описываемый объект существует. Если я говорю: 'Нынешний король Франции лыс', это влечёт, что нынешний король Франции существует. Если я говорю: 'Нынешний король Франции имеет прекрасную шевелюру', это также влечёт, что нынешний король Франции существует. Следовательно, если вы не понимаете, каким образом должна отрицаться пропозиция, содержащая дескрипцию, вы придёте к заключению, что не является истинным то, что либо нынешний король Франции лыс, либо он не лыс, поскольку, перечислив все лысые предметы, вы не найдёте его среди них, и перечислив все не лысые предметы, вы также не найдёте его среди них. Найденное мной единственное предположение, позволяющее рассматривать его в общепринятом направлении, - это предположение, что он носит парик. Вы можете избежать гипотезы о том, что он носит парик, только заметив, что отрицанием пропозиции 'Нынешний король Франции лыс' не будет пропозиция 'Нынешний король Франции не лыс', если под ней вы подразумеваете, что 'Существует такой человек, как король Франции, и этот человек не лыс'. Причина этому в том, что когда вы устанавливаете, что нынешний король Франции лыс, вы говорите: 'Существует такое с, что с есть нынешний король Франции, и с - лыс', а отрицанием последнего не является 'Существует такой с, что с есть нынешний король Франции, и с - не лыс'. Оно более сложное. Оно имеет следующий вид: 'Либо не существует такого с, что с есть нынешний король Франции, либо, если такой с существует, то с -не лыс.' Вы видите, таким образом, что если вы хотите отрицать пропозицию 'Нынешний король Франции лыс', вы можете сделать это, отрицая то, что он существует, вместо отрицания того, что он лыс. Для того чтобы отрицать высказывание, что нынешний король Франции лыс, которое представляет собой высказывание, состоящее из двух частей, вы можете действовать, отрицая одну из частей. Вы можете отрицать одну часть, которая ведёт к предположению, что нынешний король Франции существует, но не лыс, или другую часть, которая ведёт вас к отрицанию того, что нынешний король Франции существует; любое из этих двух отрицаний ведёт вас к ложности пропозиции 'Нынешний король Франции лыс'.Когда же вы говорите: 'Скотт - человек', возможности двойственного отрицания нет. Единственный способ, которым вы можете отрицать 'Скотт - человек', это сказать: 'Скотт - не человек'. Но там, где встречаются дескриптивные фразы, у вас есть возможность двойственного отрицания. Крайне важно осознать, что фраза типа 'определённый такой-то и такой-то' не встречается в анализе пропозиций, в вербальное выражение которых она входит, что, когда я говорю: 'Автор Ве-верлея человек', 'автор Веверлея' не является субъектом данной пропозиции тем способом, которым субъектом был бы Скотт, если бы я сказал 'Скотт - человек', используя 'Скотт' как имя. Я не могу удовлетворительно подчеркнуть, сколь важен этот пункт, и как много ошибок вы получаете в метафизике, если не осознаёте, что когда я говорю: 'Автор Веверлея - человек', последняя пропозиция не имеет той же самой формы, как 'Скотт - человек'. Она не содержит консппуенту 'автор Веверлея'. Важность этого весьма значительна по многим причинам, и одна из них это вопрос о существовании. Как я указал вам в прошлый раз, имеется огромное количество философии, покоящейся на понятии о том, что существование является, так сказать, свойством, которое вы можете приписать вещам, и что вещи, которые имеют место быть, обладают свойством существования, а вещи, которые не существуют, нет. Это вздор, берёте ли вы виды предметов или описываемые индивидуальные предметы. Когда я, например, говорю: Томер существовал', под 'Гомером' я понимаю некоторую дескрипцию, скажем, 'автор поэм Гомера', и я утверждаю, что эти поэмы были написаны одним человеком, и данная пропозиция весьма сомнительна; но если вы можете предоставить действительного человека, который на самом деле написал эти поэмы (предположим, что существует такой человек), сказать о нём, что он существовал, было бы выражением бессмыслицы, не ложности, но бессмыслицы, потому что только об описываемых людях можно осмысленно сказать, что они существуют. Прошлый раз я указывал на ошибку в выражении: 'Люди существуют, Сократ - человек; следовательно, Сократ существует'. Когда я говорю: Томер существует, это - Гомер; следовательно, это существует', то это ошибка того же самого типа. Аргумент 'Это - автор поэм Гомера, и автор поэм Гомера существует; следовательно, это существует' совершенно ошибочен. Существование может осмысленно утверждаться только там, где есть пропозициональная функция. Вы можете утверждать 'Определённое такое-то и такое-то существует', подразумевая, что существует как раз одно с, которое имеет данные свойства, но когда вы предоставите с, ими обладающее, вы не в состоянии сказать о таком с, чтооно существует, поскольку это бессмысленно; это не ложно, но вообще не имеет значения. Поэтому индивидуумы, имеющие место в мире, не существуют, или скорее, бессмысленно говорить, что они существуют, и бессмысленно говорить, что они не существуют. Этого нельзя сказать, когда вы дали им имена, но только тогда, когда вы их описали. Когда вы говорите: Томер существует', вы имеете в виду, что Томер' - это описание, которое к чему-то применимо. Дескрипция, когда она полностью установлена, всегда имеет форму 'определённое такое-то и такое-то'. Тип вещей, которые подобны данным дескрипциям в том отношении, что они встречаются как слова в пропозиции, но на самом деле не являются консппуенгами правильно проанализированной пропозиции, вещи данного типа я называю 'неполными символами'. В логике существует очень много разновидностей неполных символов, и они являются источниками многих недоразумений и ложной философии, потому что люди введены в заблуждение грамматикой. Вы считаете, что пропозиция 'Скотт смертей' и пропозиция 'Автор Веверлея смертей' имеют одну и ту же форму. Вы считаете, что они обе являются простыми пропозициями, приписывающими предикат субъекту. Это совершеннейшее заблуждение; одна из них приписывает (или скорее может приписывать), а другая нет. Те вещи, которые подобны 'автору Веверлея' и которые я называю неполными символами, сами по себе не имеют никакого значения, но приобретают его только в контексте. 'Скотт', взятое как имя, имеет значение само по себе. Оно обозначает определённого человека, и тот существует. Но фраза 'автор Веверлея' не является именем и сама по себе не обозначает вообще ничего, потому что когда она используется в пропозициях правильно, эти пропозиции не содержат никакой соответствующей ему констигуенты. Помимо дескрипций существует значительное количество разновидностей неполных символов. Это классы, о которых я буду говорить в следующий раз, и отношения, взятые в расширенном смысле, и т.д. Такие комплексы символов на самом деле представляют собой то, что я называю 'логическими фикциями', и они охватывают практически все объекты, хорошо известные в повседневной жизни: столы, стулья, Пикадилли, Сократа и т.д. Большинство из них либо классы, либо ряды, либо ряды классов. Во всяком случае, все они являются неполными символами, т.е. они являются комплексами, обладающими значением только в использовании и не имеющими никакого значения сами по себе. Если вы хотите разобраться в анализе мира или анализе фактов или если вы хотите получить какое-либо представление о том, чтона самом деле представляет собой мир, важно осознать сколь мно гое из того, что имеет место в фразеологии, связано с природой неполных символов. Очень легко это можно видеть в случае с 'ав тором Веверлея', потому что 'автор Веверлея' не обозначает ни просто Скотта, ни что-либо ещё. Если бы он обозначал Скотта, пропозиция 'Скотт есть автор Веверлея' совпадала бы с пропози цией "Скотт есть Скотт', что не так, поскольку Георг IV хотел знать, истинна ли первая пропозиция, и не хотел знать истинна ли вторая. Если бы 'автор Веверлея' обозначал нечто иное, чем Скотт, пропозиция 'Скотт есть автор Веверлея' была бы ложной, что не так. Следовательно, вы должны заключить, что 'автор Веверлея' сам по себе на самом деле вообще ничего не обозначает; а это ха рактеристика неполных символов.
VII. ТЕОРИЯ ТИПОВ И СИМВОЛИЗМ: КЛАССЫ
Перед тем как приступить сегодня к главной теме своей лекции, я предпочёл бы сделать несколько замечаний в объяснение и рас ширение того, что говорил о существовании в двух предыдущих лекциях. Главным образом это является следствием письма, полу ченного мной от одного из слушателей и поднимающего много вопросов, которые, я думаю, занимают также умы других. Первый пункт, который я хотел бы прояснить, следующий: Я не имел в виду, что, сказав о вещи, что она существует, подразумева ют то же самое, как если говорят, что она возможна. Я имел в ви ду, что одной и той же является фундаментальная логическая идея, примитивная идея, от которой производны обе эти идеи. Последнее не совсем одно и то же с тем, когда говорят, что высказывание о том, что вещь существует, одинаково с высказыванием, что она возможна, я так не считаю. Я использую слово 'возможно' вероят но в несколько необычном смысле, поскольку мне требуется слово для фундаментальной логической идеи, для которой в обычном языке слова не существует, и, следовательно, если в обычном язы ке необходимо попытаться выразить рассматриваемую идею, нуж но взять некоторое слово и сообщить ему смысл, приданный мной слову 'возможно'; последний ни в коей мере не является тем смыс лом, которым оно обладает, но он подходит для моей цели. Мы говорим о пропозициональной функции, что она является возмож ной, когда имеются случаи, при которых она является истинной. Это не в точности то же самое, что обычно подразумевают, когда, например, говорят, что возможно завтра будет дождь. Но я настаиваю, что обычное использование слова 'возможно' посредством обработки производно от этого понятия. Например, обычно, сказаво пропозиции, что она возможна, вы подразумеваете нечто подобное следующему. Прежде всего из этого следует, что вы не знаете является ли она истинной или ложной; и, я думаю, во-вторых, из этого следует, что она относится к тому классу пропозиций, из которых о некоторых известно, что они истинны. Когда, например, я говорю: 'Возможно, завтра будет дождь' - пропозиция 'Завтра будет дождь' относится к классу пропозиций 'Дождь идёт в момент времени /', где / - различные моменты времени. Отчасти мы подразумеваем, что нам не известно, будет дождь, или же нет, но также подразумеваем и то, что знаем, что этот тип пропозиции вполне способен быть истинным, что о значении пропозициональной функции нам известно, что какое-то значение является истинным. Я думаю, вы найдёте, что многие обычные употребления слова 'возможно' проходят под таким руководством. Другими словами, когда вы говорите о пропозиции, что она является возможной, у вас имеется следующее: 'В данной пропозиции есть некоторая констигуенга, которая, если преобразовать её в переменную, даст вам пропозициональную функцию, иногда являющуюся истинной'. Следовательно, вы не должны говорить о пропозиции просто, что она возможна, но скорее, что она является возможной в отношении такой-то и такой-то констнтуенты. Это было бы более полным выражением. Говоря, например: 'Львы существуют', 'я не имею в виду то же самое, как если бы сказал, что львы возможны; поскольку, когда вы говорите: 'Львы существуют', последнее подразумевает, что пропозициональная функция 'х - лев' является возможной в том смысле, что львы есть, тогда как, если вы говорите: 'Львы возможны', последнее вообще является другим типом высказывания, не подразумевающего, что случайное индивидуальное животное может быть львом, но скорее, что вид животного может быть видом, который мы называем 'львы'. Если вы, например, говорите: 'Единороги возможны', то подразумеваете, что вам не известна какая-либо причина, почему бы не быть единорогам, а это пропозиция совершенно отличная от 'Единороги существуют'. Относительно того, что вы подразумеваете, говоря о том, что единороги возможны, последнее всегда можно свести к тому же самому, как и 'Возможно завтра будет дождь'. Вы имели бы в виду, что пропозиция 'Единороги существуют' является одной из определённого множества пропозиций, из которых истинность некоторых известна, и что описание единорога не содержит ничего такого, что показывало бы невозможность существования подобных зверей. Когда я говорю, что пропозициональная функция является возможной, подразумевая существование случаев, в которых она является истинной, я сознательно использую слово 'возможно' в необычном смысле, поскольку мне требуется единственное слово для моей фундаментальной идеи, и я не могу найти какого-то слова в обычном языке, которое выражает то, что я имею в виду. Во-вторых, предполагается, что когда кто-нибудь говорит, что вещь существует, это подразумевает, что она находится во времени, или во времени и пространстве, по крайней мере во времени. Данное предположение является самым общим, но я не думаю, что на самом деле многое можно сказать в пользу такого использования этого слова; во-первых, поскольку не было бы нужды в отдельном слове, если бы это и было всё, что вы подразумевали. Во-вторых, поскольку, наконец, можно вполне стремиться к обсуждению вопроса, есть ли вещи, которые существуют безотносительно ко времени, в том смысле, чем бы ни был этот смысл, в котором о вещи, обычно рассматриваемой как существующая, говорится, что она существует. Ортодоксальная метафизика придерживается того, что то, что действительно является реальным, находится не во времени, что находиться во времени значит быть более или менее нереальным, и что реально существующее вообще не находится во времени. И ортодоксальная теология считает, что Бог не находится во времени. Я не вижу причины, почему бы вам не соорудить своё определение существования таким образом, чтобы предотвратить такое понятие существования. Я склонен думать, что есть вещи, которые не находятся во времени, и должен принести извинения за использование слова 'существование' в таком смысле, когда у вас уже была фраза 'бытие во времени', вполне удовлетворительно выражающее то, что подразумеваете вы. Другое возражение на это определение состоит в том, что последнее по крайней мере не годится для того типа употребления 'существования', который обосновывал моё рассуждение и который является общим с математикой. Когда вы берёте теоремы о существовании, например, говоря: 'Существует чётное простое число', вы имеете в виду не то, что число два находится во времени, но то, что вы способны найти число, о котором сможете сказать: 'Оно является чётным и простым'. Обычно в математике говорят о пропозициях такого типа, как теоремы о существовании, т.е. вы устанавливаете, что существует объект такого-то и такого-то типа; в математике этот объект является конечно логическим объектом, не индивидом, не вещью подобной льву или единорогу, но объектом подобным функции или числу, чему-то такому что явно вообще не имеет свойства бытия во времени, и эта разновидность смысла теорем о существовании релевантна обсуждению значения существования, с которым я имел дело в двух последнихлекциях. Конечно, я придерживаюсь того, что смысл существования можно привести к тому, чтобы охватывать более обычные употребления существования, и фактически дать ключ к тому, что обосновывает эти обычные употребления, как когда говорят, что 'Гомер существовал' или 'Ромул не существовал', или всё, что мы могли бы высказать в этом роде. Я перехожу теперь к третьему предположению о существовании, которое также является обыкновенным, когда об отдельно взятом 'это' вы можете сказать: 'Это существует', в том смысле, что оно не является фантомом, образом или универсалией. Сейчас я думаю, что использование существования затрагивает смешения, от которых исключительно важно освободить разум, действительно достаточно опасные ошибки. Прежде всего, мы должны отделить фантомы и образы от универсалий; они находятся на другом уровне. Фантомы и образы несомненно существуют в том смысле, чем бы он ни был, в котором существуют обычные объекты. Я имею в виду, что если вы закроете глаза и вообразите некоторую визуальную сцену, образы, которые проходят перед вашим разумом в процессе воображения, несомненно существуют. Они суть образы, нечто происходящее, а происходит то, что образы проходят перед нашим разумом, и эти образы представляют собой точно такую же часть мира, как столы, стулья и что-либо ещё. Они являются вполне приличными объектами, и вы только называете их нереальными (если вы так их называете) или трактуете их как несуществующие, поскольку они не обладают обычным типом отношений к другим объектам. Если вы закроете глаза, вообразите визуальную сцену и протянете руку, чтобы прикоснуться к воображаемому, вы не получите тактильного ощущения или, даже неизбежно, тактильного образа. Вы не получите обычной корреляции взгляда и прикосновения. Воображая тяжёлый дубовый стол, вы можете передвинуть его без какого-либо мускульного усилия, чего не случится с дубовым столом, который вы действительно видите. Общие корреляции ваших образов совершенно отличны от корреляций того, что предпочитают называть 'реальными' объектами. Но это не значит сказать, что образы являются нереальными. Это означает только то, что они не являются частью физики. Конечно, я знаю, что подобная вера в физический мир установлена некоторой разновидностью господствующего террора. Вы придерживаетесь того, чтобы неуважительно обходиться с тем, что не подходит физическому миру. Но на самом деле это очень несправедливо в отношении вещей, которые не подходят. Они существуют в той же степени, как и те, что подходят. Физический мир - это некоторый тип правящей аристократии, которой каким-то образом удаётся заставить обращаться с чем-либо другим неуважительно. Подобный тип установки недостоин философа. Мы должны в точности одинаково трактовать вещи, которые не стыкуются с физическим миром, и образы находятся среди них. Я полагаю, имеется в виду, что 'фантомы' отличаются от 'образов', будучи по природе галлюцинациями, предметами, которые не просто воображаются, но которые сопровождают убеждение. И вновь они совершенно реальны; единственно странное в них - это их корреляции. Макбет видит кинжал. Если бы он попытался дотронуться до него, он не получил бы какого-то тактильного ощущения, но из этого не следует, что он не видел кинжал, из этого следует, что он не дотронулся до него. Из этого никоим образом не следует, что визуального ощущения не было. Это означает только то, что тип корреляции между взглядом и прикосновением, которую мы обычно используем, является нормальным, но не универсальным правилом. Претендуя на его универсальность, мы говорим, что вещь является нереальной, когда она ему не соответствует. Вы говорите: 'Любой человек, который является человеком, будет делать то-то и то-то'. Затем, вы находите человека, который не будет поступать так, и говорите, что он не является человеком. Это как раз тот же самый случай, как и с кинжалом, до которого вы не можете дотронуться. В другом месте я объяснял смысл, в котором фантомы являются нереальными'. Когда вы видите реального человека, непосредственный объект, наблюдаемый вами, представляет собой объект целой системы индивидов, все они взаимопринадлежны и в совокупности продуцируют различные 'явления' человека для себя самого и других. С другой стороны, когда вы видите фантом человека, последний является изолированным индивидом, не соответствующим системе, как ей соответствуют индивиды, которые называют явлениями 'реального' человека. Сам по себе фангом является точно такой же частью мира, как и нормальные чувственные данные, но он утрачивает обычную корреляцию и поэтому приводит к ложным выводам и становится обманчивым. Что касается универсалий [universals], когда я говорю об индивиде, что он существует, я определённо не подразумеваю то же самое, как если бы говорил, что он не является универсалией. Высказывание относительно любого индивида, что он не является универсалией, совершенно строго бессмысленно - не ложно, но строго и точно бессмысленно. Вы никогда не сможете поместить См.: Our Knowledge of External World, глава III, а также, раздел XII 'Чувственные данные и физика' в Misticism and Logic. индивид на то место, где должна быть универсалия и наоборот. Если я говорю: 'о есть не Ь\ или если я говорю: 'а есть Ь\ из этого следует, что а и b одного и того же логического типа. Сказав об универсалии, что она существует, я подразумевал бы это в смысле, отличающемся от того, когда говорят, что индивид существует. Вы можете, например, сказать: 'Существуют цвета спектра между синим и жёлтым'. Последнее было бы вполне приличным высказыванием о цветах, взятых как универсалии. Вы просто подразумеваете, что пропозициональная функция 'х - цвет между синим и жёлтым' представляет собой функцию, которая способна быть истинной. Но встречающийся здесь х не является индивидом, он является универсалией. Таким образом, вы приходите к тому, что крайне важное понятие, включающее в себя существование, представляет собой понятие, которое я развивал в позапрошлой лекции, понятие пропозициональной функции, являющейся иногда истинной или, другими словами, являющейся возможной. Различие между тем, что некоторые назвали бы реально существующим и существующим в человеческом воображении или в деятельности моей субъективности, это различие, как мы только что видели, есть всецело различие корреляции. Я имею в виду, будет ошибочной ваша попытка сказать, что всё, что вам является, имеет некоторую более славную форму существования, если оно объединено с теми другими вещами, о которьк я вёл речь, в том смысле, что явление вам Сократа должно быть связано с его явлением другим людям. Вы сказали бы, что он бьш только в вашем воображении, если бы не было тех других корреляций, которые вы обычно ожидаете. Но это не подразумевает, что являющееся вам не есть точно такая же часть мира, как если были бы другие скоррелированные явления. Оно является точно такой же частью реального мира, только ему не достаёт ожидаемых вами корреляций. Последнее приложимо к вопросу об ощущении и воображении. Воображаемые предметы не обладают тем же типом корреляций, как ощущаемые предметы. Если вы хотите подробнее познакомиться с этим вопросом, я обсуждал его в The Monist за январь 1915 года, и если кого-то из вас заинтересует, вы найдёте обсуждение там*. Я перехожу теперь к собственной теме моей лекции, но должен буду рассматривать её довольно поспешно. Необходимо объяснить теорию типов и определение классов. Итак, прежде всего, как я полагаю, большинству из вас известно, что если беспечно обращаться с формальной логикой, вы можете очень легко впасть в противоречия. Многие из них известны в течение долгого времени, некоторые даже со времён греков, но только достаточно недавно было обнаружено, что они имеют отношение к математике, и чтообыкновенный математик, если он не очень осмотрителен, склонен впадать в них, когда приближается к области логики. К несчастью, математические парадоксы более трудно разъяснить, а те, которые разъяснить легко, вызывают удивление просто как загадки или хитрости. Вы можете начать с вопроса, существует или нет наибольшее кардинальное число. Каждый класс предметов, который вы можете выбрать для упоминания, имеет некоторое кардинальное число. Последнее очень легко вытекает из определения кардинального числа как класса подобных классов, и вы склонны предполагать, что класс всех предметов, существующих в мире, имел бы столь много членов, сколько вообще разумно ожидать от класса. Обыкновенный человек предполагал бы, что вы не в состоянии получить класс больший, чем класс всех предметов, существующих в мире. С другой стороны, очень легко доказать, что если вы возьмёте выборки некоторых членов класса, осуществляя зги выборки любым возможным для вас подходящим способом, число различных выборок, которые вы сможете сделать, больше чем изначальное число членов. Это легко видеть на примере с малыми числами. Предположим, у вас есть класс как раз с тремя числами: а, Ь, с. Первая выборка, которую вы можете сделать, - это выборка, не имеющая членов. Следующая выборка: отдельно а, отдельно Ь, отдельно с. Затем, Ьс, са, ab, abc, в общем 8 (т.е. 23) выборок. Вообще говоря, если у вас есть п членов, вы можете получить 2" выборок. Очень легко доказать, что 2" всегда больше чем п, будет ли п конечным или же нет. Так вы находите, что общее число предметов в мире не является столь большим, как число классов, которые можно получить из этих предметов. Я прошу, чтобы вы принимали эти пропозиции как доказанные, поскольку нет времени переходить к доказательствам, но все они имеются в работе Кантора*. Следовательно, вы найдёте, что общее число предметов в мире никоим образом не является самым большим числом. Наоборот, существует иерархия чисел больших, чем данное. На первый взгляд, это, по-видимому, приводит вас к противоречию. Фактически, у вас есть совершенно точное арифметическое доказательство того, что на небесах или на земле имеется предметов меньше, чем грезится нашей философии. Последнее демонстрирует то, как философия делает успехи. Поэтому вы сталкиваетесь с необходимостью провести различие между классами и индивидами. Вы сталкиваетесь с необходимостью говорить, что класс, состоящий из двух индивидов, сам в свою очередь не является новым индивидом, и это должно быть разъяснено всеми способами; т.е. вы будете должны сказать, что втом смысле, в котором существуют индивиды, в этом самом смысле не верно сказать, что существуют классы. Смысл, в котором существуют классы, отличается от смысла, в котором существуют индивиды, потому что, если бы смысл в обоих случаях был одинаковым, мир, в котором есть три индивида и, следовательно, восемь классов, был бы миром, в котором имеется по крайней мере одиннадцать предметов. Как давным-давно указывали китайские философы, серая корова и гнедая лошадь составляют три предмета: предметами являются каждая из них, и, взятые вместе, они представляют собой другой предмет, а следовательно, всего три. Я перехожу теперь к противоречию, относящемуся к классам, которые не являются членами самих себя. В общем то вы сказали бы, что не ждёте от класса, чтобы он был членом самого себя. Например, если вы возьмёте класс всех чайных ложек в мире, сам он не является чайной ложкой. Или, если вы возьмёте всех человеческих существ в мире, их целостный класс в свою очередь не является человеческим существом. Естественно, вы сказали бы, что не можете ожидать от всего класса предметов, чтобы сам он был членом этого класса. Но есть явные исключения. Если вы возьмёте, например, все вещи в мире, которые не являются чайными ложками, и создадите из них класс, этот класс (вы сказали бы) очевидно не будет чайной ложкой. И так со всеми отрицательными классами. И не только с отрицательными классами, ибо, если вы посчитаете на время, что классы являются предметами в том же самом смысле, в котором предметами являются предметы, вы тогда должны будете сказать, что класс, состоящий из всех предметов в мире, сам является предметом мира, а стало быть, этот класс является членом самого себя. Конечно, вы подумали бы, ясно, что класс, состоящий из всех классов в мире, сам является классом. Я думаю, большинство людей должны чувствовать склонность к такому предположению, и, следовательно, вы здесь получили бы случай класса, являющегося членом самого себя. Если есть какой-то смысл в том, чтобы спросить, является ли класс членом самого себя или же нет, тогда конечно во всех случаях обычных классов повседневной жизни вы найдёте, что класс не является членом самого себя. Соответственно этому вы можете перейти к образованию класса всех тех классов, которые не являются членами самих себя, и, сделав это, вы можете спросить себя, является ли данный класс членом самого себя или же нет? Предположим прежде, что он является членом самого себя. В этом случае, он представляет собой один из тех классов, которые не являются членами самих себя, т.е., он не является членом самого себя. Предположим затем, что он не является членом самогосебя. В этом случае он не представляет собой один из тех классов, которые не являются членами самих себя, т.е. он есть один из классов, которые являются членами самих себя, т.е. он является членом самого себя. Следовательно, любая гипотеза, что он является или что он не является членом самого себя, приводит к его противоречивости. Если он является членом самого себя, то он не является членом самого себя, а если он не является членом самого себя, то он является членом самого себя. Это противоречие в высшей степени интересно. Вы можете модифицировать его форму; некоторые формы модификации обоснованы, а некоторые нет. Однажды я предложил форму, которая не была обоснованна, а именно, вопрос о том, должен ли брадобрей бриться сам, или же нет. Вы можете определить брадобрея как того, 'кто бреет всех тех, и только тех, кто не бреется сам'. Вопрос в том, бреется ли сам брадобрей? В этой форме противоречие не слишком трудно разрешить. Но в нашей предыдущей форме, я думаю ясно, вы сможете обойти его, только заметив, что в целом вопрос, является ли класс членом самого себя или же нет, является бессмысленным, т.е., что не класс является или не является членом самого себя, и что даже не правильно говорить подобное, поскольку в целом эта словесная конструкция есть только набор звуков, не имеющий значения. Последнее имеет отношение к тому факту, что классы, как я собираюсь показать, являются неполными символами в том же самом смысле, в котором неполными символами являются дескрипции, о чём я вёл речь прошлый раз; вы высказываете вздор, когда спрашиваете себя, является или нет класс членом самого себя, поскольку в любом полном высказывании того, что подразумевается пропозицией, которая выглядит как пропозиция о классах, в этом высказывании вы вообще не найдёте никакого упоминания о классе. Если высказывание о классах должно быть значимым, а не чистым вздором, абсолютно необходимо, чтобы его можно было перевести в форму, которая вообще не упоминает классов. Такой тип высказываний, как 'Такой-то и такой-то класс является или не является членом самого себя', не способно к переводу такого рода. Последнее аналогично тому, что я говорил о дескрипциях: символ для класса является неполным символом; на самом деле он не обозначает частей пропозиции, в которых встречается в качестве символа, но при правильном анализе этих пропозиций, данный символ распадается и исчезает. Есть ещё одно из противоречий, самое древнее, которое я также могу упомянуть, высказывание Эпименида, что 'Все критяне лжецы'. Эпименид - это человек, который безостановочно проспал шестьдесят лет, и, я верю, очнувшись от дремоты, он сделал замечание, что все критяне были лжецами. Противоречию может быть придана более простая форма; если человек высказывает утверждение: 'Я лгу', лжёт ли он, или же нет? Если он лжёт, что и есть как раз то, что он говорит, то он высказывает истину, а не лжёт. Если, с другой стороны, он не лжёт, тогда, очевидно, он говорит истину, утверждая, что он лжёт, а, стало быть, он лжёт, поскольку он правильно говорит о том, что делает. Это древняя загадка, и никто не рассматривал её кроме как шутку до тех пор, пока не было обнаружено, что она должна иметь отношение к таким важным и практическим проблемам, как существует ли наибольшее кардинальное или ординальное число. Тогда, наконец, с этими противоречиями стали обращаться серьёзно. Человек, который говорит: 'Я лгу', на самом деле утверждает: 'Существует пропозиция, которую я утверждаю и которая является ложной'. Это предположительно то, что вы подразумеваете под ложью. Для того чтобы получить противоречие, вы должны взять всё его данное утверждение как одну из пропозиций, к которым применимо его утверждение; т.е. когда он говорит: 'Существует пропозиция, которую я утверждаю и которая является ложной', слово 'пропозиция' должно интерпретироваться как включённое в пропозиции его утверждения в том смысле, что он утверждает ложную пропозицию. Поэтому вы должны предполагать, что у вас имеется определённая общность, а именно, общность пропозиций, но эта общность содержит члены, которые могут быть определены только в терминах самих себя. Потому что когда вы говорите: 'Существует пропозиция, которую я утверждаю и которая является истинной', последнее представляет собой высказывание, чьё значение может быть получено только посредством ссылки на общность пропозиций. Вы не говорите, какая среди всех пропозиций, имеющих место в мире, есть та, которую вы утверждаете и которая является ложной. Следовательно, предполагается, что общность пропозиций простирается перед вами, и что какая-то одна, хотя вы и не говорите какая, утверждается ложно. Совершенно ясно, что вы впадаете в порочный круг, если прежде предполагаете, что эта общность пропозиций простирается перед вами, так что вы можете, не выбирая какой-либо определённой пропозиции, сказать: 'Какая-то пропозиция из этой общности утверждается ложно'; само это утверждение является одним из общности, из которой вы выбираете. Данная ситуация в точности та, которая у вас есть в парадоксе лжеца. Прежде всего вами предполагается заданным множество пропозиций, и вы утверждаете, что некоторая из них утверждается ложно, затем само это утверждение преобразуется в одну из пропозиций данного множества, так что, очевидно, ошибочно предполагать,что это множество уже здесь в своей полноте. Если вы собираетесь что-то говорить обо 'всех пропозициях', вы должны, прежде всего, определить пропозиции каким-то таким способом, чтобы исключить те из них, которые указывают на все пропозиции уже определённого типа. Из этого следует, что слово 'пропозиция' в том смысле, в котором мы обычно пытаемся его использовать, является бессмысленным, и что мы можем разделить пропозиции на множества и можем высказывать утверждения о всех пропозициях в данном множестве, но такие пропозиции сами не будут членами этого множества. Например, я могу сказать: 'Все атомарные пропозиции являются либо истинными, либо ложными', но само последнее не будет атомарной пропозицией. Если вы без ограничений попытаетесь сказать: 'Все пропозиции являются либо истинными, либо ложными', вы утверждаете вздор, потому что, если бы это не было вздором, оно само должно было бы быть пропозицией и одной из тех пропозиций, которые включаются в свой собственный объём, а следовательно, закон исключенного третьего, как он провозглашён только что, является бессмысленным набором звуков. Вы должны расчленить пропозиции на различные типы, и можете начать с атомарных пропозиций или, если вам нравится, можете начать с тех пропозиций, которые вообще не указывают на множество пропозиций. Затем следующими вы возьмёте те, которые указывают на множества пропозиций той разновидности, которые вы брали первыми. Те, что указывают на множества пропозиций первого типа, вы можете назвать вторым типом, и т.д. Если вы примените это к человеку, который говорит: 'Я лгу', вы найдёте, что противоречие исчезло, поскольку он должен будет сказать, каким типом лжеца он является. Если он говорит: 'Я утверждаю ложную пропозицию первого типа', фактически это высказывание, поскольку оно указывает на общность пропозиций первого типа, относится ко второму типу. Следовательно, не верным будет то, что он утверждает ложную пропозицию, и он остаётся лжецом. Сходным образом, если бы он говорил, что утверждал ложную пропозицию 30,000-ного типа, последнее было бы утверждением 30,001-го типа, поэтому, он всё ещё оставался бы лжецом. И контраргумент, доказывающий, что он к тому же не был лжецом, разрушается. Вы можете сформулировать, что общность любой разновидности не может быть членом самой себя. Последнее применимо к тому, что мы говорим о классах. Например, общность классов в мире не может быть классом в том же самом смысле, в котором последние являются классами. Так мы должны различать иерархию классов. Мы будем начинать с классов, которые всецело составлены из индивидов: это будет первым типом классов. Затем мы перейдём к классам, членами которых являются классы первого типа: это будет второй тип. Затем, мы перейдём к классам, членами которьк являются классы второго типа: это будет третий тип^ и т.д. Для класса одного типа никогда невозможно быть или не быть тождественным с классом другого типа. Это применимо к вопросу, который я обсуждал немного ранее, относительно того, как много предметов существует в мире. Предположим, в мире имеется три индивида. Тогда, как я объяснял, существует 8 классов индивидов. Классов классов индивидов будет 28 (т.е. 256), а классов классов классов индивидов 225 , и т.д. Вы не получите какого-то вырастающего отсюда противоречия, когда задаёте себе вопрос: 'Существует или нет наибольшее кардинальное число?', ответ всецело зависит от того, ограничиваетесь ли вы одним типом, или же нет. В рамках любого заданного типа наибольшее кардинальное число существует, а именно, число объектов данного типа, но вы всегда способны ПОЛУЧИТЬ большее число, переходя к следующему типу. Следовательно, нет столь большого числа, но вы можете ПОЛУЧИТЬ большее число подходящего высокого типа. Здесь у вас есть две стороны этого спора: одна, когда тип задан, и другая, когда тип не задан. Ради краткости я говорил так, как если бы все эти различные типы предметов существовали реально. Конечно, это чепуха. Существуют индивиды, но при переходе к классам, классам классов и классам классов классов говорят о логических фикциях. Когда я говорю, что таких предметов нет, это снова некорректно. Бессмысленно сказать: 'Существуют такие предметы', в том же самом смысле слова 'существуют', в котором вы можете сказать: 'Существуют индивиды'. Если я говорю: 'Существуют индивиды' и 'Существуют классы', два выражения 'существуют' в этих двух пропозициях должны будут иметь различные значения, и если они имеют подходящие различные значения, обе пропозиции могут быть истинными. Если, с другой стороны, слово 'существует' используется в обеих пропозициях в одинаковом смысле, тогда по крайней мере одно из этих высказываний должно быть вздором, не ложью, но вздором. Тогда возникает вопрос, что же представляет собой тот смысл, в котором можно сказать: 'Существуют классы', или , другими словами, что же вы подразумеваете высказыванием, в которое, как кажется, входят классы? Прежде всего, что предпочли бы вы сказать о классах? Как раз то же самое, что требуется вам для того, чтобы говорить о пропозициональных функциях. Вы хотите сказать о пропозициональной функции, что она иногда является истинной. Это то же самое, как если о классе говорят, что онимеет члены. Вы хотите сказать, что это истинно в точности для 100 значений переменных. Последнее одинаково с тем, когда о классе, говорят, что он имеет сто членов. Всё то, что вы хотите сказать о классах, одинаково с тем, что вы хотите сказать о пропозициональных функциям исключая случайные и неуместные лингвистические формы, однако с определёнными оговорками, которые теперь должны быть объяснены. Возьмём, например, две пропозициональные функции, такие как 'х - человек', 'х - беспёрое, двуногое'. Обе они формально эквивалентны, т.е. когда одна из них является истинной, таковой является и другая, и наоборот. Кое-что из того, что вы можете сказать о пропозициональной функции, не будет необходимо оставаться истинным, если вы на её место подставите другую формально эквивалентную пропозициональную функцию. Например, пропозициональная функция 'у - человек' одна из тех, что должны иметь дело с понятием человечество. Последнее не верно для 'х -беспёрое, двуногое'. Или, если вы говорите: 'Тот-то и -тот-то утверждает, что такой-то и такой-то является человеком', сюда входит пропозициональная функция 'х - человек', но 'х - беспёрое, двуногое' - нет. Есть много такого, что вы можете сказать о пропозициональной функции, которая не была бы истинной, если бы вы подставили другую формально эквивалентную пропозициональную функцию. С другой стороны, любое высказывание о пропозициональной функции, которая остаётся истинной или остаётся ложной, в зависимости от обстоятельств, когда вы подставляете вместо неё другую формально эквивалентную пропозициональную функцию, может рассматриваться как относящаяся к классу, который ассоциируется с пропозициональной функцией. Я хочу, чтобы вы брали слова может рассматриваться в строгом смысле. Я использую их вместо является, поскольку является было бы неверным. 'Экстенсиональные' высказывания о функциях суть те, что остаются истинными, когда вы подставляете любую другую формально эквивалентную функцию, и они суть те, что могут рассматриваться как относящиеся к классам. Если у вас имеется любое высказывание о функции, которое не является экстенсиональным, вы всегда можете образовать из него нечто подобное высказыванию, которое является экстенсиональным, а именно, существует функция, формально эквивалентная рассматриваемой, относительно которой рассматриваемое высказывание является истинным. Это высказывание, искусственно образованное из того, с которого вы начинали, будет экстенсиональным. Оно всегда будет одинаково истинным или одинаково ложным для любых двух формально эквивалентных функций, и это производное экстенсиональное высказывание можег рассматриваться как соответствующее высказывание о связанном с ним классе. Так, когда я говорю, что 'Класс людей имеет такое-то количество членов', это означает: 'Существует такое-то количество людей в мире', последнее будет производно от высказывания, что 'х - человек' удовлетворяется таким-то количеством значений х, и для того, чтобы получить его в экстенсиональной форме, его полагают таким способом, что 'Существует функция формально эквивалентная функции "х - человек", которая является истинной для такого-то количества значений' х'. Последнее я бы определил как то, что имею в виду, говоря: 'Класс людей имеет такое-то количество членов'. Этим способом вы находите, что все формальные свойства, которые вам хотелось бы видеть у классов, все их формальные употребления в математике, могут быть получены без предположения, так сказать, что пропозиция, в которую символически входит класс, действительно содержит конституенту, соответствующую этому символу, и будучи правильно проанализированным, этот символ исчезнет тем же самым способом, как исчезают дескрипции, когда правильно проанализированы пропозиции, в которые они входят. При более обычном взгляде на классы имеются определённые трудности вдобавок к уже упомянутым нами, и которые разрешаются нашей теорией. Одна из них связана с нулевым классом, т.е. с классом, не имеющим членов, который трудно рассматривать на чисто экстенсиональной основе. Другая связана с единичным классом. С обычной точки зрения на классы, вы сказали бы, что класс, который имеет только один член, совпадал бы с самим этим членом. Последнее привело бы вас к страшным затруднениям, поскольку в данном случае этот один член является членом данного класса, а именно, самого себя. Возьмём, например, класс 'слушателей лекции в Гордон Сквер'. Очевидно, это класс классов и вероятно, это класс, имеющий только один член, и сам этот один член (до сих пор) содержит более одного члена. Стало быть, если бы вы должны были отождествить класс слушателей лекции в Гордон Сквер с единственным слушателем, имеющимся в Гордон Сквер, вам нужно было бы говорить как о том, что он имеет один член, так и о том, что он имеет двадцать членов, и вы впали бы в противоречие, поскольку этот слушатель имеет более одного члена, но класс слушателей в Гордон Сквер имеет только один член. Вообще говоря, если у вас имеется любое собрание многих объектов, образующих класс, вы в состоянии сформировать класс, у которого данный класс будет единственным членом, и класс, у которого данный класс является единственным членом, будет иметь только один член, хотя этот единственный член и будет содержать многочленов. Это одна из причин, почему вы должны отличать единичный класс от его единственного члена. Другая заключается в том, что если вы так не сделаете, то обнаружите, что класс является членом самого себя, а это вызывает возражение, как мы видели в данной лекции ранее. Я включил тонкости, связанные с тем фактом, что две формально эквивалентные функции могут быть различных типов. О способах трактовки этого вопроса смотрите Principia Mathematica, стр.20 и введение, раздел Ш. Я вовсе не сказал всего, что должен был сказать на этот счёт. Я намеревался углубиться в теорию типов немного далее. Теория типов на самом деле является теорией символов, а не вещей. В надлежащем логическом языке она была бы совершенно очевидной. Существующие неприятности вырастают из закоренелой привычки пытаться именовать то, что не может быть наименовано. Если бы у вас был надлежащий логический язык, вы бы не пытались этого делать. Строго говоря, наименованными могут быть только индивиды. В том смысле, в котором индивиды существуют, вы не в состоянии сказать истинно либо ложно, что существует что-то ещё. Слово 'существует' - это слово, обладающее 'систематической двусмысленностью', т.е. обладающее строго бесконечным числом разных значений, которые важно различать.