PHIL& 120 - Introduction to Symbolic Logic (Symbolic Reasoning)
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
- Humanities Area I
- Quantitative Skills
Module 1: What is Logic?
- Basic Concepts
- Identifying arguments
- Assessing arguments
Module 2: Informal Fallacies
- Why study Fallacies?
- Types of fallacies
- Recognizing Fallacies
Module 3: Categorical Propositions
- Modern Square of Opposition
- Traditional square of Opposition
Module 4: Categorical Syllogisms
- Standard from categorical syllogisms
- Venn Diagrams for assessing the validity of an argument
Module 5: Propositional Logic 1
- Logical operators and translations
- Compound statements
- Truth Functions
Module 6: Propositional Logic 2
- Using truth tables to analyze propositions
Module 7: Propositional Logic 3
- Using truth tables to analyze argument
Module 8: Natural Deduction in Propositional Logic 1
- Identify the 8 rules of implication.
- Use the 8 rules to construct argument proofs
Module 9: Natural Deduction in Propositional Logic 2
- Identify the 10 rules of replacement
- Use the 10 rules to construct argument proofs
Module 10: Natural Deduction in Propositional Logic 3
- Conditional Proof
- Indirect Proof
- 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)