SRJC Course Outlines

3/28/2024 6:18:46 AMPHIL 4 Course Outline as of Fall 2021

Changed Course
CATALOG INFORMATION

Discipline and Nbr:  PHIL 4Title:  INTRO SYMBOLIC LOGIC  
Full Title:  Introduction to Symbolic Logic
Last Reviewed:4/12/2021

UnitsCourse Hours per Week Nbr of WeeksCourse Hours Total
Maximum3.00Lecture Scheduled3.0017.5 max.Lecture Scheduled52.50
Minimum3.00Lab Scheduled017.5 min.Lab Scheduled0
 Contact DHR0 Contact DHR0
 Contact Total3.00 Contact Total52.50
 
 Non-contact DHR0 Non-contact DHR Total0

 Total Out of Class Hours:  105.00Total Student Learning Hours: 157.50 

Title 5 Category:  AA Degree Applicable
Grading:  Grade or P/NP
Repeatability:  00 - Two Repeats if Grade was D, F, NC, or NP
Also Listed As: 
Formerly: 

Catalog Description:
Untitled document
This class focuses on the development of modern symbolic logic through first-order predicate logic plus identity, with an emphasis on translation and proof techniques.  It provides a basis for understanding recent analytic trends.

Prerequisites/Corequisites:


Recommended Preparation:
Concurrent enrollment or completion of ENGL 100 or ESL 100; AND Concurrent enrollment or completion of MATH 150A or MATH 150.

Limits on Enrollment:

Schedule of Classes Information
Description: Untitled document
This class focuses on the development of modern symbolic logic through first-order predicate logic plus identity, with an emphasis on translation and proof techniques.  It provides a basis for understanding recent analytic trends.
(Grade or P/NP)

Prerequisites:
Recommended:Concurrent enrollment or completion of ENGL 100 or ESL 100; AND Concurrent enrollment or completion of MATH 150A or MATH 150.
Limits on Enrollment:
Transfer Credit:CSU;UC.
Repeatability:00 - Two Repeats if Grade was D, F, NC, or NP

ARTICULATION, MAJOR, and CERTIFICATION INFORMATION

Associate Degree:Effective:Fall 1981
Inactive: 
 Area:B
Communication and Analytical Thinking
 
CSU GE:Transfer Area Effective:Inactive:
 
IGETC:Transfer Area Effective:Inactive:
 
CSU Transfer:TransferableEffective:Fall 1981Inactive:
 
UC Transfer:TransferableEffective:Fall 1981Inactive:
 
C-ID:
 CID Descriptor: PHIL 210 Symbolic Logic SRJC Equivalent Course(s): PHIL4

Certificate/Major Applicable: Major Applicable Course



COURSE CONTENT

Student Learning Outcomes:
At the conclusion of this course, the student should be able to:
Untitled document
1. Reduce complex English sentences into the simpler component parts.
2. Translate typical English connectives.
3. Perform valid proofs for valid arguments using the statement logic.
4. Perform valid proofs in the predicate logic using four additional quantifier rules as
      extension of the statement logic.

Objectives: Untitled document
The student will be able to:
 
1.   Distinguish arguments from non-arguments in ordinary language.
2.   Examine ordinary statements for ambiguity, equivocation and clarity.
3.   Generate translations from ordinary language into symbolic notations.
4.   Distinguish valid from invalid argument forms.
5.   Analyze complex expression into simple forms.
6.   Determine truth values for complex expressions.
7.   Deduce valid conclusions using proof strategies and rules.
8.   Develop first-order predicate logic as an attempt to provide a method of analysis and as a
      possible foundation for mathematics.
9.   Evaluate recent analytic philosophical positions using symbolic notations.
10. Describe the relation between modern symbolic notations and other formal systems, for
      example, computer languages.
11. Trace the historical development of modern symbolic logic and show the attempt to base
      mathematics on the foundation of the extended predicate logic.
12. Translate English statements with "or" "and" "if, then" "not" into the statement logic
      notation.

Topics and Scope
Untitled document
I.   The Nature of Logic, Arguments, and Deduction
II.  Ordinary Language, the Components of Sentences, and Symbolic Notation
III. Statement Logic and Well-Formed Expressions
IV. Proof Development
    A. Truth Table Construction
    B. Truth Table Analysis for Arguments and Complex Expressions
    C. Truth Trees
    D. Rules of Natural Deduction
V.    Predicate Logic
VI.   Translation into Quantified Expressions
VII.  Quantification Rules
VIII. Identity Theory
IX.   Modern Formal Systems
X.    Identify Ambiguous and Equivocal Statements
 
Other topics may include:
XIV. The Relation between Logic and Computer Systems

Assignments:
Untitled document
1. Read approximately 50 pages of text per week
2. Complete weekly chapter end problems
3. Demonstrate problem solving skills, including demonstrations and proofs, in small group class
    discussion on a weekly basis
4. Problem-solving exams (2-5)
5. Weekly in-class quizzes
6. Final exam
7. Additional assignments may include: Individual problem-solving presentation

Methods of Evaluation/Basis of Grade.
Writing: Assessment tools that demonstrate writing skill and/or require students to select, organize and explain ideas in writing.Writing
0 - 0%
None
This is a degree applicable course but assessment tools based on writing are not included because problem solving assessments are more appropriate for this course.
Problem solving: Assessment tools, other than exams, that demonstrate competence in computational or non-computational problem solving skills.Problem Solving
40 - 70%
Homework problems, in-class demonstrations and proofs, problem solving presentation(s)
Skill Demonstrations: All skill-based and physical demonstrations used for assessment purposes including skill performance exams.Skill Demonstrations
0 - 0%
None
Exams: All forms of formal testing, other than skill performance exams.Exams
30 - 60%
Quizzes, problem solving exams, Final
Other: Includes any assessment tools that do not logically fit into the above categories.Other Category
0 - 0%
None


Representative Textbooks and Materials:
Untitled document
Introduction to Logic. 15th ed. Copi, Irving. Prentice Hall. 2019
 
Introduction to Logic. 3rd ed. Gensler, Harry. Routledge. 2016 (classic)
 
A Concise Introduction to Logic. 12th ed. Hurley, Patrick J. Wadsworth Publishing. 2014 (classic)
 
The Logic Book. 6th ed. Bergmann, Merrie. McGraw Hill. 2013 (classic)
 
Logic: The Laws of Truth. Smith, Nicholas JJ. Princeton University Press. 2012 (classic)
 
Language Proof and Logic. Barwise, Jon and Etchemendy, John. University of Chicago Press. 2011 (classic)
 
Formal Logic: Its Scope and Limits. 4th ed. Jeffrey, Richard. Hackett Publishing Co. 2006 (classic)
 
Modern Logic: A Text in Elementary Symbolic Logic. Forbes, Graeme. Oxford University Press. 1994 (classic)

Print PDF