-
2Sheffer functions for many‐valued S5 modal logicsMathematical Logic Quarterly 15 (7‐12): 101-104. 2006.
-
172European and American PhilosophersIn Robert L. Arrington (ed.), A Companion to the Philosophers, Wiley-blackwell. 2008.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
-
87Review of The Laboratory of the Mind: Thought Experiments in the Natural Sciences by James Robert BrownPhilosophy of Science 62 (2): 341-343. 1995.
-
103An Introduction to the Philosophy of Science. Karel Lambert, Gordon G. Brittan JrPhilosophy of Science 39 (4): 561-564. 1972.
-
104
-
128Keene G. B.. The relational syllogism. A systematic approach to relational logic. University of Exeter, Exeter 1969, iv + 35 ppJournal of Symbolic Logic 35 (3): 448-450. 1970.
-
113Charles 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–226Journal of Symbolic Logic 39 (3): 611. 1974.
-
88Desmond 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.
-
23Four Simple Systems of Modal Propositional LogicJournal of Symbolic Logic 37 (4): 754-754. 1972.
-
32Philosophical 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
-
94Backdoor analycityIn Tamara Horowitz & Gerald J. Massey (eds.), Thought Experiments in Science and Philosophy, Rowman & Littlefield Publishers. 1991.When they abandoned the analytic-synthetic distinction, analytic philosophers substituted for it uncritical appeals to thought experiments or conceivability arguments. Although the history of philosophy is replete with thought experiments, medieval and early modern philosophers developed sophisticated theories concerning what governs what happens in thought experiments. By contrast, contemporary philosophers subscribe to the thesis of facile conception according to which casual allegations of co…Read more
-
91Negation, material equivalence, and conditioned nonconjunction: completeness and dualityNotre Dame Journal of Formal Logic 18 (1): 140-144. 1977.
-
59Sheffer functions for many‐valued S5 modal logicsMathematical Logic Quarterly 15 (7‐12): 101-104. 1969.
-
104Four simple systems of modal propositional logicPhilosophy of Science 32 (3/4): 342-355. 1965.Four progressively ambitious systems of modal propositional logic are set forth, together with decision procedures. The simultaneous employment of parenthesis notation and parenthesis-free notation, the dual use of symbols as primitive and defined, and the introduction of a new modal operator (the truth operator) are the principal devices used to effect the development of these logics. The first two logics turn out to be "the same" as two of von Wright's systems
-
577Thought 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
-
73Binary closure-algebraic operations that are functionally completeNotre Dame Journal of Formal Logic 11 (3): 340-342. 1970.
-
49Oliver Leslie Reiser 1895-1974Proceedings and Addresses of the American Philosophical Association 48. 1974.
-
159Binary connectives functionally complete by themselves in s5 modal logicJournal of Symbolic Logic 32 (1): 91-92. 1967.
Pittsburgh, Pennsylvania, United States of America