Kunnskap:
Etter fullført emne skal studentane ha god innsikt i naturleg deduksjon, og forstå på kva måtar naturleg deduksjon skil seg frå tre-metoden. Vidare skal studentane forstå kva rolle interpretasjonar spelar i semantikken for førsteordens predikatlogikk. Studentane skal òg kjenne sentrale metalogiske omgrep, og bevis for metalogiske tilhøve som gjeld tre-metoden.
Dugleik:
Etter fullført emne skal studentane meistre naturleg deduksjon i setnings- og predikatlogikk med identitet. Vidare skal dei kunne lage interpretasjonar og bevise metalogiske tilhøve som gjeld tre-metoden, både i setnings- og predikatlogikk.
Kompetanse:
Emnet gir grunnlag for vidare studiar med sikte på bachelorgrad med spesialisering i filosofi eller kognitiv vitskap. Emnet kan òg vere eigna som støtte for studiet av andre fag, til dømes lingvistikk, informasjonsvitskap, informatikk og matematikk.
Undervisninga har form av førelesingar og seminar.
Om det melder seg færre enn fire studentar kan talet på samlingar bli redusert. Den einskilde student vil i staden bli tilbode individuell rettleiing eller grupperettleiing.
Ei godkjenning av obligatoriske arbeidskrav er gyldig i tre semester frå og med det semesteret godkjenninga finner stad, jamfør ordinære reglar.
Studentar må gje skriftleg svar på 3 oppgåver med innlevering i løpet av semesteret. Innleveringsfristar blir sette av instituttet. Svara må være godkjende for å kunne gå opp til eksamen i emnet.
Pga. koronasituasjonen vil kravet om oppmøte til undervisninga ikkje bli handheva våren 2021. Vi oppmodar likevel studentane til å følgje undervisninga i størst mogleg grad.
Våren 2021 er vurderingsforma endra frå skuleeksamen til heimeeksamen 5 timar, som tiltak mot spreiing av koronavirus.
Eksamen blir arrangert kvart semester.
Dei obligatoriske arbeidskrava må vere godkjende før ein kan gå opp til eksamen i emnet.
Obligatoriske arbeidskrav må vere godkjende i eit semester med undervisning for at ein skal kunne melde seg til eksamen i eit semester utan undervisning.
Vår.
Eksamen blir arrangert kvart semester.
Dei obligatoriske arbeidskrava må vere godkjende før ein kan gå opp til eksamen i emnet.
Studierettleiar: studierettleiar@fof.uib.no
Eksamensadministrasjon: eksamen@fof.uib.no