Kort presentasjon
Emnet omfatter setningslogikk og kvantifikasjonsteori, med b?de semantisk og syntaktisk tiln?rming. Man l?rer om formelle spr?k, og hvordan setninger fra dagligspr?ket kan oversettes til det formelle spr?ket.
Den semantiske delen gjelder hvordan betydningen, spesielt sannhetsverdien til setninger, er betinget av betydningen til de uttrykkene de er sammensatt av. I den syntaktiske delen l?rer man en systematisk metode for ? kan bevise gyldigheten av argumenter.
Emner av filosofisk relevans som blir diskutert i dette kurset inkluderer forholdet mellom gyldighet og deduktive systemer, noen begreper knyttet til modellteori og analysen av den semantiske strukturen i naturlige spr?k.
Pensum
Jon Barwise og John Etchemendy: Language, Proof and Logic, 1999. CSLI Publications, Stanford, CA. http://www-csli.stanford.edu/hp/LPL.html.