Как Фреге определял роль и функции имен в языке и логике?

Готтлоб Фреге (1848–1925) предложил теорию знаков, или имён, для объяснения роли и функций имён в языке и логике. 4

Имя в концепции Фреге — это слово, выражение или символ, который является названием реально существующего предмета. 4 Предмет в теории Фреге выступает значением имени. 4

В имени Фреге выделяет следующие компоненты: 4

1. Значение — предмет, который обозначается именем. 14
2. Смысл — способ, каким представляется и обозначается предмет в самом имени. 4
3. В определённых условиях имя может выражать понятие, которое, по Фреге, имеет предикативную природу, то есть выражает квалификацию обозначаемого. 4
4. С именем может ассоциироваться представление об обозначаемом предмете, которое, хотя и субъективно, индивидуально, но не лишено основных признаков обозначаемого. 4

Некоторые принципы, на которых основана теория Фреге об именах:

• Принцип предметности. 2 Каждое выражение, используемое в качестве имени, употребляется для обозначения какого-либо объекта, причём отличного от данного имени. 2
• Принцип однозначности. 2 Каждое выражение, употреблённое в качестве имени, является именем только одного объекта. 2
• Принцип экстенсиональной композиции. 2 Значение сложного имени, в состав которого входят другие имена, зависит от значений имён, входящих в состав данного сложного. 2
• Принцип взаимозаменимости, то есть замены равного равным. 2 Значение сложного имени не изменится, если входящее в его состав имя заменить на имя с значением, тождественным значению заменяемого имени. 2

Фреге также отмечал, что имена, имеющие смысл, но не обозначающие никакого предмета, — это неподлинные собственные имена, которые только выполняют роль собственных имён. 3 Такие имена он называл мнимыми собственными именами и считал, что им не должно быть места в языке науки. 3