Propositional & predicate logic¶

Philosophy

What you will develop¶

Formalize and prove or refute representative arguments.

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¶

Formalize and prove or refute representative arguments.

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
• Tractatus Logico-Philosophicus
• The Frege Reader
• Logic and Knowledge

Continue¶

Connections above reflect recorded prerequisites, not a compulsory calendar.

Integrated practice | Choose a study route