Följdparadoxen
Från Rilpedia
Följdparadoxen är en paradox som följer av observationen att man inom klassisk logik alltid får ett giltigt argument när premisserna är inkonsistenta; med andra ord, inkonsistenta premisser implicerar vilken slutsats som helst. Detta tycks paradoxalt då det innebär att det följande är ett giltigt argument:
- Det regnar
- Det regnar inte
alltså
- Göran Persson är påve
Innehåll |
Att förstå paradoxen
Giltighet definieras inom klassisk logik på följande vis: Ett logiskt argument (bestående av premisser och en slutsats är giltigt om och endast om det inte finns någon möjlig situation där alla premisser är sanna och slutsatsen är falsk.
Ett exempel på ett sådant argument är:
- Om det regnar så existerar vatten (första premissen, alltid sann)
- Det regnar (andra premissen)
- Vatten existerar (slutsats)
I detta exempel finns det ingen möjlig situation där premisserna är sanna medan slutsatsen är falsk. Eftersom det inte existerar några motexempel så är argumentet giltigt.
Men man skulle kunna konstruera ett argument där premisserna är inkonsistenta. Detta skulle uppfylla kriteriet för ett giltigt argument eftersom det inte skulle finnas någon möjlig situation där alla premisser är sanna och slutsatsen är falsk.
Ett exempel på ett argument med inkonsistenta premisser är följande:
- Hitler var en känslig man (första premissen, sann)
- Hitler var inte en känslig man (andra premissen, falsk)
- Göran Persson är påve (slutsats, obevisbar)
Eftersom det inte finns några möjliga situationer där båda premisserna kan vara sanna så finns det ingen möjlig situation där premisserna kan vara sanna och slutsatsen falsk. Alltså är argumentet giltigt oavsett vilken slutsatsen är; ur inkonsistenta premisser följer alla slutsatsers sanning.
Förklaring av paradoxen
Anledningen till att paradoxen känns underlig, att det är just en paradox, är att definitionen av giltighet inom klassisk logik inte överensstämmer med vardagligt användande av den. I dagligt tal implicerat "giltighet" att premisserna är konsistenta. Föreslagna förbättringar av begreppet logisk giltighet innefattar strikt implikation och relevant implikation.
Se även
Referenser
- Barwise, Jon, Language, Proof and Logic
