Парадокс воронов (или Во́роны Хемпеля): существование красного яблока увеличивает вероятность того, что все во́роны чёрные.
Доказательство одноцветности всех лошадей методом математической индукции.
Парадокс неожиданной казни: если сказать осуждённому на казнь, что она произойдёт в неожиданный для него день этой недели, то он логически придёт к выводу, что она не может произойти ни в один из дней недели. Тогда она и будет сюрпризом.
Парадокс сатанинской бутылки Стивенсона описывается схожей логикой.
Парадокс пьяницы: в любом непустом заведении всегда существует человек такой, что если он пьёт, то пьют и все остальные посетители.
Парадокс Кэрролла: «Whatever Logic is good enough to tell me is worth writing down…»
Парадокс лотереи: вполне ожидаемо (и философски проверяемо (англ.)), что данный конкретный билет не выиграет, но нельзя ожидать, что никакой билет не выиграет.
[править]Парадоксы самореференции (самоотносимости)
Это хорошо известный (и хорошо изученный) класс противоречий, возникающих в высказываниях, которые содержат определение чего-либо, неявно ссылающееся на само себя.
Парадокс Берри: фраза «наименьшее число, которое нельзя описать менее, чем десятью словами» описывает это число девятью словами.
Парадокс Карри: «Если это утверждение верно, то русалки существуют».
Парадокс Эпименида: критянин говорит: «Все критяне — лжецы».
Парадокс исключений (англ.): «Если у каждого правила есть исключения, то каждое правило должно иметь хотя бы одно исключение, кроме этого» …а это не исключение к правилу, которое утверждает, что у каждого правила есть исключения?
Парадокс Греллинга-Нельсона (англ.): Является ли слово «гетерологичный», означающее «неприменимый к самому себе», гетерологичным словом? (Близко к Парадоксу Рассела.)
Парадокс Гегеля: «История учит человека тому, что человек ничему не учится из истории».
Парадокс лжеца: «Это предложение ложно».
Y-комбинатор в лямбда-исчислении и комбинаторной логике был назван парадоксальным комбинатором так как он связан с самоотносимостью.
Парадокс Петрония: «Ограничивайте себя во всех вещах, даже в ограничении».
Парадокс Квина (англ.): «...влечёт за собой ложность, будучи добавленным к собственному цитированию» влечёт за собой ложность, будучи добавленным к собственному цитированию.
«Парадокс Эватла» (софизм Эватла): Протагор взял ученика Эватла при условии, что тот ему заплатит, когда выиграет первое дело. Случилось так, что Протагор подал иск на Эватла за то, что тот ему долго не платит. Должен ли Эватл заплатить, если он выиграет это дело?
Парадокс Рассела: содержит ли множество всех множеств, которые не содержат себя, само себя? Рассел популяризовал его в форме «парадокса брадобрея»: «Брадобрей бреет только тех людей, которые не бреются сами. Бреет ли он себя?»
Парадокс Ришара: если сопоставить все свойства чисел с числами, то можно определить такое свойство, которому не будет соответствовать никакое число.
[править]Парадоксы определений
Корабль Тесея: если каждый элемент корабля был заменён хотя бы один раз, можно ли считать корабль прежним кораблём?
Парадокс кучи (англ.). В какой момент куча перестанет быть кучей, если отнимать от неё по одной песчинке?
Парадокс лысого: если волосы с головы выпадают по одному, с какого момента человек становится лысым?
Парадокс интересных чисел: наименьшее неинтересное натуральное число интересно само по себе этим фактом, но тогда оно не относится к неинтересным.
