9 - Low cost (less than $50) for class textbook materials.
Course Data
PHIL 225 Intro to Formal Logic >1
4.00 cr.
Introduces formal logic, including both propositional (setence) and predicate logic, including the use of truth trees. Students cannot receive credit for both PHIL 225 and MATH 307.
Grading Options:
Optional; see degree guide or catalog for degree requirements
Process a complete drop (100% refund, no W recorded)
September 30:
Drop this course (100% refund, no W recorded; after this date, W's are recorded)
September 30:
Process a complete drop (90% refund, no W recorded; after this date, W's are recorded)
October 1:
Process a complete withdrawal (90% refund, W recorded)
October 1:
Withdraw from this course (100% refund, W recorded)
October 2:
Add this course
October 2:
Last day to change to or from audit
October 8:
Process a complete withdrawal (75% refund, W recorded)
October 8:
Withdraw from this course (75% refund, W recorded)
October 15:
Process a complete withdrawal (50% refund, W recorded)
October 15:
Withdraw from this course (50% refund, W recorded)
October 22:
Process a complete withdrawal (25% refund, W recorded)
October 22:
Withdraw from this course (25% refund, W recorded)
November 12:
Withdraw from this course (0% refund, W recorded)
November 12:
Change grading option for this course
You can't drop your last class using the "Add/Drop" menu in DuckWeb. Go to the “Completely Withdraw from Term/University” link to begin the complete withdrawal process. If you need assistance with a complete drop or a complete withdrawal, please contact the Office of Academic Advising, 101 Oregon Hall, 541-346-3211 (8 a.m. to 5 p.m., Monday through Friday). If you are attempting to completely withdraw after business hours, and have difficulty, please contact the Office of Academic Advising the next business day.
Expanded Course Description
Introduction to formal methods in symbolic logic. At the completion of the course, students will have a proficiency in identifying the formal validity of arguments with propositional (or truth-functional) and predicate (or quantificational) systems of symbolic logic. The course often resembles a mathematics course and uses mathematical techniques throughout, but the course’s purpose is to inquire into the patterns of valid reasoning in thinking. Attempting to answer questions such as: How do we distinguish valid from invalid forms of reasoning?
What are right versus wrong methods for drawing inferences? How do we avoid errors and think validly and correctly? What forms offer compelling evidence for warranted versus unwarranted conclusions?
