Logical Troubles. Oxford University Press (in contract).
A collection of Professor Kripke’s works on (non-modal) logic, including some never before published material on intuitionistic and relevance logic, among other things.
Naming and Necessity. 2nd ed. Harvard University Press and Wiley-Blackwell (in contract).
A new edition of the seminal text including an updated preface by Professor Kripke.
An Edition of Seminars on the Theory of Truth by American Philosopher Saul Kripke.
An edition of Professor Kripke’s seminars on the theory of truth expanding on themes discussed in his classic paper “Outline of a Theory of Truth.” This project has been supported by the NEH (grant RQ-255700-17).
Elementary Recursion Theory and its Applications to Formal Systems.
A presentation of Professor Kripke’s unique approach to recursion theory based on lectures he gave on the subject at Princeton and the CUNY Graduate Center.
Saul Kripke on Modal Logic. Yale Weiss and Romina Birman (eds.). Springer (in contract).
A collection of papers by distinguished figures in modal logic celebrating Professor Kripke’s achievements in the field.