Logica is de systematische studie van redenering en geldige inferentie: het onderzoekt welke stappen van denken leiden van aannames naar juiste conclusies. De regels van de logica helpen filosofen, wetenschappers en iedereen die kritisch wil denken om geldige deducties te maken over de wereld. Logica helpt mensen te bepalen of iets waar is of niet, en onderscheidt geldig redeneren van toevallige of misleidende uitspraken.

Syllogismen

Logica wordt vaak in syllogismen weergegeven: dat zijn korte, formele redeneringen die bestaan uit één of meer premissen en een daaruit volgende conclusie. Een syllogisme combineert premissen om de conclusie logisch te rechtvaardigen. Een klassiek voorbeeld, afkomstig van de klassieke Griekse filosoof Aristoteles, is:

  1. Alle mannen zijn sterfelijk.
  2. Socrates is een man.
  3. Daarom is Socrates sterfelijk.

In dit voorbeeld vormen de eerste twee zinnen de premissen en de derde zin is de conclusie. De conclusie volgt logisch uit de premissen: als beide premissen waar zijn, dan moet ook de conclusie waar zijn.

Uitspraken en waarheidswaarde

Het syllogisme bestaat uit drie logische uitsprakenofstellingen. Deze stellingen zijn beweringen die een feitelijke inhoud hebben en dus een waarde voor de waarheid dragen: ze zijn waar of onwaar (maar niet allebei). In formele logica worden zulke beweringen vaak propositionele variabelen genoemd (bijv. P, Q, R) en kunnen ze gecombineerd worden met logische connectieven zoals "en", "of", "als...dan".

Geldigheid en soundness

Belangrijk is het onderscheid tussen geldigheid (validiteit) en waarheid (soundness):

  • Geldigheid: Een redenering is geldig als, wanneer de premissen waar zijn, de conclusie noodzakelijkerwijs ook waar is. Geldigheid gaat over de vorm van het argument, niet over de feitelijke inhoud.
  • Soundness (klopbaarheid): Een argument is sound wanneer het zowel geldig is als alle premissen daadwerkelijk waar zijn. Alleen een sound argument garandeert dat de conclusie waar is in de werkelijkheid.

Formele logica en regels van inferentie

Moderne logica omvat proposionele logica (werken met gehele uitspraken) en predikatenlogica (werken met eigenschappen en kwantoren zoals "alle" en "er bestaat"). Enkele basisregels van inferentie die vaak gebruikt worden:

  • Modus ponens: Als "Als P dan Q" en P waar is, dan volgt Q.
  • Modus tollens: Als "Als P dan Q" en Q niet waar is, dan volgt dat P niet waar is.
  • Reductio ad absurdum: Aantonen dat de tegenwerping leidt tot een tegenspraak, zodat de oorspronkelijke bewering bevestigd wordt.

Symbolische logica maakt redeneringen expliciet en controleerbaar, en vormt de basis voor wiskundige bewijsvoering, computerwetenschap en taalfilosofie.

Drogredenen (logische fouten)

Niet alle redeneringen die overtuigend klinken zijn correct. Ongeldige uitspraken of fouten in de redenering worden logische drogredenen genoemd. Veel voorkomende drogredenen zijn:

  • Ad hominem — de persoon aanvallen in plaats van het argument te weerleggen. Voorbeeld: "Je standpunt is fout omdat je niet genoeg ervaring hebt."
  • Stroman — het argument van de tegenstander vereenvoudigen of verdraaien om het makkelijker te bestrijden.
  • Vals dilemma — presenteren van slechts twee opties terwijl er meer mogelijk zijn.
  • Hellend vlak — beweren dat één stap onvermijdelijk leidt tot extreme en ongewenste gevolgen zonder bewijs voor die keten.
  • Equivocatie — hetzelfde woord in verschillende betekenissen gebruiken binnen één redenering.
  • Bevestigen van de consequent — foutief concluderen uit "Als P dan Q" en "Q" dat "P" waar is.
  • Ontkennen van de antecedent — foutief concluderen uit "Als P dan Q" en "niet P" dat "niet Q".

Herkennen van drogredenen vraagt oplettendheid: controleer of premissen waar zijn, of de vorm van het argument geldig is, en of er verborgen aannames of ambiguïteiten zijn.

Praktische tips om beter te redeneren

  • Maak premissen expliciet: schrijf uitspraken op en controleer hun waarheidswaarde.
  • Controleer de logische vorm: gebruik eenvoudige symbolen of diagrammen om relaties te visualiseren.
  • Let op taalverwarring: definieer belangrijke termen eenduidig om equivociatie te voorkomen.
  • Zoek naar tegenvoorbeelden: één tegenvoorbeeld is genoeg om een universele bewering te weerleggen.
  • Leer basisregels van inferentie (zoals modus ponens) en veelvoorkomende drogredenen om ze snel te herkennen.

Logica is dus niet alleen een abstract vakgebied van filosofen: het is een praktische vaardigheid die helpt helder en kritisch te denken, solide argumenten op te bouwen en verkeerde conclusies te vermijden.