This series of volumes is meant to extend the scope of what we can formalize in classical predicate logic, and in doing so see the real limitations of what can be done.
The first section of this volume presents classical predicate logic with equality.
In the second section. that logic is extended to formalize reasoning that involves adverbs and relative adjectives by viewing those as modifiers of simpler predicates. What is normally taken to be an atomic predicate, such as "barking loudly," can then have internal structure. Reasoning that involves conjunctions of terms, as in...
This series of volumes is meant to extend the scope of what we can formalize in classical predicate logic, and in doing so see the real limitations...
