2023-2024 Pierce College Catalog 
    
    Nov 21, 2024  
2023-2024 Pierce College Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHIL& 120 Symbolic Logic (5 credits)



Distribution Area Fulfilled Quantitative and Symbolic Reasoning; General Transfer Elective
Formerly PHIL& 106

Prerequisite MATH 096  or MATH 098  with at least a 2.0 grade or satisfactory placement.

Course Description
Introduction to modern symbolic logic emphasizing sentence logic with translation and proofs and quantificational logic with translation and proofs.

Course Content
A. Definition of logic
B. Deduction and induction
C. Validity and invalidity of arguments
D. Soundness and cogency of arguments
E. Strength and weakness of arguments
F. Symbolic translations from English
G. Truth tables H. Natural deduction
I. Counterexamples for invalidity
J. Logical equivalence, contradiction and tautology
K. Sufficient and necessary conditions
L. Predicate logic translations from English
M. Predicate proofs

Student Outcomes
1. Explain what logic shows us about language and argument

2. Recognize the differences between deductive and inductive arguments

3. Compare valid with invalid arguments, and construct counterexamples to demonstrate invalidity

4. Determine the strength or weakness of arguments

5. Translate English language statements into the symbolic language of logic

6. Construct and analyze truth tables to determine validity, and distinguish between equivalent, contradictory, and tautologous statements and arguments

7. Solve logic proofs using both the rules of natural deduction and the rules of predicate logic

8. Identify the characteristics of necessary and sufficient conditions

Degree Outcomes
Critical, Creative and Reflective Thinking: Graduates will evaluate, analyze, synthesize, and generate ideas; construct informed, meaningful, and justifiable conclusions; and process feelings, beliefs, biases, strengths, and weaknesses as they relate to their thinking, decisions, and creations.

Quantitative and Symbolic Reasoning: Graduates utilize mathematical, symbolic, logical, graphical, geometric or statistical analysis for the interpretation and solution of problems in the natural world and human society.

Lecture Contact Hours 50
Lab Contact Hours 0
Clinical Contact Hours 0
Total Contact Hours 50

Potential Methods
A. Exams
B. Written assignments
C. Oral presentations
D. Individual and group projects
E. Instructor observation of in-class participation



Add to Portfolio (opens a new window)