Теория и практика аргументации

Как известно, “критерий основания” Протагора связывал допустимость с мнением человека, однако не уточнял основания для этого мнения. Уже Платон на это заметил, что основание не должно быть произвольным или заключаться в субъективной воле человека, иначе придется признать законность противоречий. Эта мысль Платона была развита в аристотелевском логическом принципе противоречия и, — уже в современной логике (школой Гильберта), — в методологическом требовании доказательства “абсолютной непротиворечивости” математических теорий. Но вполне уместная в области “истин разума” идея непротиворечивости не всегда оправдана в области “фактических истин”. Перенесенная из области логики, где непротиворечивость обосновывалась запасом теоретико-множественных средств, в другие области знания, основанные на других абстракциях, она породила особый “стиль мышления”, игнорирующий диалектику интервальных ситуаций, в которых критерий Протагора, понятый, однако, более широко, как относительность истины к условиям и средствам ее познания, оказывается весьма существенным. Именно поэтому многие рассуждения, приводящие к парадоксам, но в остальном безупречные, по существу только демонстрируют интервальный характер связанных с ними гносеологических ситуаций. Таковы, в частности, известные апории Зенона Элейского или так называемый софизм “куча”: “Одно зерно — не куча. Если n зерен не куча, то п + 1 — тоже не куча. Следовательно, любое число зерен — не куча”. Это лишь один из парадоксов транзитивности, возникающих в ситуациях неразличимости (или интервального равенства). Последняя служит типичным примером интервальной ситуации, в которой свойство транзитивности равенства при переходе от одного интервала неразличимости к другому, вообще говоря, не сохраняется. Поэтому принцип математической индукции в этой ситуации неприменим. Стремление усматривать в такого рода ситуациях свойственное опыту “нетерпимое противоречие” (А.Пуанкаре), которое теоретическая мысль преодолевает в абстрактном понятии математического континуума, не обосновано общим доказательством устранимости подобного рода ситуаций в сфере теоретического (в частности, математического) мышления и опыта. Достаточно сказать, что практика применения столь важных в этой сфере законов тождества так же, вообще говоря, как и в сфере опыта, зависит от того, какой смысл вкладывают в выражение “один и тот же объект”, какими средствами или критериями при этом пользуются. К примеру, далеко не всегда нам удается абстракцию неразличимости заменить абстракцией отождествления. А только в этом случае и можно рассчитывать на “преодоление” противоречий типа парадокса транзитивности.

4. Непротиворечивость в ультраинтуиционизме

В связи с темой непротиворечивости и отождествлений нельзя обойти молчанием ультраинтуиционистскую программу обоснования математики{126}, тем более, что она является российским приоритетом.

Появлению этой программы предшествовали, и на мой взгляд способствовали, следующие важные обстоятельства:

1). Статья А.Н.Колмогорова “О принципе tertium non datur” (1925), в которой, проанализировав классическую аксиоматику Гильберта с точки зрения интуиционистских требований к интуитивной ясности суждений, Колмогоров выразил сомнение в интуитивной ясности принципа ex falso sequitur quodlibet и отказался от этого принципа в своей минимальной логике.

2). Сомнения Н.Н.Лузина в однозначности натурального ряда, высказанные им в письме к К.Куратовскому{127}.

3). Явное указание А.А.Марковым на роль абстракции отождествления (помимо абстракции потенциальной осуществимости) в конструктивном понимании математических суждений (1951).

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

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