Note: Logic courses are offered by the Department of Philosophy.
LOGIC 1000
Critical Thinking
Logic is the general examination of arguments and the distinction between good arguments and merely good-looking arguments. Techniques, both formal and informal, are presented for evaluation of reasoning in all walks of life - in ordinary conversation, in political debates and in science. The study of logic fosters the ability to think critically and carefully in all fields of endeavour.
An introductory course in formal techniques of argument analysis. Students will learn how to formalize arguments of English in Sentential Logic - which has important links to Boolean Algebra and Computation Theory - and apply semantic and syntactic techniques for evaluating such arguments. In addition, students will be exposed in a preliminary way to Predicate Logic.
Note: Credit is not allowed for Logic 2003 and 2002.
The 2500 series makes available to students special courses that are not offered regularly. Some of these courses reflect the research interests of members of the faculty, and thus offer students an early glimpse of how research is done. In other cases, the course could be a response to student interest.
Prerequisites and recommended backgrounds will be specified for individual offerings.
A second course in formal techniques of argument analysis. Students will learn how to formalize arguments of English in Predicate Logic and apply semantic and syntactic techniques for evaluating such arguments. In addition, students will be introduced to soundness and completeness proofs for both Sentential and Predicate Logic.
Prerequisite: Logic 2003.
The 3500 series has the same function as the 2500 series but at levels of study appropriate to more senior students.
Prerequisites and recommended backgrounds will be specified for individual offerings.
The 4500 series has the same function as the 2500 and 3500 series but at levels of study appropriate to senior philosophy or mathematics students with a strong background in logic.
Prerequisites and recommended backgrounds will be specified for individual offerings.
This is a challenging, work-intensive, research-oriented course. This research will be presented in a report in the form of an undergraduate thesis which will be made publicly available and which will be the subject of an oral defence.
Prerequisites: Fourth-year standing (a minimum of 90.0 credit hours).
A cumulative GPA of 3.30 or higher in the last 30 courses.
A cumulative GPA of 3.50 or higher on all Logic and Philosophy courses.
Completion of at least one Independent Study (3.0 credit hours) in Logic or Philosophy at either the 3000 or 4000 level.
Note: Contact hours will vary. Students should be aware that this course involves regular contact with the Thesis Supervisor as well as considerable independent work.
See Part 7 - Arts and Science, Sections 5.c. (p. 90), 6.c. (p. 92), and 7.c. (p. 93).