-
20Saul Kripke: puzzles and mysteriesPolity. 2013.Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, Naming and Necessity, reversed the pattern of two centuries of philosophizing about the necessary and the contingent. Although much of his work remains unpublished, several major essays have now appeared in print, most recently in his long-awaited collection Philosophical Troubles. In this book Kripke’s long-time colleague, the logician and philosopher John P. Burge…Read more
-
77Decidability for branching timeStudia Logica 39 (2-3): 203-218. 1980.The species of indeterminist tense logic called Peircean by A. N. Prior is proved to be recursively decidable
-
13Rescher Nicholas. A probabilistic approach to modal logic. Proceedings of a Colloquium on Modal and Many-valued Logics, Helsinki, 23–26 August, 1962, Acta philosophica Fennica, no. 16, Helsinki 1963, pp. 215–226 (review)Journal of Symbolic Logic 35 (4): 583-583. 1970.
-
120Quinus ab Omni Nævo VindicatusCanadian Journal of Philosophy 27 (sup1): 25-65. 1997.Today there appears to be a widespread impression that W. V. Quine's notorious critique of modal logic, based on certain ideas about reference, has been successfully answered. As one writer put it some years ago: “His objections have been dead for a while, even though they have not yet been completely buried.” What is supposed to have killed off the critique? Some would cite the development of a new ‘possible-worlds’ model theory for modal logics in the 1960s; others, the development of new ‘dir…Read more
Princeton, New Jersey, United States of America