COURSE OUTLINE

OXNARD COLLEGE

I. Course Identification and Justification: A. Proposed course id: PHIL R112 Banner title: Symbolic Logic Full title: Symbolic Logic

Previous course id: PHIL R112 Banner title: Symbolic Logic Full title: Symbolic Logic and Set Theory

B. Reason(s) course is offered: This course is one of two courses logic courses within the required Core of the AA-T in Philosophy and is an elective within the AA in Philosophy. This course is transferable to both the CSU and UC systems and is articulated within a variety of majors including Philosophy, Mathematics, Applied Physics, Computer Science, Information Systems, and Nursing, among others, at many CSUs. It also provides general education credit in Oxnard College's local general education pattern in area D2 Communication/Analytical Thinking and area A3 Critical Thinking in the CSU GE-Breadth pattern.

C. Reason(s) for current outline revision: Course Modification

II. Catalog Information: A. Units: Current: 3.00 Previous: 3.00

B. Course Hours: 1. In-Class Contact Hours: Lecture: 52.5 Activity: 0 Lab: 0

2. Total In-Class Contact Hours: 52.5 3. Total Outside-of-Class Hours: 105 4. Total Student Learning Hours: 157.5

C. Prerequisites, Corequisites, Advisories, and Limitations on Enrollment: 1. Prerequisites Current: None Previous:

2. Corequisites Current: None Previous:

3. Advisories: Current: None Previous: 4. Limitations on Enrollment: Current: None Previous:

D. Catalog Description: Current: This course provides an introduction to the concepts and methods of modern symbolic logic. Emphasis is placed on problems of translating English expressions into logical symbols and on the development of skills in using the formal proof procedures of sentential and predicate logic.

Previous, if different: This course introduces modern symbolic logic. Topics include: truth functional statement logic, as well as quantifier, and predicate logic.

E. Fees: Current: $ None Previous, if different: $ None

F. Field trips: Current: Will be required: [ ] May be required: [ ] Will not be required: [X]

Previous, if different: Will be required: [ ] May be required: [ ] Will not be required: [ ]

G. Repeatability: Current: A - Not designed as repeatable Previous: A - Not designed as repeatable

H. Credit basis: Current: Letter Graded Only [X] Pass/No Pass [ ] Student Option [ ]

Previous, if different: Letter Graded Only [ ] Pass/No Pass [ ] Student Option [ ]

I. Credit by exam: Current: Petitions may be granted: [ ] Petitions will not be granted: [X]

Previous, if different: Petitions may be granted: [ ] Petitions will not be granted: [ ]

III. Course Objectives: Upon successful completion of this course, the student should be able to: A. Apply truth-functional logic notation to ordinary language sentences. B. Apply truth tables to test validity of arguments' forms. C. Test propositional forms for equivalency, consistency, tautology, contradiction, and contingency. D. Apply techniques for problem-solving of conditional proofs, indirect proofs, and proofs of invalidity. E. Develop skill in using the truth tree method of formal problem-solving. F. Use notation and techniques for symbolizing propositions in quantification(predicate) logic. G. Apply rules of inference for quantificational instantiation and generalization. H. Identify and use the change of quantifier rule. I. Construct quantificational proofs to establish validity. J. Perform conditional and indirect proofs using quantificational logic. K. Map relational predicates and overlapping quantifiers. L. Evaluate quantificational arguments which include simple identity statements.

IV. Course Content: Topics to be covered include, but are not limited to: A. Propositional logic: Basic Concepts 1. Translating ordinary sentences into symbolic language 2. Logical connectives (logical "operators") a. Negation ("not") b. Conjunction ("and") c. Disjunction ("or") d. Conditionals ("if...then...") e. Bi-conditionals ("...if and only if...") B. Truth Tables 1. Truth tables test for propositions a. Tautology b. Contradiction c. Equivalence d. Contingency 2. Truth table testing for the validity of arguments 3. Indirect truth tables C. Natural Deduction: Derivations 1. Rules of implication a. Simplification b. Modus Ponens c. Modus Tollens d. Disjunctive e. Additional forms 2. Rules of Replacement a. Double negation b. De Morgan's rule c. Material implication d. Additional forms 3. Conditional Proof 4. Indirect Proof 5. Truth tree method of proof D. Quantificational (Predicate) Logic: Basic Concepts 1. Symbols and translations 2. Universal generalization 3. Existential quantifiers 4. Individual variables 5. Free and bound variables E. Rules of Inference 1. Universal instantiation 2. Universal generalization 3. Existential generalization F. Methods of Derivation 1. Changing quantifier rules 2. Conditional and indirect proof (with quantifiers) 3. Proving invalidity: counterexample method G. Relational Predicates and Overlapping Quantifiers 1. Translating relational statements 2. Using rules of inference (with relational statements) H. Identity 1. Simple identity statements 2. "Only" and "Except" statements 3. Definite descriptions 4. Identity relations in natural deductions

