Язык, онтология и реализм

Частным случаем логических функций (с одним аргументом, определенным на области произвольных предметов, и «истиной» и «ложью» в качестве значения) у Фреге оказываются понятия, которые играют ключевую роль в его логической системе, ибо, относя к арифметике все то, что поддается счету, он полагал, что ее область совпадает с областью понятийного мышления[9]. Поскольку, по его мнению, понятие должно указывать, каким свойством нужно обладать предмету, чтобы подпадать под данное понятие, именно в понятиях он усматривал «основание существования классов». Отождествив понятие с общим свойством, которым должны обладать подпадающие под него предметы, а объем понятия – с классом этих предметов, Фреге ввел в свою онтологию такие важные сущности, как свойства и классы. Кроме того, он особо выделил еще два вида логических функций – отношения (функции с двумя аргументами, определенными на области произвольных предметов, и «истиной» и «ложью» в качестве значения) и пропозициональные функции, где и аргументами, и значениями выступают «истина» и «ложь», которые в дальнейшем стали называть истинностными значениями.

Таким образом, мы видим, что онтология Фреге довольно богата; она содержит физические вещи, людей, разнообразные абстрактные предметы (числа, классы, истинностные значения), функции, включающие понятия (свойства) и отношения. В последующем, когда его интерес сместился к естественным языкам, его онтология претерпела определенное изменение, поскольку в ней важное место стали занимать «смыслы» и «мысли» как объективные непсихические содержания мышления. Поэтому в целом онтологическую концепцию Фреге можно квалифицировать как реализм в традиционном смысле и, в частности, как математический платонизм, ибо, с его точки зрения, абстрактные предметы, хотя и не существуют в пространстве и времени и не могут воздействовать на органы чувств человека, тем не менее обладают таким же объективным существованием, как и конкретные физические вещи. Под «объективным» Фреге понимает существование, независимое от психических процессов, происходящих в голове человека, т. е. независимое от ощущений, восприятий и представлений. Поясняя, что он имеет в виду, он приводит в качестве примера экватор: мы не можем видеть экватор или ехать по нему, но от этого он не становится субъективным или иллюзорным, ибо высказывания о нем могут быть объективно истинными или ложными. В таком же духе он говорит и об абстрактных математических предметах (числах и функциях), которые, по его мнению, математик не может создавать: «он так же мало имеет на это право, как и географ; он тоже может лишь открывать то, что существует, и давать ему название» [Frege, 1884, S. 107–108; цит. по: Бирюков, 2000, с. 33]. В последние годы жизни, трудясь над работами, объединенными под общим названием «Логические исследования», Фреге развил далее свои онтологические идеи, сформулировав концепцию «трех царств»: царства физических вещей, царства психических явлений (представлений) и царства абстрактных предметов. Отличительной особенностью обитателей третьего царства, считает он, является их неизменный и вневременной характер. Свои онтологические идеи он дополнил и определенной гносеологической концепцией, которая главным образом касается вопроса познания человеком сущностей, принадлежащих к «третьему царству». Согласно Фреге, «если мы хотим выйти за пределы субъективного, мы должны понимать познание как деятельность, которая не создает познаваемого, а лишь схватывает существующее» [Frege, 1893, S. xxiv цит. по: Бирюков, 2000, с. 30]. Мысль как нечто объективное не нуждается для своего бытия в мыслящем человеке. «Если бы человек не мог мыслить и делать предметом своего мышления то, носителем чего он не является, то он, быть может, обладал бы внутренним миром, но окружающего мира для него не существовало бы» [Фреге, 2000, с. 338], поэтому мышление не создает мыслей – оно только схватывает, постигает их. Но если физическая вещь может быть «схвачена» с помощью органов чувств, то как мы «схватываем» мысль? Она не может быть представлена разным людям разными способами, считает Фреге, иначе она не была бы одной и той же мыслью; вместе с тем процесс постижения мыслей человеком, по его мнению, является «самым таинственным» из всего, с чем имеет дело человек[10].

