Парадо́кс Ра́ссела — теоретико-множественный парадокс (антиномия), открытый в 1901 году британским математиком Бертраном Расселом и демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации наивной теории множеств Георга Кантора. Был открыт ранее, но не опубликован Эрнстом Цермело.
Ложь — сознательное искажение истины, высказанное с целью введения кого-либо в заблуждение.
Парадо́кс в широком смысле — высказывание, мнение, рассуждение, которое расходится с общепринятым мнением и кажется нелогичным или противоречащим здравому смыслу.
Теорема Гёделя о неполноте и вторая теорема Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Нау́чный ме́тод — система процедур, совокупность приёмов и операций практического или теоретического освоения действительности, а также регулятивных принципов, способов обоснования, образцов и т. д., которыми руководствуется в своей деятельности научное сообщество или конкретный специалист.
Закон исключённого третьего — закон классической логики, который формулируется следующим образом: два противоречащих суждения не могут быть оба ложными, одно из них будет истинно: а есть либо b, либо не b. Истинно либо утверждение некоторого факта, либо его отрицание. Третьего не дано.
Антино́мия — ситуация, в которой противоречащие друг другу высказывания об одном и том же объекте имеют логически равноправное обоснование и их истинность или ложность нельзя обосновать в рамках принятой парадигмы, то есть противоречие между признаваемыми одинаково верными положениями, или, другими словами, противоречие нескольких законов. Термин «антиномия» был предложен Гоклениусом.
Парадо́кс во́ронов, известный также как парадокс Гемпеля или во́роны Гемпеля — парадокс подтверждения, сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в противоречие с интуицией. Наиболее распространённый метод разрешения этого парадокса состоит в применении теоремы Байеса, которая соотносит условную и предельную вероятность стохастических событий.
«Крокоди́л и младе́нец» — логический парадокс (софизм), основанный на самореференции. Авторство приписывается Кораксу. По своей структуре софизм напоминает более известный парадокс лжеца и парадокс Эватла.
Парадо́кс Абили́на заключается в том, что группа людей может принять решение, противоречащее возможному выбору любого из членов группы, из-за того, что каждый индивидуум считает, что его цели противоречат целям группы, а потому не возражает.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит «Я лгу» или, более точно, «Данное утверждение ложно».
Философский зомби — гипотетическое существо, идентичное человеку по физическому телу вплоть до элементарных частиц и кварков, но не имеющее сознания. Философский зомби неотличим от человека за исключением того, что у него отсутствует сознательный опыт, квалиа или способность ощущать. Когда зомби, например, колет себя острым предметом, то он не чувствует боли. В то же время он ведёт себя так, как будто действительно её чувствует, хотя у зомби фактически нет опыта боли, как у предполагаемого «нормального» человека. Однако философский зомби намеренно пытается подражать человеку в болевом ощущении поскольку последними воспоминаниями на клеточном уровне о том моменте когда он был человеком и была боль, считая что в случае воспроизведения последнего болевого ощущения и получение последнего прижизненного опыта он сможет вернуть себе полноценную жизнь с чувствами и страстями.
Парадокс лотереи, сформулированный профессором Рочестерского университета Генри Кайбергом, возникает из рассмотрения шансов выигрыша в лотерею, в которой разыгрывается, например, 1000 лотерейных билетов, из которых один является выигрышным. Предположим, что событие весьма вероятно тогда, когда его вероятность больше 0,99. На этом основании рациональным представляется предположение, что первый билет этой лотереи не выиграет. Точно также рационально признать, что и второй билет также не выиграет, третий билет также не выиграет и т. д. вплоть до 1000-го билета, что равносильно признанию, что ни один билет не выиграет. Таким образом, мы приходим к противоречию: один билет лотереи обязательно должен выиграть, и в то же время никакой билет лотереи не может выиграть.
Парадокс Греллинга — Нельсона — семантический самодескриптивный парадокс, сформулированный в 1908 году Леонардом Нельсоном и Куртом Греллингом и иногда ошибочно приписываемый Герману Вейлю. Похож на ряд аналогичных известных парадоксов, таких как парадокс брадобрея и парадокс Рассела.
Сте́фан Я́бло — американский философ, специалист по философии логики, философии сознания, метафизике и философии языка. Создатель парадокса Ябло.
Эмпирические данные — данные, полученные через органы чувств, в частности, путём наблюдения или эксперимента. В философии после Канта полученное таким образом знание принято называть апостериорным. Оно противопоставляется априорному, доопытному знанию, доступному через чисто умозрительное мышление.
Парадокс Линдли — это контринтуитивная ситуация в статистике, при которой байесовский и частотный подходы к задаче проверки гипотез дают различные результаты при определённых выборах априорного распределения. Проблема разногласия между двумя подходами обсуждалась в книге Гарольда Джеффриса 1939 года. Проблема стала известна как парадокс Линдли после того, как Деннис Линдли высказал несогласие с парадоксом в статье 1957.
Диалетеи́зм — взгляд в современной неформальной логике и философии, согласно которому существуют подлинные противоречия, то есть предложения, являющиеся одновременно истиной и ложью. При этом допускается существование диалетей — одновременно ложных и истинных предложений, либо же единовременное отрицание и утверждение. Стоит отметить, что диалетеизм не передаёт тривиального убеждения в истинности всех противоречий.
Правдоподобие в философии науки — приближенность теории или гипотезы к истине в той или иной степени.
В классической логике, интуиционистской логике и подобных логических системах используется принцип взрыва, или принцип Псевдо-Скотуса — закон, согласно которому любое утверждение может быть доказано из противоречия. То есть, после утверждения противоречия из него можно вывести любое утверждение ; что также известно как дедуктивный взрыв.