V. Lab Content:

VI. Methods of Instruction: Methods may include, but are not limited to: A. Brief lectures, PowerPoint slides, software videos, etc. to review core content. B. Instructor will lead guided practice sessions in methods of logic analysis. C. Practice problems from a wide variety of sources, e.g., law school admission test puzzles, mathematical word problems, etc. will be examined.

Other methods of instruction: D. Lecture: e.g. on the difference between direct and indirect methods of logical analysis E. Problem-solving activities: e.g. students reconstructing arguments, for example, from ordinary language sources such as journal articles, etc. F. Class participation: e.g. individual students test for the validity of arguments using different methods such as truth tables, indirect truth tables, formal deductions, quantificational proofs, etc. G. Individual student presentations: e.g. students present a demonstration to the class on how to solve "logic puzzles" such as those analytical reasoning exercises found on many standardized tests such as the LSAT, GMAT, GRE, etc. using formal, logical methods. H. Small group discussions: e.g. small groups of students work together to solve complicated formal deductions in either propositional or quantificational logic. I. Multi-media resources: e.g. students locate online logic games based on computation and algorithms, and explore strategies and tactics for playing the game of solving the problem.

VII. Methods of Evaluation and Assignments: A. Methods of evaluation for degree-applicable courses: Essays [ ] Problem-Solving Assignments (Examples: Math-like problems, diagnosis & repair) [X] Physical Skills Demonstrations (Examples: Performing arts, equipment operation) [ ]

For any course, if "Essays" above is not checked, explain why. Step-by-step, formal, theoretical applications and decision-procedures.

B. Typical graded assignments (methods of evaluation): 1. Exams: (evaluate students' ability to translate, organize, and assess symbolic arguments using methodology being studied) a. Multiple-choice test b. Problem-solving activities (e.g. constructing logical proofs for specified problems) 2. Quizzes: (test recognition and identification of core concepts and their function in a larger methodology; e.g. apply the principle of existential instantiation in a formal deduction) 3. Homework: (collect, evaluate, and discuss problems assigned from a standard logic textbook) 4. Class participation: ("Socratic" question-answer-question technique to work through practical problems assigned) 5. Student demonstration: (individual student presentations to the class in the use of problem-solving skills)

C. Typical outside of classroom assignments: 1. Reading a. Standard logic textbook chapter readings b. "Streamlined" formula guide/chart notes (which "synthesize" the concepts being studied) c. Examples of "model" arguments/problems which can be solved using symbolic languages 2. Writing a. Rewriting ordinary language statements using symbolic language b. Constructing "models" to solve for a variety of logical activities 3. Other a. (Live) Tutorial sessions b. Research electronic databases for additional material on logic i. Logic and computers ii. Logic and electronics iii. Logic and engineering iv. Logic and language v. Logic and brain function vi. Logic and law

VIII. Textbooks and Instructional Materials: A. Textbooks/Resources: 1. Hurley, Patrick (2014). A Concise Introduction to Logic Wadsworth/Cengage. 2. Kahane, Howard (2012). Logic and Philosophy: A Modern Introduction Wadsworth/Cengage. 3. Bonevac, Daniel (2002). Deduction: Introductory Symbolic Logic (2nd/e). Wiley/Blackwell, (Most recent yr. available). 4. "A Concise Introduction to Logic." Wadsworth/Cengage, 2014 ed. a. Description: CD-Rom computer tutoring exercises B. Other Instructional Materials:

IX. Minimum Qualifications and Additional Certifications: A. Minimum Qualifications: 1. Philosophy (Masters Required) B. Additional Certifications: 1. Description of certification requirement: 2. Name of statute, regulation, or licensing/certification organization requiring this certification:

X. Approval Dates CC Approval Date: 12/10/2014 Board Approval Date: 12/10/2014 Course ID: 1711