Обрисовав в общих чертах онтологию, или область «обозначаемого», у Фреге, мы можем теперь перейти к области «обозначающего», т. е. к тому, каким образом многообразие онтологических сущностей представлено в знаках созданного им языка. В том, как он решает эту задачу, в не меньшей мере проявился его новаторский подход.

Следуя традиции, Фреге определил языковые выражения, обозначающие отдельные предметы из описанного им «универсума», как имена собственные. Однако в их число он включил не только привычные для нас имена собственные вроде «Сократа» или «Парижа», но также выражения, получившие в дальнейшем название «определенных дескрипций» (например «нынешний король Франции»), отождествив тем самым имя собственное с единичным термином. Более того, Фреге стал трактовать как имена собственные целые повествовательные предложения, которые, по его мнению, обозначают абстрактные предметы «истину» и «ложь». Назвав отношение между именем и обозначаемым им конкретным или абстрактным предметом именованием, Фреге выявил основные его свойства[11], но о них речь пойдет чуть позже.

Для обозначения функций он использовал категорию функциональных выражений, отметив такую их важнейшую особенность, как «ненасыщенность» или «невосполненность». На необходимость восполнения функциональных выражений указывает наличие в них переменных, вместо которых может быть подставлено имя предмета, благодаря чему само функциональное выражение превращается в имя предмета. Поскольку понятия являются частным случаем функций, обозначающие их выражения также являются ненасыщенными, и их восполнение именем предмета (например, путем подстановки вместо x в «x смертен» имени «Сократ») превращает их в предложения, которые являются истинными или ложными. Истолкование понятийных выражений как ненасыщенных позволило Фреге по-новому решить проблему единства суждения. Если в традиционной логике для связи субъекта и предиката суждения требовалась специальная предицирующая связка (copula), то у Фреге понятийные слова (а также слова, выражающие отношения) обладают предикативным характером уже в силу своей природы, и поэтому никакой специальной связки не требуется[12].

Что касается логических терминов, то Фреге использует в качестве исходных «импликацию» и «отрицание», а все остальные пропозициональные связки определяет через них. Кроме того, он изобретает кванторы; в результате переменные используются им не только для указания ненасыщенности функциональных терминов, но и для выражения всеобщности. Вместе с тем теория квантификации в представлении Фреге позволяет точными средствами выразить, что есть существование. Поскольку операция квантификации отделяется им от предикативного компонента квантифицированного суждения, существование перестает быть атрибутом, пусть и особым, отдельных предметов и превращается в свойство понятий[13]. Так, примененный к понятию, квантор существования означает, что при подстановке по крайней мере одного имени предмета это понятие превращается в предложение, имеющее в качестве истинностного значения «истину», т. е., иными словами, это понятие не является пустым. Поскольку существование является свойством понятий (или понятием второй ступени), то совершенно бессмысленно, считает Фреге, приписывать его отдельным предметам; например, по его мнению, «предложение “существует Юлий Цезарь” не истинно и не ложно, оно не имеет смысла» [Фреге, 2000, с. 259]. Конечно, в своих повседневных высказываниях люди часто приписывают существование отдельным предметам, но то, что при этом имеется в виду, по мнению Фреге, лучше выражает слово «действительность» или «реальность» (Wirklichkeit), т. е. о предметах в этом случае следует говорить, что они являются действительными или реальными.

