-
48How Foundational Work in Mathematics Can Be Relevant to Philosophy of SciencePSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992. 1992.Foundational work in mathematics by some of the other participants in the symposium helps towards answering the question whether a heterodox mathematics could in principle be used as successfully as is orthodox mathematics in scientific applications. This question is turn, it will be argued, is relevant to the question how far current science is the way it is because the world is the way it is, and how far because we are the way we are, which is a central question, if not the central question, o…Read more
-
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.
-
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
-
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