Week 1

Hoorcollege (5/9)

• Formaliteiten vh college
• Wat is 'Logica'? 
• Wat is een geldige redenering?
• De `denkwetten' van George Boole
• Leibniz' droom.
  
• De syllogistiek van Aristoteles.
• De (on)geldigheid ve syllogisme bepalen mbv verzamelingen.

Literatuur

• §1.1 en §1.2 van het diktaat.
• overhead sheets van het eerste college
  

De hoofdrolspelers in de eerste week

Aristoteles

Gottfried von Leibniz

George Boole

Georg Cantor