Emne - Logikk - FI1005
Logikk
Velg studieårOm
Om emnet
Faglig innhold
Emnet gir en innføring i formell logikk og argumentasjonsteori.
Sentrale tema i formell logikk er: oversettelse fra naturlig språk til logisk språk (både setningslogikk og første ordens predikatlogikk); vurdering av logisk gyldighet; bevisprosedyrer.
I argumentasjonsteori blir vekt lagt på vanlige argumentasjonsformer og argumentasjonsfeil.
Læringsutbytte
En kandidat som har bestått emnet forventes å ha følgende totale læringsutbytte i henhold til studieplanens beskrivelse av emnet, definert som kunnskaper og ferdigheter:
Kunnskaper:
- har kjennskap til sentrale begrep i setningslogikk og første ordens predikatlogikk
- har kunnskap om ulike typer argumenter og argumentasjonsfeil
- har kjennskap til bevisprosedyrer i setningslogikk og første ordens predikatlogikk
Ferdigheter:
- kan formalisere setninger og slutninger i både setningslogikk og første ordens predikatlogikk.
- kan bruke formallogikk til å vurdere logisk gyldighet og til å utføre enkle logiske bevis.
- kan analysere argumenter og peke på argumentasjonsfeil på en uformell måte.
Læringsformer og aktiviteter
Forelesninger, øvingsgruppe og egenaktivitet.
For å kunne gå opp til eksamen kreves det 80 % oppmøte på øvingsgruppen. Den obligatoriske aktiviteten kan kun gjennomføres det semesteret det gis undervisning i emnet, men er gyldig både i dette og det påfølgende semesteret.
Obligatoriske aktiviteter
- 80% oppmøte øvingsgruppe
Mer om vurdering
Vurdering gjennom 4-timers skriftlig eksamen under tilsyn. Ingen tillatte hjelpemiddel.
Forkunnskapskrav
Ingen.
Kursmateriell
Pensumlisten vil være tilgjengelig ved semesterstart.
Studiepoengreduksjon
Emnekode | Reduksjon | Fra |
---|---|---|
FI1303 | 7,5 sp | Høst 2022 |
FI1203 | 7,5 sp | Høst 2022 |
FI1103 | 7,5 sp | Høst 2022 |
Fagområder
- Filosofi