Логико-семантические идеи Г. Фреге

Размещено на http://www.allbest.ru/

КУРСОВАЯ РАБОТА

на тему: «Логико-семантические идеи Г. Фреге»

Содержание

Введение

1. Значение и смысл имен собственных

2. Значение и смысл предложений

Список литературы

Введение

Аналитическая философия возникла на волне интереса к формальной логике, которая, обогатившись новыми методами, с середины XIX века начинает бурно развиваться[10] . К этому необходимо добавить, что влияние логики не ограничивалось лишь аналитической философией; во второй половине XIX века представители всех философских направлений от позитивистов до неогегельянцев писали “логические исследования”, на этой же волне возникла и феноменология Гуссерля. Исключительное внимание к логике на рубеже веков трудно обосновать лишь ссылкой на то, что логика является философской наукой. Скорее, объяснение этому надо искать в ее взаимодействии с теми отраслями знания, которые выходили за рамки философского. И здесь особую роль сыграли психология и математика. Появление психологии стимулировало развитие логической мысли в том отношении, что с привнесением в философию позитивного естественнонаучного духа возникала иллюзия, что теория познания обретет наконец так недостающие ей прочные основания, и в этом отношении психологическое объяснение логики, как ядра теории познания, должно было сыграть свою ведущую роль. Цель психологизации, по существу, сводилась к стремлению объяснить логические структуры естественными процессами, протекающими в индивидуальном человеческом сознании, а не способностями трансцендентального субъекта или самоопределением объективного духа. Однако психологизация не приводила к позитивному расширению границ логики как науки, с точки зрения содержания она все так же понималась, по словам Канта, “вполне законченной и завершенной”. И, несмотря на то, что рефлексия над основаниями логики не раз приводила к радикальному изменению философских установок, в данном случае был дан фальстарт. Психологическое обоснование не принесло ощутимой пользы, прочный фундамент так и не был заложен, а позитивное расширение границ логического ограничилось разработкой субъективных условий применения тех объективных законов и норм, которые и так давно были известны.

Иное дело воздействие математики на логику, не только расширившее границы формальной логики, но и совершившее подлинную революцию как в понимании природы логического, так и в понимании перспектив применения философских методов. Последнее обстоятельство позволило Б.Расселу сказать, что формальная логика с середины XIX века каждые десять лет создает больше, чем было создано за весь период от Аристотеля до Лейбница[11] . Математизация логики - процесс прямо противоположный ее психологизации и, пожалуй, характеризует одну из наиболее интересных коллизий в развитии науки. семантика значение выражение фреге

В ряду известных философов и логиков конца XIX -- начала XX века Г.Фреге занимает особое место. Его роль в современной логике, которую он в значительной степени создал, сравнима разве что с ролью Аристотеля в логике традиционной. Фреге, в частности, заложил основы той области знания, которая получила название оснований математики, впервые отчетливо связав проблему формального единства содержания математики с принятыми в ней способами рассуждения и заложив тем самым, основы теории формальных систем. Это стало возможным только потому, что им была осуществлена одна из первых аксиоматизацией логики высказываний и логики предикатов, причем последняя фактически впервые появилась в его трудах. Г.Фреге заложил основы логической семантики, отделив в логической теории средства выражения (синтаксис) от того, что они обозначают. Наконец, он выдвинул программу прояснения основных понятий математики, которую и попытался осуществить с помощью процедуры сведения математики к логике, реализуя одну из возможных методик прояснения специфики математического знания.

Совокупность результатов, достигнутых им в логике, предполагала совершенно определенный концептуальный сдвиг, который отражает влияние Фреге на развитие современной мысли в целом. На чем же основан этот концептуальный сдвиг? Он основан на новом понимании роли языка, который начинает рассматриваться как исчисление, аналогичное математическим теориям[12] .

1. Значение и смысл имен собственных

Семантика занимается концептуальным исследованием значений языковых выражений. Одним из ее центральных понятий является понятие имени. Фреге принадлежит заслуга такого уточнения этого термина, которое позволило ему стать одним из основных понятий математической логики. В основе классической концепции имен собственных, сформулированной Фреге, лежат понятия значения и смысла. Согласно этой концепции, всякое имя обозначает (называет, именует) некоторый предмет (называемый значением, денотатом или референтом имени) (нем. Bedeutung , англ. reference) и выражает некоторый смысл (нем. Sinn , англ. meaning ), определенным образом характеризующий значение имени.

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

Примерами имен собственных могут служить следующие выражения: (1) «Аристотель»; (2) «Учитель Александра Македонского»; (3) «Утренняя звезда»; (4) «Вечерняя звезда»; (5) «точка пересечения прямых a и b ».

Следовательно, всякое имя, с одной стороны, обозначает свой предмет, а с другой - выражает свой смысл, который определенным образом характеризует значение имени. Поскольку смысл позволяет выделить предмет, обозначаемый знаком, обычно принято говорить, что значение знака является функцией смысла. Например, знак «учитель Александра Македонского» при условии, что известны значения слов «учитель» и «Александр Македонский», обозначает древнегреческого философа Аристотеля.

