MODERN QUANTIFICATIONAL LOGIC

At the end of Chapter 3 we discussed several ways in which Traditional Logic was incomplete. The most important problems were the inability to deal with singular terms, the inability to deal with complex terms, and the inability to deal with relational terms. Modern Quantificational Logic was created to fix these problems in a final, comprehensive, and efficient manner.