Aug 14, 2022  
2022-23 Catalog 
2022-23 Catalog
Add to Portfolio (opens a new window)

PHIL& 120 - Introduction to Symbolic Logic (Symbolic Reasoning)

5 Credits

Learn skills for critical thinking and symbolic reasoning including identifying false reasoning, using Venn diagrams, syllogistic logic, and propositional logic with translation and proofs.

Pre-requisite(s) MATH 091 or higher min 2.0
Placement Eligibility Math 107, 111, 146, 180, 98

Quarters Typically Offered
Fall Day, Online
Winter Day, Online
Spring Day, Online

Designed to Serve Students seeking QSR credit for AA-DTA degrees; students seeking Humanities Area 1 distribution credit; students with an interest in logic, mathematics, programming, systems analysis; philosophy students; students interested in argumentation and persuasion.
Active Date 20220308T16:46:35

Grading Basis Decimal Grade
Class Limit 32
Contact Hours: Lecture 55
Total Contact Hours 55
Degree Distributions:
  • Humanities Area I
  • Quantitative Skills

Course Outline
Module 1: What is Logic?

  1. Basic Concepts
  2. Identifying arguments
  3. Assessing arguments

Module 2: Informal Fallacies

  1. Why study Fallacies?
  2. Types of fallacies
  3. Recognizing Fallacies

Module 3: Categorical Propositions

  1. Modern Square of Opposition
  2. Traditional square of Opposition

Module 4:  Categorical Syllogisms

  1. Standard from categorical syllogisms
  2. Venn Diagrams for assessing the validity of an argument

Module 5: Propositional Logic 1

  1. Logical operators and translations
  2. Compound statements
  3. Truth Functions

Module 6: Propositional Logic  2

  1. Using truth tables to analyze propositions

Module 7: Propositional Logic 3

  1. Using truth tables to analyze argument

Module 8: Natural Deduction in Propositional Logic 1

  1. Identify the 8 rules of implication.
  2. Use the 8 rules to construct argument proofs

Module 9: Natural Deduction in Propositional Logic 2

  1. Identify the 10 rules of replacement
  2. Use the 10 rules to construct argument proofs

Module 10:  Natural Deduction in Propositional Logic 3

  1. Conditional Proof
  2. Indirect Proof
  3. Proving Logical Truths

Student Learning Outcomes
Distinguish arguments from non-arguments using examples in natural language.

Distinguish inductive from deductive arguments.

Identify common fallacies in natural language arguments.

Assess the validity or invalidity of categorical arguments using Venn diagrams.

Analyze statements and arguments using truth tables.

Construct proofs in Propositional Logic using the Rules of Implication and the Rules of Replacement.

Apply techniques of Conditional Proof and Indirect Proof to proofs in propositional logic.

Add to Portfolio (opens a new window)