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

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

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

II

В науке решающую роль играет не столько восприятие, сколько наблюдение.Вместе с тем наблюдение — это процесс, в котором мы играем исключительно активную роль.Наблюдение — это восприятие, но только спланированное и подготовленное. Мы не «получаем (have)» наблюдение [как мы можем «получить» чувственное восприятие], а «делаем (make)» его. [Навигатор даже «производит (works)» наблюдение]. Наблюдению всегда предшествует конкретный интерес, вопрос или проблема — короче говоря, нечто теоретическое[325]. В конце концов мы можем любой вопрос перевести в форму гипотезы или предположения, к которой добавлено: «Так ли это? Да или нет?» Таким образом, мы можем утверждать, что любому наблюдению предшествует проблема, гипотеза, или как бы это ни называть — нечто нас интересующее, нечто теоретическое или умозрительное. Вот почему наблюдения всегда избирательны, и вот почему они всегда предполагают нечто вроде принципа отбора.

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