138 found
Order:
Disambiguations
Nuel D. Belnap [83]Nuel Belnap [52]Nuel D. Belnap Jr [2]Nuel Belnap Jr [1]
See also
Nuel Belnap
University of Pittsburgh
  1. Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap - 2001 - Oxford University Press on Demand.
    Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.
    Direct download  
     
    Export citation  
     
    Bookmark   161 citations  
  2. Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan R. Anderson & Nuel D. Belnap - 1975 - Princeton University Press.
  3. Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap, Michael Perloff & Ming Xu - 2002 - Philosophical Quarterly 52 (209):660-662.
    No categories
     
    Export citation  
     
    Bookmark   80 citations  
  4. Branching Space-Time.Nuel Belnap - 1992 - Synthese 92 (3):385 - 434.
    Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   104 citations  
  5. A Prosentential Theory of Truth.Dorothy L. Grover, Joseph L. Camp & Nuel D. Belnap - 1975 - Philosophical Studies 27 (1):73--125.
  6. Modalities in Ackermann's “Rigorous Implication”.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (2):107-111.
  7. How a Computer Should Think.Nuel Belnap - 1977 - In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press.
  8. Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   44 citations  
  9. Tonk, Plonk and Plink.Nuel Belnap - 1962 - Analysis 22 (6):130-134.
  10. A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times.Nuel Belnap - 2005 - British Journal for the Philosophy of Science 56 (2):221-253.
    permits a sound and rigorously definable notion of ‘originating cause’ or causa causans—a type of transition event—of an outcome event. Mackie has famously suggested that causes form a family of ‘inus’ conditions, where an inus condition is ‘an insufficient but non-redundant part of an unnecessary but sufficient condition’. In this essay the needed concepts of BST theory are developed in detail, and it is then proved that the causae causantes of a given outcome event have exactly the structure of a (...)
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  11. Indeterminism and the Thin Red Line.Nuel Belnap & Mitchell Green - 1994 - Philosophical Perspectives 8:365 - 388.
  12.  71
    The Logic of Questions and Answers.Nuel D. Belnap - 1976 - Yale University Press.
  13. How Causal Probabilities Might Fit Into Our Objectively Indeterministic World.Matthew Weiner & Nuel Belnap - 2006 - Synthese 149 (1):1-36.
    We suggest a rigorous theory of how objective single-case transition probabilities fit into our world. The theory combines indeterminism and relativity in the “branching space–times” pattern, and relies on the existing theory of causae causantes (originating causes). Its fundamental suggestion is that (at least in simple cases) the probabilities of all transitions can be computed from the basic probabilities attributed individually to their originating causes. The theory explains when and how one can reasonably infer from the probabilities of one “chance (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  14. Funny Business in Branching Space-Times: Infinite Modal Correlations.Thomas Muller, Nuel Belnap & Kohei Kishida - 2008 - Synthese 164 (1):141-159.
    The theory of branching space-times is designed as a rigorous framework for modelling indeterminism in a relativistically sound way. In that framework there is room for "funny business", i.e., modal correlations such as occur through quantummechanical entanglement. This paper extends previous work by Belnap on notions of "funny business". We provide two generalized definitions of "funny business". Combinatorial funny business can be characterized as "absence of prima facie consistent scenarios", while explanatory funny business characterizes situations in which no localized explanation (...)
    No categories
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  15. The Deliberative Stit: A Study of Action, Omission, Ability, and Obligation. [REVIEW]John F. Horty & Nuel Belnap - 1995 - Journal of Philosophical Logic 24 (6):583 - 644.
  16. Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
  17.  60
    No-Common-Cause EPR-Like Funny Business in Branching Space-Times.Nuel Belnap - 2003 - Philosophical Studies 114 (3):199 - 221.
    There is no EPR-like funny business if (contrary to apparent fact)our world is as indeterministic as you wish, but is free from theEPR-like quantum mechanical phenomena such as is sometimes described interms of superluminal causation or correlation between distant events.The theory of branching space-times can be used to sharpen thetheoretical dichotomy between EPR-like funny business and noEPR-like funny business. Belnap (2002) offered two analyses of thedichotomy, and proved them equivalent. This essay adds two more, bothconnected with Reichenbachs principle of the (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  18. Seeing to It That: A Canonical Form for Agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  19. On Rigorous Definitions.Nuel Belnap - 1993 - Philosophical Studies 72 (2-3):115 - 146.
  20.  46
    Branching Space-Time Analysis of the GHZ Theorem.Nuel Belnap & László E. Szabó - 1996 - Foundations of Physics 26 (8):989-1002.
    Greenberger. Horne. Shimony, and Zeilinger gave a new version of the Bell theorem without using inequalities (probabilities). Mermin summarized it concisely; but Bohm and Hiley criticized Mermin's proof from contextualists' point of view. Using the branching space-time language, in this paper a proof will be given that is free of these difficulties. At the same time we will also clarify the limits of the validity of the theorem when it is taken as a proof that quantum mechanics is not compatible (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   36 citations  
  21.  53
    EPR-Like “Funny Business” in the Theory of Branching Space-Times.Nuel Belnap - 2002 - In T. Placek & J. Butterfield (eds.), Non-Locality and Modality. Kluwer Academic Publishers. pp. 293--315.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  22.  70
    BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
    This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  23.  19
    CIFOL: Case-Intensional First Order Logic: Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.
    This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  24. Gupta's Rule of Revision Theory of Truth.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (1):103-116.
    Gupta’s Rule of Revision theory of truth builds on insights to be found in Martin and Woodruff and Kripke in order to permanently deepen our understanding of truth, of paradox, and of how we work our language while our language is working us. His concept of a predicate deriving its meaning by way of a Rule of Revision ought to impact significantly on the philosophy of language. Still, fortunately, he has left me something to.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   44 citations  
  25.  90
    Newtonian Determinism to Branching Space-Times Indeterminism in Two Moves.Nuel Belnap - 2012 - Synthese 188 (1):5-21.
    “Branching space-times” (BST) is intended as a representation of objective, event-based indeterminism. As such, BST exhibits both a spatio-temporal aspect and an indeterministic “modal” aspect of alternative possible historical courses of events. An essential feature of BST is that it can also represent spatial or space-like relationships as part of its (more or less) relativistic theory of spatio-temporal relations; this ability is essential for the representation of local (in contrast with “global”) indeterminism. This essay indicates how BST might be seen (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  26.  43
    On Topological Issues of Indeterminism.Tomasz Placek, Nuel Belnap & Kohei Kishida - 2014 - Erkenntnis 79 (S3):1-34.
    Indeterminism, understood as a notion that an event may be continued in a few alternative ways, invokes the question what a region of chanciness looks like. We concern ourselves with its topological and spatiotemporal aspects, abstracting from the nature or mechanism of chancy processes. We first argue that the question arises in Montague-Lewis-Earman conceptualization of indeterminism as well as in the branching tradition of Prior, Thomason and Belnap. As the resources of the former school are not rich enough to study (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  27. Propensities and Probabilities.Nuel Belnap - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (3):593-625.
    Popper’s introduction of ‘‘propensity’’ was intended to provide a solid conceptual foundation for objective single-case probabilities. By considering the partly opposed contributions of Humphreys and Miller and Salmon, it is argued that when properly understood, propensities can in fact be understood as objective single-case causal probabilities of transitions between concrete events. The chief claim is that propensities are well-explicated by describing how they fit into the existing formal theory of branching space-times, which is simultaneously indeterministic and causal. Several problematic examples, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  28.  38
    Before Refraining: Concepts for Agency. [REVIEW]Nuel Belnap - 1991 - Erkenntnis 34 (2):137 - 169.
    A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  29.  79
    Declaratives Are Not Enough.Nuel Belnap - 1990 - Philosophical Studies 59 (1):1 - 30.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  30. The Substitution Interpretation of the Quantifiers.J. Michael Dunn & Nuel D. Belnap - 1968 - Noûs 2 (2):177-185.
  31. Double Time References: Speech-Act Reports as a Modalitites in an Indeterminist Setting.Nuel D. Belnap - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. CSLI Publications. pp. 37-58.
    No categories
     
    Export citation  
     
    Bookmark   15 citations  
  32.  63
    The Way of the Agent.Nuel Belnap & Michael Perloff - 1992 - Studia Logica 51 (3-4):463 - 484.
    The conditional,if an agent did something, then the agent could have done otherwise, is analyzed usingstit theory, which is a logic of seeing to it that based on agents making choices in the context of branching time. The truth of the conditional is found to be a subtle matter that depends on how it is interpreted (e.g., on what otherwise refers to, and on the difference between could and might) and also on whether or not there are busy choosers that (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   21 citations  
  33.  71
    Conditional Assertion and Restricted Quantification.Nuel D. Belnap - 1970 - Noûs 4 (1):1-12.
  34.  52
    Backwards and Forwards in the Modal Logic of Agency.Nuel Belnap - 1991 - Philosophy and Phenomenological Research 51 (4):777-807.
  35. Branching Histories Approach to Indeterminism and Free Will.Nuel Belnap - unknown
    An informal sketch is offered of some chief ideas of the (formal) ``branching histories'' theory of objective possibility, free will and indeterminism. Reference is made to ``branching time'' and to ``branching space-times,'' with emphasis on a theme that they share: Objective possibilities are in Our World, organized by the relation of causal order.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  36. Future Contingents and the Battle Tomorrow.Michael Perloff & Nuel Belnap - 2011 - Review of Metaphysics 64 (3):581-602.
    Using Aristotle's well-known sea battle as our example, we offer a precise, intelligible analysis of future contingent assertions in the presence of indeterminism. After explaining our view of the problem, we present a picture of indeterminism in the context of a tree ofbranching histories. There follows a brief description ofthe semantic bases for our double-time-reference theory of future contingents. We then set out our account. Before concluding, we discuss some ramifications of, and alternatives to, a double-time-reference approach to the problem (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  37.  51
    A Simple Treatment of Truth Functions.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (4):301-302.
  38. Double Time References: Speech-Act Reports as a Modalitites in an Indeterminist Setting.Nuel D. Belnap - 2002 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 37-58.
    No categories
     
    Export citation  
     
    Bookmark   12 citations  
  39.  18
    Restricted Quantification and Conditional Assertion.Nuel D. Belnap Jr - 1973 - In Hugues Leblanc (ed.), Truth, Syntax and Modality. Amsterdam: North-Holland.
  40.  10
    Generalized Truth Values.: A Reply to Dubois.Heinrich Wansing & Nuel Belnap - 2010 - Logic Journal of the IGPL 18 (6):921-935.
  41.  93
    Under Carnap’s Lamp: Flat Pre-Semantics.Nuel Belnap - 2005 - Studia Logica 80 (1):1-28.
    "Flat pre-semantics" lets each parameter of truth be considered separately and equally, and without worrying about grammatical complications. This allows one to become a little clearer on a variety of philosophical-logical points, such as the usefulness of Carnapian tolerance and the deep relativity of truth. A more definite result of thinking in terms of flat pre-semantics lies in the articulation of some instructive ways of categorizing operations on meanings in purely logical terms in relation to various parameters of truth ; (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  42.  46
    Tautological Entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
  43. Bressan's Type-Theoretical Combination of Quantification and Modality.Nuel Belnap - 2006 - In Henrik Lagerlund, Sten Lindström & Rysiek Sliwinski (eds.), Modality Matters: Twenty-Five Essays in Honour of Krister Segerberg. Uppsala Philosophical Studies 53. pp. 53--31.
  44.  68
    The Pure Calculus of Entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
  45. From Newtonian Determinism to Branching-Space-Time Indeterminism.Nuel Belnap - manuscript
  46.  17
    Concrete Transitions.Nuel Belnap - unknown
    Following 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 course, match those of the original.).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  47.  31
    In the Realm of Agents.Nuel Belnap & Michael Perloff - unknown
    Stit theory (a logic of seeing-to-it-that) is applied to cases involving many agents. First treated are complex nestings of stits involving distinct agents. The discussion is driven by the logical impossibility of "a sees to it that b sees to it that Q" in the technical sense, even though that seems to make sense in everyday language, Of special utility are the concepts of "forced choice", of the creation of deontic states, and of probabilities, Second, joint agency, both plain and (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  48. Entailment. Vol. 1.Alan Ross Anderson & Nuel D. Belnap - 1977 - Canadian Journal of Philosophy 7 (2):405-411.
     
    Export citation  
     
    Bookmark   11 citations  
  49. Truth Values, Neither-True-nor-False, and Supervaluations.Nuel Belnap - 2009 - Studia Logica 91 (3):305 - 334.
    The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that caters to special kinds (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  53
    Entailment and Relevance.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (2):144-146.
1 — 50 / 138