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.

- 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.

- [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

- 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
- Does not presuppose any background but advances very quickly. Highly recommended if you are interested in the connections between computation, mathematics and logic. Written by the late George Boolos, a brilliant logician and philosopher at MIT: Computability and Logic
- Many advanced topics included: Theodore Sider - Logic for Philosophy
- A good formal logic textbook if you want to learn about more advanced topics related to Gödel's incompleteness proof and computability theory, by Richard E. Hodel: Introduction to Mathematical Logic
- Free online textbook on basic formal logic: 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!