Kurssin tavoitteena on tutustuttaa opiskelija moderniin logiikkaan liittyviin keskeisiin filosofisiin kysymyksiin.  Kurssin lähtökohtana on 1800-luvulla kehittyneet kaksi formaalin logiikan perinnettä,  logiikan algebra ja Fregestä lähtöisin oleva lähestymistapa, sekä näihin liittyvät erilaiset käsitykset logiikan roolista rationaalisuudessa. Käsitysten kehittymistä tarkastellaan mm. Hilbertin, Heytingin, Turingin ja Gödelin näkemysten kautta. Kurssilla käsitellään myös modaalilogiikan perusteita ja Quinen niihin kohdistamaa kritiikkiä sekä predikaattilogiikan perusteisiin liittyviä filosofisia kysymyksiä. 

Kurssi käsittää 30h luentoja sekä 14 h pienryhmätyöskentelyä. Kurssi suoritetaan luentotentissä. Aktiivinen osallistuminen lasketaan eduksi lopullista arvosanaa annettaessa.

30h luentoja, 14h harjoitusryhmiä, harjoitusryhmät alkavat  5. 9.

 3.  9. 2013           Kaksi traditiota: logiikka mahdollisten muotojen rakentamisena vs. päättelyn tutkimisena.
10. 9. 2013           Logiikan algebra: Boole, Schröder, Peirce.
17. 9. 2013           Kategorisuus ja sen rooli logiikassa Hilbert, Husserl.
24. 9. 2013           Frege, luvun käsite, kontekstiperiaate
 1. 10. 2013          Russellin paradoksi, väistämisyrityksiä: Russell, Zermelo
 8. 10. 2013          Hilbertin ohjelma
15. 10. 2013         Intuitionistit: Brouwer ja Heyting
22. 10. 2013         Laskettavuus: Turing
29. 10. 2013         Gödel
 5.  11. 2013         Ei luentoa
12. 11. 2013         Carnap ja looginen toleranssi
19. 11. 2013         Modaalilogiikkaa 1
26. 11. 2013         Modaalilogiikkaa 2 + Quinen kritiikki
 3.  12. 2013         Predikaattilogiikan metafyysisiä oletuksia
10. 12. 2013         Logiikan rooli rationaalisuudessa.