Academic Catalog

PHIL 7: INTRODUCTION TO SYMBOLIC LOGIC

Foothill College Course Outline of Record

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

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.

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:
A. construct, analyze and evaluate arguments.
B. identify formal and informal fallacies.
C. translate real language arguments into symbolic form.
D. evaluate symbolic statements and arguments with direct and indirect truth tables.
C. use rules of replacement and implication to construct symbolic proofs for the evaluation of arguments.

Course Content

A. 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.
B. Formal and informal fallacies.
C. 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.
D. 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.
a. Modus Ponens.
b. Modus Tollens.
c. Hypothetical Syllogism.
d. Disjunctive Syllogism.
e. Constructive Dilemma.
f. Destructive Dilemma.
g. Affirming the consequent.
h. Denying the antecedent.
E. Natural deduction.
1. Using rules of implication in proofs.
2. Using rules of replacement in proofs.
3. Conditional and indirect proofs.
F. 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 java-script enabled Internet browsing software, media plug-ins, and relevant computer applications.

Method(s) of Evaluation

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

Method(s) of Instruction

Lecture and discussion.

Representative Text(s) and Other Materials

Hurley, Patrick. A Concise Introduction to Logic. 12th ed. Belmont, CA: Wadsworth Publishing, 2015.

Copi, Irving M. and Carl Cohen. Introduction to Logic. 14th ed. New York, NY: Routledge Publishing, 2011.

 

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