63 found
Order:
Disambiguations:
Nuel D. Belnap [50]Nuel D. Belnap Jr [13]
See also:
Profile: Nuel Belnap (University of Pittsburgh)
  1.  96
    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   97 citations  
  2. Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
  3. 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  
  4.  22
    Nuel D. Belnap (1976). The Logic of Questions and Answers. Yale University Press.
    Direct download  
     
    Export citation  
     
    My bibliography   51 citations  
  5.  74
    Dorothy L. Grover, Joseph L. Kamp & Nuel D. Belnap (1975). A Prosentential Theory of Truth. Philosophical Studies 27 (1):73--125.
  6.  88
    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  
  7.  81
    Nuel D. Belnap (1982). Display Logic. Journal of Philosophical Logic 11 (4):375-417.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   25 citations  
  8.  41
    Nuel D. Belnap (1982). Gupta's Rule of Revision Theory of Truth. 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 (8 more)  
     
    Export citation  
     
    My bibliography   20 citations  
  9. Alan Ross Anderson & Nuel D. Belnap Jr (1959). Modalities in Ackermann's "Rigorous Implication". Journal of Symbolic Logic 24 (2):107-111.
  10.  53
    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  
  11.  4
    Nuel D. Belnap Jr (1973). Restricted Quantification and Conditional Assertion. In Hugues Leblanc (ed.), Truth, Syntax and Modality. Amsterdam,North-Holland
  12.  42
    Nuel D. Belnap Jr (1970). Conditional Assertion and Restricted Quantification. Noûs 4 (1):1-12.
  13.  42
    Alan Ross Anderson & Nuel D. Belnap Jr (1962). The Pure Calculus of Entailment. Journal of Symbolic Logic 27 (1):19-52.
  14.  63
    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  
  15.  23
    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  
  16.  4
    Nuel D. Belnap & John R. Wallace (1965). A Decision Procedure For the SystemEĪ of Entailment with Negation. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (4):277-289.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  17. 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  
  18.  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  
  19.  15
    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  
  20.  30
    Nuel D. Belnap Jr (1960). Entailment and Relevance. Journal of Symbolic Logic 25 (2):144-146.
  21.  2
    Alan Ross Anderson, Nuel D. Belnap & John R. Wallace (1960). Independent Axiom Schemata for the Pure Theory of Entailment. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (1-6):93-95.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22.  2
    Nuel D. Belnap (1960). EQ and the First Order Functional Calculus. Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):217-218.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23.  25
    Nuel D. Belnap Jr (1966). Questions, Answers, and Presuppositions. Journal of Philosophy 63 (20):609-611.
  24.  23
    Nuel D. Belnap, Anil Gupta & J. Michael Dunn (1980). A Consecutive Calculus for Positive Relevant Implication with Necessity. Journal of Philosophical Logic 9 (4):343-362.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  25.  33
    Alan Ross Anderson & Nuel D. Belnap Jr (1959). A Simple Treatment of Truth Functions. Journal of Symbolic Logic 24 (4):301-302.
  26.  2
    Nuel D. Belnap & Santa Monica Calif System Development Corporation (1963). An Analysis of Questions Preliminary Report. System Development Corp.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  27.  1
    Nuel D. Belnap & Gerald J. Massey (1990). Semantic Holism. Studia Logica 94 (1994):325-339.
    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 VALsnt be the set of snt valuations, and VALnrm be the set of normal ones. The bottom (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  28.  1
    Nuel D. Belnap & Dorothy L. Grover (1977). 'Quantifying in and Out Of' Quotes. Journal of Symbolic Logic 42 (2):313-313.
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  29.  6
    Alan Ross Anderson, Nuel D. Belnap & John R. Wallace (1960). Independent Axiom Schemata for the Pure Theory of Entailment. Mathematical Logic Quarterly 6 (1‐6):93-95.
  30.  15
    Michael A. McRobbie & Nuel D. Belnap (1979). Relevant Analytic Tableaux. Studia Logica 38 (2):187 - 200.
    Tableau formulations are given for the relevance logics E (Entailment), R (Relevant implication) and RM (Mingle). Proofs of equivalence to modus-ponens-based formulations are vialeft-handed Gentzen sequenzen-kalküle. The tableau formulations depend on a detailed analysis of the structure of tableau rules, leading to certain global requirements. Relevance is caught by the requirement that each node must be used; modality is caught by the requirement that only certain rules can cross a barrier. Open problems are discussed.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  14
    Nuel D. Belnap (1972). S-P Interrogatives. Journal of Philosophical Logic 1 (3-4):331-346.
  32.  4
    Nuel D. Belnap & John R. Wallace (1965). A Decision Procedure For the System EĪ of Entailment with Negation. Mathematical Logic Quarterly 11 (4):277-289.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  33.  18
    Nuel D. Belnap, Has a Post-Complete Axiomatization.
    and 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.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  34.  3
    Michael Clark, Alan Ross Anderson & Nuel D. Belnap (1978). Entailment. The Logic of Relevance and Necessity. Volume I. Philosophical Quarterly 28 (111):172.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  35. Nuel D. Belnap (1964). Review: David Harrah, A Logic of Questions and Answers; David Harrah, Communication: A Logical Model; David Harrah, A Model for Applying Information and Utility Functions. [REVIEW] Journal of Symbolic Logic 29 (3):136-138.
     
    Export citation  
     
    My bibliography   2 citations  
  36.  13
    Nuel D. Belnap Jr (1960). Twenty-Sixth Annual Meeting of the Association for Symbolic Logic. Journal of Symbolic Logic 25 (4):384-393.
  37.  13
    Nuel D. Belnap & Paul Feyerabend (1974). Memorial Minutes. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974:60.
    Direct download  
     
    Export citation  
     
    My bibliography  
  38.  2
    Nuel D. Belnap (1960). Review: Hugues Leblanc, Theodore Hailperin, Nondesignating Singular Terms. [REVIEW] Journal of Symbolic Logic 25 (1):87-88.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  39.  10
    Hugues Leblanc & Nuel D. Belnap (1962). Intuitionism Reconsidered. Notre Dame Journal of Formal Logic 3 (2):79-82.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  40.  14
    Nuel D. Belnap, An Amendment.
    1. 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 (...)
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  41.  10
    Nuel D. Belnap & Richmond H. Thomason (1963). A Rule-Completeness Theorem. Notre Dame Journal of Formal Logic 4 (1):39-43.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  42.  8
    Nuel D. Belnap Jr (1981). Logica Docens and Relevance. Teaching Philosophy 4 (3/4):419-427.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  43.  1
    Nuel D. Belnap (1970). Review: R. B. Angell, A Propositional Logic with Subjunctive Conditionals. [REVIEW] Journal of Symbolic Logic 35 (3):464-465.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  8
    Nuel D. Belnap Jr (1974). A Memorial Note on Alan Ross Anderson. Metaphilosophy 5 (2):73–75.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  45.  6
    Nuel D. Belnap & Storrs McCall (1970). Every Functionally Complete $M$-Valued Logic has a Post-Complete Axiomatization. Notre Dame Journal of Formal Logic 11 (1):106-106.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46.  2
    Nuel D. Belnap (1960). EQ and the First Order Functional Calculus. Mathematical Logic Quarterly 6 (7‐14):217-218.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  47.  2
    Nuel D. Belnap (1996). Sobociński Bolesław. A Contribution to the Axiomatization of Lewis' System S5. Notre Dame Journal of Formal Logic, Vol. 3 (1962), Pp. 51–63. Sobociński Bolesław. On the Generalized Brouwerian Axioms. Notre Dame Journal of Formal Logic, Vol. 3 (1962), Pp. 123–128. Sobociński Bolesław. A Note on Modal Systems. Notre Dame Journal of Formal Logic, Vol. 4 (1963), Pp. 155–157. Thomas Ivo. Solutions of Five Modal Problems of Sobociński. Notre Dame Journal of Formal Logic, Vol. 3 (1962), Pp. 199–200. Thomas Ivo ... [REVIEW] Journal of Symbolic Logic 31 (3):498-500.
    Direct download  
     
    Export citation  
     
    My bibliography  
  48.  2
    Ignacio Angelelli, Robert Bull, Jean E. Rubin, F. Gonzalez Asenjo, John Thomas Canty, Luis Elpidio Sanchis, Nuel D. Belnap, George Goe, Wilson E. Singletary & Ivan Boh (2010). Introduction to the Fiftieth Anniversary Issues. Notre Dame Journal of Formal Logic 51 (1).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  1
    Nuel D. Belnap (1960). Review: Jaakko Hintikka, Existential Presuppositions and Existential Commitments. [REVIEW] Journal of Symbolic Logic 25 (1):88-88.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Nuel D. Belnap (1965). Review: Rulon Wells, A Measure of Subjective Information. [REVIEW] Journal of Symbolic Logic 30 (2):244-245.
     
    Export citation  
     
    My bibliography  
1 — 50 / 63