Страницы: -
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 -
ственная. Мы разделяем точку зрения, развиваемую В.П. Визгиным, который считает, что характерная для Аристотеля оппозиция платоновско-академическому математизму послужила одним из важнейших источников формирования иного, качественного, или квалитативистского (от лат. qualitas) подхода (Визгин В.П. Генезис и структура квалитативизма Аристотеля. - М.: Наука, 1982. - С. 5), привела к формированию онтологического учения о сущности и качестве.
Аристотель опроверг математический подход к физике, развитый Платоном в "Тимее". Если у Платона математика обосновывала физику, то Аристотель, напротив, математику подчинил физике. Например, он ищет сущность треугольника в той конкретной, абстрагируемой от свойств реальных тел, геометрической форме, которая проявляется в фактическом равенстве или неравенстве суммы внутренних углов треугольника двум прямым (Аристотель. Вторая аналитика, 90 А 30). Он ищет сущность треугольника в свойствах самой прямой линии (См.: Аристотель. Соч. в 4-х т.: Т. 3. - М.: Мысль, 1981. - С. 101), что и сближает представления Аристотеля о качестве математических предметов с современностью.
Гегелевская ретроспекция аристотелевского категориального аппарата даёт методологический ориентир для понимания философии математики Аристотеля или, как пишет Гегель, "философского рассмотрения пространства и времени". Однако, к сожалению, имеется очень незначительное количество работ, посвящённых рассмотрению естественнонаучных концепций античности "глазами" Гегеля. В ряде работ рассматриваются только параллели между отдельными положениями аристотелевских трактатов и такими работами Гегеля, как "Философия духа", "Лекции по истории философии" (См.: Rollwage Jurgen. Das modalproblem und die historische Handlung (Ein Vergleich zwischen Aristoteles und Hegel). - Diss. Munchen, 1968).
Анализируя опытный и теоретический материал предшественников, Аристотель ставил вопросы так, что та или иная проблема вырисовывалась у него во всех её многочисленных связях и отношениях, а живая мысль всюду получала своё оформление в непрерывных исканиях и "запросах диалектики" (См.: Ленин В.И. Философские тетради. - М.: Политиздат, 1978. - С. 326). Об этой диалектической способности мышления, приводящей к расширению философского пространства, В.И. Ленин как-то заметил словами самого Гегеля: "И относительно других предметов также требуется известное развитие для того, чтобы уметь задавать вопросы, тем более относительно философских предметов, так как иначе может получиться ответ, что вопрос никуда не годится (Ленин В.И. Полн. собр.соч. - Т. 29. - С. 103).
Каждая наука, согласно Аристотелю, может быть доказана из свойственных ей специфических начал, определяющих границы отдельных наук. Однако есть одно общее для всех наук начало, исследование которого и является делом философа. По Аристотелю, таким началом выступает ум.
Проблема начала доказательства сегодня также актуальна, как и две с половиной тысячи лет тому назад, ибо многие представители современной зарубежной философии ставят под сомнение объективность научного знания, причём делают это далеко не лучшим образом, нежели скептики периода античной Греции. Каждое доказательство у Аристотеля есть своего рода умозаключение, но не всякое умозаключение служит доказательством. Нахождение начал доказательства есть обоснование самого доказательства. Но начало как основа доказательства, со своей стороны, также требует своего последующего обоснования и т.д. Регресс же в бесконечность, по Аристотелю, не даёт положительного решения проблемы, так как при нём возможность обоснования всякого рода знания вообще исключена. Однако если существует какой-то факт знания, то существует и начало доказательства. Отрицание начала здесь просто логически невозможно, так как само отрицание, как своего рода доказательство, должно иметь своё начало. Таким образом, необходимость начала доказательства заключается в невозможности его отрицания.
Далее. Существует множество наук, следовательно - множество начал. Но так как науки сходны между собой по их логической основе, то они должны иметь общее начало. Вот перед какой трудностью встал Аристотель и, решая её, не смог быть до конца последовательным, из-за чего и заслужил, не без определённых на то оснований, критику скептиков в их "новых тропах".
Положение о невозможности противоречия является, согласно Аристотелю, недоказуемой основой доказательства. Однако своим допущением невозможности противоречия он уже заранее использовал категорию противоречия и не подозревал, что подлинное начало доказательства надо искать не в сфере аксиом, а в системе категорий, что как раз и было осуществлено К. Марксом (См.: Джохадзе Д.В. Диалектика Аристотеля. Авт-т дисс. канд. филос. наук. - Тбилиси, 1977. - С. 32).
Проблема начала доказательства у Аристотеля выглядит сложнее, чем это кажется с первого взгляда. Это видно хотя бы из того, что он различает "доказательство того, почему это так" от "доказательства того, что это так". В последнем случае имеется в виду доказательство, убеждающее нас в верности положения, но не выясняющее его причин, а в первом - доказательство, убеждающее в правильности чего-либо с помощью выяснения его причины (См.: Розенфельд Б.А., Юшкевич А.П. Теория параллельных линий на средневековом Востоке IX-XIV вв. - М.: Наука, 1983. - С. 68).
Данное разграничение, введённое Аристотелем в общую логику доказательства, вытекает из анализа предпосылок теоремы о сумме углов треугольника, которая была известна уже в глубокой древности. Её доказательство при этом опиралось на описание параллельных линий. Но, так как Аристотель всегда стремился поставить вопрос о подлинном начале, т.е. о таком начале, относительно которого не может существовать двух разных мнений, то его, естественно, не могли полностью удовлетворять и доказательства вышеупомянутой нами теоремы. Так, в "Аналитике первой" он отмечает: "Пусть А означает два прямых угла, Б - треугольник, а В - равнобедренный. А присуще В через Б; А же присуще Б не через что-то другое, ибо треугольник сам по себе имеет в совокупности два прямых угла. Так что для посылки АБ, которая хотя и может быть доказана, не будет среднего термина" (Аристотель. Соч. в 4-х т.: Т. 1. - С. 188).
Однако Аристотель не останавливается здесь перед фактом отсутствия "среднего термина", а стремится вскрыть подлинную причину самой причины того, что сумма углов треугольника равна двум прямым. При этом он указывает на ошибку "постулирования основания", часто совершаемую геометрами. "Так поступают, например, те, - пишет Аристотель, - кто думает, что описывают параллельные линии. В самом деле, они, сами того не зная, в основу доказательства берут нечто такое, что само не может быть доказано, если линии не параллельны" (Там же. - С. 237). Действительно, поскольку данная основа, т.е. теорема о сумме внутренних углов треугольника, здесь сама опирается на свойство параллельности двух линий, то возникает логический круг, и Аристотель прямо замечает, что "если бы кто-либо захотел доказать, что прямые линии не пересекаются, он мог бы подумать, что доказательство этого возможно потому, что это свойство имеется у всех прямых линий. Но это не так, поскольку доказывать следует не то, что углы равны при каких-то определённых условиях*, а то, что они равны при любых условиях" (Аристотель. Вторая аналитика, 74 а 10-15. - Там же. - С. 266). "И если бы не было другого треугольника, кроме равнобедренного, то свойство иметь [в совокупности] два прямых угла казалось бы присущим треугольнику, поскольку он равнобедренный" (Там же).
Из вышеприведённого текста можно заключить, что Аристотель рассматривал процесс подлинного описания параллельных линий независимо от всякого рода доказательств данной теоремы, "так как иное по своей природе познаётся через само себя... а именно начала познаются через самих себя" (Аристотель. Аналитика первая, 64 б 35).
Но именно вопрос о начале всегда и интересовал Аристотеля, который полагал, "что для начал нет доказательств" (Аристотель. Аналитика вторая, 90 б 25) и искал подлинное начало доказательства, как мы уже отмечали ранее, в сфере аксиоматического знания. Вероятнее всего, Аристотель решал вопрос о выборе наиболее подходящей аксиомы параллельных линий. Возможно, что один из вариантов такой аксиомы был приведён самим Аристотелем. Во всяком случае, Омар Хайям в "Комментариях к трудностям во введении книги Евклида" приводит так называемый четвёртый принцип, заимствованный у Аристотеля: "Две сходящиеся прямые линии пересекаются, и невозможно, чтобы две сходящиеся прямые линии расходились в направлении схождения" (См.: Розенфельд Б.А., Юшкевич А.П. Указ. соч. - С. 11).
Каждое из двух утверждений данного принципа по существу равносильно пятому постулату Евклида. И они ценны именно тем, что расчистили почву для первой в истории геометрии открытой замены пятого постулата эквивалентным ему постулатом, для первой теории параллельных, в которой доказательство пятого постулата основано не на "постулировании основания", а на другой, более очевидной аксиоме** (Там же. - С. 66). О. Хайям не совершил логической "ошибки", доказывая пятый постулат, как его предшественники; его ошибка совсем иного рода, и она становится очевидной лишь с точки зрении уже самих неевклидовых геометрических систем. Не останавливаясь здесь на разборе самого доказательства О.Хайяма, отметим лишь, что в ходе него были сформулированы первые теоремы гиперболической и эллиптической неевклидовых геометрий (См.: Там же. - С. 73). В этом и состоит как раз историческое значение всей теории доказательства у Аристотеля, ибо последний философски предвосхитил ту тенденцию, которая, начиная с Омара Хайяма, затем через Саккери и Ламберта (первые теоремы неевклидовой геометрии здесь получают, наконец, своё оформление) привела к Гауссу, Лобачевскому, Бойяи и Риману. Эта тенденция является ведущей при выяснении предпосылок возникновения неевклидовых геометрий.
Однако не следует забывать и то, что ошибки "постулирования основания" тоже сыграли определённую роль, поскольку у математиков крепла уверенность в невозможности доказать пятый постулат, оставаясь в рамках системы аксиом геометрии Евклида.
Следует отметить также, что Аристотель приводил примеры из геометрии не только для того, чтобы ими иллюстрировать положения логики, но и использовал эти примеры дли критики философских школ прошлого. Например, разбирая концепцию Эмпедокла о попеременном преобладании Любви и Вражды, Аристотель говорит, что "и такое утверждение следует не только высказывать, но и указывать для него определённую причину... Вообще же нельзя считать достаточным началом положение, что всегда так есть или происходит, на что Демокрит сводит природную причинность, что, дескать, так и прежде происходило, а начала этого "всегда" не считает нужным искать. ... Ведь и треугольник имеет углы, всегда равные двум прямым, однако причина этой вечности лежит в другом; для начал же, которые существуют вечно, такой другой причины нет" (Аристотель. Соч. в 4-х т.: Т. 3. - С. 225).
Итак, теория параллельных использовалась древними греками для проверки на прочность многих фундаментальных философских идей. Такое положение дел обосновывается прежде всего тем обстоятельством, что выдвигаемые древними философами "начала" не могут претендовать на статус самодостаточного основания. Всё это напоминает ситуацию, возникающую при описании параллельных линий, когда основополагающую причину параллельности линий следует действительно искать "в другом", а не в самом принципе параллелизма. Не аналогичной ли этой является ситуация, при которой мы полагаем духовность и бездуховность противоположными и сменяющими друг друга процессами, а саму причину данной взаимосмены не пытаемся искать?
Вероятнее всего, Аристотель считал, что "причина этой вечности" кроется в самой природе описания параллельных и так как при этом не исключена ошибка "постулирования основания", приводящая в конечном счёте к логическому кругу, то следует постулировать "принцип", непосредственное силлогистическое начало, о котором нам и сообщает Омар Хайям. Для такого начала, по Аристотелю, нет причины, т.е. его невозможно доказать и следует принять как принцип, как постулат.
Наше рассмотрение философии математики у Аристотеля было бы не полным, если не учесть её отношение к философии Платона, которого по праву большинство исследователей относит к числу крупных математиков античности. Согласно Платону, четыре элемента Эмпедокла не могут быть простейшими составными частями вещей: "...мы называем их началами и принимаем за стихии (?? ??????i?, т.е. "буквы") Вселенной... между тем каждому мало-мальски разумному человеку должно быть ясно, что нет никакого основания сравнивать их даже с каким-либо видом слогов" (Платон. Тимей, 48 с. - Платон, Соч. Т. 3. - С. 451). Анализируя данный текст, некоторые учёные пытаются высказать то соображение, что Платон здесь стоит на голову выше своих предшественников и современников, включая и Аристотеля (См.: Платон и его эпоха. - М.: Наука,1979. - С. 144-171).
Мы же не будем столь категоричными, тем более, что Гегель оставил тот способ, каким Платон определял фигуры элементов и соединения треугольников, без внимания, подчеркнув главное: у Платона "сущность чувственных вещей составляют ... треугольники" (Гегель Г.В.Ф. Лекции по истории философии. - Гегель: Соч. Т. 10, кн. 2. - С. 197). И Гегель продолжил далее: "Это основа понимания Платона, и тот способ, каким Платон определяет фигуры элементов и соединения треугольников, я оставляю без рассмотрения" (Там же).
Некоторые представители современной зарубежной философии пытаются представить Платона как предвестника математической физики. Например, С. Самбурский молчание Платона по поводу физического учения Демокрита объясняет платоновским презрением механистического и материалистического подхода атомистов. Тем не менее, Самбурский не в силах обойти аристотелевской критики идей Платона, которую он пытается сгладить. Создаётся впечатление, что Самбурский как бы жалеет Аристотеля за то, что тот, опираясь на свою традицию качественной теории, рассматривает математические предметы как абстракции от их осязаемых, воспринимаемых качеств. Аристотель "пропустил важный момент в теории Платона, который заключается в том, что определённые закономерности материи и изменений материи могут проистекать из геометрических отношений..." (Sambursky S. Physical world of late antiquity. - Hebrew University, Jerusalem. - London, 1962. - P. 33-34). Например, в ХХ веке В. Гейзенберг пришёл к выводу о десубстанциализации элементарных частиц (в основе сущего лежит не материя, а некие математические сущности). Он стал писать о том, что квантовая физика положила начало повороту от Демокрита к Платону (См.: Гейзенберг В. Открытие Планка и основные философские вопросы учения об атомах //Вопросы философии, № 11, 1958, - С. 62).
Подобные рассуждения становятся излишними при учёте математического атомизма Демокрита, ибо в этом аспекте противопоставлять концепции Демокрита и Платона не корректно. Это по сути дела одна и та же доктрина (См.: Лурье С.Я. Очерки по истории античной науки. - М.-Л., 1947. - С. 170). В пользу данного учения есть соответствующие свидетельства Плутарха (Там же.). Прежде всего отметим, что амеры Демокрита и элементарные платоновские треугольники - это математические неделимые элементы, которые лежат в основе бытия. У Демокрита амер представляет из себя минимум протяжения материи. Не являются чисто математическими объектами и элементарные треугольники Платона. Последние отличаются и от сугубо математических фигур, и от объектов физического мира. Вероятнее всего, платоновские треугольники - это геометрические фигуры, обладающие некоторыми физическими свойствами (См.: Ахундов М.Д. Проблема прерывности и непрерывности пространства и времени. - М.: Наука, 1974. - С. 45).
Атом Демокрита - это элемент, который не может содержать в себе пустого пространства, а у Платона выходит, что элементы суть пространства, ограниченные плоскостями. Однако пространство Платона - "кормилица происхождения" и есть начало телесное, материальное (См.: Платон. Тимей, 52А). Другими словами, оно не составляет форму стихий (за это несут ответственность ограничительные плоскости соответствующих правильных многогранников), а само их субстанциальное содержание. Это содержание проявляется в тех математических пропорциях, которым подчинены элементарные платоновские треугольники. Тем самым математический атомизм Демокрита, амеры которого были призваны для измерения длин в атомном мире, получил определённый количественный элемент.
Надо сказать, что математический атомизм Платона оказался легко уязвимым для критики континуалистов. Это и определило отрицательное отношение к концепции элементарных неделимых плоскостей уже у современников Платона. Например, Аристотель заметил, что концепция Платона нелепа, в то время как учению Демокрита нельзя отказать в логичности (См.: Аристотель. Соч. в 4-х т.: Т. 3. - С. 385). В трактате "О возникновении и уничтожении" данная мысль выражена наиболее рельефно (Аристотель. Соч. в 4-х т.: Т. 3. - М.: Мысль, 1981. - С. 385).
Решив проблему существования математических предметов, Аристотель совершает своего рода отрицание отрицания (См.: Чанышев А.Н. Курс лекций по древней философии. - М.: Высшая школа, 1981. - С. 310). В этом можно убедиться, если вспомнить, что пифагорейцы не отделяли числа от вещей и для этого геометризировали как тела, так и сами числа. Источники доносят, что вещи от чисел стали отделять академики, превратив последние в самостоятельные сущности, а Платон в последний период своей деятельности дошёл до того, что арифметизировал и сами идеи
С такой позицией был не согласен Аристотель, который возвратил числа в вещи, но не по-пифагорейски. Он полагал, что математические предметы не существуют ни в самих чувственных вещах, ни вне их. Математические предметы - только абстракции от одной из сторон реальных вещей (См.: Аристотель. О душе. - М., 1937. - Кн. 1, гл. 1. - С. 8). Такой поход особенно ярко проявился при анализе природы треугольника. Философия этой пространственной фигуры двух измерений у Аристотеля по существу становится логикой. Вот почему подавляющее количество геометрических примеров упоминается Аристотелем именно в логических трактатах.
Подобно тому, как сущностью каждой вещи является то, что с ней почти сливается, характеризуемое как её форма, также подлинной природой треугольника будет не треугольник вообще, как "род", а его конкретная, абстрагируемая от свойств реальных тел, геометрическая форма, проявляющаяся в фактическом равенстве или неравенстве его внутренних углов двум прямым. У Платона же треугольник всегда выступает как "род", как всеобщее и наделён самостоятельным существованием.
Аристотель в данном отношении решительно расходится с Платоном. Он чётко определяет, что "роды не существуют помимо видов" (Аристотель. Соч. в 4-х т.: Т. 1. - С. 108). Следовательно, "роды" не могут быть сущностями. Поэтому для Аристотеля немыслимо говорить, как это делали академики, о самостоятельной идее треугольника. Это важнейшее обстоятельство и сближает геометрический аспект аристотелевского понимания пространства с современной математикой.
Таким образом, если платоновская идея о дроблении треугольников по отношению к нашим физическим и математическим представлениям выступает как чисто внешняя и случайная аналогия, то мысль Аристотеля о природе треугольника, заключённая в свойствах самой прямой линии, гораздо ближе современным представлениям о пространстве с точки зрения его геометрии. Может показаться, что в вопросе о важности прямой линии для описания природы пространства Аристотель философски предвосхищает Фихте, который линии, как известно, отводил фундаментальную роль в процессе трансцендентальной дедукции категорий времени и пространства. Однако для Фихте прямая линия есть образ "ноуменального Я" или "чистой свободы". Для Аристо