Ex falso quodlibet

Материал из Неолурк, народный Lurkmore
Перейти к навигации Перейти к поиску

Ex falso quodlibet — выражение на латинском, описывающее логический принцип, который утверждает о том, что из противоречия можно доказать всё, что угодно. Как только было найдено противоречие, из него можно вывести всё, что угодно, в том числе совершенно абсурдные утверждения. Принцип был описан в книгах теолога Иоанна Скота, хотя есть свидетельства, что дописан уже после его смерти, в связи с чем в английской литературе его называют «принципом Псевдо-Скота». Также в некоторых источниках называется расширением/взрывом выводов (deductive explosion) или принципом расширения (principle of explosion).

По сути доказывает важность принципа непротиворечивости в любой логической системе: А и отрицание А не могут быть верными одновременно, или логическая система не имеет смысла.

Иными словами, единственной лжи достаточно, чтобы полностью скомпрометировать классическую логическую систему, сделав все выводы с её помощью непроверяемыми.

Описание[править]

Если рассмотреть утверждения A и B, в которых имеется противоречие и A одновременно является ложным и истинным (то есть истинно как A, так и отрицание А), то из выражения A ∨ B следует, что B является верным вне зависимости от своего значения: оно с одной стороны верно, так как A верно, а с другой стороны B должно быть верным, так как A ложно, а A ∨ B верно.

Таким образом становится понятно, что если в логической системе есть хотя бы одно противоречие, она оказывается скомпрометированной и все выводы из неё — недостоверными.

Пример использования принципа расширения:

  1. Известно, что «все лимоны желтые» и «не все лимоны желтые», оба утверждения одновременно верны,
  2. Соответственно, выражение «все лимоны желтые или феи существуют» также должно быть верным, так как первая часть выражения считается верной,
  3. Но так как «не все лимоны желтые» также является верным утверждением, то чтобы выражение из п.2 было верным, «феи существуют» должно быть верным.

Впоследствии с целью решить проблему E.F.Q. была разработана паранепротиворечивая логика, в которой из противоречия нельзя вывести истинность любого утверждения.[1]

Примечания[править]

