FIL1006 ¨C Innf?ring i logikk

Kort om emnet

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.

Hva l?rer du?

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.

Opptak til emnet

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.

Undervisning

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.

Eksamen

Emnet har en avsluttende 4-timers skoleeksamen.

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

Hjelpemidler til eksamen

Ingen hjelpemidler er tillatt.

Eksamensspr?k

Du kan besvare eksamen p? norsk, svensk, dansk eller engelsk.

Karakterskala

Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.

Mer om eksamen ved UiO

• Kildebruk og referanser
• Hvordan bruke KI som student
• Tilrettelegging p? eksamen
• Trekk fra eksamen
• Syk p? eksamen / utsatt eksamen
• Begrunnelse og klage
• Ta eksamen p? nytt
• Fusk/fors?k p? fusk

Andre veiledninger og ressurser finner du p? fellessiden om eksamen ved UiO.