Теория именования Готлоба Фреге — это логико-семантическое учение об именах и принципах их употребления в языковых контекстах. 1

В основе теории лежит метод отношения именования — деление всех языковых выражений на имена и функции. 1 Имена понимаются как знаки, обозначающие (именующие) объекты. 1 В роли имён могут выступать как отдельные слова, так и определённые словосочетания, а также целые предложения. 1 Объекты, обозначаемые именами, принято называть денотатами, номинатами или значениями имён. 1

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

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

Цель теории Фреге — вскрыть единые логические и семиотические основания знаковых систем: естественного и формальных языков, прежде всего математики и логики. 4