A Philosophical Companion to First-order Logic
R. I. G. Hughes
Hackett Publishing, 1993 - Philosophy - 309 pages
This volume of recent writings, some previously unpublished, follows the sequence of a typical intermediate or upper-level logic course and allows teachers to enrich their presentations of formal methods and results with readings on corresponding questions in philosophical logic.
What people are saying - Write a review
Upon reading part of this upper-level logic course material, I would say it will thoroughly confuse students. Which is what most of this type course does. Just go to Thomas Aquinas. The more simple one makes the material, the more brilliant is the teacher.
What Do Q and R Stand for Anyway?
Theories of Truth
Truth and Proof