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.

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

Forkunnskapskrav

Ingen.

Kursmateriell

Pensumlisten vil være tilgjengelig ved semesterstart.

Studiepoengreduksjon