 |
Устранение и объяснение парадоксов
|
|
|
|
Введение
Парадокс в широком смысле - это утверждение, резко расходящееся с общепринятыми, устоявшимися мнениями, отрицание того, что представляется "безусловно правильным". Само греческое слово, от которого произведено слово "парадокс", буквально означало "необычное, странное, невероятное, замечательное".
Парадокс в более узком и более современном значении - это два противоположных утверждения, для каждого из которых имеются представляющиеся убедительными аргументы.
Особое место занимают парадоксы в математике и логике, так как "чистая математика" - абстрактная наука, построенная на теориях, которые не кажутся очевидными с первого взгляда. Здесь их статус глубоких и кардинальных проблем не подвергается сомнению. Тем более, что в математике, как ни в одной другой науке, особое внимание обращается на строгость и логическую последовательность доказательств. При этом часто возникают ситуации, в которых рассуждения, применяющиеся совсем недавно и считающиеся строгими, будут требовать дополнительного обоснования. Тогда математик просто излагает свои идеи в том виде, как они у него возникают. Однако часто возникает необходимость сделать выбор между методами изложения некорректными, но, быть может, плодотворными, и корректными, но позволяющими выразить мысль лишь в измененном виде и притом ценой значительных усилий. Ни тот, ни другой путь не свободен от опасностей. Первый путь ведет к возникновению и развитию новых теории и нового уровня абстракции, а, следовательно, и парадоксов, второй к "затуханию науки". Поэтому данная курсовая работа ставит перед собой цель рассмотреть понятие "парадоксов", их виды, а также проблемы парадоксов в математике и их значение для развития математической науки.
|
|
|
Глава I. Парадоксы в математике
Парадокс - это два противоположных утверждения, для каждого из которых имеются представляющиеся убедительными аргументы.
Парадоксы были типичными способами постановки проблем в античном мышлении. Сначала парадоксы рассматривались только как продукт философских измышлений, теперь наука признала их полноправными членами сообщества научных проблем.
Парадоксы возникают в современных прикладных науках также часто, как и в древних. В свое время (VII в. до н. э) вавилонские жрецы-астрологи заметили, что некоторые планеты временами замедляют движение, пятятся назад, а затем снова продолжают движение в обычном направлении. Гераклид Пантийский смог объяснить "явление блуждающих светил" с помощью математической теории эпицикла. Но при этом оставались другие проблемы - не все светила вели себя по этой схеме. Долгое время ученые с помощью своих теорий (геометрическая, механическая) не могли объяснить "дуализм света" (XVIII-XIX вв.), только предположение Д.К. Максвелла о электромагнитной природе света разрешило эту проблему. Таким образом, можно считать, что парадоксы возникают в науке там, где теория не описывает процессы должным образом. Разрешение таких парадоксальных явлений ведет в свою очередь к возникновению новых теорий.
Свойство парадоксов
Все парадоксы имеют одно общее свойство - самоприменимость (циркулярность). В каждом из них объект, о котором идет речь, характеризуется посредством некоторой совокупности объектов, к которой он сам принадлежит. Если мы выделяем, например, самого хитрого человека, мы делаем это при помощи совокупности людей, к которой относится и данный человек. И если говорим: "Это высказывание ложно", мы характеризуем интересующее нас высказывание путем ссылки на включающую его совокупность всех ложных высказываний.
|
|
|
Во всех парадоксах имеет место самоприменимость понятий, а значит, есть как бы движение по кругу, приводящее, в конце концов, к исходному пункту. Стремясь охарактеризовать интересующий нас объект, мы обращаемся к той совокупности объектов, которая включает его. Однако оказывается, что сама она для своей определенности нуждается в рассматриваемом объекте и не может быть ясным образом понята без него. В этом круге, возможно, и кроется источник парадоксов.
Устранение и объяснение парадоксов
Следует обратить внимание на одно важное различие. Устранение парадоксов и их разрешение - это вовсе не одно и то же.
Устранить парадокс из некоторой теории - значит перестроить ее так, чтобы парадоксальное утверждение оказалось в ней недоказуемым.
Каждый парадокс опирается на большое число определений, допущений и аргументов. Его вывод в теории представляет собой некоторую цепочку рассуждений. Формально говоря, можно подвергнуть сомнению любое ее звено, отбросить его и тем самым разорвать цепочку и устранить парадокс. Во многих работах так и поступают и этим ограничиваются. Но это еще не разрешение парадокса. Мало найти способ, как его исключить, надо убедительно обосновать предлагаемое решение. Само сомнение в каком-то шаге, ведущем к парадоксу, должно быть хорошо обосновано.
Прежде всего, решение об отказе от каких-то логических средств, используемых при выводе парадоксального утверждения, должно быть увязано с нашими общими соображениями относительно природы логического доказательства и другими логическими интуициями. Если этого нет, устранение парадокса оказывается лишенным твердых и устойчивых оснований и вырождается в техническую по преимуществу задачу.
Кроме того, отказ от какого-то допущения, даже если он и обеспечивает устранение некоторого конкретного парадокса, вовсе не гарантирует автоматически устранения всех парадоксов. Это говорит о том, что за парадоксами не следует "охотиться" поодиночке. Исключение одного из них всегда должно быть настолько обосновано, чтобы появилась определенная гарантия, что этим же шагом будут устранены и другие парадоксы.
Однако надо иметь в виду, что непродуманный и неосторожный отказ от слишком многих или слишком сильных допущений может привести просто к тому, что получится хотя и не содержащая парадоксов, но существенно более слабая теория, имеющая только частный интерес.
|
|
|
