Конечно, если ученик, доказывая геометрическую теорему, пропустил важные шаги доказательства или спутал термины, его "рациональность" неудовлетворительна. Однако само по себе соблюдение логических правил недостаточно для признания математического рассуждения рациональным. Кроме того, эти правила (логические системы) могут меняться, так что применение какого-то из них как раз и признается нерациональным. Например, математики-конструктивисты (интуиционисты) отказываются от доказательств и вообще от математических построений, основанных на применении принципа tertium non datur. Специальная аргументация против применения этого принципа имеет давнюю традицию, развивавшуюся не только в русле математики, но затрагивающую содержание основных математических понятий. Здесь не будем касаться этой аргументации, но отметим, что речь идет о критике принципа, который зачислялся в ряд основных логических законов и, следовательно, выступал как один из критериев математической и логической рациональности. Рациональна ли эта критика? Речь идет о принципиальном гносеологическом и методологическом моменте: можно ли говорить о рациональности критики... критериев рациональности?
По сути, это другая форма рассмотренного выше вопроса о критериях рациональности, позволяющих определить рациональность модели рациональности. Многоэтажное нагромождение, получающееся из-за того, что термин "рациональность" употребляется в качестве самоприменимого предиката, может вызвать раздражение. Но сдержим эмоции и попытаемся показать, что постановка этой проблемы нелепа не только по форме, но, что более важно, проистекает из нелепостей, заключенных в неограниченном (иначе говоря, абсолютистском) применении критериального подхода.
Ранее мы пытались понять, можно ли рационально оценивать некую систему критериев рациональности как рациональную. Мы выяснили, к каким трудностям приводят такие попытки. Теперь мы пытаемся понять, можно ли рационально критиковать систему критериев рациональности, то есть решить вопрос о ее (системы) нерациональности. И в том, и в другом случае нам потребовалась бы некая "мета-рациональность". Но мы уже видели, что последовательное проведение идеи "мета-рациональности" приводит либо к регрессу в бесконечность в поисках рациональности per se, либо к постулированию некой "супер-рациональности", не подверженной никакой критике. Бесконечный регресс - неприятность для методолога и неудовлетворительная философско-гносеологическая позиция. "Абсолютная система" критериев рациональности - нечто такое, что не только не находит подтверждения в исторической практике мышления, но и прямо противоречит ей.
Подобные трудности имеют место, конечно, не только в математике. Аристотелевская физика с ее принципом движения земных тел под воздействием внешних сил отнюдь не менее рациональна, чем физика Галилея с принципом инерции. Мы уже видели, что вопрос о том, какая из этих физических концепций "рациональна на самом деле", не решается ссылками на "истинность" или "соответствие с реальностью". Истинность, как уже было сказано выше, не является достаточным критерием рациональности; "неистинная" или отвергнутая физическая теория может быть вполне рациональна. Поэтому историческое развитие научного познания можно представить как изменение систем рациональности, как их соперничество и чередование в понятийном и методологическом арсенале ученых.
Плюрализм рациональностей еще более очевиден в сфере практического действия и поведения. Аргументы сторонников единой или универсальной рациональности противоречат историческим фактам, а теоретический спор с такими аргументами не может дать ничего, кроме бесконечной дискуссии, в которой каждая из сторон считает свою рациональность "более рациональной".
Итак, попытка определить рациональность критики через соответствие критериям рациональности приводит к тривиальному выводу: сколько разных рациональностей, столько же и рациональных критик. Бесспорно одно: рациональная критика существует, и мы всегда интуитивно отличаем ее от нерационального критиканства или иронической имитации. Как перевести эту интуицию на язык методологии и теории рациональности? Возможно ли это? Такие вопросы нельзя оставить без ответа, ибо они связаны с определением сферы компетенции методологии и затрагивают ее философский статус.