Beskrivelse
En gjennomgang av grunnleggende teknikker i proposisjons- og predikatlogikk. Naturlig deduksjon og konsistenstre. Lydighet og fullstendighet. Alternative semantikker. Utvidelser av grunnleggende logikk: identitet, modallogikk med mulig-verdens-semantikk, treverdissystemer, deontisk logikk.
Forkunnskaper
- Forkunnskapskrav: PHIL 2001 eller tillatelse fra instituttet.
Vilkår og bestemmelser
- Forhindrer ekstra studiepoeng for Forhindrer ekstra studiepoeng for PHIL 3305.
- Forkunnskapskrav: PHIL 2001 eller tillatelse fra instituttet.
- Forelesninger tre timer i uken.
Referansetekst i originalspråket
A review of the basic techniques of propositional and predicate logic. Natural deduction and consistency trees. Soundness and completeness. Alternative semantics. Extensions to basic logic: identity, modal logic with possible world semantics, three valued systems, deontic logic.
- Prerequisite(s): PHIL 2001 or permission of the Department.
- Precludes additional credit for Precludes additional credit for PHIL 3305.
- Lectures three hours a week.
Kilder og referanser
Datoer og kilder beholdes for å hjelpe deg å verifisere opplysningene. Oversettelsene tilbys for å lette lesing; den offisielle kilden er referansen for krav og betingelser.
Kildereferanse : https://calendar.carleton.ca/undergrad/courses/PHIL/