Второй краеугольный камень семантики Фреге - это то строгое различие, которое он проводит между именами собственными и предикатными знаками. Последние именуются им понятийными словами (нем. Begriffsw rter). В то время как значением имени собственного является определенный предмет, значением предикатного знака или, что то же самое, понятийного слова, является понятие (например, «быть натуральным числом, большим, чем два»). В этом случае, однако, возникает проблема, как отличить имя собственное в качестве логически простого обозначения единичного предмета от предикатного знака, чьим значением является понятие, под которое подпадает всего-навсего один предмет. Для разрешения этой проблемы Фреге предложил определять семантическую категорию интересующего выражения путем его подстановки в предложение типа «Существует ли больше, чем одно -- ». Пусть «А» будет тем выражением языка, семантическую категорию которого мы должны установить, подставив его на место пробела в указанном выше предложении. Если интерпретировать выражение «А» как понятийное слово, то вопрос «Существует ли больше, чем одно А?» будет вполне осмысленным, даже если мы и будем вынуждены дать на него отрицательный ответ; однако если интерпретировать «А» как имя собственное, то такого рода вопрос вообще нельзя будет значимо сформулировать, поскольку множественная характеристика отдельного предмета вообще есть что-то бессмысленное. Например, в английском языке слово « mn » может обозначать как Луну, так и спутник планеты. Относительно такого рода двусмысленных случаев Фреге использовал возможность задавать вопрос «Существует ли больше, чем одно -- » для того, чтобы выяснить, идет ли речь об описательном термине, который может осмысленно применяться во множественном числе («спутники планеты»), или же об имени собственном, относительно которого было бы бессмысленно употреблять множественное число («Луна»)[14] .

Связь между именем, его значением и смыслом принято изображать в виде семантического треугольника:

«И» - имя собственное (обозначающее выражение)

З - значение (референт) имени

С - смысл (абстрактное содержание) имени

Сам Фреге формулирует эту связь следующим образом: «Собственное имя (слово, знак, сочетание знаков, выражение) выражает ( dr uckt aus ) свой смысл ( Sinn ) и означает ( bedeutet ), или обозначает ( bezeichnet ), свое значение ( Bedeutung ). Мы выражаем некоторым знаком его смысл и обозначаем им его значение»[15] .

В своей первой крупной теоретической работе «Исчисление понятий» (1879) Фреге не проводил различие между значением и смыслом имени. Не встречается оно и в другом крупном его произведении «Основоположения арифметики», опубликованном в 1884 году. Впервые различие между значением и смыслом имени появляется только в 1892 году в статье «О смысле и значении» (« U ber Sinn und Bedeutung »).

Вопросом, подтолкнувшим Фреге к изучению проблемы значения и смысла языковых выражений, стал вопрос о равенстве. Является ли равенство отношением? Если да, то отношением между предметами или же между именами и знаками предметов? В своей статье «Исчисление понятий» Фреге высказался в пользу второго решения этой проблемы. В статье «Смысл и значение» он еще раз возвращается к этому вопросу. Свои аргументы в пользу выбранного им решения проблемы он формулирует следующим образом: «Предложения а = а и а = b имеют, очевидно, различную познавательную ценность: предложение а = а значимо a priri и, согласно Канту, должно называться аналитическим, в то время как предложения, имеющее форму а = b значительно расширяют наше познание и не всегда могут быть обоснованы a priri . Одним из значительнейших открытий астрономии в свое время было то, что каждое утро встает не новое Солнце, а то же самое. И по сей день опознание астероидов или комет иногда связано со значительными трудностями. Если же в равенстве мы хотим видеть отношение между тем, что означают имена «а» и « b », то предложения а = b и а = а не могут быть различными в том случае, когда а = а истинно. При этом выражалось бы отношение вещи к самой себе, но не к какой-то другой вещи»[16] .

Если считать равенство отношением между предметами, то предложения (1) «Утренняя звезда есть Утренняя звезда» и (2) «Утренняя звезда есть Вечерняя звезда» окажутся, - при условии, что предложение (2) истинно (очевидно, что так оно и есть), - выражающими один и тот же факт, а именно, что планета Венера тождественна планете Венере.

Ясно, однако, что познавательный статус двух этих предложений совершенно различен. Предложение (1) является аналитическим, т.е. логически-истинным или тождественно-истинным в силу значений входящих в него логических терминов; оно не выражает какого-либо действительного знания о мире. Напротив, предложение (2) не является аналитическим; установление его истинности или ложности требует обращения к эмпирическим наблюдениям о мире. Оно сообщает нам важный астрономический факт и выражает подлинное знание о мире.

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

В силу вышеуказанных затруднений напрашивается следующее решение возникшей проблемы. «Говоря а = b , видимо, хотят сказать, что знаки, или имена, «а» и « b », означают одно и то же, и в таком случае речь идет именно об этих знаках; между ними утверждается некоторое отношение. Но эти имена, или знаки, находятся в указанном отношении только потому, что они нечто называют или обозначают. Это отношение опосредовалось бы связью каждого из них с одним и тем же обозначаемым»[17] .

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

