Logica

Logica is de kunst van het redeneren. Wie die kunst verstaat, produceert geldige redeneringen, en wat dat precies betekent daarover gaat dit boekje. Het blijkt dat je redeneringen in alledaagse taal kan vertalen naar een preciezere wiskundige formulering. De geldigheid kun je dan langs twee verschillende wegen benaderen, met zogeheten waarheidstabellen en met formele afleidingen, die beide aan bod komen. Uiteindelijk komen die wegen ook weer samen, wanneer we die plaatsen in de grote ontwikkelingen in de logica. Naast een uitgebreid avontuur in de reguliere propositielogica, biedt dit boekje tot slot ook inkijkjes in intuïtionistische en modale logica, zodat het geheel een uitgebreide introductie biedt tot wat een wiskundig logicus zoal bezighoudt.