Философия Науки. Хрестоматия

Совершенно иначе устроена современная «logic of sciences» — «логика науки»: здесь речи нет не только о психических способностях; проблема сознания как субъекта (в противоположность объектам) научного познания, можно сказать, устранена. И на месте этих психологических реквизитов «трансцендентальной логики» Канта располагается не «единственная» математически обновленная формальная логика (как хотелось бы верить многим современным умам), а, если формулировать точно, — логический синтаксис и семантика языков науки. Эти языки науки как «semantical frameworks) («семантические каркасы») представляют собой новый субстрат априорных правил, в которых заранее выносится решение о возможном описании и объяснении «вещей в той мере, в какой они образуют некую закономерную взаимосвязь»; а кантовская проблема объективной значимости научного познания для «сознания вообще» должна быть решена в современной «логике науки» посредством логико-синтактического и логико-семантического «подтверждения» научных предложений (гипотез) или же теорий, т.е. с помощью доказательства их логической согласованности и эмпирической верифицируемости (или осторожнее: подтверждаемости). (Историко-философская) соль этой синтактико-семантической реконструкции теории науки станет зримой, если мы зададим вопрос о том, что перешло в современную логику науки из кантовского «сознания вообще», т.е. из трансцендентального субъекта науки. Официально ответ должен был бы звучать так: в этом предположении больше нет необходимости. Поскольку под субъектом при этом подразумевается человек, то субъект науки можно свести к объекту науки; поскольку же речь идет о логическом условии возможности и значимости науки, трансцендентальная функция субъекта заменяется на логику языка науки: следовательно, языковая логика вместе с эмпирической проверяемостью предложений или же систем предложений занимают место Кантовой трансцендентальной логики объективного опыта.

Между тем эта официальная неоспоримость современной логики науки уже давно не соответствует реальной проблемной ситуации; здесь имплицирован идеологический момент, в котором скрыт провал изначальной программы современной логики науки, «логического эмпиризма»: дело в том, что замена трансцендентальной функции субъекта познания на «единственную» логику научного языка могла производиться всерьез с тех самых пор, как возникла надежда, что интерсубъективность возможной значимости всякой эмпирической науки можно будет гарантировать с помощью синтаксиса или семантики некоего «вещного» языка или же языка «фактов»[3]. Как раз это и стало основной причиной, в силу коей молодой Витгенштейн в Трактате посчитал себя вправе назвать «логику языка» «трансцендентальной» с намеком на Канта, а субъект науки — как нечто такое, чего в мире «не существует», — наделить функцией установления границ мира, присущей логике языка. Между тем было все-таки выявлено, что посредством синтаксиса и семантики некоего вещного языка или же языка фактов невозможно гарантировать ни логическую согласованность, ни (даже) интерсубъективную эмпирическую проверяемость науки. В двух местах оказалось необходимым под именем практических конвенций ввести так называемое прагматическое измерение интерпретации знаков человеком как условие возможности и значимости научных предложений.

1. Один раз это произошло с так называемой проблемой верификации, когда логически реконструированный язык науки необходимо было сопрячь с фактами. Здесь выяснилось, что как раз аналитически-языковая форма современной теории науки имеет своим последствием то, что теории науки, которые подлежат проверке, можно сличать не с голыми фактами а лишь с так называемыми базисными предложениями. Но чтобы последние возымели силу, потребовалась договоренность научных экспертов как прагматических интерпретаторов науки — а ведь это означает, — как субъектов науки, поскольку они принципиально не могут быть редуцированы до уровня объектов эмпирической науки. Получается, что язык этой договоренности относительно базисных предложений — в смысле логической семантики — не может быть идентичным реконструируемому языку науки; скорее он должен практически совпадать с еще не формализованным языком, на котором сами создатели языка и ученые-эмпирики должны прийти к соглашению о прагматической интерпретации языка науки.