114 found
Order:
Disambiguations:
Nuel D. Belnap [50]Nuel Belnap [50]Nuel D. Belnap Jr [13]Nuel Belnap Jr [1]
See also:
Profile: Nuel Belnap (University of Pittsburgh)
  1.  89
    Nuel D. Belnap (2001). Facing the Future: Agents and Choices in Our Indeterminist World. 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  
     
    My bibliography   96 citations  
  2. Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
  3. Nuel Belnap & Thomas Müller (2014). CIFOL: Case-Intensional First Order Logic. Journal of Philosophical Logic 43 (2-3):393-437.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4. Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn (1992). Entailment: The Logic of Relevance and Necessity, Vol. II. Princeton University Press.
    Translate
     
     
    Export citation  
     
    My bibliography   41 citations  
  5. Nuel Belnap (1992). Branching Space-Time. 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 (7 more)  
     
    Export citation  
     
    My bibliography   55 citations  
  6.  70
    Matthew Weiner & Nuel Belnap (2006). How Causal Probabilities Might Fit Into Our Objectively Indeterministic World. 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 (9 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  7.  87
    Alan Ross Anderson, Nuel D. Belnap, J. Michael Dunn & D. M. Balme (1993). Appearance in the List Does Not Preclude a Future Review of the Book. Where They Are Known Prices Are Given in $ US or in£ UK. Allen, Colin and Hand, Michael, Logic Primer, Cambridge Massachusetts, USA, The MIT Press, 1992, Pp. 171,£ 11.75. [REVIEW] Mind 102:405.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  18
    Nuel D. Belnap (1976). The Logic of Questions and Answers. Yale University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   51 citations  
  9.  36
    Thomas Müller, Nuel Belnap & Kohei Kishida (2008). Funny Business in Branching Space-Times: Infinite Modal Correlations. 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 quantum-mechanical 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 (8 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  10.  71
    Dorothy L. Grover, Joseph L. Kamp & Nuel D. Belnap (1975). A Prosentential Theory of Truth. Philosophical Studies 27 (1):73--125.
  11. Nuel Belnap (1977). How a Computer Should Think. In G. Ryle (ed.), Contemporary Aspects of Philosophy. Oriel Press Ltd.
    Direct download  
     
    Export citation  
     
    My bibliography   36 citations  
  12.  68
    John F. Horty & Nuel Belnap (1995). The Deliberative Stit: A Study of Action, Omission, Ability, and Obligation. [REVIEW] Journal of Philosophical Logic 24 (6):583 - 644.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   26 citations  
  13. Nuel Belnap (1962). Tonk, Plonk and Plink. Analysis 22 (6):130-134.
  14.  39
    Nuel Belnap & László E. Szabó (1996). Branching Space-Time Analysis of the GHZ Theorem. 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 (5 more)  
     
    Export citation  
     
    My bibliography   21 citations  
  15.  61
    Nuel Belnap (2005). A Theory of Causation: Causae Causantes (Originating Causes) as Inus Conditions in Branching Space-Times. 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 (12 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  16.  28
    Nuel Belnap (2003). No-Common-Cause EPR-Like Funny Business in Branching Space-Times. 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 (8 more)  
     
    Export citation  
     
    My bibliography   16 citations  
  17.  23
    Nuel Belnap & Thomas Müller (2013). BH-CIFOL: Case-Intensional First Order Logic. 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  
     
    My bibliography   3 citations  
  18.  55
    Nuel Belnap & Michael Perloff (1988). Seeing to It That: A Canonical Form for Agentives. Theoria 54 (3):175-199.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   26 citations  
  19.  27
    Nuel Belnap (2002). EPR-Like “Funny Business” in the Theory of Branching Space-Times. In T. Placek & J. Butterfield (eds.), Non-Locality and Modality. Kluwer 293--315.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  20.  80
    Nuel D. Belnap (1982). Display Logic. Journal of Philosophical Logic 11 (4):375-417.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  21.  98
    Nuel Belnap & Mitchell Green (1994). Indeterminism and the Thin Red Line. Philosophical Perspectives 8:365 - 388.
  22.  20
    Nuel Belnap & Michael Perloff, In the Realm of Agents.
    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 (...)
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   4 citations  
  23.  75
    Nuel Belnap (1993). On Rigorous Definitions. Philosophical Studies 72 (2-3):115 - 146.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  24. Michael Perloff & Nuel Belnap (2011). Future Contingents and the Battle Tomorrow. 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  
     
    My bibliography   2 citations  
  25.  29
    Nuel Belnap & Michael Perloff (1992). The Way of the Agent. 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 (6 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  26.  99
    Nuel Belnap (2007). Propensities and Probabilities. Studies in History and Philosophy of Science Part B 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 (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  27.  32
    Nuel D. Belnap (1982). Gupta's Rule of Revision Theory of Truth. Journal of Philosophical Logic 11 (1):103-116.
  28.  24
    Nuel Belnap (2012). Newtonian Determinism to Branching Space-Times Indeterminism in Two Moves. 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 (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  29. Alan Ross Anderson & Nuel D. Belnap Jr (1959). Modalities in Ackermann's "Rigorous Implication". Journal of Symbolic Logic 24 (2):107-111.
  30.  20
    Nuel Belnap (1991). Before Refraining: Concepts for Agency. [REVIEW] 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 (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  31. Nuel Belnap, Branching Histories Approach to Indeterminism and Free Will.
    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  
     
    My bibliography   1 citation  
  32.  45
    J. Michael Dunn & Nuel D. Belnap Jr (1968). The Substitution Interpretation of the Quantifiers. Noûs 2 (2):177-185.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   21 citations  
  33. Anil Gupta & Nuel Belnap (1987). A Note on Extension, Intension, and Truth. Journal of Philosophy 84 (3):168-174.
  34.  33
    Nuel Belnap (1991). Backwards and Forwards in the Modal Logic of Agency. Philosophy and Phenomenological Research 51 (4):777-807.
  35.  21
    Nuel Belnap (1990). Declaratives Are Not Enough. Philosophical Studies 59 (1):1 - 30.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   12 citations  
  36.  20
    Tomasz Placek, Nuel Belnap & Kohei Kishida (2013). On Topological Issues of Indeterminism. 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 (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  4
    Nuel D. Belnap Jr (1973). Restricted Quantification and Conditional Assertion. In Hugues Leblanc (ed.), Truth, Syntax and Modality. Amsterdam,North-Holland
  38.  1
    Anil Gupta & Nuel Belnap (1996). The Revision Theory of Truth. Philosophy and Phenomenological Research 56 (3):727-730.
    Direct download  
     
    Export citation  
     
    My bibliography   8 citations  
  39.  40
    Nuel D. Belnap Jr (1970). Conditional Assertion and Restricted Quantification. Noûs 4 (1):1-12.
  40.  39
    Alan Ross Anderson & Nuel D. Belnap Jr (1962). The Pure Calculus of Entailment. Journal of Symbolic Logic 27 (1):19-52.
  41.  1
    Heinrich Wansing & Nuel Belnap (2010). Generalized Truth Values.: A Reply to Dubois. Logic Journal of the Igpl 18 (6):921-935.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  42.  51
    Nuel D. Belnap & Gerald J. Massey (1990). Semantic Holism. Studia Logica 49 (1):67-82.
    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. (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  43.  79
    Nuel Belnap, From Newtonian Determinism to Branching-Space-Time Indeterminism.
  44.  22
    Alan Ross Anderson & Nuel D. Belnap (1962). Tautological Entailments. Philosophical Studies 13 (1-2):9 - 24.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  45.  27
    Nuel Belnap (2005). Under Carnap's Lamp: Flat Pre-Semantics. Studia Logica 80 (1):1 - 28.
    “Flat pre-semantics” lets each parameter of truth (etc.) be considered sepa-rately 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 use fulness 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 parame- ters (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  46. Thomas Müller, Nuel Belnap & Kohei Kishida (2008). Funny Business in Branching Space-Times: Infinite Modal Correlations. Synthese 164 (1):141-159.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  47. Alan Ross Anderson & Nuel D. Belnap (1977). Entailment. Vol. 1. Canadian Journal of Philosophy 7 (2):405-411.
    No categories
     
    Export citation  
     
    My bibliography   9 citations  
  48.  32
    Alan Ross Anderson & Nuel D. Belnap Jr (1961). Enthymemes. Journal of Philosophy 58 (23):713-723.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  49.  5
    Nuel Belnap & Thomas Müller, BH-CIFOL: Case-Intensional First Order Logic. Branching Histories.
    This paper follows Part I of our essay on case-intensional first-order logic. 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 that that moment is part of. This framework allows us to define the familiar Ockhamist (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50.  14
    Nuel D. Belnap Jr (1967). Intensional Models for First Degree Formulas. Journal of Symbolic Logic 32 (1):1-22.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   8 citations  
1 — 50 / 114