Emne - Logikk - FI1005
Logikk
Vurdering og obligatoriske aktiviteter kan bli endret frem til 20. september.
Om
Om emnet
Faglig innhold
Emnet gir en innføring i formallogikk. Formallogikk studerer de logiske forholdene mellom setninger, or gir studenten ferdigheter som er nødvendige for å forstå hva som kjennetegner gode argumenter. Kjennskap til de grunnleggende begrepene i formallogikk er også en forutsetning for å kunne forstå mange sentrale tekster i filosofi.
Sentrale tema er: oversettelse fra naturlig språk til logisk språk (både setningslogikk og første ordens predikatlogikk); vurdering av logisk gyldighet; bevisprosedyrer.
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 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 å analysere argumenter, vurdere logisk gyldighet og til å utføre enkle logiske bevis.
Læringsformer og aktiviteter
Seminar og egenaktivitet.
Studenten må ha minst 80% oppmøte på seminarene, som inkluderer øvinger og diskusjon. Digitale læringsressurser blir gjort tilgjengelig for studentene for selvstudium. Obligatorisk aktivitet kan bare gjennomføres det semestert det er undervisning, men er gyldig både dette og påfølgende semester.
Obligatoriske aktiviteter
- 80% oppmøte øvingsgruppe
- 80% oppmøte øvingsgruppe
Mer om vurdering
(informasjonen kan bli endret frem til 15. juni)
Vurdering i emnet skjer i form av en mestringsstige hvor hver enkelt student kan velge eget ambisjonsnivå og fremdriftsplan. Emnet er delt opp i et antall moduler, hvor man må bestå alle for karakter A, og får én karakter lavere for hver modul man ikke har bestått. For å bestå en modul må man bestå modulens test. Tellende modultester må tas under tilsyn, dette kan gjøres til et fast tidspunkt hver uke underveis i undervisningssemesteret - aktuell ukedag og klokkeslett vil bli opplyst ved semesterstart. Testene må tas i rekkefølge, og man må ha bestått den første testen før man kan ta den andre, osv. Man kan maksimalt bestå en test per uke. Eventuelt feilet test kan tas om igjen ved neste tilgjengelige tidspunkt.
Forkunnskapskrav
Ingen.
Kursmateriell
Digitale læringsressurser, som vil bli gjort tilgjengelig dels i starten av og dels underveis i semesteret.
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