В завершении нашего изложения семантики Фреге уместно коснуться вопроса о роли в ней понятия истины. Как мы видели, истина представляет собой принципиально важный абстрактный предмет в онтологии Фреге, ибо даже саму логику он определяет как «науку о наиболее общих законах бытия истины» (цит. по: [Бирюков, 2000, с. 36]). По его мнению, человек не способен напрямую схватывать истину, но всегда постигает ее через конкретные предложения, которые ее обозначают. Конечно, говорит Фреге, мы можем выразить мысль, и не утверждая ее истинности. Когда же мы оцениваем мысль как истинную, мы «движемся от мысли к истинностному значению», однако это движение не означает, что имеется еще одна мысль о том, что первая мысль истинна. Отсюда следует, что, предваряя предложение, выражающее определенную мысль, словами «истинно, что», мы не сообщаем ему ассерторической силы, но просто выражаем туже самую мысль. В дальнейшем такого рода соображения легли в основу «избыточной» концепции истины (redundancy theory of truth).
Фреге высказал и немало других ценных и удивительных по своей глубине идей относительно значения, понимания языковых выражений, истины и иных семантических аспектов языка, которые, как мы увидим, продолжают оставаться в центре внимания аналитических философов.
Итак, подведем итоги. Размышления Фреге о языке и онтологии явились продолжением его исследований по логике и основаниям математики, нацеленным на сведение арифметики к логике. Он еще не воспринимал построение языка как задающее определенную онтологию, хотя желал он того или нет, но онтологические вопросы оказались у него тесно связанными с исследованием языка. Поскольку свой формальный язык он создавал для описания предметной области арифметики и для осуществления логицистской программы, отношение между языком и внеязыковой реальностью не представляет для него особой проблемы и не заключает в себе ничего загадочного. Можно сказать, что в его системе множество слов (имен собственных) просто отображается (в математическом смысле) на множество предметов, и поэтому отношение между знаками языка и элементами онтологии, которое он называет отношением именования, является прямым, конвенциональным и не требующим никакого обоснования. Фреге исключает из своего рассмотрения тех, кто использует язык, чтобы говорить о мире; они просто имеют в своем распоряжении готовую систему «язык-мир», никоим образом не влияют на природу связи между словом и предметом и не участвуют в механизмах установления этой связи. При таком подходе язык (langue в терминологии Ф. де Соссюра) берется в полном отрыве от речи (parole), что позволяет полностью отвлечься от всех иных его функций, кроме репрезентативной. В этом случае язык воспринимается исключительно как система знаков, используемая для описания внешнего мира.
Безусловно, такой подход был в каком-то смысле настоящим прорывом в представлениях о языке. В течение долгого времени в философии преобладала трактовка языковых выражений как «знаков идей», которая в основном опиралась на картезианское представление о том, что сознание и идеи отделены от внешнего мира «эпистемической пропастью», поэтому главная задача состоит в том, чтобы установить, как связаны между собой ментальные сущности и объекты в мире. Эта задача решалась по-разному: ментальные сущности или трактовались как причинно обусловленные физическими вещами (как, например, у Дж. Локка), или рассматривались как «естественные знаки предметов» в силу заложенной в природе разума направленности на объект (как, например, у Ф. Брентано), а уже потом эти ментальные сущности конвенционально связывались с языковыми выражениями. Таким образом, слова напрямую обозначали ментальные сущности и лишь опосредованно соотносились с объектами в мире. Фреге, вслед за Дж. С. Миллем, устранил «ментального посредника» в отношении между словом и объектом, создав «референциальную» или «денотативную» семантику.