Что такое теория значения?

Два аналитически эквивалентных предложения не могут в общем случае иметь одно и то же информационное содержание, и, следовательно, один и тот же смысл, так как можно знать, что одно из них истинно, не зная при этом, что истинно и другое; некто, зная, что одно из этих предложений истинно, мог бы, следовательно, получить информацию об истинности другого предложения, а это значит, что информация, содержащаяся в каждом из этих предложений, должна быть различной. Отсюда следует, что средства, с помощью которых предложение может быть распознано в качестве истинного, имеют отношение к смыслу этого предложения. Можно было бы утверждать, что показано лишь то, что если информация, содержащаяся в одном предложении, может быть усвоена независимо от информации, содержащейся в другом предложении, то эти два объема информации должны быть различными, поскольку относительно них верны разные вещи, и определение того, что собой представляют эти объемы информации, не предполагает того, каким образом они могут быть усвоены. Но этому противоречит тот факт, что, по Фреге, понятие аналитичности и более общее понятие априорности можно определить с помощью условий истинности предложения; и, конечно, смысла предложения достаточно, чтобы определить, аналитично оно или синтетично, априорно или апостериорно. И все-таки в объяснении Фреге мало указаний на то, каким образом способ, которым задан смысл предложения, связан с основаниями, на которых мы можем утверждать, что это предложение истинно.