Восприняв доказательство, мы делаемся в известной степени агрессивными, готовыми убеждать других с помощью этого воспринятого нами рассуждения. Если же мы не готовы, значит, мы ещё не восприняли предъявленного нам рассуждения как доказательства, а если и признали его доказательством, то просто чтобы отмахнуться.
Заметим, что понятия, присутствующие в нашем определении доказательства, – либо логико-лингвистические («рассуждение»), либо психологические («убеждающее», «способны убеждать»). Это полностью отвечает сути дела: само представление о доказательстве неразрывно связано с языковыми средствами и с социальной психологией человека. И то и другое изменяется с ходом истории. Меняется языковое оформление доказательств. Меняется и представление об убедительности.
Представление об убедительности зависит не только от эпохи, но и от социальной среды. К сожалению, я не могу сейчас вспомнить, где читал пассаж на следующую тему. Кардиналы, современники Галилея, были неглупые люди, некоторые из них могли воочию наблюдать горы на Луне в Галилеев телескоп, а также с пониманием следить за логикой рассуждений Галилея. Однако для них их собственные взгляды, основанные на априорной догме, были убедительнее любого эксперимента и любой логики. (Интересный анализ того, как априорно суженное представление о способах доказывания препятствует признанию некоторых фактов, приведён в статье С. П. Божича [13].)
Представление об убедительности того или иного рассуждения зависит от многих факторов. Выявление этих факторов – важная задача логики и психологии. В число таких факторов входит, например, разделение понятий (а точнее, терминов) на осмысленные и бессмысленные. Понятия флогистона и теплорода, считавшиеся осмысленными в XVIII в., признаются сейчас бессмысленными. Эйнштейн открыл, что бессмысленным является и понятие одновременности двух событий – если считать его объективным, не зависящим от наблюдателя (более точно, Эйнштейн открыл, что одновременность не двуместное отношение между двумя событиями, а трёхместное отношение, членами которого являются 1-е событие, 2-е событие и наблюдатель). С другой стороны, такое «очевидно бессмысленное понятие», как бесконечно малое число, вот уже полвека наполняется точным смыслом в рамках так называемого