
Лекция I. Логика и Математика
Существуют математические истины, которые не доказывают, в существо-
вании которых убеждаются непосредственно путем интуиции. Эти истины
высказываются в начале изложения системы математических положений.
Это - аксиомы. Таковы следующие истины: "две величины, равные по-
рознь третьей, равны между собой", "две прямые не могут заключать про-
странства". Раз установив систему очевидных истин, к признанию других
гфиводят с помощью доказательств, т.е. связывая каждую из них логичес-
кой связью с непосредственно очевидными положениями. Устанавливая
такую связь, мы, конечно, этим не делаем доказуемые положения очевид-
ными, но истинность их становится для нас необходимой в силу того, что:
1) исходные положения очевидно имеют место
2) все те положения, которые связываются цепью силлогизмов с
ними должны быть, как и он, истинны.
Из двух посылок силлогизмом извлекаем третье предложение - зак-
лючение. Если мы изобразим точками всю совокупность положений ка-
кой-либо математической дисциплины, например элементарной геомет-
рии,
и точку А, отвечающую какому-нибудь положению будем соединять
прямыми с В, С, D... положениями, из которых А выводится, то получим
сеть,
которая начинается в точках, отвечающих начальным т.е. очевидным
положениям. Можно сказать, что математика обычно интересуется не са-
мой сетью, а только ее узлами. Для нее важно указать какой-нибудь путь,
ведущий от очевидных положений А, В, С, D... к интересующему его поло-
жению G, существование которого почему-либо подозревается и, если этот
путь найден, то математик со спокойной совестью может сказать, что поло-
жение G им доказано. Более же глубоким, но еще не успевшим внедриться
во все области математики является взгляд, по которому исследование ло-
гической сети является не менее важным, чем исследование ее узлов. Нуж-
но предполагать, что логический анализ в будущем будет приобретать все
большее и большее значение и интеллектуальная совесть математика буду-
щего времени будет гораздо чувствительнее, он будет искать не какой-ни-
будь путь от А, В, С... к G, а путь определенного типа, идущий от наперед
заданной части аксиом через положения определенных типов.
На первый взгляд кажется, что подобные исследования не предмет
математики, а предмет логики.
Конечно, основания подобных исследований черпаются в логике,
но результаты, которые получаются путем логических исследований, отно-
сятся,
тем не менее, к математике.
Возьмем силлогизм т.е. одно из звеньев упомянутой выше логи-
ческой сети (например 1-ю фигуру)
А есть В
все В есть С
следовательно А есть С.
28