Читать «Семантическая концепция истины и основания семантики» онлайн - страница 24

A priori кажется вполне вероятным, что приемлемость теории как-то зависит от истинности ее предложений, следовательно, методолог в своих (до сих пор безуспешных) попытках уточнить понятие приемлемости может ожидать некоторой помощи со стороны семантической теории истины. Поэтому мы ставим вопрос: существуют ли какие-либо постулаты, которые можно наложить на приемлемые теории и которые содержат понятие истины? В частности, мы спрашиваем, разумен ли следующий постулат:

Приемлемая теория не может содержать (или иметь в качестве следствий) каких-либо ложных предложений.

Ответ на последний вопрос, очевидно, будет отрицательным. Прежде всего, исторический опыт дает нам уверенность в том, что каждая эмпирическая теория, принимаемая сегодня, рано или поздно будет отвергнута и заменена другой теорией. Весьма вероятно также, что новая теория будет несовместима со старой, т. е. из нее будет следовать предложение, противоречащее одному из предложений старой теории. Следовательно, по крайней мере одна из этих двух теорий должна включать в себя ложные предложения, хотя каждая из них принималась в определенное время. Во-вторых, обсуждаемый постулат едва ли может быть выполнен на практике, так как мы не знаем и вряд ли когда-нибудь найдем критерий истины, который позволит нам показать, что ни одно предложение некоторой эмпирической теории не является ложным.

Обсуждаемый постулат в лучшем случае можно рассматривать как выражение некоторого идеального предела для последовательности все более адекватных теорий в данной области исследования, однако едва ли ему можно придать сколько-нибудь точное значение.

Тем не менее, мне представляется, что все-таки существует важный постулат, который можно наложить на приемлемые эмпирические теории и который содержит понятие истины. Он тесно связан с обсужденным выше, но существенно слабее его. Памятуя о том, что понятие приемлемости снабжено временным коэффициентом, мы можем придать этому постулату следующую форму:

Как только нам удается показать, что некоторая эмпирическая теория содержит (или влечет) ложные предложения, ее нельзя больше считать приемлемой.

В поддержку этого постулата я хотел бы высказать следующие замечания.

Думаю, каждый согласится с тем, что одной из причин, заставляющих нас отвергнуть эмпирическую теорию, является доказательство ее противоречивости: теория становится неприемлемой, если нам удается вывести из нее два противоречащих друг другу предложения. Теперь мы можем спросить, по каким же мотивам мы отбрасываем теорию на таком основании? Те, кто знаком с современной логикой, склонны отвечать на этот вопрос следующим образом: хорошо известный логический закон говорит, что если из теории можно вывести два противоречащих друг другу предложения, то из нее можно вывести любое предложение, поэтому такая теория тривиальна и не представляет научного интереса.

У меня есть некоторые сомнения относительно того, дает ли этот ответ адекватный анализ ситуации. Думаю, что люди, незнакомые с современной логикой, столь же мало склонны принимать противоречивую теорию, как и те, кому она хорошо известна. По-видимому, это верно даже для тех, кто считает логический закон, на который опирается аргументация, в высшей степени спорным и почти парадоксальным. Я не думаю, что наше отношение к противоречивым теориям изменится, даже если по некоторым причинам мы решим так ослабить нашу систему логики, что вывод любого предложения из двух противоречащих друг другу предложений окажется невозможным.