Здесь появляется еще одна трудность, обусловленная тем, что знак или имя является произвольным по отношению к обозначаемому или именуемому им предмету. Обозначение предмета тем или иным знаком зависит исключительно от соглашения между лицами, употребляющими знаки. На этот счет Фреге пишет: «Никому нельзя запретить считать произвольно избранное событие или предмет знаками чего угодно. В таком случае предложение а = b относилось бы не к самой вещи, а только к нашему способу обозначения; мы не выражали бы в нем никакого подлинного знания. Но все же в большинстве случаев мы хотим именно этого»[18] .

Конечно, существуют предложения, относительно смысла которых можно утверждать, что он ограничивается выражением того, что у предмета, обозначаемого именем «а», есть еще имя « b ». Таково, к примеру, предложение

(3) «Цицерон есть Марк Туллий».

Можно считать, что и оно содержит некоторое знание насчет того, что человек по имени Цицерон иначе называется еще Марк Туллий. Ясно, однако, что это знание относится не к самому предмету, но к знакам, которыми мы обозначаем этот предмет. Однако не все предложения о равенстве таковы. Среди них встречаются и такие, которые выражают знание в собственном смысле этого слова. Рассмотрим предложение

(4) «Платон есть ученик Сократа и учитель Аристотеля».

Если мы будем считать, что предложение (4) по своему познавательному статусу вполне аналогично предложению (3), то должны будем заключить, что предложение (4) содержит только некоторое знание о том, как нужно понимать знаки, обозначающие некоторое лицо, в данном случае - великого античного философа. Тогда нам следует понимать предложение (4) так, что оно утверждает только то, что человек, именуемый «Платон» - это тот же человек, которого называют «ученик Сократа и учитель Аристотеля». В таком случае мы не имеем права рассматривать последнее как сложное имя, состоящее из осмысленных частей («ученик Сократа», «учитель Аристотеля») и сообщающее сведения, что обозначенный этим именем человек учился у Сократа и был учителем Аристотеля, и должны рассматривать его как произвольный знак, обозначающий Платона и не несущий какой-либо дополнительной информации. Ясно, что такое понимание предложения (4) ошибочно, поскольку предложения (3) и (4) явно различны по своему познавательному статусу.

Предложенное решение не дает нам выхода из затруднения, поскольку мы оказываемся не в состоянии различить предложения (1) «а = а» и «а = b » с точки зрения их познавательного статуса. Если знак «а» отличается от знака « b » только по своему виду, а не в качестве собственно знака, то есть не в силу того способа, которым он обозначает нечто, то между предложениями (1) и (2) не будет принципиальной разницы в том случае, если предложение (2) истинно.

Разница в познавательной ценности предложений (1) и (2) может появиться только в том случае, если различию знаков соответствует различие в способе данности обозначаемого. Иными словами, это различие возможно тогда и только тогда, когда с каждым именем собственным соотносится не только тот предмет, который обозначает это имя (значение имени), но и тот способ, каким имя обозначает или дает нам предмет, -- смысл имени.

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

«Это свидетельствует о том, что некоторый знак (слово, словосочетание или графический символ) мыслится не только в связи с обозначаемым, которое можно было бы назвать значением знака, но также и в связи с тем, что мне хотелось бы назвать смыслом знака, содержащим способ данности [обозначаемого]. Тогда в нашем примере одним и тем же будет значение выражений «точка пересечения а и b » и «точка пересечения b и с», а не их смысл. Точно также у выражений «Вечерняя звезда» и «Утренняя звезда» одно и то же значение, но не смысл»[19] .

Примечательно, что Фреге использует термин «имя собственное» в более широком значении, нежели чем только в качестве простого знака, обозначающего отдельный предмет; он использует его также и в отношении сложных обозначений предметов, которые мы обычно называем определенными описаниями илидескрипциями(англ. definite descriptins ). (Эта терминология не имела хождения во времена Фреге. Она была введена Расселом в совместной с Уайтхедом работе « Principia Mathematica »[20] ). Отсюда становится понятным, что в состав имен собственных Фреге включает по крайней мере два достаточно разнородных класса языковых выражений. Во-первых, речь идет о логических именах собственных, обозначающих какой-то один предмет. В этом случае имя собственное является простым сингулярным термином, составные части которого, в свою очередь, сами не являются символами. Таковы выражения типа «Платон», «Аристотель», «Венера», «Марс», «Вена», «Гринвич». Во-вторых, речь идет о относительно сложных обозначениях предметов, которые мы обычно называем определенными описаниями. В таком случае имя собственное будет сложным сингулярным термином, содержащим более простые символы в качестве своих составных частей. К сложным сингулярным терминам относятся выражения типа «тот ученик Платона, который был учителем Александра Великого», «самое удаленное от Земли небесное тело», «тот французский полководец, который выиграл сражение при Иене, но проиграл сражение при Ватерлоо».

