Deductieve correctheid bij Aristoteles en haar wetenschappelijke kwetsbaarheid - Over geldigheid, deugdelijkheid en het demonstratie-ideaal

1. Inleiding

Met “deductieve correctheid” bedoelt men doorgaans een norm voor redeneren: wanneer volgt een conclusie noodzakelijk uit premissen? Aristoteles is de eerste denker die zo’n norm systematisch uitwerkt in zijn syllogistiek (met name in de Prior Analytics), en die norm vervolgens integreert in een epistemologisch programma: het ideaal van demonstratie (apodeixis) als vorm van wetenschappelijke kennis (epistēmē) in de Posterior Analytics.

In dit essay behandel ik (i) wat deductieve correctheid voor Aristoteles precies inhoudt, (ii) waarom die maatstaf wetenschappelijk gezien kwetsbaar is, en (iii) hoe het moderne onderscheid geldigheid (validity) versus deugdelijkheid (soundness) zich slechts gedeeltelijk laat terugprojecteren op Aristoteles’ demonstratie-ideaal.

Met dank aan de lessen filosofie aan de Universiteit Antwerpen (UA).

2. Deductieve correctheid als “noodzakelijk volgen” (ex anankēs sumbainein)

2.1. De definitie van syllogisme als kern van correctheid

Aristoteles definieert een syllogisme (syllogismos) als een redevoering waarin - gegeven bepaalde uitspraken - iets anders daaruit “van noodzaak volgt”, zodat geen extra term “van buitenaf” vereist is om de gevolgtrekking noodzakelijk te maken.)

Twee elementen zijn hier beslissend:

1. Noodzakelijk gevolg: het criterium voor correctheid is niet psychologisch (“overtuigt het?”), maar modaal/structureel: uit de gestelde premissen kan de conclusie niet uitblijven. De Stanford Encyclopedia of Philosophy (SEP)-bespreking maakt expliciet dat dit “van noodzaak volgen” sterk aansluit bij een moderne notie van logische consequentie: het is onmogelijk dat de premissen waar zijn en de conclusie vals.
2. Zelfgenoegzaamheid van de inferentie: de verklaring waarom de conclusie volgt moet in de gegeven termen/premissen besloten liggen, niet in bijkomende aannames.

Dit is Aristoteles’ basisidee van deductieve correctheid: een vorm van waarheid-behoud onder noodzaak (al formuleert hij dit in termen-logische, niet waarheidstafel-semantische termen).

2.2. Correctheid is niet hetzelfde als wetenschap

Cruciaal: bij Aristoteles is “correct syllogistisch” nog geen “wetenschappelijk”. Een syllogisme kan deductief correct zijn en toch (a) vertrekken van dubieuze of zelfs valse premissen, of (b) geen verklaring geven van waarom de conclusie geldt. De Posterior Analytics introduceert daarom een strengere norm: demonstratie als specifieke soort deductie.

3. Het demonstratie-ideaal: meer dan correcte deductie

3.1. Demonstratie als deductie die kennis voortbrengt

We kunnen Aristoteles’ kernstelling samenvatten als: een demonstratie (apodeixis) is “een deductie die kennis voortbrengt”. Maar dat “kennis” hier epistēmē betekent: niet louter ware overtuiging, maar inzicht in noodzakelijkheid en oorzaakstructuur binnen een domein.

3.2. Eisen aan demonstratieve premissen: waarheid, prioriteit en causaliteit

Aristoteles stelt dat demonstratieve kennis slechts mogelijk is als de premissen (samengevat) waar, primair, onmiddellijk, beter-gekend, eerder en oorzakelijk zijn ten opzichte van de conclusie.

Hier verschijnen drie lagen die verder gaan dan louter deductieve correctheid:

• Alethische laag: premissen moeten waar zijn (niet enkel aangenomen).
• Epistemische laag: premissen moeten “beter bekend” en “prior” zijn (in een relevante zin: beter kenbaar/verklarend).
• Explanatoire/causale laag: premissen moeten de conclusie verklaren; in Aristoteles’ model is de middelterm niet alleen een inferentiële schakel, maar de drager van het waarom (de oorzaak).

Dat laatste punt maakt het demonstratie-ideaal opvallend: het is geen “bewijs” in moderne minimalistische zin, maar een norm voor verklarende afleiding.

3.3. Het probleem van eerste beginselen (archai)

Demonstraties kunnen niet alles bewijzen: een wetenschap heeft onbewijsbare eerste beginselen nodig. Aristoteles situeert de kennis daarvan in nous (intellectuele inzichtsgreep), en schetst een weg van menselijke perceptie (zonder externe hulmiddelen) → geheugen → ervaring → universaliteit → grasp van beginselen.

Dit punt is meteen ook een kwetsbaarheid (zie §5): de strengheid van het ideaal verschuift de epistemische last naar het bezit van zekere eerste beginselen.

