Time Schedule:
Gabriela A Remow
PHIL 120
Seattle Campus
Elementary symbolic logic. The development, application, and theoretical properties of an artificial symbolic language designed to provide a clear representation of the logical structure of deductive arguments.
Class description
An introduction to elementary symbolic logic. Students will learn to use a simple artificial language designed to make possible a clear and unambiguous representation of the logical structure of deductive reasoning. In addition to using this language to assist in the assessment of arguments couched in a natural language (English), we will study the theoretical properties of the artificial language. Such notions as validity, consistency, truth-functions, deduction, and proof will be explored. The aim of the course is to introduce students to logic as a formal system and to develop their capacity for abstract thought. There will be two mid-term exams and one final exam, containing both multiple choice and problem-solving questions. There will also be take-home problem sets and in-class quizzes. Suitable for nonmajors. No prerequisites.
Student learning goals
General method of instruction
Recommended preparation
Class assignments and grading
