Denkende Machines -- Computers, rekenen, redeneren - CWI
Denkende Machines -- Computers, rekenen, redeneren - CWI
Denkende Machines -- Computers, rekenen, redeneren - CWI
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
60 HOOFDSTUK 2. REKENEN EN REDENEREN<br />
2.4.7 De Mechanisering van het Redeneren<br />
Met het blootleggen van de basiswetten van een logische rekenkunde zijn we al een heel eind<br />
onderweg naar de realisering van de droom van Leibniz, het reduceren van <strong>redeneren</strong> tot <strong>rekenen</strong>.<br />
Er ontbreekt echter nog één stap, het maken van een machine die deze logische rekenkunde<br />
hanteert en logische equivalenties kan toetsen. Wij gaan zo’n machine hier niet ontwerpen,<br />
maar we hebben in feite al een heel mechanische methode gezien om logische equivalentie te<br />
be<strong>rekenen</strong>: de waarheidstabel. Je kunt een computer vrij makkelijk programmeren om gewoon<br />
alle mogelijke situaties te beschouwen, en te kijken of de twee formules in elke situatie dezelfde<br />
waarheidswaarde hebben. Zoals we al hebben opgemerkt, als er n verschillende propositieletters<br />
in de twee formules voorkomen moet de computer 2 n situaties checken, zodat deze procedure bij<br />
wat ingewikkeldere formules veel tijd kost. Het is tegenwoordig niet bekend of er een snellere<br />
methode bestaat, maar de meeste informatici geloven dat het niet echt sneller kan.<br />
Ondanks de vrij hoge complexiteit van het probleem van de logische equivalentie lijkt de<br />
conclusie dat de droom van Leibniz uiteindelijk is uitgekomen. Met de propositielogica hebben<br />
wij een formele logische taal om redeneerproblemen en argumentaties af te beelden, en we<br />
hebben een mogelijkheid om de correctheid van deze argumentaties te verifiëren. Maar waarom<br />
discussiëren en twisten mensen dan nog steeds? Een reden is dat de logische taal die wij hier<br />
hebben gebruikt, de taal van de propositielogica, en heel eenvoudige taal is die niet toestaat om<br />
ingewikkeldere argumentaties weer te geven. Neem bijvoorbeeld de redenering:<br />
Alle mensen zijn sterfelijk, en Socrates is een mens.<br />
Dus Socrates is sterfelijk.<br />
In onze logische taal kunnen we deze redenering alleen met p ∧ q |= r weergeven, maar r is zeker<br />
geen logisch gevolg van p ∧ q. Dit laat zien dat de taal van de propositielogica te zwak is om<br />
sommige intuïtief geldige redenering uit te drukken. Er zijn talen waarin redeneringen van dit<br />
type wel goed kunnen worden weergegeven. Het probleem is echter dat er voor deze talen geen<br />
computerprogramma bestaat dat kan controleren of een formule een tautologie is. In paragraaf<br />
3.4 gaan we hier nader op in.