Каковы были основания, побудившие Фреге считать сложные сингулярные термины («определенные описания») обычными именами собственными наряду с простыми сингулярными терминами? Первое основание фрегевского включения определенных дескрипций в класс имен собственных состояло в том, что Фреге считал обычные имена собственные сокращенными определенными описаниями; например, имя собственное «Аристотель» - это своего рода сокращенная аббревиатура для описания «тот ученик Платона, который был учителем Александра Великого». Следовательно, Фрегева семантика основывается на том, что большинство собственных обозначений - это скрытые описания. Это означает, что смысл логическим именам собственным типа «Аристотель», «Мюнхен», «Венера» придается посредством определенных описаний, которые ставятся им в соответствие. В свою очередь, в определенные описания могут входить логические имена собственные. Это позиция обладает малоубедительным правдоподобием в отношении собственных имен исторических персонажей («Аристотель», «Цицерон», «Наполеон»), но она совершенно не годится для объяснения семантических особенностей обычных имен собственных. В частности, если считать, что логические имена собственные - это сокращенные определенные описания или части определенных описаний, то оказывается необъяснимым факт существования по крайней мере двух знакомых мне людей, носящих одинаковые имена.

Это обстоятельство приводит к целому ряду известных трудностей, когда мы пытаемся применить его к естественным языкам. В частности, одна из них касается значения обыденных имен собственных: например, имен собственных, обозначающих отдельные личности. Как правило, знание значения имени собственного в включает в себя знание, кого отдельный говорящий намеревается обозначить этим именем. Однако вполне возможны случаи, когда различные говорящие обозначают одну и ту же личность при помощи одного и того же имени собственного, и при этом не знают, что они обозначают одну и ту же личность, поскольку каждый из них отождествляет ту личность, о которой идет речь, при помощи различных дескрипций. Если Лео Петер лично знает доктора Густава Лаубена, но не знает, что доктор Лаубен родился 13 сентября 1875 г. в N ., а Херберт Гарнер знает только то, что доктор Густав Лаубен родился 13 сентября 1875 г. в N ., но не знает, где живет доктор Лаубен в настоящее время и вообще не имеет никаких других сведений о нем, то тогда возникает ситуация референциальной «непрозрачности», о которой сам Фреге говорит следующее: «В таком случае Херберт Гарнер и Лео Петер будут, употребляя имя собственное «доктор Густав Лаубен», говорить на разных языках, хотя они в действительности и будут этим именем обозначать одного и того же человека; ведь они не будут знать, что делают именно это. Херберт Гарнер будет связывать с предложением «Доктора Густава Лаубена ранили» не ту мысль, которую хотел бы выразить Лео Петер»[21] (выделено нами).

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

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

В данном случае, говоря о том, что собой представляет смысл имени собственного, например, «Аристотель», мы могли бы охарактеризовать его как конъюнкцию таких свойств, как 1 ..., 2 ... , 3 ... , 4 ...; и дать при этом полный список определенных свойств. Ясно, однако, что в данном случае требуется дать какой-то критерий отбора интересующих нас свойств, поскольку каждый отдельный предмет обладает бесчисленным множеством свойств и при отсутствии такого критерия фиксация смысла имени собственного стала бы чересчур сложной и громоздкой, если вообще выполнимой процедурой. Иными словами, возникает вопрос о диапазоне существенных свойств предмета, обозначенного соответствующим именем, и критерии отбора этих свойств и отлучения их от несущественных. Это требование отличать существенные свойства предмета от несущественных при фиксации смысла имени приводит, как отмечает Сол Крипке, к социологизации понятия смысла имени собственного. На практике это означает, что смысл имен собственных, например «Аристотель», начинают определять как некоторое грубо устанавливаемое множество широко распространенных в определенном обществе в определенную эпоху мнений об Аристотеле[22] . Это - не слишком приятное следствие для философов, принимающих доктрину смысла Фреге. Поставьте, к примеру, на место имени собственного, смысл которого требуется определить, имя «Сталин», и призрачная область смыслов как объективных сущностей, открываемых (Фреге) или постулируемых (Черч) в трехчленной семантике знака, обозначенного и смысла сразу же улетучится. Ведь совершенно ясно, что совокупность широко распространенных, например, в российском обществе, мнений о Сталине в 1949, 1989 и 1999 годах резким, зачастую диаметрально противоположным образом отличается друг от друга. Отсюда становится ясным, что неудовлетворительность Фрегевой теории имен собственных заключается в том, что она заставляет смысл имени колебаться, - в конечном счете от человека к человеку и от одного контекста употребления к другому; при этом принципы определения смысла имен для каждого отдельно взятого человека оказываются зависимыми от обстоятельств его личной жизни, а также от тех воздействий - вербальных и невербальных, - которым он подвергается со стороны общества: воспитания, образования, накопленного культурного капитала, умственного кругозора и т.д.

