Home » Program Information » Course Descriptions » 2003 / 2004 » Undergraduate » LOGIC

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 2001
Inductive Logic
Credit hours: 3.0
Contact hours per week: 3-0-0

An introduction to hypothesis testing in both the physical and social sciences. For example, do we use statistical evidence to test whether smoking causes cancer or poverty causes crime? Philosophical problems about induction (for instance, can we know the future will resemble the past?) will also be discussed.

Recommended background: Logic 1000.

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.

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.

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 per week: 1-0-0
Other hours: 0-0-10

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 in Logic or Philosophy at either the 3000 or 4000 level.

Note: See Part 7 - Arts and Science, Sections 4.c., 5.c. and 6.c., pp. 84-87.