Johdanto luonnollisen kielen loogiseen analyysiin.
Tutustuminen propositio- ja predikaattilogiikkaan sekä formaalisen kielen yleisiin periaatteisiin.
Kirjallisuuden avulla tenttimiseen: Allwood, Anderson & Dahl, Logiikka ja kieli (2 op); P. Suppes, Introduction to Logic, luvut 1–6 (3 op).