-
13Review: Desmond Paul Henry, The Truncation of Truth-Functional Calculation (review)Journal of Symbolic Logic 39 (1): 174-174. 1974.
-
37European and American PhilosophersIn Robert L. Arrington (ed.), A Companion to the Philosophers, Wiley-blackwell. 1991.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
-
13Review 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.
-
14An Introduction to the Philosophy of Science. Karel Lambert, Gordon G. Brittan JrPhilosophy of Science 39 (4): 561-564. 1972.
-
11The Relational Syllogism. A Systematic Approach to Relational LogicJournal of Symbolic Logic 35 (3): 448-450. 1970.
-
14A Stipulation of Logical Truth in a Modal Propositional CalculusJournal of Symbolic Logic 39 (3): 611-611. 1974.
-
26Robert 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.
-
14Keene 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.
-
16Charles 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.
-
19Desmond 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.
-
15Four 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
-
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
-
47Semantic 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
-
29Sheffer 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.
Pittsburgh, Pennsylvania, United States of America