Готлоб Фреге - Смысл и значение

1. придаточное предложение не означает никакого истинностного значения, выражая лишь часть некоторой мысли;

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

a) когда слова имеют косвенное значение;

b) когда частью предложения является неопределенно-указательный элемент, используемый вместо имени собственного.

Второй случай имеет место, когда придаточное предложение фигурирует дважды: один раз с обычным значением, второй раз - с косвенным; или же когда смысл некоторой части придаточного является одновременно элементом другой мысли, которая вместе с мыслью, непосредственно выраженной в придаточном, образует полный смысл главного и придаточного предложения, вместе взятых.

Проведенные рассуждения позволяют с большой степенью уверенности утверждать, что те случаи, когда одно придаточное нельзя заменить другим с тем же истинностным значением, не противоречат нашему взгляду, что истинностное значение является значением предложения, смыслом которого является мысль. Вернемся же теперь к нашему исходному пункту. Если мы находим, что предложения « а = а » и « а = b» имеют в общем случае различную познавательную ценность, то это объясняется тем, что для познавательной ценности смысл предложения, а именно выраженная в нем мысль, важен не меньше, чем его значение, то есть его истинностное значение. Если имеет место а = b, то значение « а » идентично значению «b» и истинностное значение выражений «а = а» и « а = b» одно и то же. Однако смысл выражения « b » может отличаться от смысла выражения « а », и тем самым мысли, выраженные в предложении « а = b» будут отличаться от мыслей, выраженных в предложении « а = а »; поэтому оба предложения имеют различную познавательную ценность. Если под словом «суждение» мы будем подразумевать переход от мысли к ее истинностному значению, как мы это делали выше, то мы сможем сказать, что и эти суждения также различны.

*«Два выражения считаются одинаковыми, если они всегда могут подставляться одно вместо другого, причем истинность целого не изменяется».