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 Search




Keyword Search



Course Descriptions: Search Results

PHL 432  Logic and its Metatheory

Semester:
Spring of odd years
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Recommended Background:
PHL 130
Not open to students with credit in:
PHL 330
Description:
Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.
Effective Dates:
US08 - FS09


PHL 432  Logic and its Metatheory

Semester:
Spring of odd years
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Recommended Background:
PHL 130
Not open to students with credit in:
PHL 330
Description:
Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.
Effective Dates:
SS10 - US14


PHL 432  Logic and its Metatheory

Semester:
Spring of odd years
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Recommended Background:
PHL 130
Not open to students with credit in:
PHL 330
Description:
Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.
Effective Dates:
FS14 - US15


PHL 432  Logic and its Metatheory

Semester:
Spring of odd years
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Recommended Background:
PHL 130
Not open to students with credit in:
PHL 330
Description:
Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.
Effective Dates:
FS15 - US22


PHL 432  Logic and its Metatheory

Semester:
Spring of odd years
Credits:
Total Credits: 4   Lecture/Recitation/Discussion Hours: 4
Recommended Background:
PHL 330
Description:
Logical consequence, first-order predicate logic with identity, including functions and descriptions. Proof theory and model theory. Topics in metatheory such as completeness, compactness, and the Lowenheim-Skolem Theorems. The axiomatic method and Godel's Incompleteness Theorems.
Effective Dates:
FS22 - Open