Fall 2011 Schedule of Courses

PHILOSOPHY 205: SYMBOLIC LOGIC

TUESDAY, THURSDAY
SECTION 1, 11:00 - 12:15 P.M.

PROFESSOR VALIA ALLORI

REQUIRED TEXT
Bonevac, Deduction: Introductory Symbolic Logic, 2nd ed.

COURSE CONTENT
The aim of this course is to introduce students to the basic concepts of modern logic. Symbolic logic is the application of formal methods in the study of reasoning. The type of reasoning under consideration is deductive reasoning. Deductive logic is of fundamental importance as a tool in philosophical inquiry, but it is also important in the foundations of mathematics and computer science, and in linguistics and psychology. We will discuss topics such as the nature and general features of deductive arguments, logical form, argument validity and soundness, symbolization, truth-functional logical connectives, and using truth-tables to check argument validity. We will devote most of our time developing two artificial languages (sentential logic or the propositional calculus and quantificational logic or the predicate calculus) since they capture certain formal aspects of our talk and thought. We will study the techniques for constructing formal deductive proofs in these languages and for evaluating such proofs as valid or invalid.

COURSE FORMAT
Homework and exams