Course Descriptions – UWinteriM 2011
Note: all courses below run January, 3 – January 20, 2011
Philosophy 101, Introduction to Philosophy: Reflections on the Human Condition (HU)
LEC 201, Online Web
Instructor: Edward Hinchman, firstname.lastname@example.org
This course is an introduction to Western Philosophy. Students need not have any background in philosophy, or any plans for further study. The course has three broad aims:
- to introduce students to the tradition of philosophical argument in the West via primary texts,
- to teach students how in general to make and evaluate philosophical arguments,
- to demonstrate to any student who cares to participate actively how exciting and even fun philosophy can be.
Since philosophy is simply informed public reflection on what we're up to as we try to do and believe what we ought to do and believe – as Socrates put it, "What we are talking about is how one should live" – I hope that by the end of the term the third aim of the course will have taken priority over the other two.
Philosophy 211, Elementary Logic (HU)
LEC 001, MTWRF 8:30 – 11:45am, CRT 209
Instructor: Michael Liston, email@example.com
The Island of Knights and Knaves is a place where only Knights and Knaves live. A Knight is a person who always tells the truth. Knaves, on the other hand, never tell the truth. Harry, who lives on the island, says: "If I am a Knight, then I’ll eat my hat." Did you know that you can prove from the above information that Harry will eat his hat? Did you know: 1) Given that Sarah loves either Jim or Tom and that if she loves Jim then she loves Tom, you can prove that she loves Tom? 2) that if everyone loves a lover and there is even one lover in the world, then everyone loves everyone? Learn how to solve these and other puzzles in Philosophy 211, where we will study formal deductive logic -- the science of what follows from what.
The concepts and techniques encountered in the study of deductive logic are of central importance to any analysis of argument and inference. They reflect fundamental patterns of proof found in science and mathematics, they underlie the programs that enable computers to "reason" logically, and they provide tools for characterizing the formal structures of language. This is an introductory course intended for students who have had no previous work in logic. There will be 3 exams and weekly homework assignments.