Course Outlines

You are in the Academics section


PHIL2235 – Symbolic Logic pdf

Credits: 3 (3/0/0)
Description: Meets MnTC Goal Area 4. This course is designed as an introduction to symbolic logic, as well as the nature of language and multiple methodologies for proving arguments. This course will focus on formal systems of logic and deductive validity and will include proofs, methods and translation in sentential and predicate logic. The course will also have an introduction to meta-theory and the extensions of logic and will explore inductive logic.
Prerequisites: None
Corequisites: None
  1. Demonstrate an understanding of the structure of language.
  2. Distinguish the various species of argumentation.
  3. Translate standard English into the logical symbolism of sentential logic.
  4. Translate standard English into the logical symbolism of predicate logic.
  5. Analyze the symbolic structure of both sentential and predicate logics.
  6. Apply the standard rules of inference to translated sentences.
  7. Utilize the methods of indirect and conditional proof.
  8. Establish the various methods for deriving deductive validity.
  9. Differentiate inductive and deductive systems of logic.
MnTC goal areas:
  • 4. Mathematics/Logical Reasoning

« back to course outlines