|
Указанные парадоксы, касающиеся логического следования, имеют место и в интуиционистской логике. Но в последней не действует закон исключенного третьего, несомненный д ля классической логики. Отбрасывается также ряд других логических законов, позволяющих доказывать существование объектов, которые нельзя построить или вычислить. В число отвергаемых попадают, в частности, закон снятия двойного отрицания и закон приведения к абсурду, дающий право утверждать, что математический объект существует, если предположение о его несуществовании приводит к противоречию. Это означает, что доказательство, проведенное с использованием классической логики не обязательно будет считаться также доказательством с точки зрения интуиционистской логики. Более совершенное, чем классическое и интуиционистское, описание логического следования было дано релевантной логикой. Ей удалось, в частности, исключить стандартные парадоксы логического следования. Предложены также многие другие теории логического следования. С каждой из них связано свое понимание доказательства. Образцом доказательства, которому в той или иной мере стремятся следовать во всех науках, является математическое доказательство. «Нигде нет настоящих доказательств, — писал Б.Паскаль, — кроме как в науке геометров и там, где ей подражают»[65]. Под «геометрией» Паскаль имел в виду, как это .было обычным в его время, всю математику. Долгое время считалось, что математическое доказательство представляет собой ясный и бесспорный процесс. В нашем веке отношение к математическому доказательству изменилось. Математики разбились на группировки, каждая из которых придерживается своей версии доказательства. Причиной этого послужили несколько обстоятельств. Прежде всего, изменились представления о лежащих в основе доказательства логических принципах. Исчезла уверенность в их единственности и непогрешимости. Возникли также разногласия по поводу того, сколь далеко простирается сфера логики. Логицисты были убеждены, что логики достаточно для обоснования всей математики; по мнению формалистов, одной лишь логики для этого недостаточно и логические аксиомы необходимо дополнить чисто математическими; представители теоретико-множественного направления не особенно интересовались логическими принципами и не всегда указывали их в явном виде; интуиционисты из принципиальных соображений считали нужным вообще не вдаваться в логику. Подводя итог этому пересмотру понятия доказательства в математике, Р.Л.Уайлдер пишет, что математическое доказательство есть не что иное, как «проверка продуктов нашей интуиции... Совершенно ясно, что мы не обладали и, по-видимому, никогда не будем обладать критерием доказательства, не зависящим ни от времени, ни от того, что требуется доказать, ни от тех, кто использует критерий, будь то отдельное лицо или школа мышления. В этих условиях самое разумное, пожалуй, признать, что, как правило, в математике не существует абсолютно истинного доказательства, хотя широкая публика убеждена в обратном»[66]. — 49 —
|