Простое соотнесение разных типов онтологических сущностей с категориями языковых выражений Фреге счел недостаточным для задания интерпретации языка и поэтому он разработал теорию смысла и значения[14], которая является квинтэссенцией его логической семантики и, более того, позволяет соединить, через посредство языковых знаков, конкретные и абстрактные предметы. Различение значения и смысла Фреге применяет к именам собственным[15], считая, что значением имени является предмет, который оно обозначает, а смыслом – информация, которую оно в себе несет. Необходимость такого различения он обосновывает тем, что два имени, обозначающие один и тот же предмет и соответственно имеющие одно и то же значение (например «Утренняя звезда» и «Вечерняя звезда»), могут сообщать нам разную информацию, и поэтому, скажем, утверждение тождества «Утренняя звезда есть Вечерняя звезда» является для нас когнитивно информативным (ибо отражает важное астрономическое открытие), тогда как «Утренняя звезда есть Утренняя звезда» – нет. Согласно Фреге, это обстоятельство объясняется тем, что эти два имени, обозначая один и тот же предмет, различаются по смыслу. Это же различение применяется им и к предложениям как особой категории имен собственных, но в этом случае значением выступает «истина» или «ложь», а смыслом – выражаемая предложением мысль.

Как же связаны между собой смысл и значение? Фреге трактует смысл как «способ представления» или «задания» предмета, обозначаемого именем, т. е. смысл указывает путь к значению имени. Поскольку один и тот же предмет может обозначаться разными именами, он может иметь разные способы представления. Вместе с тем, полагает Фреге, каждое имя может обозначать только один предмет, и смысл этого имени должен однозначно задавать данный предмет, т. е. никакие два имени не могут обладать одним и тем же смыслом, но разными значениями. Более того, имя не может не иметь смысла, хотя у него может и не быть значения, однако подобные «пустые» имена Фреге считал недопустимыми в языке науки и свой формальный язык строил таким образом, чтобы в нем все имена имели своих носителей.

Поскольку создаваемый Фреге формальный язык содержит сложные выражения, образуемые из простых (или исходных) терминов, то он рассматривает, как соотносятся части и целое в сложных выражениях в свете проведенного им различия между смыслом и значением, и формулирует следующую функциональную зависимость: значение сложного выражения есть функция от значения входящих в него частей, а смысл сложного выражения есть, соответственно, функция от смыслов этих частей. Более того, значение целого однозначным образом зависит от значения его частей, и если какая-либо часть лишена значения, то и целое лишено его. Так, согласно Фреге, предложения с пустыми именами не имеют истинностного значения.

Хотя логическая семантика Фреге включает в себя смыслы, построенный им язык является экстенсиональным, ибо объемы (экстенсионалы) понятий и значения играют в нем доминирующую роль. Как отмечает Б.В. Бирюков, «экстенсиональность была заложена в самом способе развертывания фрегевского исчисления» [Бирюков, 2000, с. 37]. Во-первых, в его логической системе истинностные значения сложных предложений однозначно определяются истинностными значениями составляющих их простых предложений (эти зависимости как раз и выражают упомянутые выше пропозициональные функции, и хотя Фреге не создал для их определения таблиц истинности, их идея была им уже намечена). Во-вторых, истинностное значение предложения считается в конечном счете зависящим от значения входящих в него имен, т. е. семантическая роль имен собственных состоит прежде всего в том вкладе, который они вносят в истинностное значение предложений. В случае квантифицированных предложений (например «для всякого x верно, что x есть P») это требует некоторого уточнения. Такое предложение истинно, если входящее в него понятие P «отображает» каждый предмет из области определения x на «истину», и ложно, если имеется такой x, что P отображает его на «ложь». Поскольку не все предметы в области определения могут быть поименованы, истинностное значение квантифицированных предложений зависит не только от значения входящих в них имен, но и от отображений непоименованных предметов. В соответствии с этим Фреге сформулировал важный для его логической системы принцип взаимозаменяемости, согласно которому значение сложного выражения не изменится, если входящие в него выражения будут заменены выражениями с тем же значением. Языковые контексты, в которых выполняется этот принцип, были в последующем названы экстенсиональными.

Большая заслуга Фреге заключается в том, что он попытался применить свои логические и семантические идеи к естественному языку, заложив тем самым традицию «переносить результаты, полученные в семантике точных языков, на анализ естественного языка, производя необходимые адаптирующие изменения» [Nelson, 1992, p. 54]. Это тем более удивительно, что немецкий мыслитель часто гневно обрушивался на недостатки естественного языка, провозглашая задачей логика и философа «освобождение от языка» или даже «борьбу» с ним.

