Реферат: Парадоксы в науке

Впрочем, нужно заметить, что грань между софизмами и парадоксами не является четко определенной. В случаях многих конкретных рассуждений невозможно решить на основе стандартных определений софизма и парадокса, к какому из этих двух классов следует отнести данные рассуждения. Хорошо известный «Парадокс лжеца» был придуман, как софизм, однако в последствие получил статус парадокса, поскольку его противоречивость говорит о какой-то логической ошибке, но в чем она и как её устранить до сих пор остаётся загадкой.

1.2 Классификации парадоксов

Таким образом, парадокс – это противоречие, а не ошибка, его появление нельзя объяснить желанием сознательно исказить положение дел или незнанием какой-то детальной информации. Он коренится глубже и свидетельствует об объективно сложившемся противоречивом состоянии дел.

Первые парадоксы были известны уже в глубокой древности, существуют и современные парадоксы. Некоторые из этих противоречий удалось решить путём создания новых теорий, переосмысления устоявшихся, но несовершенных законов. Другие – так и остались неразрешенными. Считается, что ученые относятся к парадоксам с неприязнью, их называют «патологиями» науки и стремятся как можно скорее от них избавиться. Однако это не всегда удаётся. В настоящее время не существует науки, в которой бы никогда не возникала парадоксов. Их находили в психологии, лингвистики, физике и даже в таких точных науках как логика и математика.

Сейчас сложно подсчитать, как много существует парадоксов: они многочисленны, разнообразны по своей природе и структуре. Поэтому ученые пытаются их структурировать, объединить в какую-либо систему. Вот примеры некоторых классификаций:

Традиционная классификация, идущая от Рамсея (1926), делит парадоксы на логические и семантические. Это классификация проста и удобна, однако М.М. Новосёлов замечает, что рамсеевская классификация парадоксов не делает различия между чистой и прикладной логикой. Однако, это различие существенно, поскольку в чистой логике нельзя обнаружить что-либо парадоксальное, непротиворечивость этих систем доказана. Только в прикладной логике есть гипотезы и предпосылки, которые придают доказательствам относительный (условный) характер и которые, в случае обнаружения противоречий, приходится исключать. Поскольку в данной классификации подобного различия не проводится, все беды, связанные с парадоксами как бы перекладываются на какой-то таинственный противоречивый характер нашего мышления, что даёт возможность недоброжелателям говорить о кризисе в логике.

М.М. Новосёлов предлагает иную классификацию парадоксов, которая, по его мнению, более детально обращает внимание на особенности допущений (и принципов) весьма общего порядка, способных проявиться в основе того или иного парадокса. Данная классификация разделяет парадоксы на:

1) парадоксы, связанные с математической индукцией (парадокс кучи, космологические парадоксы; парадокс Хао-Вана, связанный с неоднозначностью натурального ряда в аксиоматической теории множеств и формализуемостью доказательств непротиворечивости);

2) парадоксы релевантности (т.е. те, в основе которых лежит допущение о возможности игнорировать подробности смысловых связей); с этими парадоксами связаны и парадоксы математической индукции, так как попытки освободиться от этих парадоксов основаны на математической индукции;

3) парадоксы отождествлений (в основе которых лежит допущение о независимости тождества от отождествлений); они также связаны с парадоксами математической индукции и парадоксами актива-пассива;

4) семантические парадоксы (основанные на допущение об осмысленности отношения обозначения);

5) теоретико-множественные парадоксы (сводимые к предыдущим);

6) парадоксы актива-пассива (отождествление происходящего с производимым и т.п.; к ним относятся парадоксы о необходимости начала мира, антиномии Канта); кроме того, из-за парадоксов актива-пассива возникают парадоксы отождествлений, а также следующие группы парадоксов:

7) парадоксы модальностей , которые допускают дальнейшую классификацию: отождествление возможного с действительным, ошибка смещения целей (приводящая к тому, что достаточное считается необходимым и т.п.); пренебрежение условиями возможности (что связано с парадоксами релевантности и приводит к смешению возможности с действительностью); парадокс «утренняя звезда»

8) парадоксы из-за смещения интуитивных понятий с четко определенными (они родственны семантическим парадоксам)[7, С.76-77].

В электронной энциклопедии Wikipedia приводится следующая классификация парадоксов:

I . Логические:

- парадокс импликации: несовместные посылки делают аргумент верным;

- парадокс воронов (или Во́роны Хемпеля): существование красного яблока увеличивает вероятность того, что все во́роны чёрные;

- парадокс неожиданной казни: если сказать осуждённому на казнь, что она произойдёт в неожиданный для него день этой недели, то он логически придёт к выводу, что она не может произойти ни в один из дней недели. Тогда она и будет сюрпризом;

- парадокс пьяницы: в любом непустом заведении всегда существует человек такой, что если он пьёт, то пьют и все остальные посетители;

- парадокс лотереи: вполне ожидаемо (и философски проверяемо), что данный конкретный билет не выиграет, но нельзя ожидать, что никакой билет не выиграет.

II . Парадоксы самореференции (самоотносимости):

Это хорошо известный (и хорошо изученный) класс противоречий, возникающий из-за ссылки на само себя.

- парадокс Берри: фраза «наименьшее число, которое нельзя описать менее, чем десятью словами» описывает это число девятью словами;

- парадокс Эпименида: Критянин говорит: «Все критяне - лжецы»;

- парадокс исключений: «Если у каждого правила есть исключения, то каждое правило должно иметь хотя бы одно исключение, кроме этого» …а это не исключение к правилу, которое утверждает, что у каждого правила есть исключения?

- парадокс Греллинга-Нельсона: является ли слово «гетерологичный», означающее «неприменимый к самому себе», гетерологичным словом?