-
43Propensities and probabilitiesStudies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 25 (4): 358-375. 1974.
-
42Truth by ascentDialectica 53 (3-4). 1999.This paper offers a lighthearted presentation of some of the chief ideas about truth that are shared by theories similar to those of Kripke, Herzberger, and Gupta. The problem is to explain the concept of truth for a language that contains its own truth predicate. The proposal of these theories is that one can unwind the tangles that threaten by invoking a transfinite series of stages of semantic reflection as one ascends the ordinals. The presentation emphasizes how each stage begins, to the ex…Read more
-
40Restricted quantification and conditional assertionIn Hugues Leblanc (ed.), Truth, Syntax and Modality, North-holland. 1973.
-
40Some non-classical logics seen from a variety of perspectivesJournal of Sun Yatsen University 43 167-179. 2003.
-
39New Foundations for Branching Space-TimesStudia Logica 109 (2): 239-284. 2020.The theory of branching space-times, put forward by Belnap, considers indeterminism as local in space and time. In the axiomatic foundations of that theory, so-called choice points mark the points at which the possible future can turn out in different ways. Working under the assumption of choice points is suitable for many applications, but has an unwelcome topological consequence that makes it difficult to employ branching space-times to represent a range of possible physical space-times. There…Read more
-
36Twenty-sixth annual meeting of the association for symbolic logicJournal of Symbolic Logic 25 (4): 384-393. 1960.
-
341. Rescher 1964 — henceforth HR — proposes a way of reasoning from a set of hypotheses which may include both some of our beliefs and also hypotheses contradicting those beliefs. The aim of this paper is to point out what I take to be a fault in Rescher’s proposal, and to suggest a modification of it, using a nonclassical logic, which avoids that fault. The paper neither attacks nor defends the broader aspects of Rescher’s proposal, but merely assumes that it is at least prima facie worthwhile a…Read more
-
33and I CaPI e D, then I Pl e D for all similar assignments. (2) For all values of P and q, I CPCNPql e D. (3) For all values of the variables in a, if la( e U then INal e D. (4) The F,P are constant functions such that, for all values of P, ~ FIP~ = 1, I F, Pl = 2,..., I Fât I = m.
-
32A Decision Procedure For the System E Ī of Entailment with NegationMathematical Logic Quarterly 11 (4): 277-289. 1965.
-
32A Contribution to the Axiomatization of Lewis' System S 5.Ten Modal ModelsJournal of Symbolic Logic 31 (3): 498. 1966.
-
27EQ and the First Order Functional CalculusZeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14): 217-218. 1960.
-
27David Harrah. A logic of questions and answers. Philosophy of science, vol. 28 , pp. 40–46. - David Harrah. Communication: A logical model. The M.I.T. Press, Cambridge, Massachusetts, 1963, xi + 118 pp. - David Harrah. A model for applying information and utility functions. Philosophy of science, vol. 30 , pp. 267–273 (review)Journal of Symbolic Logic 29 (3): 136-138. 1964.
-
27Branching Space-Times: Theory and ApplicationsOxford University Press. 2020."This book develops a rigorous theory of indeterminism as a local and modal concept. Its crucial insight is that our world contains events or processes with alternative, really possible outcomes. The theory aims at clarifying what this assumption involves, and it does it in two ways. First, it provides a mathematically rigorous framework for local and modal indeterminism. Second, we support that theory by spelling out the philosophically relevant consequences of this formulation and by showing i…Read more
-
26R. B. Angell. A propositional logic with subjunctive conditionals. The journal of symbolic logic, vol. 27 no. 3 , pp. 327–343Journal of Symbolic Logic 35 (3): 464-465. 1970.
-
24Following von Wright, ``transitions'' are needed for understanding agency. I indicate how von Wright's account of transitions should be adapted to take account of objective indeterminism, using the idea of branching space-time. The essential point is the need to locate transitions not merely in space-time, but concretely amid the indeterministic, causally structured possibilities of our (only) world. (This is a ``postprint'' of Belnap 1999, as cited in the paper. The page numbers do not, of cour…Read more
-
24Chapter VIII. Ackermann's strenge implikationIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 129-141. 2017.
-
23Prosentence, Revision, Truth, and ParadoxPhilosophy and Phenomenological Research 73 (3): 705-712. 2007.Tim Maudlin’s Truth and Paradox, a book that is richly endowed with interesting analyses and original theses, chooses to ignore both the prosentential theory of truth from Grover, Camp and Belnap 1975 and the revision theory in its book form, Gupta and Belnap 1993. There is no discussion of either theory, nor even any mention of them in the list of references. I offer a pair of quotes chosen from among a number of T&P generalizations that Maudlin would doubtless have modified if RTT had been on …Read more
-
23Wells Rulon. A measure of subjective information. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 237–244.Sable J. D., Wells R.. Comments. Structure of language and its mathematical aspects, Proceedings of symposia in applied mathematics, vol. 12, American Mathematical Society, Providence, Rhode Island, 1961, pp. 267–268 (review)Journal of Symbolic Logic 30 (2): 244-245. 1965.
-
21Chapter X. proof theory and decidabilityIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. pp. 267-391. 2017.
-
20FrontmatterIn J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson (eds.), Entailment, Vol. Ii: The Logic of Relevance and Necessity, Princeton University Press. 2017.
-
19Memorial MinutesPSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974 (n/a): 60. 1974.
Pittsburgh, Pennsylvania, United States of America
Areas of Interest
Metaphysics |
Logic and Philosophy of Logic |