consequentia

Consequentia, (lat. 'følge'), i middelalderlig logik betegnelse for udtryk af formen "hvis p, så q" eller "p, altså q", hvor p og q er udsagn.

Teorien om følger blev især udviklet i 1300-tallet (Walter Burley, Jean Buridan mfl.). Man skelnede bl.a. mellem formel og materiel følge; ifølge Jean Buridan er en følge formel, hvis den er holdbar, uanset hvilke betegnelser, der indsættes i stedet for dem, der forekommer i p og q. Fx er "Et vist A er et B, altså er et vist B et A" en formel følge.

Derimod er en følge materiel, hvis den kun er holdbar for bestemte betegnelser. Hvis man i følgen "Et menneske løber, altså løber et dyr" skifter "menneske" og "dyr" ud med "hest" og "bræt", får man den uholdbare følge: "En hest løber, altså løber et bræt". Den oprindelige følge er altså materiel.