Formele logika

Dit is nu eens geen boek dat alleen leesbaar is voor ingewijden. Door typisch wiskundig jargon en wiskundige denkmethoden zo veel mogelijk te vermijden, is de auteur erin geslaagd de stof zo aan te bieden, dat het boek ook bij uitstek geschikt is voor mensen die vanuit andere invalshoeken in dit vak geïnteresseerd zijn. De logika houdt zich bezig met geldigheid van rederingen. In dit boek vindt de lezer een groot aantal voorbeelden van argumentatieve teksten, variërend van het godsbewijs van Anselmus tot het betoog van een klein meisje: 'Als we dat doen zijn we gek, we doen dat niet, dus we zijn niet gek'. De logische struktuur van dergelijke teksten kan middels een argumentatie-analyse worden blootgelegd, en vervolgens formeel-logisch worden onderzocht. Het grootste deel van het boek is gewijd aan een omstandige en precieze invoering van een tweetal formeel-logische theorieën. Om te beginnen maakt de lezer kennis met de propositielogika, die de regels probeert vast te leggen voor het logisch gedrag van zulk soort simpele woorden als 'en', 'of', 'niet', 'als... dan'. Vervolgens wordt hij binnengeleid in de predikaatlogika, die een uitbreiding is van de propositielogika. Beide theorieën worden vanuit zowel syntaktisch als semantisch gezichtspunt behandeld. Voor de syntaktische benadering is gekozen voor een presentatie volgens het systeem van natuurlijke deduktie, terwijl in de semantische aanpak de methode van de semantische bomen centraal staat. Formeel-logische theorieën worden pas echt begrepen, als men er zelf aktief mee omgaat. Vandaar dat dit boek, behalve een vloed aan voorbeelden, ook een groot aantal opgaven bevat, waarmee de student zijn kennis kan toetsen en verdiepen.