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

Эта аргументация не имеет целью, как думают некоторые, доказать, что каждое утверждение должно быть либо правильным, либо неправильным. Она допускает возможность того, что утверждение может быть никогда не распознано в качестве правильного или неправильного; и нужно обратиться к реалистической метафизике — или, лучше сказать, реалистической теории значения — если мы хотим утверждать то, что оно должно быть тем или иным. Поэтому нет оснований считать, что только те предложения могут быть употреблены, чтобы делать утверждения, для которых справедлив принцип двузначности. Это всего лишь аргумент в пользу того, что не может быть обстоятельств, в которых утверждение нельзя было бы признать ни правильным, ни неправильным. Сказанному не противоречило бы считать, что имеются некоторые утверждения, которые ни правильны, ни неправильны, хотя мы неспособны распознать это для всякого конкретного утверждения. Однако я отверг бы такую точку зрения как необоснованную эклектику. Если мы способны понимать описание некоторого положения дел, которое мы неспособны распознать как существующее, и предполагаем, что оно действительно существует, то нет причин не рассматривать значение данных в терминах истинностных условий, которые мы не можем в общем случае распознавать и для которых справедлив принцип двузначности. В этом случае содержание утверждения можно было бы выразить в терминах возможных положений дел, которые делают это утверждение правильным, а рассмотренная выше аргументация проходит без ограничения положений дел только теми положениями, которые распознаваемы. Отсюда следует, что утверждение не только не может быть распознано в качестве утверждения, являющегося ни правильным, ни неправильным, но не может фактически быть ни правильным, ни неправильным. Действительно, поскольку в соответствии с этой реалистической концепцией отсутствие какого-либо положения дел, которое делало бы утверждение правильным, тоже является некоторым положением дел (что неверно в случае, когда мы ограничиваемся лишь распознаваемыми положениями дел), то каждое утверждение будет либо правильным, либо неправильным. Если, с другой стороны, мы не способны создать концепцию положений дел, которые мы не можем распознавать как существующие, то мы можем придать какое-либо со держание представлению о том, что утверждение является правильным или неправильным только посредством способности распознавать утверждение в качестве правильного или неправильного, и в этом случае тот факт, что утверждение не может быть распознано ни в качестве правильного, ни в качестве неправильного, достаточен для того, чтобы показать, что оно не может быть ни тем, ни другим. Следовательно, рассмотренная выше аргументация только на основе реалистического предположения действительно приводит к принципу двузначности. Сама же по себе она приводит только к более слабому выводу о том, что утверждение не может быть ни истинным, ни ложным, где понятия истинности и ложности суть такие понятия, которые непосредственно связаны с правильностью и неправильностью утверждений, т. е. предложение истинно, если утверждение, сделанное с его помощью, правильно и ложно, если такое утверждение неправильно[2].

Для того чтобы можно было перейти от утверждения, что ни одно утверждение не является ни истинным, ни ложным, к утверждению, что любое утверждение либо истинно, либо ложно, необходимо обратиться к классической логике; а рассмотренная аргументация не предполагает, что классическая логика верна.