PHIL 340: Symbolic Logic
Prequisite: Three hours of philosophy or mathematics
Credit Hours: (3)
This course in formal logic presents various methods and principles of symbolic logic for use in appraising arguments for validity and invalidity. Topics covered include truth tables, rules of inference, proof procedures, quantification theory, and the logic of relations.
Detailed Description of the Content of the Course
The course is an examination of various symbolic techniques of modern logic with an emphasis on truth-functional logic and quantificational theory.
Detailed Description of the Conduct of the Course
The lecture method and a problem solving approach is used.
Goals and Objectives of the Course
1. Develop an understanding of formal logic.
2. Acquire a knowledge of the methods and problem solving techniques of modern logic.
3. Become familiar with the terminology of symbolic logic.
Graded assignments may include in-class exams and quizzes, homework assignments, and class preparation and participation.
Other Course Information
The course is a core requirement for majors and minors with a philosophy concentration.
Approval and Subsequent Reviews
DATE ACTION REVIEWED BY
August 1991 None Charles D. Taylor
May 1994 None Kim J. Kipling
May 1995 Catalog entry revision Kim J. Kipling
January 27, 1997 Number change prerequisite change Catalog revision Approved by VPAA
April 17, 1998 Reviewed Kim Kipling
September 18, 2001 Reviewed Kim Kipling