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

Ранее было указано на то, что понятие понимания условий истинности становится проблематичным только тогда, когда оно применяется к принципиально неразрешимым предложениям. Этот подход на самом деле более плодотворен, чем только что проведенное обсуждение, ибо он снабжает говорящего пониманием условий истинности предложения во всех случаях, когда существует некоторая проверка, которая в принципе может быть проведена. Однако этот момент не столь важен. Выше мы утверждали также, что имеется три основные операции для образования предложений, приводящие к построению неразрешимых предложений: условные сослагательные предложения; использование прошедшего времени (или вообще ссылка на недоступные пространственно-временные области) и квантификация по ненаблюдаемым или бесконечным совокупностям. Заявление о том, что мы склонны обращаться к использованию предложений наблюдения как к некоторой модели знания условий истинности предложений, теперь подкрепляется неявным, а иногда и открытым обращением к этой модели в тех случаях, когда рассматриваются предложения, связанные с использованием перечисленных операций. Поскольку обсуждаемые предложения в принципе неразрешимы, постольку наблюдения, о которых мы думаем, не могут быть осуществлены нами: это наблюдения существа с иной пространственно-временной перспективой или такого существа, интеллектуальные силы которого и возможности наблюдения далеко превосходят наши силы и возможности. Так, например, рассуждая об умственных способностях, наивный реалист склонен обращаться к представлению о мышлении как некой нематериальной субстанции, о структуре которой мы можем судить лишь косвенно, посредством вывода. Однако она могла бы быть непосредственно наблюдаема для существа, на которое духовная субстанция воздействует так же, как воздействует на нас материальная реальность. Мы склонны опять-таки считать, что утверждения в прошедшем времени оказываются истинными или ложными благодаря реальности, которая для нас недоступна или доступна лишь отрывочно благодаря памяти, но которая в некотором смысле все-таки существует, ибо если бы от прошлого ничего не оставалось, то не было бы ничего, что могло бы сделать утверждение о прошлом истинным. Согласно такому представлению, мы по большей части вынуждены полагаться на вывод при обосновании наших утверждений о прошлом, т.е. на косвенное свидетельство. Однако наше знание о том, что в действительности делает такие утверждения истинными или ложными, включает в себя понимание того, что значит непосредственная оценка их истинности. Способность к такой непосредственной оценке означала бы способность наблюдать прошлое так, как мы наблюдаем настоящее, т.е. способность обозревать всю целостность реальности или по крайней мере любое ее сечение во времени с позиции, находящейся вне временной последовательности. Наиболее известный пример такого способа мышления связан с квантификацией в бесконечной области. Мы приобретаем понимание квантификации в конечных, обозримых областях, обучаясь осуществлять полный обзор и обосновывать истинностное значение каждого примера квантифицируемого утверждения. Предположение о том, что полученное таким образом понимание без каких-либо последующих объяснений может быть распространено на квантификацию в бесконечных областях, опирается на мысль о том, что трудности практики мешают нам аналогичным образом установить истинностные значения предложений, содержащих такую квантификацию. А когда эта мысль подвергается сомнению, ее защищают с помощью ссылки на гипотетическое существо, которое могло бы обозревать бесконечные области точно так же, как мы обозреваем конечные. Так, например, Рассел говорил об этом как о простой ”медицинской невозможности”.