ABSTRACT
The logical system that we have studied in this book is known as Term Logic or TermIFunctor Logic (TFL). TFL parses sentences as 'dyads' made up of two terms and a functor that connects them. Not only sentences, but relational tenns, compound terms and compound sentences are given dyadic parsings. Term Logic goes back to Aristotle. In this chapter we shall acquaint ourselves with another logical giamrnar and another system oflogic known as Predicate Logic or Modern Predicate Logic (MPL). For discussion of the differences between TFL and MPL, the reader may wish to look again at Chapter 2 section 11, where we distinguished two approaches to logical syntax: "the Term Way' and 'the Predicate Way'. We have so fur followed the Term Way. In this chapter we follow the Predicate Way.
