Даммит обратил внимание на то, что хотя перечисленные споры различаются по своему предмету, имеется «удивительный параллелизм в аргументах, используемых с обеих сторон в каждом из этих споров, так что если отвлечься от конкретного предмета спора, можно обнаружить его абстрактную структуру». Структуры разных споров показались ему настолько схожими, что он счел возможным попытаться в ходе их сравнительного изучения выявить «принципы, позволяющие решить, в каких случаях прав реалист, а в каких – его оппонент», а это очень важно, по его мнению, поскольку «философы встают на ту или иную сторону в этих спорах исходя из личных предпочтений, а не потому, что открыли способ их разрешения» [Dummett, 1996, p. 463].
В результате Даммит пришел к выводу, что «структурное» сходство споров по поводу реализма состоит в следующем. Во-первых, вопреки первому поверхностному впечатлению они касаются не существования определенного класса объектов или сущностей и не референциального статуса некоторого класса терминов – они касаются класса высказываний об этих сущностях и объектах. Этот класс высказываний Даммит назвал «спорным классом». Во-вторых, главным предметом разногласий в этих спорах выступает вопрос о том, что делает истинные высказывания этого спорного класса истинными. Это означает, что «реализм является семантическим тезисом, тезисом о том, что же в общем делает высказывание данного класса истинным, когда оно истинно» [Dummett, 1996, p. 230]. При таком подходе реализм оказывается связанным с принятием двух положений: первое, высказывания спорного класса говорят о каком-то фрагменте реальности, которая существует независимо от нашего знания о ней, и, второе, этот фрагмент реальности «делает каждое высказывание данного класса определенно истинным или ложным, опять же независимо от того, знаем ли мы или даже способны ли мы установить его истинноcтное значение» [Dummett, 1996, p. 230]. Противники реализма стоят на иной семантической позиции: для них «высказывание спорного класса, если оно вообще истинно, может быть истинным только благодаря чему-то такому, что мы могли бы знать и что нам следует считать свидетельством в пользу его истинности. Спор, таким образом, касается понятия истины, подходящего для высказываний спорного класса; а это означает, что спор касается вида значения, которое эти высказывания имеют» [Dummett, 1978, p. 146]. В-третьих, из всего сказанного следует, что «решающим критерием» для различения реалистов и антиреалистов служит принцип двузначности: реалисты его принимают, а их противники отвергают. Однако остановимся на всех этих выводах Даммита подробнее.
Даммит признает, что спор между реалистами и их противниками часто характеризуют как спор о том, действительно ли существуют сущности или объекты определенного вида, или действительно ли определенные термины имеют референцию, но ни тот, ни другой подход его не устраивает. Против первого подхода возражение Даммита состоит в том, что он не позволяет точно сформулировать содержание метафизического учения. «Что означает утверждение о том, что натуральные числа являются ментальными конструкциями или что они суть независимо существующие неизменные и нематериальные объекты? Что означает вопрос: существуют или нет прошлые и будущие события? Что означает утверждение или отрицание того, что материальные объекты являются логическими конструкциями из чувственных данных? В каждом случае нам предлагают альтернативные картины. Необходимость выбора какой-то одной из этих картин кажется настоятельной, но неизобразительное содержание этих картин неясно» [Dummett, 1991, p. 10].
Таким образом, любая попытка сформулировать реализм в терминах существующих объектов или сущностей в лучшем случае дает в результате картину или метафору с неясным неизобразительным или неметафорическим содержанием. Даммит подробно разъясняет это на примере спора между платонистами и интуиционистами в философии математики. «Мы имеем здесь две метафоры: платонист сравнивает математика с астрономом, географом или путешественником; интуиционист же сравнивает его со скульптором или писателем, наделенным богатым воображением, и ни одно из этих сравнений не кажется слишком удачным. Разногласие, очевидно, связано с тем, какую степень свободы имеет математик. При такой постановке вопроса, однако, каждое сравнение кажется отчасти правильным и отчасти неправильным: математик имеет значительную свободу в разработке вводимых им понятий и в описании структур, выбираемых им для изучения, но он не может доказать все, что он счел бы привлекательным доказать» [Dummett, 1978, p. xxv]. Конечно, в самом по себе использовании метафор или картин нет ничего предосудительного, но когда метафоры используются в споре, нужно очень точно понимать их содержание, поэтому из художественных образов они должны быть преобразованы в точные утверждения, в отношении которых можно выдвигать аргументы за и против. Какое бы сильное воздействие они на нас ни оказывали, напоминает Даммит, не следует забывать, что они не более чем метафоры и картины.
Если же мы попытаемся выразить рассматриваемые метафизические учения точным образом, то обнаружим, считает Даммит, что их неметафорическое содержание полностью исчерпывается той «моделью значения», на которую они опираются. Это кроме всего прочего означает, что не картина реальности побуждает нас принять ту или иную модель значения, а наоборот. «Если кто-то вместе с платонистами полагает, что мы придаем значение нашим математическим высказываниям таким образом, что они являются определенно истинными или ложными независимо от нашего знания, то он сочтет естественным принять картину математической реальности, существующей совершенно независимо от нас. Ежели… кто-то вместе с интуиционистами полагает, что содержание математического высказывания заключено полностью в нашей способности распознавать его доказательство и опровержение, так что когда у нас нет эффективных средств для получения доказательства или опровержения, мы не вправе объявлять, что оно является либо истинным, либо ложным, то он предпочтет картину, согласно которой математическая реальность создается нами или, по крайней мере, возникает, только когда мы начинаем ее осознавать» [Dummett, 1978, p. xxviii]. Но главное, что если в отношении картин реальности у нас нет средств установить, какая из них является правильной, то в случае моделей значения имеется лингвистическая практика, относительно которой их можно проверить, тем самым, считает Даммит, появляется возможность разрешить споры между реалистами и их противниками, что полностью исключено, когда мы истолковываем их как споры о том, действительно ли существуют те или иные сущности.
Второй подход, определяющий споры по поводу реализма как споры о том, имеют ли термины некоторого данного класса подлинную референцию, Даммит отвергает на том основании, что он «затемняет реальные аналогии» и «создает ложные аналогии» [Dummett, 1978, p. xxxi]. Например, когда мы рассматриваем реализм в отношении прошлого или будущего, речь вообще не идет о референциальном характере каких-либо терминов, и поэтому, если мы делаем упор на референции терминов, мы можем вообще не заметить сходства между этим реализмом и другими видами реализма. Кроме того, некоторые виды реализма (например, этический и математический) получают неверное истолкование, так как, по мнению Даммита, для них важен не столько референциальный характер некоторого класса терминов, сколько признание объективной истинности определенного класса высказываний. Вдобавок сосредоточение на референции терминов подталкивает к неправильному определению реализма как позиции, противоположной редукционизму. Хотя, отмечает Даммит, оппозиция реализму часто принимала форму той или иной разновидности редукционизма и за традиционным употреблением термина «реализм» скрывается смешение двух совершенно разных вопросов: 1) можно ли высказывания одного вида свести к высказываниям другого вида? и 2) можно ли считать высказывания того или иного вида определенно истинными или ложными? – тем не менее нельзя достичь прогресса в понимании реализма, не проводя четкого различия между этими вопросами. Даммит уделяет немало внимания тому, какую роль редукционизм играет в спорах между реалистами и их противниками, однако к этому вопросу мы вернемся чуть позже.
Итак, согласно Даммиту, споры вокруг реализма касаются не существования определенных классов объектов и сущностей, не наличия референтов у определенного класса терминов; они касаются того, как определяется истинностное значение высказываний «спорного» класса. Для реалиста истинностное значение высказывания обусловливается независимой от наших знаний и познавательных способностей реальностью. Это означает, что истинностное значение является таким свойством, которым высказывание обладает даже в том случае, если мы в принципе не можем установить его. Возьмем, например, предложение «В день, когда родился Гераклит, в Эфесе шел дождь». С точки зрения реалиста, это предложение обладает истинностным значением в абсолютном смысле, т. е. независимо от того, сможем ли мы когда-нибудь установить, шел ли в тот день в Эфесе дождь или нет. Реализм, таким образом, опирается на эпистемически неограниченное или трансцендентное понятие истины. Напротив, антиреалисты, по Даммиту, отвергают такое понятие истины. Они объясняют истинность высказываний спорного класса иначе – тем, что эти высказывания могут быть верифицированы, или тем, что у нас есть основания для признания их истинными. Так, истинное высказывание о физическом мире является истинным благодаря действительному или возможному чувственному опыту, математическое высказывание – благодаря существованию его доказательства, теоретическое высказывание – благодаря имеющимся данным наблюдения, высказывания о психических состояниях – благодаря наблюдаемому поведению человека и т. п. В итоге реалисты принимают принцип двузначности в отношении высказываний спорного класса, а антиреалисты отвергают его на том основании, что имеется много («неразрешимых») предложений, для утверждения или отрицания которых у нас не может быть никаких оснований, а потому эти предложения не способны обладать истинностным значением.