Фреге осознает, что необходимость адаптирующих изменений вызвана тем, что естественный язык и даже тот язык, на котором говорят ученые, не является, строго говоря, экстенсиональным, поскольку его слова могут иметь разное значение в разных контекстах употребления. Поэтому во Введении к «Основаниям арифметики», где Фреге дает неформальное изложение своих идей, он формулирует известный «принцип контекстуальности», согласно которому «ставить вопрос о значении слов надо, учитывая их взаимосвязь» и «только в контексте предложения слова нечто обозначают» [Frege, 1884, S. xxii; цит. по: Бирюков, 2000, с. 496]. Именно этому принципу, считает Б.В. Бирюков, Фреге находит применение, когда рассматривает придаточные предложения. В таких предложениях подстановка имен с одинаковым значением может привести к изменению истинностного значения всего предложения, и, кроме того, нет однозначной зависимости истинностного значения сложноподчиненного предложения от истинностного значения содержащегося в нем придаточного предложения. Так, предложение «Петя знает, что Пушкин написал “Евгения Онегина”», может быть как истинным, так и ложным, хотя его придаточное предложение бесспорно истинно в любом случае. Поэтому Фреге предлагает рассматривать придаточные предложения как имеющие косвенное значение, т. е. их значением является не «истина» или «ложь», а то, что выступает их смыслом при их обычном – прямом – употреблении. В придаточных предложениях косвенное значение имеют и входящие в них имена собственные, т. е. их значением становится то, что при прямом употреблении было бы их смыслом.

Другое адаптирующее изменение связано с тем, что выражения естественного языка имеют, согласно Фреге, не только значение и смысл, но также «окраску» и «силу». Например, два предложения «А и В» и «Не только А, но и В» выражают одну и ту же мысль, но различаются по «окраске», т. е. «содержание предложения нередко превосходит содержание той мысли, которая в нем выражена» [Фреге, 2000, с. 331], и это дополнительное содержание как раз и выражает то, что Фреге называет окраской. Кроме того, предложения естественного языка, считает он, могут произноситься с разной «силой» – как ассерторические или как вопросительные. Вопросительные предложения (Фреге имеет в виду общие вопросы, требующие ответа «да» или «нет») совпадают по смыслу с соответствующими ассерторическими предложениями, и различие между ними состоит лишь в том, что в первом случае мы спрашиваем, являются ли выражаемые ими мысли истинными, а во втором случае мы утверждаем их истинность.

В завершении нашего изложения семантики Фреге уместно коснуться вопроса о роли в ней понятия истины. Как мы видели, истина представляет собой принципиально важный абстрактный предмет в онтологии Фреге, ибо даже саму логику он определяет как «науку о наиболее общих законах бытия истины» (цит. по: [Бирюков, 2000, с. 36]). По его мнению, человек не способен напрямую схватывать истину, но всегда постигает ее через конкретные предложения, которые ее обозначают. Конечно, говорит Фреге, мы можем выразить мысль, и не утверждая ее истинности. Когда же мы оцениваем мысль как истинную, мы «движемся от мысли к истинностному значению», однако это движение не означает, что имеется еще одна мысль о том, что первая мысль истинна. Отсюда следует, что, предваряя предложение, выражающее определенную мысль, словами «истинно, что», мы не сообщаем ему ассерторической силы, но просто выражаем туже самую мысль. В дальнейшем такого рода соображения легли в основу «избыточной» концепции истины (redundancy theory of truth).

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

