|
Jan 14, 2025
|
|
|
|
PHIL 351 - Symbolic Logic4 credits An introduction to the propositional and predicate calculus, notions of proof, model, consistency, and truth; the Deduction, Compactness, and First Incompleteness Theorems and philosophical ramifications. Meets: 150 minutes weekly. Same as MATH 340 . Prerequisite: May differ between the 2 departments. CLA-Breadth/Interdisciplinary
Add to Portfolio (opens a new window)
|
|