LOGIC

LOGIC

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.

Note: Credit is not allowed for Logic 2003 and 2002.

Students will not receive credit for 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 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.

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: Logic 2003.

Note: Credit is not allowed for Logic 3003 and Mathematics 3100.

LOGIC 3500
Intermediate Studies in Logic (Series)

Credit hours: 3.0
Contact hours per week: 3-0-0

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.

LOGIC 4500
Advanced Studies in Logic (Series)

Credit hours: 3.0
Contact hours per week: 3-0-0

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.

LOGIC 4995
Undergraduate Thesis

Credit hours: 6.0
Contact hours: 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.

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).