Итак, подведем итоги. Размышления Фреге о языке и онтологии явились продолжением его исследований по логике и основаниям математики, нацеленным на сведение арифметики к логике. Он еще не воспринимал построение языка как задающее определенную онтологию, хотя желал он того или нет, но онтологические вопросы оказались у него тесно связанными с исследованием языка. Поскольку свой формальный язык он создавал для описания предметной области арифметики и для осуществления логицистской программы, отношение между языком и внеязыковой реальностью не представляет для него особой проблемы и не заключает в себе ничего загадочного. Можно сказать, что в его системе множество слов (имен собственных) просто отображается (в математическом смысле) на множество предметов, и поэтому отношение между знаками языка и элементами онтологии, которое он называет отношением именования, является прямым, конвенциональным и не требующим никакого обоснования. Фреге исключает из своего рассмотрения тех, кто использует язык, чтобы говорить о мире; они просто имеют в своем распоряжении готовую систему «язык-мир», никоим образом не влияют на природу связи между словом и предметом и не участвуют в механизмах установления этой связи. При таком подходе язык (langue в терминологии Ф. де Соссюра) берется в полном отрыве от речи (parole), что позволяет полностью отвлечься от всех иных его функций, кроме репрезентативной. В этом случае язык воспринимается исключительно как система знаков, используемая для описания внешнего мира.

Безусловно, такой подход был в каком-то смысле настоящим прорывом в представлениях о языке. В течение долгого времени в философии преобладала трактовка языковых выражений как «знаков идей», которая в основном опиралась на картезианское представление о том, что сознание и идеи отделены от внешнего мира «эпистемической пропастью», поэтому главная задача состоит в том, чтобы установить, как связаны между собой ментальные сущности и объекты в мире. Эта задача решалась по-разному: ментальные сущности или трактовались как причинно обусловленные физическими вещами (как, например, у Дж. Локка), или рассматривались как «естественные знаки предметов» в силу заложенной в природе разума направленности на объект (как, например, у Ф. Брентано), а уже потом эти ментальные сущности конвенционально связывались с языковыми выражениями. Таким образом, слова напрямую обозначали ментальные сущности и лишь опосредованно соотносились с объектами в мире. Фреге, вслед за Дж. С. Миллем, устранил «ментального посредника» в отношении между словом и объектом, создав «референциальную» или «денотативную» семантику.

Как мы видели, изгнав мысли и смыслы из сферы психического, Фреге поместил их в «третье царство» вневременных и неизменных предметов, которые в своем существовании не зависят от их схватывания кем бы то ни было. Практическим следствием этого онтологического решения стало отвержение психологизма в логике. Вместе с тем, как отмечает Даммит, важность отрицания ментального характера мыслей заключается не в той философской мифологии, которую оно породило, а «в той непсихологической направленности, которая была дана анализу понятий и суждений. И совершенно понятно, почему это привело к аналитической философии, к анализу мышления посредством анализа языка. Ибо если совершается первый шаг – изгнание мыслей и их компонентов из сознания – и философа не удовлетворяет онтологическая мифология, которой это изгнание дополняется, то выход один – попытаться найти что-то немифологическое, но объективное и внешнее по отношению к индивидуальному сознанию, что воплощало бы мысли, которые отдельный субъект схватывает и может принять или отвергнуть. Где еще это можно найти, как не в институте совместного языка?» [Dummett, 1994, p. 25]. Аналитические философы, как известно, вначале попытаются устранить эти абстрактные сущности посредством отождествления значения слова с его референцией, а затем – путем истолкования значения как употребления.

Восприняв этот антикартезианский и антипсихологический подход к языку, аналитические философы вместе с тем взяли у Фреге и созданную им концепцию языка и модель «язык-мир». Созданный Фреге искусственный язык не просто кардинально расширил возможности логической формализации мыслительных операций и мыслительного содержания, но и представил в ясном и четком виде определенные механизмы функционирования любого языка. Это сделало язык в чем-то более понятным и в то же время стимулировало философов к применению аналогичных формально-логических языков для анализа структуры человеческого знания и описания онтологической структуры мира. Не учитывая этого обстоятельства, очень трудно понять, как происходило развитие представлений о связи между языком и миром в рамках аналитической философии, которое в основном состояло или в уточнении и модификации предложенной Фреге модели в целях ее лучшей адаптации к решению онтологических проблем, или в ее преодолении и замене более адекватной моделью, но в любом случае она служила отправной точкой.