При этом надо отметить, что соображения, приведшие Фреге к включению сложных сингулярных терминов в класс обычных имен собственных, не носили, в отличие от соображений Рассела, эпистемологического характера. (См. об этом у Питера Гича[23] ). Рассел говорит, что логические имена собственные отсылают слушающего к непосредственно знакомым объектам; при этом имеется в виду, что знание об этих объектах получено без помощи какого-либо вывода, посредством прямого знакомства при помощи органов чувств или разума. Такая постановка вопроса скорее всего показалась бы ему нежелательным возвращением от формально-семантического анализа к теоретико-познавательному психологизму, бывшему отличительной чертой философии Нового времени. Программу формально-семантического анализа, не имеющего отношения к психологическому процессу познания, Фреге наметил еще в своей работе «Исчисление понятий», опубликованной в 1879 году. В ней он четко отделил контекст обоснования и формализации имеющих истин от контекста получения новых истин и считая второй психологической проблемой, вывел его за рамки логико-семантических исследований.

Надо отметить также и то, что Фреге считал определенные дескрипции именами собственными не потому, что придавал каждому выражению предметное значение. Он отнюдь не придерживался убеждения, что всякое языковое выражение какого угодно вида должно обозначать какую-либо сущность. Такая позиция была свойственна Мейнонгу в его Gegenstandstherie и Расселу в ранний период его творчества, отмеченный созданием Principia Mathematica , однако совершенно чужда самому Фреге. Отчасти это происходило потому, что он уподоблял предикаты функциональным выражениям, отчасти же потому - что делил все выражения языка на обозначающие и указывающие. Только обозначающим знакам типа имен собственных можно приписать предметное значение и смысл. Об указывающих же знаках типа частицы «между» вряд ли можно сказать, что она нечто обозначает; не всегда имеет смысл и приписывать ей какой-то особый смысл. Указывающие знаки по своей роли в дискурсе обычно характеризуются тем, что они вносят свой вклад в значение предложения благодаря тому, что связывают его части между собой и тем самым способствует выражению в языке - при помощи соответствующего предложения - полной мысли. «Говоря, что указывающий знак ничего не обозначает и не имеет смысла, - отмечает Фреге, - мы еще не утверждаем, что он не может содействовать выражению некоторой мысли. Он может содействовать этому тем, что придает общность содержания предложению или состоящему из предложения целому»[24] .

Второе основание включения Фреге определенных дескрипций в класс имен собственных было связано с проблемой взаимозаменимости простых и сложных сингулярных обозначений в математическом дискурсе. Оно основывается на том, что в математике простые и сложные знаки, обозначающие определенное число, например, е, свободно заменяются друг на друга (Об этом подробнее см. у Гича[25] ).

Еще одна проблема, которая возникает вследствие того, что Фреге включает определенные дескрипции в класс имен собственных, - это вопрос о том, как отличить имя собственное в качестве логически простого обозначения единичного предмета от предикатного знака, чьим значением является понятие, под которое подпадает всего-навсего один предмет. Для разрешения этой проблемы Фреге предложил определять семантическую категорию интересующего выражения путем его подстановки в предложение типа «Существует ли больше, чем одно -- ». Пусть «А» будет тем выражением языка, семантическую категорию которого мы должны установить, подставив его на место пробела в указанном выше предложении.Если интерпретировать выражение «А» как понятийное слово, то вопрос «Существует ли больше, чем одно А?» будет вполне осмысленным, даже если мы и будем вынуждены дать на него отрицательный ответ; однако если интерпретировать «А» как имя собственное, то такого рода вопрос вообще нельзя будет значимо сформулировать, поскольку множественная характеристика отдельного предмета вообще есть что-то бессмысленное. Например, в английском языке слово « mn » может обозначать как Луну, так и спутник планеты. Относительно такого рода двусмысленных случаев Фреге использовал возможность задавать вопрос «Существует ли больше, чем одно -- » для того, чтобы выяснить, идет ли речь об описательном термине, который может осмысленно применяться во множественном числе («спутники планеты»), или же об имени собственном, относительно которого было бы бессмысленно употреблять множественное число («Луна»).

Итак, Фреге использует термин «имя собственное» в более широком значении, нежели чем только в качестве простого знака, обозначающего отдельный предмет; он применяет его также к относительно сложным обозначениям предметов, которые обычно называются определенными описаниями. Это расширительное истолкование объема термина «имя собственное» открыто для серьезных возражений. Если мы будем считать, что «А» представляет понятийное слово или многословное понятийное выражение, то в этом случае можно утверждать, что «(есть) определенное А» («( is ) the A ») также будет понятийным выражением; «х (есть) определенное А» («х ( is ) the A ») будет означать «х есть некое (какое-то) А и ничто помимо х не является неким А» (« x is an A and nthing besides x is an A »). Ясно, что логически невозможно для более чем одного предмета быть определенным А ( the A ); однако сам Фреге настаивает на том, что мы должны проводить строгое различие между именем собственным и понятийным словом, которое можно применить только к одному предмету. Фреге при этом принимает во внимание то обстоятельство, что связка «есть» во многих европейских языках используется по крайней мере в четырех ключевых смыслах: 1) для выражения существования «Предмет есть, существует»; 2) для выражения предикации (принадлежности элемента классу): «Сократ (есть) мудрый»; 3) для выражения включения одного класса в другой: «Греки (суть) люди»; 4) для выражения тождества: «Сократ есть муж Ксантиппы»[26] . Следовательно, Фреге считает, во-первых, что в предложениях типа «х (есть) определенное А» связка есть используется для выражения тождества и, во-вторых, она имеет в этом контексте самостоятельное содержание.

