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").

Læs mere i Den Store Danske

logik

Kommentarer

Kommentarer til artiklen bliver synlige for alle. Undlad at skrive følsomme oplysninger, for eksempel sundhedsoplysninger. Fagansvarlig eller redaktør svarer, når de kan.

Du skal være logget ind for at kommentere.

eller registrer dig