12/26/2024 3:35:01 AM |
| Changed Course |
CATALOG INFORMATION
|
Discipline and Nbr:
PHIL 4 | Title:
INTRO SYMBOLIC LOGIC |
|
Full Title:
Introduction to Symbolic Logic |
Last Reviewed:4/12/2021 |
Units | Course Hours per Week | | Nbr of Weeks | Course Hours Total |
Maximum | 3.00 | Lecture Scheduled | 3.00 | 17.5 max. | Lecture Scheduled | 52.50 |
Minimum | 3.00 | Lab Scheduled | 0 | 17.5 min. | Lab Scheduled | 0 |
| Contact DHR | 0 | | Contact DHR | 0 |
| Contact Total | 3.00 | | Contact Total | 52.50 |
|
| Non-contact DHR | 0 | | Non-contact DHR Total | 0 |
| Total Out of Class Hours: 105.00 | Total 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
Development of modern symbolic logic through first-order predicate logic plus identity. Emphasis on translation and proof techniques. 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.
Limits on Enrollment:
Schedule of Classes Information
Description:
Untitled document
Development of modern symbolic logic through first-order predicate logic plus identity. Emphasis on translation and proof techniques. 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.
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: | Transferable | Effective: | Fall 1981 | Inactive: | |
|
UC Transfer: | Transferable | Effective: | Fall 1981 | Inactive: | |
|
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
Upon completion of this course, 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 and symbolic notation
III. Statement logic and well formed expressions
IV. Truth table construction
V. Truth table analysis for arguments and complex expressions
VI. Truth trees
VII. Rules of natural deduction
VIII. Predicate logic
IX. Translation into quantified expressions
X. Quantification rules
XI. Identity theory
XII. Modern formal systems
XIII. 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. 2-5 problem solving exams
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 | |
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, Midterm 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
A Concise Introduction to Logic, 11th Edition. Hurley, Patrick J. Wadsworth Publishing: 2013
Formal Logic: Its Scope and Limits, Fourth Edition. Jeffrey, Richard. Hackett Publishing Co.: 2006 (classic)
Introduction to Logic, 14th edition. Copi, Irving. Prentice Hall: 2010
Introduction to Logic. Gensler, Harry. Routledge: 2010
Language Proof and Logic. Barwise, Jon and Etchemendy, John. University of Chicago Press: 2011
Logic: The Laws of Truth by Smith, Nicholas JJ. Princeton University Press: 2012
The Logic Book, 6th Edition. Bergmann, Merrie. McGraw Hill: 2013
Modern Logic: A Text in Elementary Symbolic Logic. Forbes, Graeme. Oxford University Press: 1994 (Classic)
Print PDF