Academic Catalog

PHIL 7: INTRODUCTION TO SYMBOLIC LOGIC

Foothill College Course Outline of Record

Foothill College Course Outline of Record
Heading Value
Effective Term: Summer 2025
Units: 5
Hours: 5 lecture per week (60 total per quarter)
Degree & Credit Status: Degree-Applicable Credit Course
Foothill GE: Area 1B: Oral Communication & Critical Thinking
Transferable: CSU/UC
Grade Type: Letter Grade (Request for Pass/No Pass)
Repeatability: Not Repeatable

Student Learning Outcomes

  • Determine the validity, soundness, and consistency of deductive arguments using various methods including Natural Deduction and Predicate Logic.
  • Identify and apply rules of inference and logical equivalence.
  • Identify and distinguish the constituent parts of an argument (premises and conclusion) within a persuasive text or speech.
  • Translate natural language statements and arguments into symbolic form.

Description

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.

Course Objectives

The student will be able to:

  1. Construct, analyze and evaluate arguments.
  2. Identify formal and informal fallacies.
  3. Translate real language arguments into symbolic form.
  4. Evaluate symbolic statements and arguments with direct and indirect truth tables.
  5. Use rules of replacement and implication to construct symbolic proofs for the evaluation of arguments.

Course Content

  1. Subject matter of logic
    1. Components of an argument: premises and conclusions
    2. Induction versus deduction
    3. Strength and validity
    4. Advantages of symbolism in logic
  2. Formal and informal fallacies
  3. Categorical propositions
    1. Quantity, quality and distribution
    2. Aristotle and the traditional square of opposition
    3. Boole and the modern square of opposition
    4. Using Venn diagrams for evaluation of categorical propositions and arguments
    5. Translation of ordinary language arguments into categorical syllogisms
    6. Sorities
  4. Propositional logic
    1. Symbols and translation
    2. Truth functions
    3. Truth tables for arguments and propositions
    4. Indirect truth tables
    5. Argument forms and formal fallacies
      1. Modus ponens
      2. Modus tollens
      3. Hypothetical syllogism
      4. Disjunctive syllogism
      5. Constructive dilemma
      6. Destructive dilemma
      7. Affirming the consequent
      8. Denying the antecedent
  5. Natural deduction
    1. Using rules of implication in proofs
    2. Using rules of replacement in proofs
    3. Conditional and indirect proofs
  6. Predicate logic
    1. Symbols and translation for predicate logic
    2. Using the rules of inference in predicate logic
    3. Change in quantifier rule
    4. Conditional and indirect proofs for predicate logic
    5. Proving invalidity
    6. Relational predicates and overlapping quantifiers
    7. Identity

Lab Content

Not applicable.

Special Facilities and/or Equipment

When taught via Foothill Global Access: on-going access to computer with JavaScript-enabled internet browsing software, media plug-ins, and relevant computer applications.

Method(s) of Evaluation

Methods of Evaluation may include but are not limited to the following:

Participation in class discussions
Regular homework that provides opportunity to construct, evaluate and analyze arguments using techniques under discussion
Examinations

Method(s) of Instruction

Methods of Instruction may include but are not limited to the following:

Lecture
Discussion

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.

Discipline(s)

Philosophy