Quantification, identity, relations, proof & elementary set theory¶

Philosophy

What you will develop¶

Construct proofs with quantifiers/identity and explain the set-theoretic assumptions.

Before you begin¶

Prerequisite guidance has not yet been established for this subject.

Study and practice¶

This is a study outline. A complete practice sequence is not yet available.

Intended demonstration¶

Construct proofs with quantifiers/identity and explain the set-theoretic assumptions.

This describes the intended standard, not a validated assessment or a claim of mastery.

Reading options¶

Assigned readings, where available, appear in the practice sequence above. These additional recommendations are not all required reading.

• A Mathematical Introduction to Logic
• Philosophy of Mathematics: Selected Readings
• The Frege Reader
• Logic and Knowledge

Continue¶

Connections above reflect recorded prerequisites, not a compulsory calendar.

Integrated practice | Choose a study route