Kontradiktion
I dagens värld fortsätter Kontradiktion att vara ett ämne av stor relevans och intresse för samhället. Oavsett om det beror på dess inverkan på ekonomin, dess inflytande på det dagliga livet eller dess betydelse i den sociala sfären, fortsätter Kontradiktion att vara en diskussions- och reflektionspunkt för människor i alla åldrar och bakgrunder. Genom historien har Kontradiktion spelat en grundläggande roll i vårt sätt att förhålla oss till omvärlden, och dess studie och förståelse förblir grundläggande för att förstå hur dagens samhälle fungerar. I den här artikeln kommer vi att utforska olika aspekter relaterade till Kontradiktion och dess inverkan på olika aspekter av det moderna livet.
|
|---|
| Deduktion |
|
Sann | Giltig | Sund |
| Modallogik |
|
Nödvändig | Möjlig | Kontingent |
| Härledningsbegrepp |
|---|
| Närliggande begrepp |
Kontradiktion. Två påståenden är kontradiktoriska, om de av logiska grunder inte båda kan vara sanna och ej heller båda falska. I formella system som satslogik och predikatlogik, är en kontradiktion en formel, som är falsk oberoende av dess variablers sanningsvärden, exempelvis satsen: P P, det vill säga: P och icke P. Symbolen för kontradiktion är ⊥ och kallas "falsum".
Ett exempel på två kontradiktoriska påståenden är: "Några svanar är vita" och "Ingen svan är vit".
Begreppet konträr har inte samma betydelse som begreppet kontradiktorisk. Två påståenden är konträra, om de av logiska grunder inte båda kan vara sanna, men båda vara falska. Exempelvis : "Alla svanar är vita" och "Ingen svan är vit".
Se även
Källor
- Geoffrey Hunter, Metalogic, An Introduction to the Metatheory of Standard First-Order Logic, MacMillan, London 1971.
| ||||||||||||||||||||||||||||||||||||||