-
17The 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.
-
49Negation, 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.
-
50Toward 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
-
9Review: 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.
-
444Thought 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
-
10Binary closure-algebraic operations that are functionally completeNotre Dame Journal of Formal Logic 11 (3): 340-342. 1970.
-
25Sheffer functions for many‐valued S5 modal logicsMathematical Logic Quarterly 15 (7‐12): 101-104. 1969.
-
31Backdoor 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
-
42
-
11Review: G. B. Keene, The Relational Syllogism. A Systematic Approach to Relational Logic (review)Journal of Symbolic Logic 35 (3): 448-450. 1970.
-
35Four 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
-
141Semantic HolismStudia Logica 49 (1). 1990.A bivalent valuation is snt iff sound (standard PC inference rules take truths only into truths) and non-trivial (not all wffs are assigned the same truth value). Such a valuation is normal iff classically correct for each connective. Carnap knew that there were non-normal snt valuations of PC, and that the gap they revealed between syntax and semantics could be "jumped" as follows. Let $VAL_{snt}$ be the set of snt valuations, and $VAL_{nrm}$ be the set of normal ones. The bottom row in the tab…Read more
Pittsburgh, Pennsylvania, United States of America