PHIL 7: INTRODUCTION TO SYMBOLIC LOGIC
Foothill College Course Outline of Record
|Effective Term:||Summer 2022|
|Hours:||5 lecture per week (60 total per quarter)|
|Degree & Credit Status:||Degree-Applicable Credit Course|
|Foothill GE:||Area V: Communication & Analytical Thinking|
|Grade Type:||Letter Grade (Request for Pass/No Pass)|
Student Learning Outcomes
- Evaluate persuasive text or speech through the identification of common logical fallacies.
- Determine whether a deductive argument is valid or invalid.
- Successfully translate real language arguments into symbolic form.
- Identify and distinguish the constituent parts of an argument (premises and conclusion) within a persuasive text or speech.
The use of logic as a tool for constructing, analyzing and evaluating arguments. Topics to be covered will be the basic construction of premises and conclusion to form arguments, common formal and informal fallacies, categorical propositions and syllogisms, propositional logic, natural deduction and predicate logic.
The student will be able to:
- Construct, analyze and evaluate arguments.
- Identify formal and informal fallacies.
- Translate real language arguments into symbolic form.
- Evaluate symbolic statements and arguments with direct and indirect truth tables.
- Use rules of replacement and implication to construct symbolic proofs for the evaluation of arguments.
- Subject matter of logic
- Components of an argument: premises and conclusions
- Induction versus deduction
- Strength and validity
- Advantages of symbolism in logic
- Formal and informal fallacies
- Categorical propositions
- Quantity, quality and distribution
- Aristotle and the traditional square of opposition
- Boole and the modern square of opposition
- Using Venn diagrams for evaluation of categorical propositions and arguments
- Translation of ordinary language arguments into categorical syllogisms
- Propositional logic
- Symbols and translation
- Truth functions
- Truth tables for arguments and propositions
- Indirect truth tables
- Argument forms and formal fallacies
- Modus ponens
- Modus tollens
- Hypothetical syllogism
- Disjunctive syllogism
- Constructive dilemma
- Destructive dilemma
- Affirming the consequent
- Denying the antecedent
- Natural deduction
- Using rules of implication in proofs
- Using rules of replacement in proofs
- Conditional and indirect proofs
- Predicate logic
- Symbols and translation for predicate logic
- Using the rules of inference in predicate logic
- Change in quantifier rule
- Conditional and indirect proofs for predicate logic
- Proving invalidity
- Relational predicates and overlapping quantifiers
Special Facilities and/or Equipment
Method(s) of Evaluation
Participation in class discussions
Regular homework that provides opportunity to construct, evaluate and analyze arguments using techniques under discussion
Method(s) of Instruction
Representative Text(s) and Other Materials
Hurley, Patrick. A Concise Introduction to Logic, 13th ed.. 2018.
Copi, Irving M., and Carl Cohen. Introduction to Logic, 15th ed.. 2019.
Types and/or Examples of Required Reading, Writing, and Outside of Class Assignments
Daily assignments will take a variety of forms. Examples include argument reconstruction, fallacy identification, evaluation of arguments using Venn diagrams, truth tables and proofs.