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

Instructors (2025 Fall)

Sorted by ratings from Rate My Professors

Similar Courses

ELEMENTARY LOGIC

PHILOS 211

The formal characteristics of logical truth and inference.

MATHEMATICAL LOGIC

MATH/PHILOS 571

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

METHODS OF LOGIC

PHILOS 512

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

SEMINAR-LOGIC

PHILOS 911

Seminar on logic.

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.