Philosophy: Introduction to Logic (B)

About PHIL 1400 B

Study of the basic principles of deductive inference.

Notes

Open to Degree and PACE students

Section Description

In Symbolic Logic, ordinary statements are expressed using a language consisting of a system of symbols. An argument — i.e. a series of statements that is supposed to support a conclusion — can then be evaluated to see if it is deductively valid, i.e. if the truth of the premises guarantees the truth of the conclusion. We will learn how to represent statements using the symbolic notation of first-order logic, and we will then apply the rules of logic to assess the validity of arguments. We begin with the simpler propositional logic and then proceed to predicate logic.

Important Dates

Resources

• Parking
• PACE Course Pricing
• Textbooks

Other Sections