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

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

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

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

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