Results for 'Entailment logic'

987 found
Order:
  1. 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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   187 citations  
  2. Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
  3.  33
    The logic determined by Smiley’s matrix for Anderson and Belnap’s first-degree entailment logic.José M. Méndez & Gemma Robles - 2016 - Journal of Applied Non-Classical Logics 26 (1):47-68.
    The aim of this paper is to define the logical system Sm4 characterised by the degree of truth-preserving consequence relation defined on the ordered set of values of Smiley’s four-element matrix MSm4. The matrix MSm4 has been of considerable importance in the development of relevant logics and it is at the origin of bilattice logics. It will be shown that Sm4 is a most interesting paraconsistent logic which encloses a sound theory of logical necessity similar to that of Anderson (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  18
    The logic of entailment and its history.Edwin Mares - 2024 - [New York]: [Cambridge University Press].
    This book provides a new philosophical, semantical and historical analysis of and justification for the relevant logic of entailment. Its fresh and original perspective on the logic of entailment will be valuable for all who want to know more about the historical and philosophical origins of modern symbolic logic.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  16
    Relevant entailment and logical ground.Pierre Saint-Germier, Peter Verdée & Pilar Terrés Villalonga - forthcoming - Philosophical Studies.
    According to an intuitive picture of relevant entailment, an entailment is relevant if all the formulas it contains contribute to its validity. In this paper, we provide a ground-theoretic analysis of this notion of contribution, and as a result of relevant entailment. We build a system of bilateral logical grounding within which we can derive classical entailment and analyze the contribution of premises and conclusions, in terms of a certain type of connection between their respective logical (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6. Entailment: The Logic of Relevance and Necessity, Vol. I.[author unknown] - 1977 - Philosophy 52 (202):493-495.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  7. Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
  8.  11
    Entailment: The Logic of Relevance and Necessity, Vol. 1.A. Anderson & N. Belnap (eds.) - 1975 - Princeton, NJ, USA: Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   31 citations  
  9. Entailment. The logic of Relevance and Necessity. Vol. I.[author unknown] - 1978 - Tijdschrift Voor Filosofie 40 (1):148-149.
    No categories
     
    Export citation  
     
    Bookmark  
  10. Logic for Exact Entailment.Kit Fine & Mark Jago - 2019 - Review of Symbolic Logic 12 (3):536-556.
    An exact truthmaker for A is a state which, as well as guaranteeing A’s truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  11.  10
    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  
  12.  16
    Entailment, Vol. Ii: The Logic of Relevance and Necessity.J. Michael Dunn, Nuel D. Belnap & Alan Ross Anderson - 2017 - Princeton University Press.
    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 (...)
    No categories
  13.  58
    Mathematical Logic and the Substitutional Account of Entailment.A. J. Dale - 1980 - Analysis 40 (4):203 - 205.
  14.  67
    Existence entailing attributes, modes of copulation and modes of being in second order logic.Nino B. Cocchiarella - 1969 - Noûs 3 (1):33-48.
  15.  79
    Logical Grounding and First-Degree Entailments.Correia Fabrice - 2015 - Grazer Philosophische Studien 91 (1):3-15.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  5
    Measure-Entailment and Support in the Logic of Approximate Generalizations.Ernest Adams & Gerhard Schurz - 2018 - In Alessandro Giordani & Ciro de Florio (eds.), From Arithmetic to Metaphysics: A Path Through Philosophical Logic. De Gruyter. pp. 341-372.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  33
    Partial entailment as a basis for inductive logic.Wesley C. Salmon - 1969 - In Nicholas Rescher (ed.), Essays in Honor of Carl G. Hempel. Reidel. pp. 47--82.
  18. Entailment: The Logic of Relevance and Necessity. [REVIEW]F. K. C. - 1976 - Review of Metaphysics 30 (2):335-337.
    The title of this and proposed second volume presents the basic idea which unifies the wide variety of topics developed and investigated by the principal authors, major contributing authors, J. M. Dunn and Robert K. Meyer, and eleven other contributors. The other contributors are: J. R. Chidgey, J. A. Coffa, Dorthy L. Grover, Bas van Fraassen, H. Leblanc, Storrs McCall, A. Parks, G. Pottinger, R. Routley, A. Urquhart, and R. G. Wolf. From both the useful analytic table of contents and (...)
     
    Export citation  
     
    Bookmark  
  19.  47
    Aristotle's Modal Logic: Essence and Entailment in the Organon.Richard Patterson - 1995 - New York, NY, USA: Cambridge University Press.
    Aristotle's Modal Logic, first published in 1995, presents an interpretation of Aristotle's logic by arguing that a proper understanding of the system depends on an appreciation of its connection to the metaphysics. Richard Patterson develops three striking theses in the book. First, there is a fundamental connection between Aristotle's logic of possibility and necessity, and his metaphysics, and that this connection extends far beyond the widely recognised tie to scientific demonstration and relates to the more basic distinction (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  20. Can logical probability be viewed as a measure of degrees of partial entailment?Alberto Mario Mura - 2008 - Logic and Philosophy of Science 6 (1):25-33.
     
    Export citation  
     
    Bookmark   7 citations  
  21.  13
    Probabilistic Entailment and a Non-Probabilistic Logic.Kevin Knight - 2003 - Logic Journal of the IGPL 11 (3):353-365.
    In this paper we present a probabilistic notion of entailment for finite sets of premises, which has classical entailment as a special case, and show that it is well defined; i.e., that the problem of whether a sentence is entailed by a set of premises is computable. Further we present a natural deductive system and prove that it is the strongest deductive system possible without referring to probabilities.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  32
    Logic based on atomic entailment.Teodor Stepien - 1985 - Bulletin of the Section of Logic 14 (2):65-69.
    . In this paper we propose a new definition of entailment and construct a system S of predicate calculus based on this entailment. It is also shown that all well-known set theories can be based on the system S.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  43
    Logic and the concept of entailment.Arthur Pap - 1950 - Journal of Philosophy 47 (13):378-387.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  24.  12
    Logic and the Concept of Entailment.Arthur Pap - 1975 - Journal of Symbolic Logic 40 (3):466-466.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  25. Does anti-exceptionalism about logic entail that logic is a posteriori?Jessica M. Wilson & Stephen Biggs - 2022 - Synthese 200 (3):1-17.
    The debate between exceptionalists and anti-exceptionalists about logic is often framed as concerning whether the justification of logical theories is a priori or a posteriori (for short: whether logic is a priori or a posteriori). As we substantiate (S1), this framing more deeply encodes the usual anti-exceptionalist thesis that logical theories, like scientific theories, are abductively justified, coupled with the common supposition that abduction is an a posteriori mode of inference, in the sense that the epistemic value of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  62
    Confirmation as partial entailment: A representation theorem in inductive logic.Vincenzo Crupi & Katya Tentori - 2013 - Journal of Applied Logic 11 (4):364-372.
  27.  72
    The logical structure of linguistic commitment II: Systems of relevant commitment entailment[REVIEW]Mark Lance & Philip Kremer - 1996 - Journal of Philosophical Logic 25 (4):425 - 449.
    In "The Logical Structure of Linguistic Commitment I" (The Journal of Philosophical Logic 23 (1994), 369-400), we sketch a linguistic theory (inspired by Brandom's Making it Explicit) which includes an "expressivist" account of the implication connective, →: the role of → is to "make explicit" the inferential proprieties among possible commitments which proprieties determine, in part, the significances of sentences. This motivates reading (A → B) as "commitment to A is, in part, commitment to B". Our project is to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  28.  20
    ENTAILMENT: The Logic of Relevance and Necessity (Volume I).H. A. Lewis - 1978 - Philosophical Books 19 (2):75-77.
  29.  32
    General Models and Entailment Semantics for Independence Logic.Pietro Galliani - 2013 - Notre Dame Journal of Formal Logic 54 (2):253-275.
    We develop a semantics for independence logic with respect to what we will call general models. We then introduce a simpler entailment semantics for the same logic, and we reduce the validity problem in the former to the validity problem in the latter. Then we build a proof system for independence logic and prove its soundness and completeness with respect to entailment semantics.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  30. Logical Equivalence, Mutual Entailment and Phenomenalism.P. N. Mandal - 1999 - Indian Philosophical Quarterly 26 (1):29-36.
     
    Export citation  
     
    Bookmark  
  31.  16
    Barriers to Entailment: Hume's Law and other limits on logical consequence.Gillian K. Russell - 2023 - Oxford: Oxford University Press.
    A barrier to entailment exists if you can't get conclusions of a certain kind from premises of another. One of the most famous barriers in philosophy is Hume's Law, which says that you can't get normative conclusions from descriptive premises, or in slogan form: you can't get an ought from an is. This barrier is highly controversial, and many famous counterexamples were proposed in the last century. But there are other barriers which function almost as philosophical platitudes: no Universal (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  32.  31
    Entailment. The Logic of Relevance and Necessity. Volume I. [REVIEW]Michael Clark - 1978 - Philosophical Quarterly 28 (111):172.
  33.  65
    The logical structure of linguistic commitment I: Four systems of non-relevant commitment entailment[REVIEW]Mark Norris Lance & Philip Kremer - 1994 - Journal of Philosophical Logic 23 (4):369 - 400.
  34.  14
    On rational entailment for Propositional Typicality Logic.Richard Booth, Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2019 - Artificial Intelligence 277 (C):103178.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  51
    Entailment: The Logic of Relevance and Necessity, Vol. i By Alan Ross Anderson and Nuel D. Belnap Jr Princeton University Press, 1976, xxxii + 542 pp., £13.70. [REVIEW]P. T. Geach - 1977 - Philosophy 52 (202):493-.
  36.  51
    XII.—On Entailment and Logical Necessity.Alice Ambrose - 1956 - Proceedings of the Aristotelian Society 56 (1):241-258.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  37. Aristotle's Modal Logic. Essence and Entailment in the ‘Organon’.Richard Patterson - 1995 - Tijdschrift Voor Filosofie 58 (3):567-569.
     
    Export citation  
     
    Bookmark   7 citations  
  38.  43
    Implication and entailment in navya-nyāya logic.V. K. Bharadwaja - 1987 - Journal of Indian Philosophy 15 (2):149-154.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39.  14
    Arthur Pap. Logic and the concept of entailment. The journal of philosophy, vol. 47 , pp. 378–387.David Makinson - 1975 - Journal of Symbolic Logic 40 (3):466.
    Review of the paper mentioned in the title.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  5
    Does the logical truth (existx) (fx v fx) entail that at least one individual exists?Neil Cooper - 1953 - Analysis 14:3-5.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41.  7
    Does the logical truth (existx) (fx v fx) entail that at least one individual exists?Neil Cooper & Alonso Church - 1953 - Analysis 14 (1):3-5.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  76
    Does the logical truth (existx) (fx v fx) entail that at least one individual exists?Neil Cooper - 1953 - Analysis 14 (1):3-5.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  3
    Entailment: The Logic of Relevance and Necessity, Vol. i By Alan Ross Anderson and Nuel D. Belnap Jr Princeton University Press, 1976, xxxii + 542 pp., £13.70. [REVIEW]P. T. Geach - 1977 - Philosophy 52 (202):493-495.
  44.  1
    Entailment: The Logic of Relevance and Necessity, Vol. i By Alan Ross Anderson and Nuel D. Belnap Jr Princeton University Press, 1976, xxxii + 542 pp., £13.70. [REVIEW]P. T. Geach - 1977 - Philosophy 52 (202):493-495.
  45.  11
    Contrast and entailment: Abstract logical relations constrain how 2- and 3-year-old children interpret unknown numbers.Roman Feiman, Joshua K. Hartshorne & David Barner - 2019 - Cognition 183 (C):192-207.
    Do children understand how different numbers are related before they associate them with specific cardinalities? We explored how children rely on two abstract relations – contrast and entailment – to reason about the meanings of ‘unknown’ number words. Previous studies argue that, because children give variable amounts when asked to give an unknown number, all unknown numbers begin with an existential meaning akin to some. In Experiment 1, we tested an alternative hypothesis, that because numbers belong to a scale (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  47
    A question concerning a logical calculus related to Lewis' System of strict implication, which is of special interest for the study of entailment.Sören Halldén - 1948 - Theoria 14 (3):265-269.
  47.  98
    Entailment with near surety of scaled assertions of high conditional probability.Donald Bamber - 2000 - Journal of Philosophical Logic 29 (1):1-74.
    An assertion of high conditional probability or, more briefly, an HCP assertion is a statement of the type: The conditional probability of B given A is close to one. The goal of this paper is to construct logics of HCP assertions whose conclusions are highly likely to be correct rather than certain to be correct. Such logics would allow useful conclusions to be drawn when the premises are not strong enough to allow conclusions to be reached with certainty. This goal (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  48.  11
    Implication And Entailment In Navya-Nyaya Logic.Mohini Mullick - 1976 - Journal of Indian Philosophy 4 (September-December):127-134.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  36
    Wittgenstein,aposteriori necessity and logic for entailment.Charles F. Kielkopf - 1979 - Philosophia 9 (1):63-74.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  50. Strawsonian presuppositions and logical entailment.Jacek Malinowski - 2004 - Logique Et Analyse 185 (47):123-138.
1 — 50 / 987