Аналитическая философия

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

3.6.2 Логика как система тавтологий

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

Логико-позитивистская трактовка логической истины как тавтологии, по-видимому, разумна и в том отношении, что она должным образом признает ценность формальных систем, которые явным образом выражают определенные логические конструкции в особых символах и правилах. Разработка таких систем полезна, поскольку они очень часто раскрывают логические структуры, устраняют ошибки и подчас облегчают процесс мышления. Этим делом давно занимаются – с большим или меньшим успехом – логики, математики и другие специалисты. Результаты, полученные в этой области в последнее время, говорят сами за себя, и ими мы во многом обязаны логическим позитивистам.

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