В оставшейся части этой главы мы рассмотрим тех философов, которые были лично знакомы с Фреге, испытали непосредственное влияние его идей и восхищались ими тогда, когда научный и философский мир не проявлял к ним особого интереса. Речь идет о Б. Расселе, Л. Витгенштейне и Р. Карнапе. Первый состоял с Фреге в переписке и был, можно сказать, «главным транслятором» его идей в англоязычном мире. Витгенштейн в 1911–1913 гг. трижды приезжал к Фреге в Иену и переписывался с ним. Неслучайно, что в Предисловии к «Логико-философскому трактату» он упомянул лишь «выдающиеся работы» Фреге и Рассела, назвав их «стимулировавшими» его мысли. Карнап слушал лекции Фреге по логике и основаниям арифметики в 1910–1914 гг., и по его признанию благодаря этим лекциям он «познакомился с настоящей логикой». Каждый из этих философов создал свою концепцию взаимосвязи языка и мира, но во всех этих концепциях хорошо просматриваются контуры фрегевской модели.

В 1918 г. Бертран Рассел (1872–1970) прочитал в Лондоне цикл лекций, которые в последующем были опубликованы в журнале «Monist» под названием «Философия логического атомизма». В этих лекциях он представил набросок всеобъемлющей философской системы, в которой постулировал строгий параллелизм между языком и миром. Благодаря этому провозглашенному параллелизму он счел возможным использовать методы логического анализа языка для раскрытия глубинной структуры реальности.

Рассел подверг суровой и жесткой критике предшествующую метафизику, однако «в основном его критика сводилась к тому, что метафизика давала неправильное объяснение мира, и Рассел полагал, что ему удалось выяснить, почему это произошло. Но он не отвергал саму задачу законченного объяснения мира и приближения к тому, что называл “окончательной метафизической истиной”» [Страуд, 1998, с. 512]. Основанием для его разрыва с прошлой философией послужила логика. Все прежние метафизические системы, по его мнению, опирались на аристотелевскую логику[16], а у Фреге он обнаружил идею совершенно другой логики, которая и вдохновила его на построение метафизики нового типа.

Таким образом, определяя свою позицию как «научную философию, основанную на математической логике», Рассел отнюдь не считал, что строение мира и его онтологический «состав» должны быть полностью отданы в ведение науки. Да, эмпирические вопросы нужно оставить науке, а вот вопросы о фундаментальных структурных особенностях вселенной (например, есть ли факты и что они собой представляют) принадлежат к компетенции философии. В статье «Логический атомизм» (1924) Рассел пишет: «Философия должна быть всесторонней и смелой, чтобы предлагать гипотезы о Вселенной, которые наука все еще не в состоянии ни подтвердить, ни опровергнуть. Но они должны быть представлены именно как гипотезы, а не, что часто делается, как бесспорные истины, подобно догмам религии» [Рассел, 1998, с. 35]. Однако для решения этих задач, как было сказано, философия должна вооружиться новой логикой.

Вера Рассела в могущество логики и логического анализа вполне объяснима. Как и Фреге, он был математиком, обратившимся к философии в связи с проблемой оснований математики. Как и Фреге, он увлекся логицистской идеей сведения всей «чистой» математики к логике. Когда в 1900 г. Рассел на Международном философском конгрессе познакомился с результатами Дж. Пеано по аксиоматизации арифметики, его программа построения всей математики как единой дедуктивной системы, опирающейся на минимальное количество понятий и основоположений, которые могут быть соответственно определены в логических терминах и выведены из чисто логических принципов, приняла вполне осязаемые очертания. В ходе осуществления этой программы Рассел построил формальный логический язык[17], который в своих принципиальных чертах совпадал с языком, используемым в этих же целях Фреге, но были и некоторые важные различия. Во-первых, Рассел стал применять более простую и наглядную, чем у немецкого логика, систему записи выражений формального языка, которая сохраняется до настоящего времени. Во-вторых, хотя Рассел, подобно Фреге, для описания логической структуры суждения использовал понятие функции, он сохранил для нее традиционное название «предикат». В-третьих, его логическая система содержала такой важный компонент, как «теория типов», созданная им для преодоления парадокса[18], который он обнаружил в теории множеств весной 1901 г. и который впоследствии был назван его именем. Однако наиболее важные изменения коснулись интерпретации формального языка и созданной в этих целях теории значения.

