-
26Sheffer functions for many-valued S5 modal logicsZeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12): 101-104. 1969.
-
13Oliver Leslie Reiser 1895-1974Proceedings and Addresses of the American Philosophical Association 48. 1974.
-
32Binary connectives functionally complete by themselves in s5 modal logicJournal of Symbolic Logic 32 (1): 91-92. 1967.
-
12Science at Centurys End: Philosophical Questions on the Progress and Limits of S (edited book)University of Pittsburgh Press. 2000.To most laypersons and scientists, science and progress appear to go hand in hand, yet philosophers and historians of science have long questioned the inevitability of this pairing. As we take leave of a century acclaimed for scientific advances and progress, Science at Century's End, the eighth volume of the Pittsburgh-Konstanz Series in the Philosophy and History of Science, takes the reader to the heart of this important matter. Subtitled Philosophical Questions on the Progress and Limits of …Read more
-
13Reflections on the Unity of ScienceAnnals of the Japan Association for Philosophy of Science 4 (3): 203-212. 1973.
-
10Normal form generation of ${\rm S}5$ functions via truth functionsNotre Dame Journal of Formal Logic 9 (1): 81-85. 1968.
-
91Semantic holism is seriously falseStudia Logica 49 (1). 1990.Semantic Holism is the claim that any semantic path from inferential semantics (the indeterminate semantics forced by the classical inference rules of PC) reaches all the way to classical semantics if it is even one step long. In our joint paper Semantic Holism, Belnap and I showed that some such semantic paths are two steps long, but we left open a number of questions about the lengths of semantic paths. Here I answer the most important of these questions by showing that there are infinitely lo…Read more
-
Quine and Duhem on holistic hypothesis testingAmerican Philosophical Quarterly 48 (3): 239-266. 2011.
-
15The modal structure of the Prior-Rescher family of infinite product systemsNotre Dame Journal of Formal Logic 13 (2): 219-223. 1972.
-
5Review: Robert Feys, J. Dopp, Modal Logics (review)Journal of Symbolic Logic 34 (3): 501-502. 1969.
-
13Is 'Congruence' a Peculiar Predicate?PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1970. 1970.
-
17Alan Ross Anderson 1925-1973Proceedings and Addresses of the American Philosophical Association 47. 1973.
-
43Negation, material equivalence, and conditioned nonconjunction: completeness and dualityNotre Dame Journal of Formal Logic 18 (1): 140-144. 1977.
-
48The theory of truth tabular connectives, both truth functional and modalJournal of Symbolic Logic 31 (4): 593-608. 1966.
-
46Toward a clarification of grünbaum's conception of an intrinsic metricPhilosophy of Science 36 (4): 331-345. 1969.Much of Grünbaum's work may be regarded as a careful development and systematic elaboration of the Riemann-Poincaré thesis of the conventionality of congruence, the thesis that the continuous manifolds of space, time, and space-time are intrinsically metrically amorphous, i.e. are devoid of intrinsic metrics. Therefore, to appreciate Grünbaum's philosophical contributions, one must have a clear understanding of what he means by an intrinsic metric. The second and fourth sections of this paper ar…Read more
-
8Review: Charles E. Caton, A Stipulation of Logical Truth in a Modal Propositional Calculus; Charles E. Caton, A Stipulation of a Modal Propositional Calculus in Terms of Modalized Truth-Values (review)Journal of Symbolic Logic 39 (3): 611-611. 1974.
-
437Thought Experiments in Science and Philosophy (edited book)Rowman & Littlefield Publishers. 1991.Despite their centrality and importance to both science and philosophy, relatively little has been written about thought experiments. This volume brings together a series of extremely interesting studies of the history, mechanics, and applications of this important intellectual resource. A distinguished list of philosophers and scientists consider the role of thought experiments in their various disciplines, and argue that an examination of thought experimentation goes to the heart of both scien…Read more
Pittsburgh, Pennsylvania, United States of America