4. Geldigheid en deugdelijkheid: het moderne onderscheid (validity vs soundness)

4.1. Geldigheid (validity)

In hedendaagse logica is een deductief argument geldig als het onmogelijk is dat de premissen waar zijn en de conclusie toch vals. Geldigheid is dus primair een eigenschap van de inferentiële vorm/relatie, niet van de feitelijke waarheid van de premissen.

4.2. Deugdelijkheid (soundness)

Een argument is deugdelijk als het (i) geldig is én (ii) feitelijk ware premissen heeft.In veel moderne handboeken is dit een argument-eigenschap. Daarnaast bestaat “soundness” ook als meta-eigenschap van een bewijsstelsel t.o.v. een semantiek (geen onware conclusies uit ware premissen afleidbaar).

In de context van dit essay vooral de argument-notie relevant: geldig + ware premissen.

5. Terugprojectie op Aristoteles: wel en niet

5.1. Geldigheid versus Aristoteles’ “noodzakelijk volgen” (vrij goed)

Het moderne geldigheidsbegrip laat zich behoorlijk direct verbinden met Aristoteles’ definitie: “resulting of necessity” is precies het idee dat waarheid van premissen geen ruimte laat voor valsheid van de conclusie.

Met een belangrijke caveat: Aristoteles formaliseert geldigheid binnen termen-logische vormen (categorische proposities, predicatie-structuren), niet binnen propositionalistische of kwantorlogische semantiek. Maar als norm (noodzakelijk gevolg) is de overeenkomst substantieel.

Met “propositionalistische” en “kwantorlogische” semantiek bedoel ik de standaard, moderne manieren om betekenis en geldigheid te definiëren voor respectievelijk (i) propositielogica en (ii) predikaatlogica met kwantoren.Wanneer Aristoteles niet in “propositionalistische of kwantorlogische semantiek” werkt, betekent dat hij geldigheid en afleiding analyseert via syllogistische vormen en termen-relaties, niet via de moderne semantische machinerie van waarheidswaarde-toekenningen (propositielogica) of modellen met domeinen/interpretaties (kwantorlogica).

5.2. Deugdelijkheid versus demonstratie? (slechts gedeeltelijk)

Deugdelijkheid (geldig + ware premissen) lijkt op het eerste gezicht dicht bij Aristoteles’ demonstratie, omdat demonstratieve premissen waar moeten zijn. Toch is het strikt genomen niet hetzelfde:

Soundness is zwakker dan demonstratie: soundness vereist niet dat premissen primair, onmiddellijk, beter-gekend of oorzakelijk verklarend zijn; Aristoteles wél.

Demonstratie is “epistemisch-explanatoir”: voor Aristoteles is een bewijs pas wetenschappelijk als het inzicht in het waarom levert (via oorzakelijkheid/middelterm), niet enkel in het dat (waarheid van de conclusie).

Je kunt dus zeggen: geldigheid projecteert relatief netjes terug op Aristoteles’ basismodel van syllogistische correctheid; deugdelijkheid projecteert slechts ruwweg terug, en dan nog als noodzakelijke maar niet voldoende voorwaarde van demonstratie.

6. De wetenschappelijke zwakte van Aristoteles’ deductieve correctheid en demonstratie-ideaal

Met “zwakte” bedoel ik hier: waarom is een norm die intern logisch aantrekkelijk is, toch problematisch als model voor wetenschappelijke praktijk en groei van kennis?

6.1. Waarheid-behoud is epistemisch inert wanneer premissen onzeker zijn

Deductieve geldigheid garandeert: als de premissen waar zijn, dan is de conclusie waar. Maar wetenschappen werken vaak met onzekere, probabilistische, meet- en modelafhankelijke premissen. Deductieve correctheid alleen “tilt” die onzekerheid niet op; zij transporteert haar. Literatuur over logica en waarschijnlijkheid benadrukt precies dit punt: validiteit legt geen voorwaarden op aan de (on)zekerheid van premissen; een geldig argument kan onzekere premissen hebben en levert dan typisch een onzekere conclusie.

Het probleem is niet dat deductie nutteloos is, maar dat deductieve correctheid niet het soort rechtvaardiging levert dat empirische wetenschap nodig heeft wanneer haar input onzeker is.

6.2. Strenge eisen aan eerste beginselen maken het ideaal moeilijk realiseerbaar

Aristoteles erkent zelf (en moderne commentaren benadrukken dit) dat veel reële redeneringen vertrekken van endoxa - breed gedeelde of door wijzen onderschreven opinies - en dat we zelden starten met volledig veiliggestelde eerste beginselen.Dit is niet louter een historische observatie, maar een structureel punt: het demonstratie-ideaal verschuift het fundament naar archai die niet gedemonstreerd kunnen worden en die via nous gekend moeten zijn.

Wetenschappelijk gezien is dit kwetsbaar omdat:

