Riverside Community College District
Integrated Course Outline of Record
Philosophy 32
|
COURSE DESCRIPTION
|
32 Introduction to Symbolic Logic
Same as:
MAT-Mathematics 32
|
Units: 3.00
|
|
|
Prerequisite(s): None.
Limitation on Enrollment:
May not be taken if credit for MAT-32 has been granted
|
|
Introduces the principles of deductive reasoning, including the practical application of modern symbolic techniques. 54 hours lecture.
|
|
|
SHORT DESCRIPTION FOR CLASS SCHEDULE
|
|
Principles of deductive reasoning applying modern symbolic techniques.
|
|
|
ADVISORY ENTRY SKILLS
None.
|
|
STUDENT LEARNING OUTCOMES
Upon successful completion of the course, students should be able to:
|
|
1. Define the concept and identify the components of an argument.
- Critical Thinking - Generalize appropriately from specific contexts
2. Translate English sentences into symbolic ones, and vice versa.
- Critical Thinking - Consider and evaluate rival hypotheses
- Critical Thinking - Generalize appropriately from specific contexts
- Critical Thinking - Integrate knowledge across a range of contexts
3. Define the concepts of validity and soundness and distinguish between them.
- Critical Thinking - Generalize appropriately from specific contexts
4. Present arguments in argument form and determine whether they are valid and sound.
- Critical Thinking - Construct sound arguments and evaluate arguments of others
- Critical Thinking - Generalize appropriately from specific contexts
5. Construct symbolizations of arguments and determine their validity using truth value analysis.
- Critical Thinking - Analyze and solve complex problems across a range of academic and everyday contexts
- Critical Thinking - Construct sound arguments and evaluate arguments of others
- Critical Thinking - Generalize appropriately from specific contexts
- Critical Thinking - Integrate knowledge across a range of contexts
- Breadth of Knowledge - Use the symbols and vocabulary of mathematics to solve problems and communicate the results
6. Derive valid conclusions from the premises using equivalences and rules of inference.
- Critical Thinking - Analyze and solve complex problems across a range of academic and everyday contexts
- Critical Thinking - Construct sound arguments and evaluate arguments of others
- Critical Thinking - Generalize appropriately from specific contexts
- Application of Knowledge - Maintain and transfer academic and technical skills to workplace
|
|
|
COURSE CONTENT
|
|
|
TOPICS
|
|
|
- The nature of arguments and proofs: induction verses deduction.
- Validity and soundness
- Categorical logic
- Venn diagrams
- Sentential logic
- Truth-value analysis of sentences and arguments
- An introduction to one or more of the following: predicate logic, modal logic, or fuzzy logic.
|
|
|
|
METHODS OF INSTRUCTION
Methods of instruction used to achieve student learning outcomes may include, but are not limited to:
|
- Present class lectures/discussions/demonstrations in order to familiarize students with the elements of formal reasoning.
- Create small group activities in order to provide an opportunity for students to practice skills of formal reasoning with group interaction and support.
- Develop and assign class exercises that build formal reasoning skills.
- Design class handouts to demonstrate logical principles for both visual and verbal learning styles.
- Show videos/films/computer programs that demonstrate or perform logical operations.
- Conduct individual conferences in order to identify strengths, weaknesses, and learning styles.
- Develop and assign web-enhanced/online/distance learning tasks such as further reading and the investigation of logic websites to deepen understanding of formal reasoning.
|
|
|
METHODS OF EVALUATION
Students will be evaluated for progress in and/or mastery of learning outcomes by methods of evaluation which may include, but are not limited to:
|
- Oral reports/presentations aimed to demonstrate knowledge of logical principles.
- Quizzes and examinations designed to evaluate ability to define key concepts, translate statements into symbolic form, and to present, evaluate and formulate arguments.
- Written assignments designed to assess progress in ability to define key concepts, translate statements into symbolic form, and present, evaluate and formulate arguments.
- Group and individual projects designed to demonstrate ability to solve problems in formal reasoning cooperatively with others and to appreciate different approaches to solving such problems.
- Final examination
|
|
ASSIGNMENTS
|
Required Reading Assignments
Required Writing Assignments
Other Outside-of-Class Assignments
|
|
|
COURSE MATERIALS
All materials used in this course will be periodically reviewed to ensure that they are appropriate for college level instruction. Possible texts include:
|
-
Layman, C. S. . The Power of Logic. 3 ed.
any: McGraw Hill, 2005.
-
Bergman, Moor, and Nelson. The Logic Book. 4 ed.
any: McGraw Hill, 2004.
-
Copi, Irvin M, Carl Cohen. Introduction to Logic. 12 ed.
any: MacMillan, 2004.
-
Johnson, Robert M. . A Logic Book: Fundamentals of Reasoning.
any: Thompson-Wadsworth, 2007.
|
| 09/06 |
| 1510 |