Spring 2011 Schedule of Courses
PHILOSOPHY 205: SYMBOLIC LOGIC
SECTION 1, 2:00 - 3:15 P.M.
PROFESSOR VALIA ALLORI
Bonevac, Deduction: Introductory Symbolic Logic, 2nd ed.
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.
Homework and exams