Рассел задает следующую интерпретацию для основных категорий языковых выражений в его формальном языке (имен, предикатов, «открытых» формул и предложений). Имена обозначают индивидов, а предикаты – свойства и отношения. Что касается предложений, то сначала Рассел считал, что они обозначают суждения, однако затем – ко времени создания логического атомизма – место суждений заняли факты[19]. Формулы, которые не являются предложениями («открытые формулы»), выражают пропозициональные функции, т. е. функции, областью определения которых являются индивиды или n-ки индивидов, а областью значений – суждения. Если взять, к примеру, предикат «есть философ» (P), то формула «x есть философ» (Px) выражает функцию, которая при подстановке в нее любого индивида из области значения (например, Сократа) превращается в предложение, и этому предложению приписывается в качестве значения суждение, говорящее о том, что Сократ есть философ. Это суждение истинно, если Сократ действительно является философом.

В целом Рассел отказался от фрегевского различения смысла и значения и выступил в поддержку теории значения, которую принято называть денотативной, поскольку, во-первых, она касается такой категории языковых выражений, как имена собственные, а, во-вторых, согласно этой теории, значением имени собственного является его носитель, т. е. значение имени отождествляется с его денотатом (референтом). Кроме того, Рассел исключил из категории имен собственных предложения и предикаты. По его мнению, предложение, указывающее на сложную сущность, состоящую из абстрактного свойства или отношения, обозначаемого предикатом, и индивидов, обозначаемых именами, которую он вначале истолковывал как суждение, а затем – как факт, не может эту сложную сущность именовать, поскольку в этом случае было бы невозможно указать, что именуют ложные предложения, а такие предложения отнюдь не лишены значения. Что касается предикатов, то в своей трактовке их значения Рассел фактически, как справедливо отмечает Г. Кюнг, уподоблял их именам индивидов, видя «в них подлинные имена определенных сущностей» [Кюнг, 1999, с. 91].

Как известно, на первом этапе, опираясь на эту денотативную теорию значения, Рассел вслед за А. Мейнонгом полагал, что все, что обозначается именем собственным, должно в каком-то смысле существовать – если не как вещь, имеющая реальное существование (eхistence), то как понятие, обладающее идеальным существованием (subsistence). В результате онтология, представленная им в работе «Принципы математики» (1903), содержала помимо привычных объектов внешнего мира такие сущности, как числа, множества, отношения, свойства и даже гомеровские боги и химеры. Однако подобная трактовка имен собственных как онтологически нагруженных языковых выражений наталкивалась на серьезные концептуальные затруднения, одно из которых связано с невозможностью отрицать существование чего-либо, не впадая в противоречие[20]. Действительно, если исходить из того, что значением имени собственного является его носитель и что предложение, содержащее имя, является истинным в том случае, когда имеется объект, обозначенный данным именем, и он обладает свойством, выраженным предикатом, то получается, что считающееся истинным предложение «Пегаса не существует» говорит следующее: существует объект (Пегас), для которого верно, что он не существует. Еще одно затруднение состоит в том, что если мы возьмем предложение «Нынешний король Франции лыс», которое считается ложным, то, согласно закону исключенного третьего, мы должны признать истинным его отрицание «Нынешний король Франции не лыс». Поскольку этого признать нельзя, мы оказываемся перед необходимостью отказаться от закона исключенного третьего как важнейшего логического принципа.