Course Descriptions

The Course Descriptions catalog describes all undergraduate and graduate courses offered by Michigan State University. The searches below only return course versions Fall 2000 and forward. Please refer to the Archived Course Descriptions for versions prior to Fall 2000.

Course Numbers Policy
Definitions of Course Characteristics (pdf)
Course Descriptions Frequently Asked Questions

Course Descriptions: Search Results

PHL 330  Formal Reasoning I

Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers, including identity, functions, and descriptions.
Effective Dates:
FS92 - SS04


PHL 330  Formal Reasoning

Semester:
Fall of every year, Spring of every year
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers including identity, functions, and descriptions.
Effective Dates:
US04 - US14


PHL 330  Formal Reasoning

Semester:
Fall of every year, Spring of every year
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Not open to students with credit in:
PHL 432
Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers including identity, functions, and descriptions.
Effective Dates:
FS14 - US15


PHL 330  Formal Reasoning

Semester:
Fall of every year, Spring of every year
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Not open to students with credit in:
PHL 432
Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers including identity, functions, and descriptions.
Effective Dates:
FS15 - US22


PHL 330  Formal Deductive Reasoning

Semester:
Fall of every year, Spring of every year
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Recommended Background:
PHL 130
Description:
Formal methods in deductive reasoning. Logic of connectives and quantifiers including identity, functions, and descriptions.
Effective Dates:
FS22 - Open