Парадо́кс — ситуация (высказывание, утверждение, суждение или вывод), которая может существовать в реальности, но не имеет логического объяснения. Следует различать парадокс и апорию.
Апория, в отличие от парадокса, является вымышленной, логически верной, ситуацией (высказыванием, утверждением, суждением или выводом), которая не может существовать в реальности.
1. ПАРАДОКСЫ ПУТЕШЕСТВИЙ ВО ВРЕМЕНИ.
Временным парадоксом, или парадоксом путешествия во времени, называют логическое противоречие возникающее в случае, когда прибывший из будущего совершает поступок, влияющий в будущем на само это путешествие. Временные парадоксы делятся на две большие группы. Это, так называемые согласованные, иллюстрирующиеся, например, парадоксом убитого дедушки, и причинно-следственные петли.
Парадокс убитого дедушки был впервые описан писателем-фантастом Рене Баржавелем в книге 1944 года «Неосторожный путешественник» (фр. Le voyageur imprudent). Сюжет заключался в том, что человек с помощью машины времени отправился назад в прошлое, где убил своего биологического деда до того, как последний встретил бабушку путешественника. Результат предполагает, что один из родителей путешественника, а, как следствие, и сам путешественник, никогда бы не были рождены. То есть, в конечном итоге он не мог бы путешествовать во времени, что, в свою очередь, означает, его дед остался бы жив и путешественник был бы рождён, а это позволило ему путешествовать во времени и убить своего дедушку. Таким образом, каждая возможность подразумевает отрицание самой себя, создавая логический парадокс.
Причинно-следственная петля, называемая иногда, причинной петлёй, представляет собой последовательность событий, являющихся взаимной причиной друг друга. В качестве примера может быть рассмотрен катящийся по некоторой траектории бильярдный шар, перемещённый в прошлое машиной времени таким образом, что он ударяя по самому себе, и создаёт траекторию качения.
2. ПАРАДОКС МОНТИ ХОЛЛА
Парадокс Монти Холла — одна из известных задач теории вероятностей, решение которой, на первый взгляд, противоречит здравому смыслу.
Задача формулируется как описание игры, основанной на американской телеигре «Let’s Make a Deal», и названа в честь ведущего этой передачи. Наиболее распространённая формулировка этой задачи, опубликованная в 1990 году в журнале Parade Magazine, звучит следующим образом:
« Представьте, что вы стали участником игры, в которой вам нужно выбрать одну из трёх дверей. За одной из дверей находится автомобиль, за двумя другими дверями — козы. Вы выбираете одну из дверей, например, номер 1, после этого ведущий, который знает, где находится автомобиль, а где — козы, открывает одну из оставшихся дверей, например, номер 3, за которой находится коза. После этого он спрашивает вас — не желаете ли вы изменить свой выбор и выбрать дверь номер 2? Увеличатся ли ваши шансы выиграть автомобиль, если вы примете предложение ведущего и измените свой выбор? »
После публикации немедленно выяснилось, что задача сформулирована некорректно: не все условия оговорены. Например, ведущий может придерживаться стратегии «адский Монти»: предлагать сменить выбор тогда и только тогда, когда игрок первым ходом выбрал автомобиль. Очевидно, что смена первоначального выбора будет вести в такой ситуации к гарантированному проигрышу.
3. ЛОГИЧЕСКИЕ ПАРАДОКСЫ.
Парадоксы и апории дают нам повод переосмыслить существующие нерушимые модели, открывая двери для новых путей развития науки и логики. Путешествие во времени, бесконечное движение, а также истинное высказывание, которое на самом деле ложно.
