Аристотель прекрасно говорит в Analyt. post. I, 27: «Знание сразу и о том , что есть, и о том, почему есть, более точно и первично, чем отдельно знание о том, что есть, и о том, почему есть». Ведь в физике мы только тогда испытываем удовлетворение, когда знание, что нечто обстоит так, соединяется со знанием, почему это так; что ртуть в торичеллиевой трубке подымается на высоту 28 дюймов, — это плохое знание, если не прибавить к нему, что ртуть держится на такой высоте противодействием воздуха. Почему же в математике мы должны довольствоваться тем qualitas occulta [скрытое качество] круга, что отрезки каждых двух пересекающихся в нем хорд всегда образуют равные прямоугольники? Что это так, Евклид в самом деле доказывает в 35-й теореме третьей книги; но почему это так, еще неизвестно. Точно так же и пифагорова теорема знакомит нас с qualitas occulta прямоугольного треугольника; ходульное, даже коварное доказательство Пифагора оставляет нас беспомощными при вопросе почему , между тем как прилагаемая уже известная нам простая фигура при первом же взгляде на нее уясняет дело гораздо лучше этого доказательства и внушает глубокое внутреннее убеждение в необходимости этого свойства и его зависимости от простого угла.
И при неравных катетах должна существовать возможность такой же наглядной убедительности, как и вообще при всех возможных геометрических истинах, — уже потому, что открытие подобной истины вытекало из такой созерцаемой необходимости, а доказательство придумывалось лишь только потом. Поэтому нужно лишь проанализировать ход мысли, совершенный при первом открытии геометрической истины, чтобы наглядно понять ее необходимость. Вообще я желал бы, чтобы математика преподавалась с помощью аналитического метода вместо синтетического, который применял Евклид. Правда, для сложных математических истин это было бы сопряжено с очень большими, хотя и не непреодолимыми трудностями. В Германии в разных местах уже начинают изменять преподавание математики и чаще идут по этому аналитическому пути. Решительнее всех это сделал г. Козак, учитель математики и физики в Нордхаузенской гимназии: к программе экзаменов 6 апреля 1852 г. он присоединил обстоятельную попытку изложения геометрии по указанным мною принципам.
Для улучшения математического метода в особенности необходимо отрешиться от предрассудка, будто доказанная истина имеет какие-то преимущества сравнительно с познанной наглядно, или будто логическая истина, основанная на законе противоречия, лучше метафизической, которая непосредственно очевидна и к которой принадлежит также чистое созерцание пространства.
Самое достоверное и повсюду необъяснимое, это — содержание закона основания. Ибо он в своих различных видах выражает всеобщую форму всех наших представлений и познаний. Всякое объяснение — это сведение к нему, указание в отдельном случае на выражаемую им вообще связь представлений. Он является, следовательно, принципом всех объяснений и потому сам не поддается объяснению и не нуждается в нем, так как всякое объяснение уже предполагает его и лишь через него получает свое значение. При этом ни один из его видов не имеет преимущества перед другими: он равно достоверен и недоказуем как закон основания бытия, или становления, или действия, или познания. Отношение основания к следствию как в одном, так и в других его видах имеет необходимый характер; оно вообще является источником и единственным смыслом понятия необходимости. Не существует другой необходимости, кроме той, что необходимо следствие, если дано основание, и не существует основания, которое не влекло бы за собой необходимости следствия. И подобно тому, как несомненно из данного в посылках основания познания вытекает выражаемое в заключении следствие, так же несомненно основание бытия в пространстве; если я наглядно понял соотношение двух последних, то его несомненность так же велика, как и любая логическая достоверность. А выражением такого соотношения и служит каждая геометрическая теорема, — не менее, чем какая-нибудь из двенадцати аксиом: ведь теорема представляет собой метафизическую истину и таковая столь же непосредственно достоверна, как и самый закон противоречия, являющийся металогической истиной, и общей основой всякого логического доказательства. Кто отрицает наглядно представленную необходимость пространственных отношений, выражаемых в какой-либо теореме, тот может с одинаковым правом отрицать и аксиомы, с одинаковым правом отрицать вывод заключения из посылок и даже самый закон противоречия: ибо все это — одинаково недоказуемые, непосредственно очевидные и a priori познаваемые отношения. Поэтому, если наглядно познаваемую необходимость пространственных отношений хотят непременно выводить путем логического доказательства из закона противоречия, то это похоже на то, как если бы непосредственному владельцу земли кто-то другой захотел отдать, ее сперва в ленное владение. Именно так поступает Евклид. Только свои аксиомы он поневоле обосновывает непосредственной очевидностью; все же последующие геометрические истины подвергаются логическому доказательству, основанному либо на предпосылке этих аксиом и согласии со сделанными в теореме допущениями или с какой-нибудь прежней теоремой, либо на том, что противоположность теоремы противоречит допущениям, аксиомам, прежним теоремам или даже самой себе. Но аксиомы не имеют большей непосредственной очевидности, чем любая другая геометрическая теорема: они только проще, потому что менее содержательны.
Когда допрашивают преступника, его показания заносят в протокол, чтобы выяснить истину из их взаимной согласованности. Но этим приемом пользуются вынужденно и к нему не прибегают, если можно непосредственно узнать истину каждого отдельного показания, тем более, что преступник с самого начала может последовательно лгать. И все-таки Евклид исследовал пространство по первому методу. Правда, он исходил при этом из верной предпосылки, что природа везде, а значит, и в основной своей форме, пространстве, должна быть последовательна, и потому, так как части пространства находятся между собой в отношении причины и следствия, ни одно пространственное отношение не может быть иным, чем оно есть, не вступая в противоречие со всеми другими. Но это очень трудный и неудовлетворительный окольный путь, он предпочитает косвенное познание столь же достоверному непосредственному, он разделяет, к великому ущербу для науки, познание того, что нечто есть , от познания того, почему оно есть , он, наконец, совсем закрывает для учащегося проникновение в законы пространства и даже отучает его от действительного исследования причины и внутренней связи вещей, приучая его взамен довольствоваться историческим знанием, что это обстоит так .
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151
И при неравных катетах должна существовать возможность такой же наглядной убедительности, как и вообще при всех возможных геометрических истинах, — уже потому, что открытие подобной истины вытекало из такой созерцаемой необходимости, а доказательство придумывалось лишь только потом. Поэтому нужно лишь проанализировать ход мысли, совершенный при первом открытии геометрической истины, чтобы наглядно понять ее необходимость. Вообще я желал бы, чтобы математика преподавалась с помощью аналитического метода вместо синтетического, который применял Евклид. Правда, для сложных математических истин это было бы сопряжено с очень большими, хотя и не непреодолимыми трудностями. В Германии в разных местах уже начинают изменять преподавание математики и чаще идут по этому аналитическому пути. Решительнее всех это сделал г. Козак, учитель математики и физики в Нордхаузенской гимназии: к программе экзаменов 6 апреля 1852 г. он присоединил обстоятельную попытку изложения геометрии по указанным мною принципам.
Для улучшения математического метода в особенности необходимо отрешиться от предрассудка, будто доказанная истина имеет какие-то преимущества сравнительно с познанной наглядно, или будто логическая истина, основанная на законе противоречия, лучше метафизической, которая непосредственно очевидна и к которой принадлежит также чистое созерцание пространства.
Самое достоверное и повсюду необъяснимое, это — содержание закона основания. Ибо он в своих различных видах выражает всеобщую форму всех наших представлений и познаний. Всякое объяснение — это сведение к нему, указание в отдельном случае на выражаемую им вообще связь представлений. Он является, следовательно, принципом всех объяснений и потому сам не поддается объяснению и не нуждается в нем, так как всякое объяснение уже предполагает его и лишь через него получает свое значение. При этом ни один из его видов не имеет преимущества перед другими: он равно достоверен и недоказуем как закон основания бытия, или становления, или действия, или познания. Отношение основания к следствию как в одном, так и в других его видах имеет необходимый характер; оно вообще является источником и единственным смыслом понятия необходимости. Не существует другой необходимости, кроме той, что необходимо следствие, если дано основание, и не существует основания, которое не влекло бы за собой необходимости следствия. И подобно тому, как несомненно из данного в посылках основания познания вытекает выражаемое в заключении следствие, так же несомненно основание бытия в пространстве; если я наглядно понял соотношение двух последних, то его несомненность так же велика, как и любая логическая достоверность. А выражением такого соотношения и служит каждая геометрическая теорема, — не менее, чем какая-нибудь из двенадцати аксиом: ведь теорема представляет собой метафизическую истину и таковая столь же непосредственно достоверна, как и самый закон противоречия, являющийся металогической истиной, и общей основой всякого логического доказательства. Кто отрицает наглядно представленную необходимость пространственных отношений, выражаемых в какой-либо теореме, тот может с одинаковым правом отрицать и аксиомы, с одинаковым правом отрицать вывод заключения из посылок и даже самый закон противоречия: ибо все это — одинаково недоказуемые, непосредственно очевидные и a priori познаваемые отношения. Поэтому, если наглядно познаваемую необходимость пространственных отношений хотят непременно выводить путем логического доказательства из закона противоречия, то это похоже на то, как если бы непосредственному владельцу земли кто-то другой захотел отдать, ее сперва в ленное владение. Именно так поступает Евклид. Только свои аксиомы он поневоле обосновывает непосредственной очевидностью; все же последующие геометрические истины подвергаются логическому доказательству, основанному либо на предпосылке этих аксиом и согласии со сделанными в теореме допущениями или с какой-нибудь прежней теоремой, либо на том, что противоположность теоремы противоречит допущениям, аксиомам, прежним теоремам или даже самой себе. Но аксиомы не имеют большей непосредственной очевидности, чем любая другая геометрическая теорема: они только проще, потому что менее содержательны.
Когда допрашивают преступника, его показания заносят в протокол, чтобы выяснить истину из их взаимной согласованности. Но этим приемом пользуются вынужденно и к нему не прибегают, если можно непосредственно узнать истину каждого отдельного показания, тем более, что преступник с самого начала может последовательно лгать. И все-таки Евклид исследовал пространство по первому методу. Правда, он исходил при этом из верной предпосылки, что природа везде, а значит, и в основной своей форме, пространстве, должна быть последовательна, и потому, так как части пространства находятся между собой в отношении причины и следствия, ни одно пространственное отношение не может быть иным, чем оно есть, не вступая в противоречие со всеми другими. Но это очень трудный и неудовлетворительный окольный путь, он предпочитает косвенное познание столь же достоверному непосредственному, он разделяет, к великому ущербу для науки, познание того, что нечто есть , от познания того, почему оно есть , он, наконец, совсем закрывает для учащегося проникновение в законы пространства и даже отучает его от действительного исследования причины и внутренней связи вещей, приучая его взамен довольствоваться историческим знанием, что это обстоит так .
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151