Logica

Benno van den Berg, Rogier Bos

€ 13,50

incl. 9% BTW

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.

Op voorraad Aantal

Auteur(s)
Inhoudsopgave

De auteurs van dit deel zijn Benno van den Berg en Rogier Bos. Benno van den Berg is als docent en onderzoeker verbonden aan het Institute for Logic, Language and Computation van de Universiteit van Amsterdam. Rogier Bos is docent en onderzoeker aan het Freudenthal Instituut van de Universiteit Utrecht, en voormalig wiskundeleraar.

Inleiding
Hoofdstuk 1. Introductie: redeneren in de wiskunde
Hoofdstuk 2. Logica en de kunst van het redeneren
Hoofdstuk 3. Waarheidstafels
Hoofdstuk 4. Natuurlijke deductie
Hoofdstuk 5. Kripke-modellen en intuïtionistische logica
Hoofdstuk 6. Verdiepingsopdrachten
Uitleiding
Begrippenlijst
Antwoorden