тичного аналізу формальної мови арифметики, придатного для побудови теоретичної арифметики, але застосовувана як самим Фреге, так і низкою його послідовників і для аналізу природної мови.
В основі теорії лежить метод відносини іменування - розподіл всіх мовних виразів на імена та функції. Імена розуміються як знаки, що позначають (що іменують) об'єкти. У ролі імен можуть виступати як окремі слова, так і певні словосполучення, а також цілі пропозиції. Об'єкти, що позначаються іменами, прийнято називати денотатами, Номінатів або значеннями імен (докладніше див Ім'я).
На ранньому етапі теорія Г. Фреге мала характер двухплоскостной семантики (ім'я - денотат); в її основі лежали такі принципи (формулювання і назву принципів належать не самому Г. Фреге, а пізнішим дослідникам):
. Принцип предметності. Кожне вираз, що використовується в якості імені, вживається для позначення будь-якого об'єкта, причому відмінної відданого імені.
. Принцип однозначності. Кожен вираз, вжите в якості імені, є ім'ям тільки одного об'єкта.
. Принцип екстенсіональной композиції. Денотат складного імені, до складу якого входять інші імена, залежить від денотатів імен, що входять до складу даного складного.
. Принцип взаимозаменимости. Денотат складного імені не зміниться, якщо входить до його складу ім'я замінити на ім'я з денонатом, тотожним денотату замінного імені. Цей принцип можна розглядати як виведений з трьох перших.
Сучасні штучні формалізовані мови та їх семантика спочатку будуються відповідно до цих принципів. По відношенню ж до виразів природної мови теорія іменування виявляється неадекватною, оскільки тут може порушуватися кожен з її принципів. По-перше, на що звернув увагу ще Аристотель, існують порожні або уявні імена, що не мають денотатів у реальній дійсності («Пегас», «найбільш віддалена точка Всесвіту» і т. п.), які порушують принцип предметності. По-друге, в природній мові існують багатозначні імена (омоніми), які порушують принцип однозначності, що, однак, не призводить до колізій, оскільки в природній мові багатозначність імен найчастіше усувається за рахунок контексту використання. Нарешті, по-третє, імена в природній мові, будучи мовними виразами, можуть вживатися і автонімно, тобто для самообозначенія.
Найбільшу увагу дослідників привернули випадки порушення принципу взаимозаменимости (заміни рівного рівним); вони отримали назву антиномій відносини іменування. Факт їх існування був цілком очевидний вже для самого Фреге. З метою усунення цих антиномій і для вирішення проблеми тотожності він ввів поняття «сенс імені» і його семантика стала триплощинної: «ім'я - сенс імені - денотат». Сенсом імені Г. Фреге називав спосіб завдання значення (денотата), інакше кажучи, зміст імені - ця та інформація про денотате, яка міститься в самому імені. Про ім'я говориться, що воно позначає (іменує) свій денотат, але висловлює свій сенс. Думка, виражену пропозицією, Г. Фреге називав сенсом цієї пропозиції.
Сенс і значення як об'єктивні сутності Г. Фреге протиставляв поданням як суб'єктивного образу предмета, який є індивідуальним для кожного суб'єкта, що пізнає. Хоча зміст імені - це об'єктивна сутність, одне і те ж ім'я, напр. «Аристотель», може, як зазначав Фреге, асоціюватися у різних людей з різною інфо...