文档介绍：Philosophy 230
Introduction to Formal Logic
Logic is “the science of necessary inference.”—W. V. Quine
CONTACT INFORMATION:
Dr. Leemon McHenry
Office: Seirra Tower 534
Office Phone 818-677-5806
Office Hours: Fall 2012, TTh 7:30-9:00
(and by appointment)
Email: leemon.******@
Website: /~lmchenry
COURSE DESCRIPTION:
This course satisfies the “Critical Reasoning”(A-2) section of the General Education Program, which recognizes critical reasoning as a petence. Courses in this section of General Education take reasoning itself as their focus. Their goals are to provide students with criteria and methods for distinguishing good reasoning from bad and to help students develop basic reasoning skills that they can apply both within a broad range of academic disciplines and outside the academic environment. Students are expected to acquire skill in recognizing the logical structure of statements and arguments, the ability to distinguish rational from non-rational means of persuasion, skill in applying the principles of sound reasoning in the construction and evaluation of arguments, and an appreciation of the value of critical reasoning skills in the pursuit of knowledge.
To satisfy this requirement we will study a system of natural deduction (first-order logic), including both sentential logic and predicate logic. Equal attention will be given to translations a