FILY2616 V7 Logiikka II, 4 op
FILY2616 V7 Logiikka II, 4 op
Toteutukset
- FILY2616-3001 V7 Logiikka II / sähköinen kirjatentti
Osaamistavoitteet
Opiskelija osaa käyttää formaalista logiikkaa filosofisten kysymysten esittämiseen ja ratkaisuvaihtojen pohtimiseen. Kurssi kehittää muissa opinnoissa ja työelämässä tärkeitä ajattelu- ja argumentaatiotaitoja.
Sisältö
Propositio-, predikaatti- ja modaalilogiikan semantiikka ja todistusteoria, luonnollisen kielen formalisointi, ei-klassisista logiikoista (esim. episteeminen logiikka, normilogiikka, aikalogiikka, intuitionistinen logiikka, moniarvologiikka, 2D-semantiikka).
Suoritustavat
Luentokurssi ja siihen perustuva tentti TAI Itsenäiseen työskentelyyn perustuva kirjatentti: Kirjallinen sähköinen tentti itse valittuna ajankohtana.
Oppimateriaalit
Rantala & Virtanen: Modaalilogiikka (kirjan kannessa lukee ”Johdatus modaalilogiikkaan”)
Esitietovaatimukset
P3 Logiikka ja argumentaatioteoria
Arviointiasteikko
0-5
Kielet
suomi
Taso
Aineopinnot
Oppiaine
Filosofia
Vastuuhenkilöt
Ari Maunu
