Introductie propositie- en predikatenlogica: logische analyse van zinnen en redeneringen, waarheidstabellen, structuren en modellen.

Introductie modale logica: analyse van de modale operatoren, interpretatie in frames.

 

Het college is in  de laatste twee weken gesplitst. De filosofen krijgen dan een filosofisch onderwerp dat verbonden is met de logica en de CKI-ers bestuderen machine­model­len.