Results for 'Entailment (Logic'

1000+ found
Order:
  1.  12
    Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan R. Anderson & Nuel D. Belnap - 1975 - Princeton University Press.
  2. Logic for Exact Entailment.Kit Fine & Mark Jago - 2018 - Review of Symbolic Logic:1-21.
    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 (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  18
    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   1 citation  
  4.  73
    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 (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5. Entailment: The Logic of Relevance and Necessity.[author unknown] - 1975 - Studia Logica 54 (2):261-266.
  6. Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
  7. 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   5 citations  
  8.  61
    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   4 citations  
  9.  22
    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.
  10. Entailment: The Logic of Relevance and Necessity, Vol. I.[author unknown] - 1977 - Philosophy 52 (202):493-495.
    No categories
     
    Export citation  
     
    Bookmark   8 citations  
  11.  21
    Entailment. The Logic of Relevance and Necessity. Volume I.Michael Clark - 1978 - Philosophical Quarterly 28 (111):172.
  12.  58
    Logical Grounding and First-Degree Entailments.Correia Fabrice - 2015 - Grazer Philosophische Studien 91 (1):3-15.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  48
    Existence Entailing Attributes, Modes of Copulation and Modes of Being in Second Order Logic.Nino B. Cocchiarella - 1969 - Noûs 3 (1):33-48.
  14.  46
    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.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  15. Entailment: The Logic of Relevance and Necessity, Vol. 1.Alan Ross Anderson, Nuel D. Belnap, Jr & J. Michael Dunn (eds.) - 1975 - Princeton, NJ, USA: Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  16. 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   4 citations  
  17.  21
    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  
  18.  28
    Default Logic: Towards a Common Logical Semantics for Presuppositions and Entailments.Robert E. Mercer - 1992 - Journal of Semantics 9 (3):223-250.
    Presuppositions and entailments play an important role in determining the meaning of a natural language utterance. Considered as inferences, presuppositions and entailments can be derived from appropriate logical representations of the uttered sentence, the background real world knowledge, and knowledge concerning conversational principles. Presuppositions are conjectural or defeasible in nature, and entailments are deductive. In this paper we describe the application of Default Logic proof theory (which includes First Order Logic proof theory) to the generation of presuppositions and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  2
    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
    Direct download  
     
    Export citation  
     
    Bookmark  
  20.  7
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  38
    Confirmation as Partial Entailment: A Representation Theorem in Inductive Logic.Vincenzo Crupi & Katya Tentori - 2013 - Journal of Applied Logic 11 (4):364-372.
  22.  26
    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.  40
    Aristotle's Modal Logic: Essence and Entailment in the Organon.Richard Patterson - 1995 - 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   1 citation  
  24.  8
    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  
  25.  29
    Entailment: The Logic of Relevance and Necessity.Vito F. Sinisi - 1996 - International Studies in Philosophy 28 (4):105-105.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Logical Equivalence, Mutual Entailment and Phenomenalism.P. N. Mandal - 1999 - Indian Philosophical Quarterly 26 (1):29-36.
     
    Export citation  
     
    Bookmark  
  27. Entailment. The logic of Relevance and Necessity. Vol. I.[author unknown] - 1978 - Tijdschrift Voor Filosofie 40 (1):148-149.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  28.  53
    Mathematical Logic and the Substitutional Account of Entailment.A. J. Dale - 1980 - Analysis 40 (4):203 - 205.
  29. Truthmaking, Entailment, and the Conjunction Thesis.Gonzalo Rodriguez-Pereyra - 2006 - Mind 115 (460):957-982.
    In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment as strict (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   49 citations  
  30.  4
    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  
  31.  40
    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.
  32.  35
    Logic and the Concept of Entailment.Arthur Pap - 1950 - Journal of Philosophy 47 (13):378-387.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  47
    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-.
  34.  12
    ENTAILMENT: The Logic of Relevance and Necessity (Volume I).H. A. Lewis - 1978 - Philosophical Books 19 (2):75-77.
  35.  2
    Entailment: The Logic of Relevance and Necessity. [REVIEW]Vito F. Sinisi - 1996 - International Studies in Philosophy 28 (4):105-105.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  6
    Logic and the Concept of Entailment.Arthur Pap - 1975 - Journal of Symbolic Logic 40 (3):466-466.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  16
    Aristotle's Modal Logic: Essence and Entailment in the Organon.Richard Patterson - 1995 - Studia Logica 60 (2):331-333.
  38. Aristotle's Modal Logic. Essence and Entailment in the ‘Organon’.Richard Patterson - 1995 - Tijdschrift Voor Filosofie 58 (3):567-569.
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  39.  6
    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.  7
    Entailment. The Logic of Relevance and Necessity. Volume I.Gordon Matthews - 1977 - Journal of Symbolic Logic 42 (2):311-313.
  41.  14
    J. Michael Dunn. Relevance Logic and Entailment. Handbook of Philosophical Logic, Volume III, Alternatives to Classical Logic, Edited by D. Gabbay and F. Guenthner, Synthese Library, Vol. 166, D. Reidel Publishing Company, Dordrecht Etc. 1986, Pp. 117–224. [REVIEW]Harry Deutsch - 1992 - Journal of Symbolic Logic 57 (2):752-753.
  42.  5
    Aristotle's Modal Logic: Essence and Entailment in the Organon. [REVIEW]Leo J. Elders - 1997 - Review of Metaphysics 50 (4):915-915.
    Quite a number of contemporary students of logic tend to consider Aristotle's logic mainly from a formal point of view. Richard Patterson, on the other hand, attempts to show that Aristotle's system of logic as well as his modal logic must be studied in the light of his fundamental theory of syntax and his metaphysics. Even if all of Aristotle's modal logic has not been accepted in the West, the ideas underpinning it are those of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. Logical Nihilism: Could There Be No Logic?Gillian Russell - 2018 - Philosophical Issues 28 (1):308-324.
    Logical monists and pluralists disagree about how many correct logics there are; the monists say there is just one, the pluralists that there are more. Could it turn out that both are wrong, and that there is no logic at all?
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  44. Strawsonian Presuppositions and Logical Entailment.Jacek Malinowski - 2004 - Logique Et Analyse 185 (47):123-138.
  45.  28
    Aristotle’s Modal Logic: Essence and Entailment in the Organon.Michael J. Degnan - 2000 - Ancient Philosophy 20 (1):215-222.
  46.  40
    Robert K. Meyer. Intuitionism, Entailment, Negation. Truth, Syntax and Modality, Proceedings of the Temple University Conference on Alternative Semantics, Edited by Hugues Leblanc, Studies in Logic and the Foundations of Mathematics, Vol. 68, North-Holland Publishing Company, Amsterdam and London1973, Pp. 168–198. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):315.
  47.  48
    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  
  48. Models for Logical Entailment.D. Paul Snyder - 1966 - Logique Et Analyse 33:344.
     
    Export citation  
     
    Bookmark  
  49.  8
    Aristotle’s Modal Logic: Essence and Entailment in the Organon. [REVIEW]Michael J. Degnan - 2000 - Ancient Philosophy 20 (1):215-222.
  50.  64
    Analysis Problem Does The Logical Truth Entail That At Least One Individual Exists.Arnold Kapp & Alonso Church - 1953 - Analysis 14 (1):2.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 1000