-
9European and American PhilosophersIn Robert L. Arrington (ed.), A Companion to the Philosophers, Blackwell. 2017.Peter Abelard (1079–1142 ce) was the most wide‐ranging philosopher of the twelfth century. He quickly established himself as a leading teacher of logic in and near Paris shortly after 1100. After his affair with Heloise, and his subsequent castration, Abelard became a monk, but he returned to teaching in the Paris schools until 1140, when his work was condemned by a Church Council at Sens. His logical writings were based around discussion of the “Old Logic”: Porphyry's Isagoge, aristotle'S Categ…Read more
-
22Review of The Laboratory of the Mind: Thought Experiments in the Natural Sciences by James Robert Brown (review)Philosophy of Science 62 (2): 341-343. 1995.
-
34An Introduction to the Philosophy of Science. Karel Lambert, Gordon G. Brittan JrPhilosophy of Science 39 (4): 561-564. 1972.
-
7The Relational Syllogism. A Systematic Approach to Relational LogicJournal of Symbolic Logic 35 (3): 448-450. 1970.
-
10A Stipulation of Logical Truth in a Modal Propositional CalculusJournal of Symbolic Logic 39 (3): 611-611. 1974.
-
40Robert Feys. Modal logics. Edited with some complements by Joseph Dopp. Collection de logique mathématique, Série B no. 4. E. Nauwelaerts, Louvain, and Gauthier-Villars, Paris, 1965, XIV + 219 pp. - J. Dopp. Editor's foreword. Therein, pp. V–VIII (review)Journal of Symbolic Logic 34 (3): 501-502. 1969.
-
15Keene G. B.. The relational syllogism. A systematic approach to relational logic. University of Exeter, Exeter 1969, iv + 35 pp (review)Journal of Symbolic Logic 35 (3): 448-450. 1970.
-
15Charles E. Caton. A stipulation of logical truth in a modal propositional calculus. Synthese, vol. 14 , pp. 196–199. - Charles E. Caton. A stipulation of a modal propositioned calculus in terms of modalized truth-values. Notre Dame journal of formal logic, vol. 4 no. 3 , pp. 224–226 (review)Journal of Symbolic Logic 39 (3): 611. 1974.
-
25Desmond Paul Henry. The truncation of truth-functional calculation. Notre Dame journal of formal logic, vol. 2 , pp. 193–205 (review)Journal of Symbolic Logic 39 (1): 174. 1974.
-
11Four Simple Systems of Modal Propositional LogicJournal of Symbolic Logic 37 (4): 754-754. 1972.
-
10Philosophical Problems of the Internal and External Worlds: Essays on the Philosophy of Adolf Grunbaum (edited book)University of Pittsburgh Press. 1994.The inaugural volume of the Pitt-Konstanz series, devoted to the work of philosopher Adolf Grünbaum, encompasses the philosophical problems of space, time, and cosmology, the nature of scientific methodology, and the foundations of psychoanalysis
-
28Binary connectives functionally complete by themselves in s5 modal logicJournal of Symbolic Logic 32 (1): 91-92. 1967.
-
11Science 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
-
10Reflections 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.
-
89Semantic 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.
-
11The modal structure of the Prior-Rescher family of infinite product systemsNotre Dame Journal of Formal Logic 13 (2): 219-223. 1972.
Pittsburgh, Pennsylvania, United States of America