PhilosophyDay

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

Другая философия / Аналитическая философия / 3.  Программа логического позитивизма (логического эмпиризма) / 3.6 Критика логико-позитивистского анализа / 3.6.2 Логика как система тавтологий

Страница 1

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

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

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

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

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