-
427Thought 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
-
131Semantic 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
-
85Semantic 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
-
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.
-
34Negation, material equivalence, and conditioned nonconjunction: completeness and dualityNotre Dame Journal of Formal Logic 18 (1): 140-144. 1977.
-
34Toward 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
-
34
-
32An Introduction to the Philosophy of Science. Karel Lambert, Gordon G. Brittan JrPhilosophy of Science 39 (4): 561-564. 1972.
-
30The theory of truth tabular connectives, both truth functional and modalJournal of Symbolic Logic 31 (4): 593-608. 1966.
-
25Backdoor 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
-
22Binary connectives functionally complete by themselves in s5 modal logicJournal of Symbolic Logic 32 (1): 91-92. 1967.
-
22Desmond 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.
-
21Four 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
-
21Sheffer functions for many-valued S5 modal logicsZeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (7-12): 101-104. 1969.
-
19Review 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.
-
17Sheffer functions for many‐valued S5 modal logicsMathematical Logic Quarterly 15 (7‐12): 101-104. 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.
-
13Charles 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.
Pittsburgh, Pennsylvania, United States of America