[Module PL] Predicate logic

Predicate Logic (PL) is a very well-known formal system of logic. It includes the whole of Sentential Logic (SL), which is discussed in a different module. Here, we shall discuss the basic properties of PL.

Before you start

• Since SL is an important part of PL, you should make sure that you have studied SL before proceeding.
• Also, make sure that your browser can display the logical symbols correctly.

Tutorials

• [PL01] Singular terms
• [PL02] Variables and predicates
• [PL03] Quantifiers 1
• [PL04] Quantifiers 2
• [PL05] Well-formed formula
• [PL06] Interpretation
• [PL07] Domain
• [PL08] Validity
• [PL09] Other valid sequents
• [PL10] Derivations 1
• [PL11] Derivation rules
• [PL12] Derivations 2
• [PL13] Soundness and completeness

Further readings

• A very good informal introduction: Graham Priest - Logic: A Very Short Introduction
• An introduction to formal logic. Used to be the standard textbook for first year logic students at Oxford: Wilfrid Hodges - Logic
• Harry Gensler - Introduction to Logic
• Very advanced: George Boolos - Computability and Logic
• Many advanced topics included: Theodore Sider - Logic for Philosophy
• A good textbook on formal logic that is available free online: http://tellerprimer.ucdavis.edu
• A good logic self-study guide (PDF): Teach Yourself Logic 2017: A Study Guide
• Entries on logic in the Stanford Encyclopedia of Philosophy - These are articles that discuss some of the main issues in the philosophy of logic. They are difficult!