• Artiklens indhold er godkendt af redaktionen

logisk kvadrat

Oprindelig forfatter JRyb Seneste forfatter Redaktionen

logisk kvadrat, oppositionskvadratet, diagram, der i anskuelig form fremstiller den klassiske logiks lære om forholdet mellem de fire domstyper i den aristoteliske domslære (se udsagn og syllogisme).

En A-dom er et universelt bekræftende udsagn af formen "Alle S er P". En E-dom er universelt benægtende: "Ingen S er P". En I-dom er delvis bekræftende: "Nogle S er P". En O-dom er delvis benægtende: "Nogle S er ikke P" (hvor S og P angiver hhv. subjekt og prædikat i dommene). Indsætter man samme subjekter og prædikater, fx mennesker og dødelig, i de fire domstyper, da vil der ifølge klassisk logik gælde særlige logiske forhold mellem dommene. Således vil hhv. A- og O-dommen og E- og I-dommen være hinandens kontradiktoriske modsætninger, dvs. hvis den ene er sand, er den anden falsk, og omvendt (hvis det fx er sandt, at alle mennesker er dødelige, da må det være falskt, at nogle mennesker ikke er dødelige, og omvendt). A- og E-dommen udgør hinandens kontrære modsætninger: De kan ikke samtidig være sande, men godt begge være falske. I- og O-dommen er hinandens subkontrære modsætninger: De kan ikke samtidig være falske, men godt begge være sande.

A- og I-dommen og E- og O-dommen siges at stå i et subalternationsforhold til hinanden, idet A-dommen logisk medfører I-dommen, og E-dommen logisk medfører O-dommen (fx medfører "Alle mennesker er dødelige", at "Nogle mennesker er dødelige").

Quiz
Hvad udvinder man morfin af?

1: kokablade
2: valmue
3: marguerit