FIL1006 – Innføring i logikk

Dette er et innføringsemne i formell logikk. Studentene vil få et innblikk i både setningslogikk og predikatlogikk. Dette innebærer oversettelse av uttrykk på vanlig språk til logikkens formelle språk og behandling av logisk bevis og vurdering av logisk gyldighet.

Noen kjente argumentasjonsformer og argumentasjonsfeil vil bli diskutert på et mer uformelt vis. Det blir også en presentasjon av de viktigste metalogiske resultater, men uten rigorøs gjennomgang. Det vil bli gitt praktiske øvelses-oppgaver med veiledning og tilbakemelding.

Etter bestått eksamen i emnet skal studenten

• ha fått et innblikk i hva logikk går ut på
• ha opparbeidet en forståelse for de viktigste begrepene tilknyttet logikk og argumentasjon
• være i stand til å formalisere en god del slutninger, og vurdere og forklare logisk gyldighet og ugyldighet av argumenter.

Studenter må hvert semester søke og få plass på undervisningen og melde seg til eksamen i Studentweb.

Dersom du ikke allerede har studieplass ved UiO, kan du søke opptak til våre studieprogrammer, eller søke om å bli enkeltemnestudent.

Undervisningen består av 14 dobbelttimer med kombinerte forelesninger og veiledet oppgaveløsing samt 14 dobbelttimer med gruppeundervisning.

For å kunne fremstille deg til eksamen må du ha gjennomført og fått godkjent følgende obligatoriske undervisningsaktiviteter:

• Obligatorisk deltakelse på gruppeundervisningen. Du må være tilstede minimum 10 av 14 ganger
• 2 obligatoriske innleveringer

Slik søker du om gyldig fravær fra / utsettelse av obligatorisk aktivitet.

De to skriftlige innleveringene er kun gyldige det semesteret de gjennomføres. Aktiviteten obligatorisk fremmøte er gyldig også de neste to gangene emnet går.

Emnet har en avsluttende 4-timers skoleeksamen.

Alle de obligatoriske aktivitetene må være godkjent. for å få avlegge eksamen.