Страница:
В-четвертых, поскольку в решении онтологических проблем аналитические философы опираются на анализ языка, то следует установить, каким должен быть этот анализ, а стало быть, какая логика лежит в основании языка и, главное, необходимо ли реформирование логической структуры языка (скажем, с помощью использования искусственных логически совершенных языков) в целях выявления онтологической структуры мира.
В-пятых, поскольку анализ аналитических философов направлен прежде всего на выделение языковых выражений, имеющих онтологическую нагрузку, т. е. обозначающих что-то существующее, то возникает вопрос, согласно какому критерию мы можем выделить эти языковые выражения. Иными словами, появляется необходимость сформулировать критерий существования, а вместе с тем и ответить на вопрос, что следует понимать под существованием.
Таким образом, предлагая свои решения для проблемы связи между языком и миром, аналитические философы, по сути, так или иначе отвечают на перечисленные вопросы. Учитывая сложную структуру этих решений, мы будем называть их «моделями соотношения языка и реальности», и наша задача будет состоять в том, чтобы показать, какие модели были предложены и как происходило их развитие, т. е. как менялись представления аналитических философов по этой ключевой проблеме. Мы отнюдь не претендуем на сколько-нибудь полное изображение развития этих представлений, поскольку для этого пришлось бы написать подробную историю практически всей аналитической философии. Наша задача куда более скромная и простая – представить то, что нам видится важными вехами на этом пути. Мы отобрали для изложения наиболее влиятельные и в то же время наиболее целостные и полные трактовки отношения между языком и реальностью, предложенные выдающимися аналитическими философами XX в. – Бертраном Расселом, Людвигом Витгенштейном, Рудольфом Карнапом, Уиллардом Ван Орманом Куайном, Питером Стросоном, Дональдом Дэвидсоном и Майклом Даммитом. Влиятельность этих трактовок не в последнюю очередь объясняется масштабностью и ясностью лежащих в их основании идей, представленных к тому же в чистом и прозрачном виде. Кроме того, в своем выборе мы руководствовались тем, что большинство из перечисленных философов предложили онтологические концепции, в которых они признали реальное существование определенного рода объектов и сущностей, поэтому их представления о соотношении языка и реальности проливают свет и на проблему истолкования и обоснования реализма, а она составляет главную цель нашего исследования.
Глава 1. Формальный язык, логическая семантика и мир
1.1. Язык и онтология в философии Г. Фреге
В-пятых, поскольку анализ аналитических философов направлен прежде всего на выделение языковых выражений, имеющих онтологическую нагрузку, т. е. обозначающих что-то существующее, то возникает вопрос, согласно какому критерию мы можем выделить эти языковые выражения. Иными словами, появляется необходимость сформулировать критерий существования, а вместе с тем и ответить на вопрос, что следует понимать под существованием.
Таким образом, предлагая свои решения для проблемы связи между языком и миром, аналитические философы, по сути, так или иначе отвечают на перечисленные вопросы. Учитывая сложную структуру этих решений, мы будем называть их «моделями соотношения языка и реальности», и наша задача будет состоять в том, чтобы показать, какие модели были предложены и как происходило их развитие, т. е. как менялись представления аналитических философов по этой ключевой проблеме. Мы отнюдь не претендуем на сколько-нибудь полное изображение развития этих представлений, поскольку для этого пришлось бы написать подробную историю практически всей аналитической философии. Наша задача куда более скромная и простая – представить то, что нам видится важными вехами на этом пути. Мы отобрали для изложения наиболее влиятельные и в то же время наиболее целостные и полные трактовки отношения между языком и реальностью, предложенные выдающимися аналитическими философами XX в. – Бертраном Расселом, Людвигом Витгенштейном, Рудольфом Карнапом, Уиллардом Ван Орманом Куайном, Питером Стросоном, Дональдом Дэвидсоном и Майклом Даммитом. Влиятельность этих трактовок не в последнюю очередь объясняется масштабностью и ясностью лежащих в их основании идей, представленных к тому же в чистом и прозрачном виде. Кроме того, в своем выборе мы руководствовались тем, что большинство из перечисленных философов предложили онтологические концепции, в которых они признали реальное существование определенного рода объектов и сущностей, поэтому их представления о соотношении языка и реальности проливают свет и на проблему истолкования и обоснования реализма, а она составляет главную цель нашего исследования.
Глава 1. Формальный язык, логическая семантика и мир
В этой главе описывается первый этап в развитии представлений о языке и мире в рамках аналитической философии. Главная особенность моделей соотношения языка и реальности, разработанных на этом этапе, состоит в том, что на них доминирующее влияние оказали идеи немецкого математика, логика и философа Готлоба Фреге. Созданная Фреге концепция новой логики, формально-логического языка и логической семантики задала ракурс рассмотрения связи между языком и тем, для описания чего этот язык используется, который в разных вариантах попытались реализовать такие философы, как Рассел, Витгенштейн и Карнап. Преимущество подобного подхода эти философы видели в том, что благодаря четкости логической структуры формального языка и точности его правил приобретают вполне обозримый вид отношения между элементами языка и структурными компонентами мира, которые они обозначают. В естественных языках, которые создавались стихийно и в ходе исторического развития подвергались воздействию самых разнообразных факторов, эти отношения скрыты под толщей случайных зависимостей, поэтому, осуществляя перевод выражений этих языков на логически совершенный язык, мы получаем возможность выявить онтологические предпосылки, лежащие в их основе.
Концепция языка Фреге и связанные с ней возможности логического анализа послужили стимулом для создания Расселом и Витгенштейном метафизических теорий под названием «логический атомизм». И хотя оба философа внесли важные изменения в эту концепцию, подстраивая ее под свои философские нужды, эти изменения во многом еще лежали в русле развития основных идей, сформулированных в философии языка Фреге. В духе этих идей Рудольфом Карнапом была разработана развернутая семантическая теория, названная им методом экстенсионала и интенсионала. Несмотря на то что логический позитивист Карнап был последовательным и непреклонным противником метафизики во всех ее формах, он дал определенное, согласующееся с его семантикой решение проблемы соотношения языка и онтологии в виде теории языковых каркасов. Именно эти теории Рассела, Витгенштейна и Карнапа будут в центре нашего внимания в этой главе, но начнем мы с Фреге.
Концепция языка Фреге и связанные с ней возможности логического анализа послужили стимулом для создания Расселом и Витгенштейном метафизических теорий под названием «логический атомизм». И хотя оба философа внесли важные изменения в эту концепцию, подстраивая ее под свои философские нужды, эти изменения во многом еще лежали в русле развития основных идей, сформулированных в философии языка Фреге. В духе этих идей Рудольфом Карнапом была разработана развернутая семантическая теория, названная им методом экстенсионала и интенсионала. Несмотря на то что логический позитивист Карнап был последовательным и непреклонным противником метафизики во всех ее формах, он дал определенное, согласующееся с его семантикой решение проблемы соотношения языка и онтологии в виде теории языковых каркасов. Именно эти теории Рассела, Витгенштейна и Карнапа будут в центре нашего внимания в этой главе, но начнем мы с Фреге.
1.1. Язык и онтология в философии Г. Фреге
Свое рассмотрение развития идей о связи между языком и реальностью в аналитической философии мы начинаем с изложения взглядов выдающегося немецкого мыслителя Готлоба Фреге (1848–1925), поэтому неизбежно возникает вопрос, насколько правомерен выбор такой отправной точки для нашего исследования. Есть очень серьезные возражения против отнесения Фреге к аналитической традиции, состоящие в том, что он был последовательным противником эмпиризма и номинализма – философских учений, доминирующих в аналитической философии, не разделял характерных для многих представителей этого направления антиметафизических и позитивистских установок и отнюдь не считал логико-лингвистический анализ единственным законным методом решения философских проблем. Однако это не помешало известному британскому философу Майклу Даммиту объявить Фреге «предтечей аналитической философии», а саму аналитическую философию охарактеризовать как «постфрегевскую». Даммит полагает, что эту философию в ее разнообразных проявлениях отличает от других школ «убеждение в том, что, во-первых, философского понимания мышления можно достичь посредством философского осмысления языка и, во-вторых, только таким образом можно достичь исчерпывающего понимания мышления» [Dummett, 1994, p. 4], поэтому аналитическая философия родилась, когда произошел «лингвистический поворот», и первым произведением, в котором можно усмотреть признаки такого «поворота», Даммит считает «Основания арифметики» (1884) Фреге. Мы не будем здесь касаться вопроса о том, насколько правомерна такая трактовка специфики аналитической философии, однако, на наш взгляд, Даммит в изрядной мере «осовременивает» идеи немецкого мыслителя, которые, как отмечает отечественный исследователь творчества Фреге Б.В. Бирюков, во многом «были прямой противоположностью этого философского направления» [Бирюков, 2000, с. 61–62]. Вместе с тем Фреге действительно оказал колоссальное влияние на развитие аналитической философии, которого нельзя не учитывать, особенно если рассматриваешь вопрос о взглядах аналитических философов на соотношение языка и реальности. И хотя сам немецкий мыслитель не связывал напрямую анализ языка с решением онтологических проблем, созданная им концепция языка и логики была воспринята многими философами как инструмент построения онтологии. Поэтому его идеи – вполне оправданная отправная точка для нашего исследования, правда, с некоторой оговоркой, состоящей в том, что основное внимание мы сосредоточим на тех аспектах его логико-философской концепции, которые получили «вторую жизнь» в аналитической традиции. Поскольку же Фреге не выводит свою метафизику из исследования языка, а, скорее, создает язык для определенной – заранее заданной – онтологии, мы вначале рассмотрим, какие категории сущего он признает во вселенной, а затем перейдем к его концепции языка.
Фреге очень необычный мыслитель, поскольку его творческий поиск осуществлялся на стыке философии и математики. Свою главную задачу он видел в том, чтобы подвести под арифметику надежное логическое основание, продемонстрировав возможность определения ее основных понятий и аксиом в терминах чистой логики. Таким образом, Фреге первым выдвинул программу обоснования арифметики путем сведения ее к логике, которая получила название «логицизм». Для выполнения этой программы он создал совершенно новую логику, осуществив первое аксиоматическое построение пропозиционального исчисления и построив теорию квантификации и исчисление предикатов, которые образуют ядро современной математической логики. Эта новая логическая система была сформулирована Фреге на специально разработанном им формально-логическом языке. Задавая интерпретацию этого искусственного языка, Фреге заложил основы логической семантики, однако если в дальнейшем при создании логических языков стали четко отделять их синтаксис (задание словаря исходных символов, формулировка правил образования и преобразования выражений языка и т. п.) от семантики (сопоставление категориям языковых выражений различных типов внеязыковых сущностей), то Фреге выстраивает синтаксис и семантику своей системы одновременно по мере введения новых знаков и выражений. Более того, семантика языка формулируется им с учетом уже имеющейся онтологии внеязыкового мира, для представления которой и создается язык. Однако следует отметить, что Фреге не просто взял стандартную онтологию для арифметики, которая включает теорию чисел и математический анализ, но внес в нее существенные дополнения и изменения, по-новому осмыслив многие математические понятия, прежде всего понятия функции, класса и числа.
Начнем с того, что Фреге включает в свою онтологию такие типы объектов, как функции и предметы, которые могут выступать в роли аргументов и значений функций. При этом он значительно расширил понятие функции, освободив ее от связи с числами и определив в качестве ее возможных аргументов и значений любые другие предметы, например физические вещи, людей и т. п. Помимо перечисленных он включил в число предметов два абстрактных объекта – «истину» и «ложь», которые являются аргументами и(или) значениями особой категории функций – так называемых логических функций. Частным случаем логических функций (с одним аргументом, определенным на области произвольных предметов, и «истиной» и «ложью» в качестве значения) у Фреге оказываются понятия, которые играют ключевую роль в его логической системе, ибо, относя к арифметике все то, что поддается счету, он полагал, что ее область совпадает с областью понятийного мышления[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 отображает его на «ложь». Поскольку не все предметы в области определения могут быть поименованы, истинностное значение квантифицированных предложений зависит не только от значения входящих в них имен, но и от отображений непоименованных предметов. В соответствии с этим Фреге сформулировал важный для его логической системы принцип взаимозаменяемости, согласно которому значение сложного выражения не изменится, если входящие в него выражения будут заменены выражениями с тем же значением. Языковые контексты, в которых выполняется этот принцип, были в последующем названы экстенсиональными.
Фреге очень необычный мыслитель, поскольку его творческий поиск осуществлялся на стыке философии и математики. Свою главную задачу он видел в том, чтобы подвести под арифметику надежное логическое основание, продемонстрировав возможность определения ее основных понятий и аксиом в терминах чистой логики. Таким образом, Фреге первым выдвинул программу обоснования арифметики путем сведения ее к логике, которая получила название «логицизм». Для выполнения этой программы он создал совершенно новую логику, осуществив первое аксиоматическое построение пропозиционального исчисления и построив теорию квантификации и исчисление предикатов, которые образуют ядро современной математической логики. Эта новая логическая система была сформулирована Фреге на специально разработанном им формально-логическом языке. Задавая интерпретацию этого искусственного языка, Фреге заложил основы логической семантики, однако если в дальнейшем при создании логических языков стали четко отделять их синтаксис (задание словаря исходных символов, формулировка правил образования и преобразования выражений языка и т. п.) от семантики (сопоставление категориям языковых выражений различных типов внеязыковых сущностей), то Фреге выстраивает синтаксис и семантику своей системы одновременно по мере введения новых знаков и выражений. Более того, семантика языка формулируется им с учетом уже имеющейся онтологии внеязыкового мира, для представления которой и создается язык. Однако следует отметить, что Фреге не просто взял стандартную онтологию для арифметики, которая включает теорию чисел и математический анализ, но внес в нее существенные дополнения и изменения, по-новому осмыслив многие математические понятия, прежде всего понятия функции, класса и числа.
Начнем с того, что Фреге включает в свою онтологию такие типы объектов, как функции и предметы, которые могут выступать в роли аргументов и значений функций. При этом он значительно расширил понятие функции, освободив ее от связи с числами и определив в качестве ее возможных аргументов и значений любые другие предметы, например физические вещи, людей и т. п. Помимо перечисленных он включил в число предметов два абстрактных объекта – «истину» и «ложь», которые являются аргументами и(или) значениями особой категории функций – так называемых логических функций. Частным случаем логических функций (с одним аргументом, определенным на области произвольных предметов, и «истиной» и «ложью» в качестве значения) у Фреге оказываются понятия, которые играют ключевую роль в его логической системе, ибо, относя к арифметике все то, что поддается счету, он полагал, что ее область совпадает с областью понятийного мышления[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 отображает его на «ложь». Поскольку не все предметы в области определения могут быть поименованы, истинностное значение квантифицированных предложений зависит не только от значения входящих в них имен, но и от отображений непоименованных предметов. В соответствии с этим Фреге сформулировал важный для его логической системы принцип взаимозаменяемости, согласно которому значение сложного выражения не изменится, если входящие в него выражения будут заменены выражениями с тем же значением. Языковые контексты, в которых выполняется этот принцип, были в последующем названы экстенсиональными.