Philosophy 340

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

Students should:

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.


Assessment Measures

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


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