В действительности предложенное Фреге выделение специальной связки для тождества во фразе вида «существует определенное А» является не более убедительным, нежели предложение принимать существование связки принадлежности элемента классу во фразе вида «существует какое-то А», что, на взгляд Фреге, было ошибочно; дело в том, что во всех этих контекстах «есть» не имеет своего собственного отдельного содержания. Например, когда утверждается, что «Не существует (определенного) короля Швейцарии» или что «Не существует числа, являющегося (определенным) корнем квадратным из 4», то тем самым речь идет не об указании, - путем обозначения, - на конкретную личность или на конкретное лицо, после чего заявляется, что никто не тождественен этой личности, или что нет числа, равного этому числу. На самом деле указывается на понятие, в данном случае, - на понятие «быть королем Щвейцарии» или «быть числом, которое является корнем квадратным из 4», которое применимо не более чем к одной личности или числу; после чего утверждается, что ни один предмет не подпадает под это понятие; иными словами, речь идет о том, что это понятие имеет «нулевой» объем[27] .

Понятию смысла Фреге приписывает два важные свойства. Во-первых, Фреге считает смыслы имен собственных объективными сущностями. Поэтому от значения и смысла имени собственного Фреге отделяет представление, вызываемое именем у слушающего. В силу своей объективности смысл имени собственного не совпадает с представлением, связанном с произнесением или прочтением имени в уме слушающего. Происходит это потому, что в отличии от смысла языкового выражения связанные с ним представления Фреге считает «чем-то полностью субъективным»[28] . Если значением языкового знака является чувственно воспринимаемый предмет, то представление об этом предмете есть внутренний образ, возникший из воспоминаний о чувственных впечатлениях и об актах моей внутренней и внешней деятельности. Представление субъективно: оно часто пронизано эмоциями, отчетливость его отдельных частей различна и колеблется от случая к случаю. Даже и для одного человека определенное представление не всегда связано с одним и тем же смыслом. (Человек, имеющий представление об императоре Юлии Цезаре, может связывать с ним множество различных смыслов, например, таких, которые выражаются определенными описаниями типа «римский полководец, перешедший Рубикон», «тот человек, который стал первым римским императором», «победитель Помпея при Фарсале», «тот римский император, который был убит заговорщиками в Мартовские Иды). И наоборот, с одним и тем же смыслом может быть связано много разных представлений. У художника, зоолога и наездника с именем «Буцефал» будут связаны, вероятно, очень разные представления.

Смысл знака отличается от представления, вызываемого знаком у слушающего, тем, что он «может быть общим достоянием многих и, следовательно, не является частью или модусом души отдельного человека; ибо никто, пожалуй, не станет отрицать, что человечество обладает общей сокровищницей мыслей, которую оно передает от поколения к поколению»[29] .

Смысл занимает промежуточное положение между именем собственным и его значением, в качестве которого выступает какой-то чувственно воспринимаемый предмет, обозначаемый этим именем. Представление полностью субъективно; значение имени объективно; смысл, который лежит между ними, является интер субъективной категорией, доступной по крайней мере некоторыми говорящим на одном языке (в идеале он должен быть доступен всем членам некоторого языкового сообщества). Отношение между именем собственным и его значением и смыслом Фреге пытается прояснить при помощи следующего примера наблюдения Луны через телескоп:

«Допустим, некто смотрит на Луну в телескоп. Саму Луну я сравниваю со значением; она является предметом наблюдения, которое опосредовано реальным образом, который образуется на линзах внутри телескопа, и образом на сетчатке наблюдателя. Первый я приравниваю к смыслу, второй - к представлению или созерцанию. Конечно, образ в телескопе является односторонним и зависит от расположения телескопа; однако он все-таки объективен, ибо может служить нескольким наблюдателям. Во всяком случае, его можно направить таким образом, что его одновременно будут использовать несколько наблюдателей. Однако образ Луны на сетчатке глаза у каждого будет свой. В силу разного строения глаз вряд ли можно ожидать даже геометрического подобия двух образов на двух разных сетчатках, а их полное совпадение совершенно исключено. Это сравнение можно было бы продолжить, предположив, что В может увидеть сетчатку А или же что А также может увидеть свою собственную сетчатку в зеркале. Тем самым можно было бы, пожалуй, показать, что и само представление можно рассматривать как предмет, однако в качестве такового оно воспринимается наблюдателем совсем не так, как оно непосредственно воспринимается самим представляющим»[30] .

