IV

IV

Как было упомянуто ранее, я реалист. Я признаю, что такой идеализм, как кантовский, можно защищать в той мере, в какой он утверждает, что все наши теории созданы человеком и что мы пытаемся наложить их на мир природы. Но я реалист постольку, поскольку считаю, что ответ на вопрос о том, истинны или нет созданные человеком теории, зависит от реальных фактов — реальных фактов, которые, за очень немногими исключениями, явным образом не созданы человеком. Наши созданные человеком теории могут приходить в столкновение с этими реальными фактами, и тогда в наших поисках истины нам приходится приспосабливать теории к фактам или же отказываться от этих теорий.

Теория Тарского позволяет нам определить истину как соответствие фактам, но мы можем также использовать ее для того, чтобы определить реальность (действительность) как то, что соответствует истинным суждениям. Например, мы можем отличить реальные факты, то есть (предполагаемые) факты, которые реальны, от (предполагаемых) фактов, которые нереальны (то есть от не-фактов). Или более явно: мы можем сказать, что предполагаемый факт — например то, что луна состоит из зеленого сыра — является реальным фактом, если и только если описывающее его высказывание (такое, как «Луна состоит из зеленого сыра») истинно; в противном случае предполагаемый факт не является реальным фактом (или, если вы предпочитаете говорить так, вообще не является фактом).

И точно так, как Тарский позволил нам заменить термин «истина» на «множество истинных высказываний (или предложений)», мы можем заменить термин «реальность» на «множество реальных фактов».

Таким образом, я предполагаю, что если мы можем определить понятие истины, мы может определить и понятие реальности. (Конечно, при этом возникает проблема порядка, аналогичная проблеме порядка языков в работе Тарского, см. особенно его «Постскриптум» на р. 268-277 "Logic, Semantics, Metamathematics"). Я не собираюсь этим сказать, что термин «истина» в каком-либо смысле более фундаментален, чем термин «реальность»: я хотел бы отвергнуть любое подобное предположение из-за его идеалистического привкуса[307]. Я просто хочу сказать, что если возможно определить «истину» как «соответствие фактам» или, что сводится к тому же, как «соответствие реальности», то в равной мере возможно определить «реальность» как «соответствие истине». А поскольку я реалист, мне хотелось бы иметь возможность быть спокойным на тот счет, что понятие реальности не «пусто» и ни по какой — той или иной причине — не является подозрительным; во всяком случае оно не более подозрительно, чем понятие истины.