HFIB10231U FILO Logik 2: Formel logik
Logic 2: Symbolic logic
Bachelor i filosofi efter 2013-ordningen
Kurset har til hensigt at give den studerende viden om: - Syntaks og semantik for udsagnslogik og den fulde førsteordenslogik. - Afgørbarhedsprocedurer for gyldighed med særlig opmærksomhed på sandhedstabeller og semantiske tableaux. - Et indblik i bevisteori i udsagnslogik. Kurset ligger naturligt i forlængelse af LOGIK 1 kurset, men kan gennemføres uden at have gennemført dette kursus.
|
Kurset giver den studerende færdigheder i: - At gennemføre en identifikation af logisk form samt formalisering af udsagn og argumenter i udsagnslogik og den fulde førsteordenslogik. - At analysere gyldighed for argumenter formuleret i udsagnslogik og den fulde førsteordenslogik. - At anvende bibliografiske søgeredskaber og andre relevante redskaber til at analysere, beskrive og diskutere en problemstilling. - At anvende en flerfaglig tilgang til emneområdet, idet den studerendes faglighed fra kernefaget bringes i spil.
|
Filosofi, BA 2013-ordningen:
Modul 6: Logik 2: HFIB00481E
Pensum andrager cirka 300 normalsider.
Lektionsplanen med angivelse af pensum bliver i god tid
lagt op på Absalon kursussden. Grundbogen er Graeme Forbes: Modern Logic, A Text in Elementary Symbolic
Logic, OUP, 1994. Herudover hører et kompendium til
kurset.
op til aktiv studenterdeltagelse (SAU).
- Kategori
- Timer
- Forelæsninger
- 28
- Seminarhold
- 14
- Undervisningsforberedelse
- 367,5
- I alt
- 409,5
- Point
- 7,5 ECTS
- Prøveform
- AndetEksamenssproget er dansk
Kriterier for bedømmelse
Link til studieordning: Bachelor i filosofi,
2013-ordningen
http://hum.ku.dk/uddannelser/aktuelle_studieordninger/filosofi/filosofi_ba.pdf
Kursusinformation
- Sprog
- Dansk
- Kursuskode
- HFIB10231U
- Point
- 7,5 ECTS
- Niveau
- Bachelor
- Varighed
- 1 semester
- Placering
- Efterår
- Skemagruppe
- Se skemalink
- Efter- og videreuddannelse
- Studienævn
- Studienævnet for Medier, Erkendelse og Formidling
Udbydende institut
- Institut for Medier, Erkendelse og Formidling
Kursusansvarlige
- Karina Fleischer (6-7c6b6c413e3f49717e7637747e376d74)
Undervisere
Vincent Fella Hendricks og Anders Silber