An Introduction to Formal Logic Second Edition
Richard L Epstein
Intended for a course for beginning students in philosophy, mathematics, linguistics, or computer science.Logic, Language, and the World
Language and the World: Essays New and Old
Richard L. Epstein
This book presents a new perspective on ways we encounter the world with our languages.
The Internal Structure of Predicates and Names
Richard L. Epstein
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.
Time and Space in Formal Logic
Richard L. Epstein
Many applications of the formal systems to formalizing ordinary language propositions and inferences clarify better the assumptions we make in reasoning taking account of time and space by making those precise in the formal systems. Appendices on events, branching times, intentions, and descriptive names add to the scope of the work.