Из аксиом с помощью рассуждений выводятся заключения. Существует много типов рассуждений, например рассуждения по индукции, по аналогии и дедукции. Правильность заключения гарантирует лишь один из многих типов рассуждений. Заключение «Все яблоки красные», сделанное на основании того, что тысяча просмотренных яблок оказались красными, индуктивно и поэтому не абсолютно надежно. Заключение «Джон сможет окончить этот колледж», сделанное потому, что брат Джона, унаследовавший от родителей те же способности, окончил колледж, получено с помощью рассуждения по аналогии и заведомо не надежно. С другой стороны, дедуктивное рассуждение, несмотря на множество различных форм, гарантирует истинность заключения. Так, допуская, что все люди смертны и Сократ — человек, следует прийти к заключению, что Сократ смертен. Используемое в этом рассуждении правило логики является одной из форм суждения, которое Аристотель назвал силлогистическим выводом. К правилам дедуктивного рассуждения Аристотель относил также закон противоречия (никакое высказывание не может быть одновременно истинным и ложным) и закон исключенного третьего (любое высказывание должно быть либо истинным, либо ложным).
Аристотель, а вслед за ним и весь мир приняли за неоспоримую истину, что применение правил дедуктивного вывода к любым посылкам гарантирует получение заключений, не уступающих по надежности посылкам. Иначе говоря, если посылки истинны, то истинны и заключения. Следует отметить, в особенности для обсуждения в дальнейшем, что Аристотель абстрагировал правила дедуктивной логики из рассуждений, которыми тогда уже широко пользовались математики.{8} Дедуктивная логика — дитя математики.
Хотя почти все греческие философы считали дедуктивный вывод единственно надежным методом получения истины, Платон придерживался несколько иных взглядов. Не выдвигая возражений против дедуктивного доказательства, Платон тем не менее считал его поверхностным, поскольку математические аксиомы и теоремы существуют в некотором объективном, независимом от человека мире, и в соответствии с учением Платона об анамнезисе человеку необходимо лишь вспомнить эти аксиомы, чтобы сразу же распознать их неоспоримую истинность. Теоремы, если воспользоваться сравнением из диалога Платона «Теэтет», подобны птицам в птичнике. Они существуют сами по себе, и необходимо лишь «схватить» их. В диалоге Платона «Менон» Сократ с помощью искусно поставленных вопросов вытягивает из молодого раба утверждение, что площадь квадрата, построенного на гипотенузе равнобедренного прямоугольного треугольника, вдвое больше площади квадрата, построенного на любом из катетов. Сократ торжествующе заключает, что искусно поставленные вопросы помогли рабу, никогда не изучавшему геометрию, вспомнить теорему.
Важно правильно оценивать, сколь радикальной была приверженность дедуктивному доказательству. Предположим, что некий ученый, измерив сумму углов ста различных треугольников, отличающихся расположением, размерами и формой, обнаружил, что в пределах точности измерений сумма углов всегда оказывается равной 180°. Разумеется, ученый решил бы, что сумма углов любого треугольника равна 180°. Но его доказательство было бы индуктивным, а не дедуктивным — и поэтому неприемлемым с точки зрения математики. Он мог бы точно так же проверить сколько угодно четных чисел и убедиться, что каждое из них представимо в виде суммы двух простых чисел. Но подобная проверка не является дедуктивным доказательством, и ее результат не сочли бы за математическую теорему. Итак, мы видим, что дедуктивность доказательства — требование весьма ограничивающее. Тем не менее греческие математики, бывшие в большинстве своем философами, упорно настаивали на исключительном использовании дедуктивных рассуждений, так как именно дедукция приводит к абсолютным истинам, к вечным ценностям.
Предпочтение, отдаваемое философами дедуктивным рассуждениям, обусловлено еще одной причиной. Философов интересуют лишь самые общие факты, касающиеся человека и физического мира, а чтобы установить такие универсальные истины, как то, что человек по существу добр, что в мире царит порядок или что человеку есть ради чего жить, дедуктивный вывод из подходящих исходных принципов осуществим в гораздо большей мере, чем индукция или рассуждение по аналогии.
Еще одну причину того, что греки классического периода отдавали предпочтение дедукции, можно усмотреть в организации их общества. Философией, математикой и искусством, естественно, увлекались прежде всего состоятельные люди, а не те, кто занимался физическим трудом. Все домашнее и общественное хозяйство держалось на рабах, метеках (свободных людях, не имевших, однако, гражданских прав){9} и на свободных гражданах — ремесленниках; они же представляли все важнейшие профессии. Образованные свободные граждане не занимались физическим трудом и редко участвовали в торговых сделках. Платон провозгласил, что профессия лавочника недостойна свободнорожденного, и предложил подвергать наказанию всякого гражданина, который унизит себя подобным занятием, как совершившего преступление. Аристотель утверждал, что в идеальном государстве ни один гражданин (в отличие от рабов) не должен заниматься никаким ремеслом. Беотийцы (одно из греческих племен) запрещали тем, кто запятнал себя участием в торговых сделках, в течение десяти лет занимать общественные должности. В таком обществе эксперимент и наблюдение были мыслителям чужды. Считалось, что источники такого рода не могут помочь получить результаты научного, в частности математического, характера.
Хотя приверженность греков дедуктивному доказательству имела под собой немало оснований, не вполне ясно, кто из философов или какая группа мыслителей впервые продемонстрировали эту приверженность. Наши знания учений и трудов философов — до Сократа — носят, к сожалению, весьма фрагментарный характер, и, хотя на этот счет неоднократно высказывались различные мнения, ни одно из них не получило общего признания. Мы можем лишь с уверенностью утверждать, что во времена Аристотеля требование дедуктивности соблюдалось неукоснительно, так как Аристотель, формулируя в явном виде стандарты строгости, отмечает необходимость неопределяемых терминов и правил логического вывода.
Насколько удалось грекам осуществить свой план установления математических законов Вселенной? К счастью, лучшие достижения греческой математики, созданной усилиями Евклида, Аполлония, Архимеда и Клавдия Птолемея, дошли до нас. Хронологически все эти авторы относятся ко второму великому периоду греческой культуры, получившему название эллинистического или александрийского (300 г. до н.э. — 600 г. н.э.). В IV в. до н.э. царь Филипп Македонский предпринял попытку покорить персов, господство которых распространялось на весь Ближний Восток. Персы были традиционными врагами европейских греков. Филипп был убит, и на трон вступил его сын Александр. Александр Македонский разгромил персов и перенес культурный центр своей безмерно расширившейся империи в новый город, который он с присущей ему «скромностью» назвал в свою честь Александрией. Александр Македонский умер в 323 г. до н.э., но его план создания нового центра подхватили и продолжили его преемники в Египте, вошедшие в историю под именем династии Птолемеев.
Достоверно установлено, что Евклид жил и преподавал в Александрии около 300 г. до н.э. (сам Евклид скорее всего получил образование в Платоновской Академии в Афинах). Это почти единственная информация, которой мы располагаем о частной жизни Евклида. Свои труды Евклид облекал в форму обширных систематических дедуктивных обзоров отдельных открытий многих греческих авторов классического периода. В главном труде Евклида — «Началах» излагаются основные свойства пространства и пространственных фигур.
«Началами» Евклида отнюдь не исчерпывается его вклад в развитие геометрии пространства. Он посвятил коническим сечениям не дошедшее до нас сочинение, а уроженец города Перга в Малой Азии Аполлоний (262-190 гг. до н.э.), изучавший математику в Александрии, продолжил исследование параболы, эллипса и гиперболы и написал по этому предмету классический труд — «Конические сечения».
Архимед (287-212 гг. до н.э.), возможно получивший образование в Александрии{10}, но живший на Сицилии, добавил к чисто геометрическим достижениям греков трактаты: «О шаре и цилиндре», «О коноидах и сфероидах» и «Квадратура параболы», посвященных вычислению площадей и объемов сложных фигур и тел по методу, предложенному Евдоксом (390-337 гг. до н.э.) и получившему впоследствии название метод исчерпывания. В наши дни подобные задачи решаются методами интегрального исчисления.
