Phi520Syllabus - Symbolic Logic II Philosophy 520 Prof....

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Symbolic Logic II Philosophy 520 Prof. Brandon C. Look Spring 2009 Classroom: CB 342 Meeting Times: TR 2:00-3:15 BCL’s Office: POT 1401 BCL’s E-mail: look@uky.edu Office Hours: T 3:30-5:00 Course Website: http://www.uky.edu/ look/SymbolicLogicII.htm Course Description This is a second course in symbolic logic. It reviews propositional logic, devel- ops further the logic of quantification, and explores metalogical issues such as the construction, consistency, soundness and completeness of deductive sys- tems. The course also concerns multi-valued or deviant logic, propositional modal logic, quantified modal logic, counterfactuals, and two-dimensional modal logic. Finally, if time permits, G¨odel’s incompleteness theorems will be sketched. Course Prerequisites Students should have completed ‘Philosopy 320: Symbolic Logic I’ (or its equivalent). It is assumed that students already have a familiarity with propositional logic and predicate logic and that they have constructed proofs using the rules of inference in natural deduction. Course Objectives The aim of this course is to introduce students to important metalogical theorems and results concerning first-order logic. It is also to expose students to aspects and extensions of symbolic logic that are relevant in contemporary
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 4

Phi520Syllabus - Symbolic Logic II Philosophy 520 Prof....

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online