Вторая важная особенность смысла имени собственного заключается в том, что он содержит в себе «способ данности» (нем. Darstellungsweise ) значения имени. Как указывает Фреге, наряду со значением выражения требуется принимать во внимание также и «способ данности» предмета при помощи данного выражения. «Способ данности» «содержится в» смысле знака. В качестве примера он приводит уже известные выражения «Утренняя звезда» и «Вечерняя звезда», которые представляют собой два различные «способа данности» одного и того же предмета. Предполагается, что один и тот же предмет - планета Венера - в первом случае дается нам как небесное тело, освещенное восходящим солнцем, а во втором - как небесное тело, видимое на небе в вечернее время суток. Поскольку считается, что зная смысл имени, можно установить значение имени, принято утверждать, что значение имени является функцией его смысла. Однако понимание смысла имени не означает, что лицу, которое понимает смысл имени, обязательно известно значение имени. Дело в том, что знание смысла имени отнюдь не обязательно приводит к знанию значения имени. Используя метафору, предложенную Майклом Даммитом, можно сказать, что смысл как бы задает тот путь, идя по которому можно прийти к значению имени. Однако смысл не дает ответа на вопрос, имеет ли имя значение или нет; это проблема, которая требует эмпирического исследования. В этой связи Фреге указывает: «Всестороннее знание значения предполагало бы, что о каждом данном смысле мы могли бы сразу решить, относится ли оно к этому значению или нет. Но этого мы никогда не достигаем»[31] . Поэтому можно понимать смысл имени, но не знать о предмете имени ничего, кроме того, что он определяется этим смыслом. Более того, может случиться и так, что предмета, определяемого смыслом имени, вообще не существует. В том случае, когда имена обозначают предметы, не существующие в действительности, их называют мнимыми. Происходит это потому, что в естественных языках смысл имени не определяет существование предмета. «Пожалуй, можно сделать так, чтобы грамматически правильно построенное выражение, представляющее собственное имя, всегда имело один и тот же смысл; но имеет ли оно еще и значение - остается проблематичным. Слова «наиболее отдаленное от Земли небесное тело» имеют смысл; однако очень сомнительно, имеют ли они значение. Выражение «в наименьшей степени сходящийся ряд» имеет некоторый смысл; однако доказано, что оно не имеет значения, так как для любого сходящегося ряда всегда найдется ряд, сходящийся еще медленнее. Таким образом, даже если понимается некоторый смысл, это еще не обеспечивает наличие значения»[32] .

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

Эта идея была реализована Фреге в работе «Исчисление понятий». В «Основоположениях арифметики» (1884)[34] он утверждает, что для соблюдения логической строгости рассуждений важен принцип, согласно которому все правильно образованные знаки должны означать нечто. Специальные правила, сформулированные Фреге и придающие каждому правильно построенному знаку в исчислении строго фиксированное значение, в настоящее время принято именовать семантическими правилами.

Американский логик Алонзо Черч, разделяющий основные положения теории смысла и значения Фреге, характеризует ее так, что смысл, который связан с именем, представляет собой определенную концептуальную информацию об обозначаемом предмете. Смысл однозначно характеризует предмет без учета того, доступен он или нет, без учета того, в состоянии ли мы себе его представить или нет, без учета того, действительно ли он существует и т.д. Это положение можно сформулировать так, что для всех говорящих на данном языке L (причем предполагается, что все носители языка L обладают всем его словарным запасом, то есть в состоянии понять каждое слово в L ) всегда доступен один и тот же смысл каждого имени. Иначе говоря, все носители языка в состоянии одному и тому же имени придать одинаковый смысл и не должны при этом воспроизводить в памяти одинаковые представления или ассоциативные образы[35] .

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

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

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

2. Значение и смысл предложений

Предложения рассматриваются Фреге как частные случаи имен. Поэтому для них сохраняются все те требования, которые имеют силу для имен собственных.

Фреге начинает анализ отношения наименования со знаков аргументов, которые он называет собственными именами и под которыми понимает любое выражение, имеющее значение в виде самостоятельного предмета. В качестве отправной точки он избирает отношение тождества двух имен. Обычная трактовка связывает это отношение либо с отношением вещей, либо с отношением знаков. Однако Фреге отвергает и то и другое. Если бы тождество сводилось к совпадению предмета с самим собой, то установление подобного отношения не имело бы познавательного значения, так как соответствующее суждение было бы аналитическим в смысле Канта и не содержало бы никакого приращения знания. Тождественность предмета самому себе есть отправной пункт всякого познания, а не его результат. Когда же мы говорим, что ` a = b ', мы утверждаем нечто явно отличное от ` a = a ' ввиду различной эвристической ценности этих выражений. Скорее можно было бы предположить, что отношение тождества - это отношение между различными обозначениями одного и того же. Однако если все сводилось бы лишь к отношению между знаками, то роль играл бы только используемый способ обозначения, что также не имело бы эвристической ценности ввиду произвольности принятой системы знаков. Как считает Фреге, «разница может появиться только тогда, когда различию знаков соответствует различие в способах данности обозначаемого. Пусть a , b , c - прямые, соединяющие вершины треугольника с серединами противоположных сторон. Точка пересечения a и b есть в таком случае та же самая точка, что и точка пересечения b и c . Таким образом, у нас имеются различные обозначения одной и той же точки, и эти имена (`точка пересечения a и b ', `точка пересечения b и c ') одновременно указывают на способ данности объекта, и поэтому данное предложение содержит действительное знание. Это свидетельствует о том, что некоторый знак (слово, словосочетание или графический символ) мыслится не только в связи с обозначаемым, которое можно было бы назвать значением знака, но также и в связи с тем, что мне хотелось бы назвать смыслом знака, содержащим способ данности обозначаемого. Тогда в нашем примере одним и тем же будет значение выражений `точка пересечения a и b ' и `точка пересечения b и c ', а не их смысл. Точно так же у выражений `Вечерняя звезда' и `Утренняя звезда' одно и то же значение, но не смысл»[37] .

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