• de methodologische criteria voor zo’n nous-grasp niet transparant of reproduceerbaar zijn (in elk geval niet op dezelfde wijze als experiment/statistiek), en
• er een risico op dogmatisme of regress ontstaat: wie de beginselen betwist, wordt buiten het demonstratieve kader geplaatst in plaats van erin geadresseerd.

Ik formuleer dit voorzichtig: Aristoteles biedt wél een verhaal (menselijke perceptie → ervaring → universaliteit), maar het blijft controversieel hoe sterk dit epistemisch is, en er is de potentiële  interpretatieve onenigheid rond nous.

6.3. Noodzakelijkheid en essentialisme passen slecht bij contingent natuuronderzoek

Aristoteles modelleert wetenschap als een systeem waarin waarheden uit eerste beginselen worden afgeleid én causale verklaringen geven. Dat werkt het best voor domeinen die hij als (ten minste in relevante zin) noodzakelijk en essentieel structureerbaar beschouwt. Moderne natuurwetenschap heeft echter veel succes geboekt met:

• wetten die statistisch of ceteris-paribus zijn,
• modellen die idealiseren,
• verklaringen die niet altijd in essenties, maar in mechanismen, interacties en schaalafhankelijke beschrijvingen opereren.

Dit is geen anachronistische afrekening; het is een diagnose van fit: Aristoteles’ demonstratie-kader is bijzonder veeleisend en daardoor slecht afgestemd op disciplines waarin (i) wetten probabilistisch zijn en (ii) beginselen revisabel blijven.

N.B.: Ceteris paribus is Latijn voor “als al het andere gelijk blijft” (letterlijk: “de overige dingen zijnde gelijk”). Aristoteles’ demonstratie-ideaal mikt op uitspraken die zonder uitzonderingen en (in zijn sterke zin) noodzakelijk gelden binnen een domein. Veel moderne wetenschappen werken echter met generalisaties die expliciet of impliciet ceteris-paribus zijn: ze zijn robuust als vuistregel of modelwet, maar niet absoluut zonder enige uitzondering.

6.4. Verklaringskracht is niet hetzelfde als afleidbaarheid alleen

Aristoteles identificeert in het demonstratie-ideaal een aantrekkelijke gedachte: het “beste” bewijs is datgene dat tegelijk een waarom geeft. De zwakte is echter dat in veel wetenschappen verklaring en deductie niet samenvallen: verklaringen kunnen model-relatief zijn; deductieve afleiding kan zonder echte explanatoire relevantie plaatsvinden; en omgekeerd kan explanatoire inzicht bestaan zonder sluitende deductieve afleiding uit “primaire, onmiddellijke” premissen.

7. Tot slot

Deductieve correctheid bij Aristoteles is primair het criterium van “noodzakelijk volgen” binnen syllogistische structuren: een conclusie volgt correct wanneer zij uit de premissen met noodzakelijkheid voortvloeit. Maar Aristoteles’ wetenschapsopvatting stelt méér eisen: een demonstratie is een deductie die kennis voortbrengt doordat zij vertrekt van ware, primaire, onmiddellijke en oorzakelijk verklarende premissen.

Het moderne onderscheid geldigheid versus deugdelijkheid projecteert slechts gedeeltelijk terug:

• Geldigheid (validit) correspondeert vrij goed met Aristoteles’ “noodzakelijk volgen”.
• Deugdelijkheid (geldig + ware premissen, soundness) is hoogstens een ruwe benadering van demonstratie, omdat Aristoteles bovendien epistemische prioriteit en causaliteit eist - voorwaarden die boven deugdelijkheid (soundness) uitstijgen.

De wetenschappelijke zwakte zit dan ook niet in deductie als zodanig, maar in de mismatch tussen (i) de idealiserende demonstratie-vereisten (zekere eerste beginselen, noodzakelijkheid, causaliteit in de middelterm) en (ii) de feitelijke epistemische situatie van veel empirische wetenschappen (onzekerheid, probabiliteit, revisie, model-afhankelijkheid).

Bronnen (selectie)

Aristoteles, Prior Analytics (definitie van syllogisme).

Aristoteles, Prior Analytics (definitie van syllogisme). (Earl Haig)

Aristoteles, Posterior Analytics (voorwaarden voor demonstratie; eerste beginselen).

R. Smith, “Aristotle’s Logic”, Stanford Encyclopedia of Philosophy (SEP, syllogisme, noodzaak, demonstratie, nous).

“Aristotle”, Stanford Encyclopedia of Philosophy (endoxa, praktijk vs ideaal; pad naar beginselen).

“Validity and Soundness”, Internet Encyclopedia of Philosophy (IEP, moderne definities).

“Classical Logic”, Stanford Encyclopedia of Philosophy (soundness als metatheoretische eigenschap).

“Logic and Probability”, Stanford Encyclopedia of Philosophy (validiteit en onzekerheid).