Введение
Загадки Фреге - это загадки о семантике собственных имен, хотя связанные с ними загадки также возникают в случае индексальных знаков. Готтлоб Фреге (1848-1925) ввел головоломку в начале своей статьи "Über Sinn und Bedeutung" ("О смысле и ссылке") в 1892 году в одной из самых влиятельных статей в аналитической философии и философии языка.
Загадки
Термин "головоломка Фреге" обычно применяется к двум связанным проблемам. Одна из них - проблема с утверждениями о самобытности, которую Фреге поднял в начале "О смысле и ссылке", а другая касается предложений о отношениях.
Вторая головоломка
Вторая загадка касается предложений отношений, таких как сообщения о верованиях. Обычно корреферентные имена являются заменяемыми salva veritate, то есть без изменения истинного значения. Например, если "Геспер яркий" - это правда, то "Фосфор яркий" также верно, учитывая, что "Геспер" и "Фосфор" относятся к одной и той же планете. Фреге затем рассматривает следующий аргумент: Алекс считает, что Гесперуса можно увидеть вечером. Геспер = Фосфор. Алекс считает, что фосфор виден вечером. Этот аргумент кажется недействительным: даже если (3) и (4) верны, (5) может быть ложным. Если Алекс не знает, что Геспер и Фосфор - это одна и та же планета, то, похоже, он может поверить, что Геспер виден вечером, отвергая при этом утверждение, что Фосфор виден вечером (возможно, он думает, что Фосфор, утренняя звезда, виден только утром). Принцип, согласно которому корреферентные имена являются заменяемыми "salva veritate", таким образом, кажется недействительным в контексте отчетов о убеждениях (и аналогично для других отчетов о предложении). Фреге снова предложил решить эту проблему, обратившись к его различию между смыслом и ссылкой. В частности, он считал, что, когда собственное имя появляется в контексте отчета о положении дел, его ссылка смещается к его обычному значению: таким образом, "Фосфор", например, обозначает планету Венера, когда она появляется в предложении "Фосфор виден вечером" или в идентичном предложении, как (4), но когда она появляется встроенной в отчет о положении дел, как (5), она обозначает его обычный смысл.
Alex believes Hesperus is visible in the evening. Hesperus = Phosphorus. Alex believes Phosphorus is visible in the evening. This argument appears to be invalid: even if (3) and (4) are true, (5) could be false. If Alex is not aware that Hesperus and Phosphorus are the same planet, then it seems that he could believe that Hesperus is visible in the evening while rejecting the claim that Phosphorus is visible in the evening (perhaps he thinks Phosphorus, the morning star, is only visible in the morning). The principle that coreferring names are substitutable salva veritate thus appears to fail in the context of belief reports (and similarly for other propositional attitude reports). Frege again proposed to solve this problem by appeal to his distinction between sense and reference. In particular, he held that when a proper name occurs in the context of an attitude report, its reference shifts to its ordinary sense: thus 'Phosphorus', for example, denotes the planet Venus when it occurs in the sentence 'Phosphorus is visible in the evening' or in an identity sentence like (4), but when it occurs embedded in an attitude report like (5) it denotes its ordinary sense.
Новые теории отсчета и возвращение головоломки Фреге
Загадка Фреге получила большое внимание с тех пор, как атаки на дескриптивистскую теорию имен были предприняты в 1970-х и 1980-х годах такими философами, как Кит Доннелан, Саул Крипке, Рут Баркан Маркус, Хилари Путнам и Дэвид Каплан. В результате этих атак на дескриптивизм многие философы приняли взгляд Миллиана или прямой ссылки на собственные имена, согласно которому значение имени - это просто его референт. Как отмечалось выше, эта точка зрения Миллиана приводит к тому, что (1) и (2) выражают одно и то же предложение. Аналогичным образом, вставленные предложения "Геспер видится вечером" и "Фосфор видится вечером" из (3) и (5) выражают одно и то же предложение. Поэтому, похоже, что (3) и (5) не могут отличаться по истинности, поскольку они приписывают веру в одно и то же предложение. Ввиду этой проблемы многие философы языка пытались найти решение загадки в рамках теорий прямой ссылки на собственные имена. Некоторые из этих философов включают Натана Салмона (например, в головоломке Фреге и содержании, познании и общении), Говарда Веттштейна (например, в "Семантика отдыхала на ошибке? "), Скотт Сомс, Дэвид Каплан, Джон Перри (например, в "Ссылка и рефлексивность") и Джозеф Алмог.