Program Planning


Logic (LOGI)

Logic (LOGI)
Faculty of Arts and Science


Note: Logic courses are offered by the Department of Philosophy.

Logic 1000

Critical Thinking
Credit hours: 3.0
Contact hours per week: 3-0-0
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.

Logic 2003

Symbolic Logic I
Credit hours: 3.0
Contact hours per week: 3-0-0
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.
Substantially Similar: Logic 2002 (prior to 2003/2004)
Note: Students should not take Logic 2003 if they have received credit for Mathematics 3100 prior to enrolling in Logic 2003.

Logic 2500

Studies in Logic (Series)
Credit hours: 3.0
Contact hours per week: 3-0-0
The Logic 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.
Prerequisite(s): Will be specified (including any recommended background) for individual offerings

Logic 3003

Symbolic Logic II
Credit hours: 3.0
Contact hours per week: 3-0-0
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(s): Logic 2003
Substantially Similar: Mathematics 3100

Logic 3500

Intermediate Studies in Logic (Series)
Credit hours: 3.0
Contact hours per week: 3-0-0
The Logic 3500 series has the same function as the Logic 2500 series but at levels of study appropriate to more senior students.
Prerequisite(s): Will be specified (including any recommended background) for individual offerings

Logic 4500

Advanced Studies in Logic (Series)
Credit hours: 3.0
Contact hours per week: 3-0-0
The Logic 4500 series has the same function as the Logic 2500 and Logic 3500 series but at levels of study appropriate to senior philosophy or mathematics students with a strong background in logic.
Prerequisite(s): Will be specified (including any recommended background) for individual offerings

Logic 4995

Undergraduate Thesis
Credit hours: 6.0
Contact hours per week: Variable
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.
Prerequisite(s): 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;
At least one Independent Study (3.0 credit hours) in Logic or Philosophy at 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. 96), 6.c. (p. 98), and 7.c. (p. 99).