[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

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

homepage • top • contact • sitemap