Объективное знание. Эволюционный подход - [140]

и f_i ⊂ f_k.

(β) Существует пропозициональная функция y такая, что x = y, и f не удовлетворяет y.

(γ) Существуют две пропозициональные функции у и z такие, что x = y + z и f удовлетворяет либо y, либо z, либо обеим.

(δ) Существует натуральное число k и пропозициональная функция y такая, что

(a) x = P_ky,

 (b) любая конечная последовательность g, длина которой равна f, удовлетворяет y, если только g соблюдает следующее условие: для любого натурального числа n, если n — номер места в f и n≠k, то g_n = f_n.

Теперь Определение 23 Тарского [р. 193] можно заменить любым из двух следующих эквивалентных[322] определений:

Определение 23+. x — истинное высказывание (то есть x∈Wr), если и только если (а) x — высказывание (x∈As) и (b) любая конечная последовательность объектов, адекватная x, удовлетворяет x.

Определение 23++. x — истинное высказывание (то есть x∈Wr), если и только если (a) x — высказывание (x∈As) и (b) существует по крайней мере одна конечная последовательность объектов, удовлетворяющая х.

Можно заметить, что Определение 23++ не требует предположения об адекватности упоминаемой последовательности. Можно также заметить, что в Определении 23+ (которое в точности соответствует определению Тарского) — но не в 23++ — условие (а) можно заменить условием «x — пропозициональная функция», достигая тем самым определенного обобщения, в частности, на пропозициональные функции со свободными переменными, такими как, например, функция l_i,i, то есть на универсально-значимые (allgemeingultige [верные для любой индивидуальной предметной области]) пропозициональные функции[323].

Аналогичным образом определение 23++, если распространить его на функции, приводит к понятию удовлетворимой (erfullbare) пропозициональной функции.

В заключение скажу, что в применении к эмпирической теории (по крайней мере частично формализованной) и особенно к неквантифицированным пропозициональным функциям такой теории, определение выполнения [или удовлетворения], то есть Определение 22Ь, выглядит совершенно «естественным» с интуитивной точки зрения, в основном потому, что оно обходится без бесконечных последовательностей [324].

Приложение 1

Бадья и прожектор: две теории познания >{57}

Цель этой работы — подвергнуть критике широко распространенный взгляд на цели и методы естественных наук и выдвинуть альтернативную точку зрения.

I

Я начну с краткого изложения той точки зрения, которую я собираюсь рассмотреть и которую я буду называть «бадейной теорией науки» (или «бадейной теорией сознания (mind)»). Исходный пункт этой теории — убедительно звучащая доктрина о том, что прежде чем иметь возможность знать или говорить что-либо о мире, мы должны иметь восприятия — чувственный опыт. Как предполагается, из этой доктрины следует, что наше знание, наш опыт состоят либо из накопленных восприятий (наивный эмпиризм), либо из восприятий усвоенных, отсортированных и расклассифицированных (взгляд, которого придерживался Бэкон и — в более радикальной форме — Кант).

У греческих атомистов было довольно примитивное представление об этом процессе. Они считали, что от воспринимаемых нами предметов отрываются атомы, проникающие в наши органы чувств, где они становятся восприятиями, а из этих последних с течением времени собирается воедино [как самособирающаяся головоломка] наше знание о внешнем мире. Значит, согласно этой точке зрения, наше сознание, наш разум (mind) напоминает контейнер — что-то вроде бадьи, в которой собираются восприятия и знание. (Бэкон говорит о восприятиях как о «гроздьях, созревших и налившихся соком», которые надлежит терпеливо и усердно собирать и из которых можно выжать чистое вино знания).

Строгие эмпирики советуют нам как можно меньше вмешиваться в этот процесс накопления знания. Истинное знание — это чистое знание, не запятнанное теми предвзятыми мнениями (prejudices), которые мы слишком склонны добавлять и примешивать к нашим восприятиям; только последние составляют чистый и простой опыт. Результатом этих добавок, этого вмешательства и помех процессу накопления знания являются ошибки. Кант выступил против этой теории — он отрицал, что восприятия когда-либо бывают чистыми, и утверждал, что наш опыт есть результат процесса ассимиляции и преобразования — совокупный продукт чувственных восприятий и определенных ингредиентов, добавляемых нашими сознаниями. Восприятия — это как бы сырой материал, втекающий снаружи в бадью, где он подвергается некоторой (автоматической) переработке — чему-то вроде переваривания, усвоения или, возможно, систематической классификации — чтобы в конце концов превратиться в нечто не столь уж отличное от бэконовского «чистого вина опыта», скажем — в крепленое вино.

Я не думаю, что любой из этих двух взглядов предлагает сколько-нибудь адекватную картину того, что я считаю фактическим процессом приобретения опыта или методом, фактически используемым для исследований и открытий. Конечно, взгляд Канта можно истолковать в таком смысле, что он будет ближе к моей собственной точке зрения, чем чистый эмпиризм. И я, конечно, признаю, что наука невозможна без опыта (только понятие «опыт» нужно рассматривать очень тщательно). Вместе с тем хотя я признаю это, я тем не менее утверждаю, что восприятия вовсе не представляют собой сырой материал, как это получается по «бадейной теории», из которого мы строим то ли «опыт», то ли «науку».