Ex falso quodlibet — выражение на латинском, описывающее логический принцип, который утверждает о том, что из противоречия можно доказать всё, что угодно. Как только было найдено противоречие, из него можно вывести всё, что угодно, в том числе совершенно абсурдные утверждения. Принцип был описан в книгах теолога Иоанна Скота, хотя есть свидетельства, что дописан уже после его смерти, в связи с чем в английской литературе его называют «принципом Псевдо-Скота». Также в некоторых источниках называется расширением/взрывом выводов (deductive explosion) или принципом расширения (principle of explosion).
По сути доказывает важность принципа непротиворечивости в любой логической системе: А и отрицание А не могут быть верными одновременно, или логическая система не имеет смысла.
Иными словами, единственной лжи достаточно, чтобы полностью скомпрометировать классическую логическую систему, сделав все выводы с её помощью непроверяемыми.
Если рассмотреть утверждения A и B, в которых имеется противоречие и A одновременно является ложным и истинным (то есть истинно как A, так и отрицание А), то из выражения A ∨ B следует, что B является верным вне зависимости от своего значения: оно с одной стороны верно, так как A верно, а с другой стороны B должно быть верным, так как A ложно, а A ∨ B верно.
Таким образом становится понятно, что если в логической системе есть хотя бы одно противоречие, она оказывается скомпрометированной и все выводы из неё — недостоверными.
Пример использования принципа расширения:
- Известно, что «все лимоны желтые» и «не все лимоны желтые», оба утверждения одновременно верны,
- Соответственно, выражение «все лимоны желтые или феи существуют» также должно быть верным, так как первая часть выражения считается верной,
- Но так как «не все лимоны желтые» также является верным утверждением, то чтобы выражение из п.2 было верным, «феи существуют» должно быть верным.
Впоследствии с целью решить проблему E.F.Q. была разработана паранепротиворечивая логика, в которой из противоречия нельзя вывести истинность любого утверждения.[1]
Заставляет двигаться мозги, а иногда и прямую кишку
|
Суть | Энциклопедия • Я поэт, творец искусства • Электропетух • Паровой петух • Бумажный меч • Самиздат • Косплей • Музыка • Постапокалипсис • Монстр • Мутант • Прямоугольник • Зомби • Ангел • Фэнтези • Телевидение • «Ничего не вышло» Лекция (Зелёный слоник) • Author.today • Машиах Московский |
Книги | Самосбор • Динамика астероида (книга) • Вселенная Самосбора • Пчела-попаданец • Книги века сего • Морфология волшебной сказки • Дети против волшебников • Некрономикон • Хоббит, или Туда и обратно • Ведьмак • Warhammer 40,000 |
Фильмы | Warcraft (фильм) • Звёздные войны • Сердце Ивлеевой • Розенкранц и Гильденстерн — нежить • Паразиты (фильм, 2019) • Warcraft • Гарри Поттер • Киновселенная Марвел • Побег из Даннеморы (фильм, 2018) • Чернобыль (фильм, 2019) • Алжир (фильм, 2019) • Последние цари (фильм) |
Сериалы | Если бы у Императора был преобразователь текста в речь • Екатерина (телесериал 2014-2019) • Эпидемия (телесериал, 2019-2022) • Во плоти (телесериал, 2013) • Ответ в 1988 (телесериал, 2015) • Очень странные дела (сериал, 2016-2018) • Море спокойствия (сериал, 2021) • Моё имя (телесериал, 2021) • Поезд в Пусан • Игра в кальмара (телесериал, 2021) • Королевство (телесериал, 2019) • Властелин колец (телесериал) • Великолепный век (телесериал, 2011-2014) • Ходячие мертвецы • Бойтесь ходячих мертвецов • Крылья Империи (телесериал, 2017-2019) • Игра престолов • Остров Харпера (телесериал, 2009) |
Музыка | Юрий Шатунов • Клэр Буше (Grimes) • 1.Kla$ • Диско • Baccara • RYTP • Группа «Ебанько» |
Аниме | W.I.T.C.H. (за авторством Витчефагов) • Seishoujo Sentai Lakers • Ниган • Sora no Shinpei • Konpeki no Kantai |
Персонажи | Изенгард • Воланд • Дьявол-антигерой • Мерлин • Розенкранц и Гильденстерн • Орки • Мелькор • Лев Толстой • Первородные • Дед Мороз и Снегурочка • Мэри Сью • Волдеморт • Назгулы • Шерлок Холмс • Доктор Ватсон • Профессор Мориарти • (Категория:Шерлок Холмс) |
Мемы | Сражение Оби-Вана и Дарта Вейдера • Фансервис • Старый софист • Show must go on • Как бы выглядела земля, если бы с неё исчезли тени? • На словах ты Лев Толстой • Стиль SCP • Загадка • 24 часа • Наше всё • Бейкер стрит 221Б • Дед Мазай и Зайцы • Жрать стекло • Эзопов язык • Да здравствует его величество император Палпатин • Поход в музей • Кукушка хвалит петуха • Ведьмаку заплатите чеканной монетой • Казус ясновидения • Йирк • Всё идёт по плану • Пока жареный петух не клюнет • Цирк уехал, клоуны остались • Кровь давно ушла в землю • Catch phrase • То 420 • Надписи на снарядах • Sometimes you just know • Многие знания, многие печали • I've seen horrors • Seems a thousand centuries ago • Запрет книг о Второй мировой войне в России • Почему не на орлах? • Око Саурона • Доведение до абсурда • Ты не пройдешь! |
Движения | Проезд в транспорте с оленем • PiscArt • In universe • Out of universe • Антихайп • ASCII-арт • На независимость Украины • Metacritic • А жизнь там • Неформат (проект) • Ex falso quodlibet • Фингербокс • Asylum • Южный парк • Барефутеры • Тверк • ПреЗеДентТв • Издательство Bubble • Убийство Гитлера • Netflix • UDS (United Digital Solutions) • Сибирский язык |
Люди | Неблагой двор • Паук в центре паутины • Коровы-нацисты-зомби • Микробы-нацисты-зомби • Император Человечества • Поэт Империи • Светлый лорд • BELINSKY • Незнайка на Луне • Шевченко Олег Григорьевич • Давид Черкасский • Ханапи Эбеккуев • Евгений Ваганович Петросян • Ja Mi (музыкант) • Иван Ефремов • Oleg Aprel • Михаил Харитонов • Евгений Лисовский |