Том 18. Открытие без границ. Бесконечность в математике | страница 17
Главной целью рассуждений Зенона было подтвердить правильность теорий Парменида (предполагается, что он был учителем Зенона), который утверждал, что все сущее является неделимым как в пространстве, так и во времени. Кроме того, Зенон также хотел поспорить с пифагорейцами, считавшими порождением всего сущего «непрерывный поток».
Следствием невозможности разделить время на промежутки стала невозможность движения, которое понималось как последовательность участков пространства, которые занимал объект в течение некоторого периода времени. Идея Зенона заключалась в следующем: если принять верной гипотезу, противоположную гипотезе Парменида, мы получим противоречие столь абсурдное, что оно будет абсолютно неприемлемо с позиций здравого смысла. Этот логический метод называется доведением до абсурда, и Зенон был если не создателем, то по меньшей мере одним из первых, кто широко использовал его.
Суть метода заключается в следующем: предполагается, что определенная гипотеза верна, и на ее основе делается ряд логических умозаключений, которые ведут к очевидно ложному результату, на основании чего делается вывод о ложности исходной гипотезы. В терминах логики в основе этого метода лежат следующие соотношения:
И => И
Л => Л
Л => И,
где И = ИСТИНА, Л = ЛОЖЬ, => — логическая связка, означающая «если… то». Иными словами, И => И означает, что из истинного утверждения следует другое истинное утверждение, таким образом, истинная предпосылка никогда не может вести к ложному следствию. Если же вывод ложный, то исходное положение неверно. С помощью этих логических умозаключений, лежащих в основе метода доведения до абсурда, можно было доказать ложность некоторого утверждения, что и делал Зенон в своих парадоксах.
Пифагорейцы считали, что реальность состоит из точек: точки образуют прямые, прямые — поверхности, поверхности — трехмерные тела. Зенон не принимал этого мнения, указывая, что поскольку точки не имеют размеров, то все составленное из них также не может иметь размеров, то есть не может существовать. Кроме того, все составленное из точек можно разделить на части бесконечное число раз, что ведет к множеству абсурдных ситуаций.
* * *
ПАРАДОКСАЛЬНЫЙ ОБРАЗ МЫШЛЕНИЯ
Парадокс — это особая форма аргументации. Его суть заключается в том, что некоторое утверждение принимается в качестве исходного, после чего путем корректных логических рассуждений из него выводится противоречащий здравому смыслу результат, тем самым правильность исходного утверждения ставится под сомнение. Логические парадоксы, впервые появившиеся в элейской школе, основывались на логических высказываниях, которые могли быть как истинными, так и ложными. Один из популярнейших парадоксов древности — так называемый «парадокс лжеца», изложенный Эпименидом Критским. Этот парадокс гласит: «Все критяне — лжецы». Эпименид не может говорить правду, так как он критянин, но в то же время если он лжет, его высказывание будет верным, и в результате возникает противоречие.