| 5/6/2024 5:41:37 PM |
| New Course (First Version) |
| CATALOG INFORMATION
|
| Discipline and Nbr:
PHIL 4 | Title:
INTRO SYMBOLC 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
An introduction to symbolic systems as means for representing deductive logic and reasoning. The course will examine the nature of logic, as well as the principles and techniques relevant to sentential and predicate logic.
Prerequisites/Corequisites:
Completion of or concurrent enrollment in ENGL 100A or ENGL 100, or MATH 150A or the equivalent.
Recommended Preparation:
Limits on Enrollment:
Schedule of Classes Information
Description:
Untitled document
Intro to symbolic systems as means for representing deductive logic & reasoning. Lect/discussions focus on concepts that range from simple to complex.
(Grade or P/NP)
Prerequisites:Completion of or concurrent enrollment in ENGL 100A or ENGL 100, or MATH 150A or the equivalent.
Recommended:
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:
Not Certificate/Major Applicable
COURSE CONTENT
Outcomes and Objectives:
At the conclusion of this course, the student should be able to:
Untitled document
The student will:
1) Review the fundamental concepts of deductive logic.
2) Acquire the understanding of the artificial languages of
(a) sentential logic and (b) first order functional calculus.
3) Demonstrate understanding of the elementary valid inference forms
as expressed in the symbolic system given in standard texts.
4) Demonstrate ability to construct various types of proofs employing
elementary deductive forms with varying degrees of complexity.
5) Construct successful conditional proofs and indirect proofs.
6) Demonstrate knowledge of concepts associated with transition to
advanced symbolic logic.
Topics and Scope
Untitled document
PART ONE:
Unit 1: The Nature of Logic
Argument, premises, conclusions, deduction, induction.
Unit 2: Truth and validity
PART TWO:
Unit 3: Sentential logic
Not, and, inclusive or.
Truth table construction.
Unit 4: Statement construction and complex operators.
If, only if, if and only if, not both, neither nor,
exclusive or.
Well formed/ill formed constructions.
Unit 5: Determining truth value of complex statements through
truth tables.
Unit 6: Determining the validity status of deductive arguments
through truth tables.
Wang's algorithm.
Unit 7: Natural deduction.
Rules of inference.
Rules of replacement.
PART THREE:
Unit 8: Predicate logic.
Quantification: individuals, properties, constants,
variables.
Quantifier scope, free and bound variables.
Unit 9: Quantifier inference rules.
Assignments:
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
0 - 20% |
| Homework problems, Quizzes, Exams | |
| 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
60 - 70% |
| Completion, Creating proofs | |
| 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
Copi, Irving: Introduction to Symbolic Logic
Kahane, Howard: Logic and Philosophy
Schagrin, Morton: Logic: A computer Approach
Print PDF
