SYMBOLIC LOGIC

PHILOS 511

Course Description

Propositional and predicate logic, with emphasis on metatheory; independence of rules and completeness theorems; discussion of technical and philosophical limitations of classical logic.

Prerequisties

PHILOS 211

Satisfies

This course does not satisfy any prerequisites.

Credits

Not Reported

Offered

Not Reported

Grade Point Average

3.14

-1.59% from Historical

Completion Rate

90.91%

-7.09% from Historical

A Rate

54.55%

279.09% from Historical

Class Size

-12.95% from Historical

Cumulative Grade Distribution

Instructors (2025 Fall)

Sorted by ratings from Rate My Professors

Similar Courses

FOUNDATIONS OF MATHEMATICS

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.

SEMINAR-LOGIC

PHILOS 911

Seminar on logic.

MATHEMATICAL LOGIC

MATH/PHILOS 571

Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.

ELEMENTARY LOGIC

PHILOS 211

The formal characteristics of logical truth and inference.

METHODS OF LOGIC

PHILOS 512

Selected topics in philosophical logic and in the various applications of logic to philosophical problems. Variable content.