Введение в структуру отношения наименования такого компонента, как смысл, позволяет решить проблему осмысленного функционирования пустых, т.е. не имеющих предметного значения, имен, типа `Одиссей' или `самое большое число'. Когда встречаются такие выражения, речь, очевидно, не может идти об их предметном значении, но они могут употребляться осмысленно. В этом отношении наличие смысла независимо от наличия соответствующего объекта[38] .

Фреге начинает исследование семантики предложения с анализа повествовательных предложений. Такие предложения, говорит он, содержат некоторую мысль, которая может быть или значением предложения, или его смыслом. Здесь же Фреге уточняет: «Под мыслью ( Gedanke ) я понимаю не субъективную деятельность мышления, а его объективное содержание, способное быть достоянием многих»[39] .

Теперь необходимо выяснить, что же является значением повествовательного предложения. На этот счет, полагает Фреге, можно выдвинуть два предположения:

(1) Значением повествовательного предложения является мысль (Gedanke).

(2) Повествовательное предложение имеет смысл, но не имеет значения.

Предположение (1), однако же, оказывается неудовлетворительным в силу того, что в этом случае не выполняется принцип взаимозаменимости Лейбница, формулировка которого предполагает, как критерий идентичности языковых выражений, их взаимную заменимость в контексте предложения при сохранении семантической характеристики предложений, то есть истинностного значения[40] . Если бы значением повествовательного предложения являлся бы его смысл, то, согласно принципу Лейбница (salva veritate), мы могли заменить одно входящее в предложение выражение на другое, обладающее тем же самым значением, и при этом сохранилось бы истинностное значение предложения. Ясно, однако, что это не так. Если в предложении (1) «Утренняя звезда есть тело, освещенное солнцем» заменить входящее в него имя собственное «Утренняя звезда» на синонимичное выражение «Вечерняя звезда», то получится предложение (2) «Вечерняя звезда есть тело, освещенное солнцем», которое должно выразить ту же самую мысль, что и предложение (1).В действительности же предложения (1) и (2) содержат разные мысли. Каждый, кому неизвестно, что «Утренняя звезда» есть «Вечерняя звезда», может счесть одну из этих мыслей истинной, а другую - ложной. Мысль в таком случае изменится, и соответственно, изменится и значение предложения, коль скоро мы в своем предположении исходили из того, что значением повествовательного предложения является выражаемая им мысль, или смысл. «Таким образом, мысль не является значением предложения, ее следует рассматривать скорее как смысл предложения»[41] .

Предположение (2), выдвинутое Фреге, состоит в том, что предложение имеет смысл, но не имеет значения. Такие предложения и в самом деле встречаются. К ним, в частности, относятся предложения, включающие в себя имена собственные, не имеющие значения. Предложение «Одиссея высадили на берег Итаки в состоянии глубокого сна» имеет, очевидно, смысл. Но поскольку неизвестно, обладает ли значением имя «Одиссей», постольку мы не знаем, имеет ли значение данное предложение в целом. Ясно, однако, что тот, кто всерьез считает данное предложение истинным или ложным, признает за именем «Одиссей» не только смысл, но и значение; так как только значению этого имени можно приписывать или отрицать за ним упомянутый в предложении предикат. Отсюда следует, что значением повествовательного предложения надо считать его истинность или ложность.

Фреге утверждает, что предикат приписывается или отрицается не относительно имени, но относительно его значения, то есть относительно некоторого предмета. Только в том случае, когда имеет место приписывание или отрицание предиката относительно некоторого предмета, обозначаемого именем, предложение принимает значение истинности или ложности. Фреге говорит: «Тот, кто не признает некоторого значения, не может ни утверждать, ни отрицать наличие у него какого-либо предиката»[42] . Если имя, являющееся субъектом предложения, не имеет значения, то предложение, в которое оно входит, не является ни истинным, ни ложным. В таком случае предложение (согласно принципу композициональности, что сложное имя не имеет значения, если не имеет значения хотя бы одно входящее в него простое имя), также не имеет значения. Поэтому коль скоро истинность и ложность рассматриваются как значение предложения, то для него имеют силу и принцип взаимозаменимости, и принцип предметности, согласно которому если сложное имя имеет значение, то его имеют и все входящие в него простые имена.