счет, полагает Фреге, можно выдвинуть два предположения:
(1) Значением повествовательного предложения является мысль (Gedanke).
(2) Повествовательное предложение имеет смысл, но не имеет значения.
Предположение (1), однако же, оказывается неудовлетворительным в силу того, что в этом случае не выполняется принципвзаимозаменимости Лейбница, формулировка которого предполагает, как критерий идентичности языковых выражений, их взаимную заменимость в контексте предложения при сохранении семантической характеристики предложений, то есть истинностного значения48. Если бы значением повествовательного предложения являлся бы его смысл, то, согласно принципу Лейбница (salva veritate), мы могли заменить одно входящее в предложение выражение на другое, обладающее тем же самым значением, и при этом сохранилось бы истинностное значение предложения. Ясно, однако, что это не так. Если в предложении (1) «Утренняя звезда есть тело, освещенное солнцем» заменить входящее в него имя собственное «Утренняя звезда» на синонимичное выражение «Вечерняя звезда», то получится предложение (2) «Вечерняя звезда есть тело, освещенное солнцем», которое должно выразить ту же самую мысль, что и предложение (1).В действительности же предложения (1) и (2) содержат разные мысли. Каждый, кому неизвестно, что «Утренняя звезда» есть «Вечерняя звезда», может счесть одну из этих мыслей истинной, а другую – ложной. Мысль в таком случае изменится, и соответственно, изменится и значение предложения, коль скоро мы в своем предположении исходили из того, что значением повествовательного предложения является выражаемая им мысль, или смысл. «Таким образом, мысль не является значением предложения, ее следует рассматривать скорее как смысл предложения»49.
Предположение (2), выдвинутое Фреге, состоит в том, что предложение имеет смысл, но не имеет значения. Такие предложения и в самом деле встречаются. К ним, в частности, относятся предложения, включающие в себя имена собственные, не имеющие значения. Предложение «Одиссея высадили на берег Итаки в состоянии глубокого сна» имеет, очевидно, смысл. Но поскольку неизвестно, обладает ли значением имя «Одиссей», постольку мы не знаем, имеет ли значение данное предложение в целом. Ясно, однако, что тот, кто всерьез считает данное предложение истинным или ложным, признает за именем «Одиссей» не только смысл, но и значение; так как только значению этого имени можно приписывать или отрицать за ним упомянутый в предложении предикат. Отсюда следует, что значением повествовательного предложения надо считать его истинность или ложность.
Фреге утверждает, что предикат приписывается или отрицается не относительно имени, но относительно его значения, то есть относительно некоторого предмета. Только в том случае, когда имеет место приписывание или отрицание предиката относительно некоторого предмета, обозначаемого именем, предложение принимает значение истинности или ложности. Фреге говорит: «Тот, кто не признает некоторого значения, не может ни утверждать, ни отрицать наличие у него какого-либо предиката»50. Если имя, являющееся субъектом предложения, не имеет значения, то предложение, в которое оно входит, не является ни истинным, ни ложным. В таком случае предложение (согласно принципу композициональности, что сложное имя не имеет значения, если не имеет значения хотя бы одно входящее в него простое имя), также не имеет значения. Поэтому коль скоро истинность и ложность рассматриваются как значение предложения, то для него имеют силу и принцип взаимозаменимости, и принцип предметности, согласно которому если сложное имя имеет значение, то его имеют и все входящие в него простые имена.
Наконец, из этого размышления Фреге становится ясно, почему именно предложение, а не имя собственное, является первичным носителем значения. Дело в том, что каждый из приводимых Фреге примеров имен собственных является однозначно идентифицирующим описанием определенного предмета. Значением знака является поэтому тот предмет, который соответствует этому описанию. (Причем в языке науки каждому имени собственному должен соответствовать только один предмет). Знак выделяет предмет в качестве своего значения только в том случае, когда определенное предложение, в котором утверждается или отрицается нечто относительно значения имени, является истинным по отношению к этому предмету. Например, «Аристотель – это тот ученик Платона, который был учителем Александра Великого».Теперь становится ясно, почему предложение следует считать исходным носителем значения. Эта особенность Фрегевой семантики обусловлена тем, что постижение (нем. Fassen, англ. grasping) предметного значения имени собственного или описательного выражения включает в себя, по Фреге, согласие с истинностью предложения, согласно которому определенный предмет соответствует определенному описанию. До тех пор, пока мы не признаем возможность формулировки истинных предложений, в которых что-то утверждается или отрицается по поводу предметов, мы не сможем установить «значения» имен собственных; иными словами, мы не сможем идентифицировать выделить предметы, которые они обозначают.
Согласно семантической концепции Фреге, толкующей предложения как своеобразные имена собственные, смысл повествовательного предложения, или мысль, определяется только смыслами его частей, а не их значением. Если бы нас интересовала только мысль как смысл предложения, то не было бы никакой необходимости интересоваться значением предложения. В частности, выраженная в предложении об Одиссее мысль не изменится оттого, имеет ли слово «Одиссей» значение или нет. В действительности же мы стремимся узнать и значение составляющих его имен. Это указывает на то, что мы признаем значение и за самим предложением. Фреге спрашивает: «Почему же мы хотим, чтобы каждое имя собственное имело не только смысл, но и значение? Почему нам недостаточно мысли? Потому и лишь потому, что нас интересует ее истинностное значение. ... Именно стремление к истине и заставляет нас двигаться вперед, от смысла предложения к его значению»51.
Вывод, к которому приходит Фреге, заключается в том, что значением повествовательного предложения является его истинностноезначение (нем. Wahrheitswert, англ. truth value). Под истинностным значением предложения Фреге понимает то, что оно является истинным или ложным. Других истинностных значений, говорит Фреге, нет. (Это справедливо для стандартной двузначной логики, но неприемлимо для возникших в XX веке многозначных логик). Для краткости одно он называет истинностью, а другое – ложностью. Фреге пишет: «Всякое повествовательно предложение, в зависимости от значения составляющих его слов, может, таким образом, рассматриваться как имя, значением которого, если, конечно, оно имеется, будет либо истина, либо ложь. Оба этих абстрактных предмета признаются, хотя бы молчаливо, всеми, кто вообще выносит хоть какие – либо суждения или считает хоть что нибудь истинным, то есть даже скептиком»52.
Истинность и ложность рассматриваются Фреге как абстрактныепредметы. Такая трактовка истинности и ложности нашла себе широкое применение в современной математической логике. Так, при табличном построении исчисления высказываний функции этого исчисления обычно трактуются как определенные на области, состоящей из двух предметов – предмета «истина» и предмета «ложь», которые принимают значение также на этой области. Следует, однако, отметить, что современные последователи Фреге и, в частности, Черч, предпочитают говорить об истине и ложности как о постулированных, а не как о идеально существующих предметах. В этом они видят способ избежать далеко идущих следствий логическогореализма Фреге, согласно которому абстрактные предметы обладают специфическим модусом существования.
Если предложение имеет истинностное значение, то оно, в свою очередь, определяется мыслью, выраженной в данном предложении. Фреге пишет: «Истинностное значение (Wahrheitswert) является значением (Bedeutung) предложения, смыслом (Sinn) которого является мысль (Gedanke)»53. Соответственно, только смыслы предложений, которые могут быть истинными или ложными, являются мыслями. Предложения, выражающие приказы, вопросы, «восклицания, которыми выражаются чьи-то чувства», обладают смыслами, но эти смыслы не являются мыслями. Мысль является смыслом предложений, «в которых выражается сообщение или утверждение»54.
Если значением предложения является его истинностное значение, то все предложения распадаются на два класса: