Results for 'Nuel D. Belnap'

986 found
Order:
  1. Semantic Holism.Nuel D. Belnap Jr & Gerald J. Massey - 1990 - 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. The bottom (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   15 citations  
  2.  14
    S-P Interrogatives.Nuel D. Belnap Jr - 1972 - Journal of Philosophical Logic 1 (3/4):331 - 346.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Facing the future: agents and choices in our indeterminist world.Nuel D. Belnap - 2001 - New York: Oxford University Press. Edited by Michael Perloff & Ming Xu.
    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   206 citations  
  4. The logic of questions and answers.Nuel D. Belnap & Thomas B. Steel (eds.) - 1976 - New Haven/London: Yale University Press.
  5. Conditional assertion and restricted quantification.Nuel D. Belnap - 1970 - Noûs 4 (1):1-12.
  6. 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 (7 more)  
     
    Export citation  
     
    Bookmark   52 citations  
  7. Display logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.
  8.  86
    Entailment and relevance.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (2):144-146.
  9.  40
    Intensional models for first degree formulas.Nuel D. Belnap - 1967 - Journal of Symbolic Logic 32 (1):1-22.
  10. Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
    In spite of a powerful tradition, more than two thousand years old, that in a valid argument the premises must be relevant to the conclusion, twentieth-century logicians neglected the concept of relevance until the publication of Volume I of this monumental work. Since that time relevance logic has achieved an important place in the field of philosophy: Volume II of Entailment brings to a conclusion a powerful and authoritative presentation of the subject by most of the top people working in (...)
    Direct download  
     
    Export citation  
     
    Bookmark   187 citations  
  11.  5
    Entailment and Relevance.Nuel D. Belnap - 1969 - Journal of Symbolic Logic 34 (1):120-120.
  12.  32
    A Decision Procedure For the System E Ī of Entailment with Negation.Nuel D. Belnap & John R. Wallace - 1965 - Mathematical Logic Quarterly 11 (4):277-289.
  13. Double Time References: Speech-act Reports as a Modalitites in an Indeterminist Setting.Nuel D. Belnap - 1998 - 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   29 citations  
  14. Double Time References: Speech-act Reports as a Modalitites in an Indeterminist Setting.Nuel D. Belnap - 1998 - 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   27 citations  
  15.  74
    Questions, answers, and presuppositions.Nuel D. Belnap - 1966 - Journal of Philosophy 63 (20):609-611.
  16.  1
    Nondesignating Singular Terms.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (1):87-88.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Index of Contributed Papers: [vol. 1-25].Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (1):2-12.
     
    Export citation  
     
    Bookmark  
  18.  71
    Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
  19.  96
    The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
  20.  15
    'Quantifying in and out of' Quotes.Nuel D. Belnap & Dorothy L. Grover - 1977 - Journal of Symbolic Logic 42 (2):313-313.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  21.  16
    A Decision Procedure For the System EĪ of Entailment with Negation.Nuel D. Belnap & John R. Wallace - 1965 - Mathematical Logic Quarterly 11 (4):277-289.
  22.  23
    A rule-completeness theorem.Nuel D. Belnap & Richmond H. Thomason - 1963 - Notre Dame Journal of Formal Logic 4 (1):39-43.
  23. Questions and Answers in Montague Grammar.Nuel D. Belnap - 1982 - In Stanley Peters & Esa Saarinen (eds.), Processes, Beliefs, and Questions. Essays on Formal Semantics of Natural Language and Natural Language Processing. Reidel. pp. 165--198.
  24. Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
  25.  26
    Tautological Entailments.Alan Ross Anderson & Nuel D. Belnap - 1968 - Journal of Symbolic Logic 33 (4):608-608.
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  26. Questions: Their Preuppositions, and How They Can Fail to Arise.Nuel D. Belnap - 1969 - In Karel Lambert (ed.), The Logical Way of Doing Things. Yale University Press. pp. 23--37.
  27.  76
    A consecutive calculus for positive relevant implication with necessity.Nuel D. Belnap, Anil Gupta & J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (4):343-362.
  28.  74
    Enthymemes.Alan Ross Anderson & Nuel D. Belnap - 1961 - Journal of Philosophy 58 (23):713-723.
  29. Approaches to the Semantics of Questions in Natural Language.Nuel D. Belnap - 1968 - In Rainer Bäuerle, Christoph Schwarze & Arnim von Stechow (eds.), Meaning, Use, and Interpretation of Language. De Gruyter. pp. 22--29.
     
    Export citation  
     
    Bookmark   5 citations  
  30.  35
    A memorial note on Alan Ross Anderson.Nuel D. Belnap - 1974 - Metaphilosophy 5 (2):73-75.
  31.  13
    Every functionally complete $m$-valued logic has a Post-complete axiomatization.Nuel D. Belnap & Storrs McCall - 1970 - Notre Dame Journal of Formal Logic 11 (1):106-106.
  32.  36
    Twenty-sixth annual meeting of the association for symbolic logic.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (4):384-393.
  33.  27
    EQ and the First Order Functional Calculus.Nuel D. Belnap - 1960 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 6 (7-14):217-218.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34.  46
    S-p interrogatives.Nuel D. Belnap - 1972 - Journal of Philosophical Logic 1 (3-4):331-346.
  35. Åqvist’s Correction-Accumulating Question-Sequences.Nuel D. Belnap - 1969 - In J. W. Davis (ed.), Philosophical logic. Dordrecht,: D. Reidel. pp. 122--134.
  36.  32
    A Contribution to the Axiomatization of Lewis' System S 5.Ten Modal Models.Nuel D. Belnap, Boleslaw Sobocinski & Ivo Thomas - 1966 - Journal of Symbolic Logic 31 (3):498.
  37.  9
    Hintikka K. J. J.. Towards a theory of definite descriptions. Analysis , vol. 19 no. 4 , pp. 79–85.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (1):88-89.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  7
    Leblanc Hugues and Hailperin Theodore. Nondesignating singular terms. The philosophical review, vol. 68 , pp. 239–243.Nuel D. Belnap - 1960 - Journal of Symbolic Logic 25 (1):87-88.
  39.  26
    R. B. Angell. A propositional logic with subjunctive conditionals. The journal of symbolic logic, vol. 27 no. 3 , pp. 327–343.Nuel D. Belnap - 1970 - Journal of Symbolic Logic 35 (3):464-465.
  40. Modalities in Ackermann's “rigorous implication”.Alan Ross Anderson & Nuel D. Belnap - 1959 - Journal of Symbolic Logic 24 (2):107-111.
    Following a suggestion of Feys, we use “rigorous implication” as a translation of Ackermann's strenge Implikation ([1]). Interest in Ackermann's system stems in part from the fact that it formalizes the properties of a strong, natural sort of implication which provably avoids standard implicational paradoxes, and which is consequently a good candidate for a formalization of entailment (considered as a narrower relation than that of strict implication). Our present purpose will not be to defend this suggestion, but rather to present (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  41.  9
    Entailment: The Logic of Relevance and Necessity Vol. 2.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn (eds.) - 1992 - Princeton, NJ, USA: Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  42.  33
    Has a Post-Complete Axiomatization.Nuel D. Belnap - unknown
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43.  34
    An amendment.Nuel D. Belnap - unknown
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Chronological index of reviews.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (3/4):240.
  45. Index of abstracts.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (1/2):13.
     
    Export citation  
     
    Bookmark  
  46. Index of reviews by subjects.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (3/4):149.
  47. Index of reviews by authors.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (1/2):20.
  48. Index of reviewers.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (1/2):143.
  49.  19
    Memorial Minutes.Nuel D. Belnap & Paul Feyerabend - 1974 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1974:60.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50. Prefatory statement to the index volume.Nuel D. Belnap - 1961 - Journal of Symbolic Logic 26 (1/2):1.
     
    Export citation  
     
    Bookmark  
1 — 50 / 986