Логотип Удафкома.jpg Заставляет двигаться мозги, а иногда и прямую кишку
СутьИскусствоЭнциклопедияЯ поэт, творец искусстваЭлектропетухПаровой петухБумажный мечСамиздатКосплейМузыкаПостапокалипсисМонстрМутантПрямоугольникЗомбиАнгелФэнтезиБарабанТелевидение • «Ничего не вышло» • Лекция (Зелёный слоник)КомишнАффтарЙогаПоэтНулевой каналAuthor.todayМашиах МосковскийРусские супергероиСпускСудная ночьАндеграундПаттернПостиронияМетаиронияСмакованиеОбзорщикИИ-художникИнфодампLoreАртистЧтенияДипфейкProza.ruСмерть автораRulateFanfics.meФикбук (Шыдевры) • ФанфикТретий свет (рассказ)ГрафоманияТаймскипMCКнигаАнтропоцентризм творчестваТворчествоЧто вижу, то поюМуляжЛюбое творчество ценноПодвигОтрывокOverseeНеканон
КнигиБиоробот Воин ИксСамосборДинамика астероида (книга)Вселенная СамосбораПчела-попаданецКниги века сегоМорфология волшебной сказкиДети против волшебниковНекрономиконХоббит, или Туда и обратноВедьмакWarhammer 40,000Майн КампфГолубой саксонский лесТрилогия о Морготе (ПтичкаОшибка МорготаБольшая ошибка Моргота) • Рождение АнгмараБаллада о ТуринеЛотлориэново видениеИстинный ИлуватарСказание о Дагор ДагоратЛордово лордствоОружие боговНеискажённоеKGBT+Игра престоловСвет, Тьма, ВесыДемон историиНаследство ПибодиПроклятие мандрагорыСмертник из рода ВалевскихМашина останавливаетсяЧувство силыПредставление (Иосиф Бродский)Пятая годовщинаКороль в желтом (пьеса)Разум (пьеса)Пьеса из АдаКрасный падаванНеполживые истории
ЖанрыКино... Музыка... АнимеМассовая культураКоролевская битваМейнстримЭпосRPFЗемля из космосаВебпанкDoomer MusicГримдаркРисование
ПерсонажиВильгефорцГотэм-СитиЭдорасСтаруха ШапоклякХалкКороль-Чародей АнгмараАнгмарМерула СнайдЁж СоникСауронИзенгардВоландДьявол-антигеройМерлинРозенкранц и ГильденстернОркиМелькорЛев ТолстойПервородныеДед Мороз и СнегурочкаМэри СьюВолдемортНазгулыШерлок ХолмсДоктор ВатсонПрофессор Мориарти • (Категория:Шерлок Холмс) • МордорСаруманТиматиХалбрандКелебримборАдарНиганТони СтаркДаша-следопытТёмный лордКлоунГеральт из РивииНекромантЁж ШэдоуДуримДейнерис ТаргариенТирион ЛаннистерБран СтаркСерсея ЛаннистерТаргариеныВсевидящее окоДеймон ТаргариенАльбус ДамблдорТразин НеисчислимыйСергей РазумовскийДжейме ЛаннистерГоханц ЧернейшийЛорд НекроновИзменяющий ПутиКостя ВоронинЕго ВоробейшествоМать драконовМалыш ЙодаНильфгаардТаносДжон СноуТворецНе такой шакал (Шкала) • СкейвеныКсексанотСанкционированные псайкерыДаолотИмператор ПалпатинМаленькая Бледная ДевочкаЭмгыр вар ЭмрейсДжон КонстантинМефистофельВойд
МемыMidjourneyDALL·E 2RuDALL-EThispersondoesnotexistТы путаешь звёздное небо и его отражение в прудуВильгефорц — отец ГеральтаСражение Оби-Вана и Дарта ВейдераФансервисСтарый софистShow must go onКак бы выглядела земля, если бы с неё исчезли тени?На словах ты Лев ТолстойСтиль SCPЗагадка24 часаНаше всёБейкер стрит 221БДед Мазай и ЗайцыЖрать стеклоЭзопов языкДа здравствует его величество император ПалпатинПоход в музейКукушка хвалит петухаВедьмаку заплатите чеканной монетойКазус ясновиденияЙиркВсё идёт по плануПока жареный петух не клюнетЦирк уехал, клоуны осталисьКровь давно ушла в землюCatch phraseТо 420Надписи на снарядахSometimes you just knowМногие знания, многие печалиI've seen horrorsSeems a thousand centuries agoЗапрет книг о Второй мировой войне в РоссииПочему не на орлах?Око СауронаДоведение до абсурдаТы не пройдешь!Дилдо БэггинсСвастикаDrawn TogetherКто пчёлок уважаетТы пчела, я пчеловодХалбранд это СауронТаке ревенгеЧастотная РеволюцияРифма-хуифмаКрайне больших размеров рояльЖукпукГрафонийДикий огоньNovelAIСтарик и золотая рыбкаПердят ли эльфы?Чудо сценарноеGo woke, go brokeКлоуны в творчестве ЛожкинаСпоры про перевод имени ХорусаЖизнь коротка, искусство вечноХудожника может обидеть каждыйВесь мир театр, а люди в нём актёрыИмена — просто маскаЗамена случайных слов на матерныеКрасная свадьбаВзрыв Септы БейлораPixelPlanetКарта метро Лебедева через сто летПоследняя осеньКартина с ядерным взрывомВечный порядокРазный ход времени в шахте и гореШтурм крепости ТьмыГибель некромантаОрки против нежитиЗакрытие порталаМагическое истощениеКак нарисовать совуФильтры фотографийРаздевание на фотографииХудожники против искусственного интеллектаDifferent Dimension MeВодки найдуЖелезный тронПрозаседавшиесяХГМЗакулисьеРейхенбахский водопадАэлита в шапкеПодбегай по одномуКремниевая пирамидаБаги в реальности
ДвиженияСоздание картин нейросетьюO'Reilly bookshelf storiesMini Dall-eСекс с нежитьюТеатр кошекЗамена супергероев на женщинПроезд в транспорте с оленемPiscArtIn universeOut of universeАнтихайпASCII-артНа независимость УкраиныMetacriticА жизнь тамНеформат (проект)Ex falso quodlibetФингербоксAsylumЮжный паркБарефутерыТверкПреЗеДентТвИздательство BubbleУбийство ГитлераNetflixUDS (United Digital Solutions)Сибирский языкПолиткорректный ретконMirkwood PressIMDb
Они портят всю картинуКопирастMetroVGDigital ProjectРАОХиро ТанакаАдаптация от NetflixДерьмодемонВозрастное ограничениеКакодемонЧёрная русалочкаПетух из навозаВайнФорсированная перспективаПамятник клещуРепрезентация трансов в искусствеИдиотекаПравила Тома СаксаВторжение гомосексуализма в массовую культуруПроблема иных форм жизни в искусствеПросмотр с концаОбеление образа вампировСпоры о каноне
ЛюдиBryozoneОлег АнтоненкоНиколай АнохинМоргенштернСергей СоколАлиса ФельВитя АК-47Кристофер ТолкинНеблагой дворПаук в центре паутиныКоровы-нацисты-зомбиМикробы-нацисты-зомбиИмператор ЧеловечестваПоэт ИмперииСветлый лордBELINSKYНезнайка на ЛунеШевченко Олег ГригорьевичДавид ЧеркасскийХанапи ЭбеккуевЕвгений Ваганович ПетросянJa Mi (музыкант)Иван ЕфремовOleg AprelМихаил ХаритоновЕвгений ЛисовскийДимон 317DiezelSunКалвин ЗибертAlanWakeБорис СударушкинСергей АрушановНамолорГеоргий ДаниловДмитрий ЗебровМаксим СтояловВиктор ЦойДжоан РоулингМайлз ПрауэрЕвгений Александрович МичковАлександр ФеклистовДмитрий НазаровPhobsLevicoptArtСергей СухиновЧад СтахелскиИван УргантМаксим ЧертановДжей Джей АбрамсАртём ЧирковЭнди ТараникFandom BattleЗаха ХадидАлёша СтупинДжизусКанье УэстКайли МиноугПал Палыч и Агриппина Кузьминична