Search results for 'entailment' (try it on Scholar)

781 found
Order:
  1.  7
    Present Desire Satisfaction, Past Well-Being, Volatile Reasons, Epistemic Focal Bias, Some Evidence is False, Counting Stages, Vague Entailment, What Russell Couldn'T. Describe, Liberal Thinking & Intentional Action First (2013). Australasian Journal of Philosophy Contents of Volume 91. Australasian Journal of Philosophy 91 (4).
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  2. Chris Ranalli (2014). Luck, Propositional Perception, and the Entailment Thesis. Synthese 191 (6):1223-1247.
    Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002; Turri 2010; Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   17 citations  
  3. Gonzalo Rodriguez-Pereyra (2006). Truthmaking, Entailment, and the Conjunction Thesis. 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 (8 more)  
     
    Export citation  
     
    My bibliography   22 citations  
  4. Christopher Weaver (2009). Explanation, Entailment, and Leibnizian Cosmological Arguments. Metaphysica 10 (1):97-108.
    I argue that there are Leibnizian-style cosmological arguments for the existence of God which start from very mild premises which affirm the mere possibility of a principle of sufficient reason. The utilization of such premises gives a great deal of plausibility to such types of argumentation. I spend the majority of the paper defending three major objections to such mild premises viz., a reductio argument from Peter van Inwagen and William Rowe, which proffers and defends the idea that a necessary (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5. Janice Dowell, J. L. (2008). A Priori Entailment and Conceptual Analysis: Making Room for Type-C Physicalism. Australasian Journal of Philosophy 86 (1):93 – 111.
    One strategy for blocking Chalmers's overall case against physicalism has been to deny his claim that showing that phenomenal properties are in some sense physical requires an a priori entailment of the phenomenal truths from the physical ones. Here I avoid this well-trodden ground and argue instead that an a priori entailment of the phenomenal truths from the physical ones does not require an analysis in the Jackson/Chalmers sense. This is to sever the dualist's link between conceptual analysis (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   5 citations  
  6.  4
    Katalin Bimbó & J. Michael Dunn (2013). On the Decidability of Implicational Ticket Entailment. Journal of Symbolic Logic 78 (1):214-236.
    The implicational fragment of the logic of relevant implication, $R_\to$ is known to be decidable. We show that the implicational fragment of the logic of ticket entailment, $T_\to$ is decidable. Our proof is based on the consecution calculus that we introduced specifically to solve this 50-year old open problem. We reduce the decidability problem of $T_\to$ to the decidability problem of $R_\to$. The decidability of $T_\to$ is equivalent to the decidability of the inhabitation problem of implicational types by combinators (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  7. Phillip Bricker (2006). The Relation Between General and Particular: Entailment Vs. Supervenience. In Dean Zimmerman (ed.), Oxford Papers in Metaphysics, vol. 3. Oxford University Press 251-287.
    Some argue, following Bertrand Russell, that because general truths are not entailed by particular truths, general facts must be posited to exist in addition to particular facts. I argue on the contrary that because general truths (globally) supervene on particular truths, general facts are not needed in addition to particular facts; indeed, if one accepts the Humean denial of necessary connections between distinct existents, one can further conclude that there are no general facts. When entailment and supervenience do not (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  8.  77
    Wouter Floris Kalf (2013). Moral Error Theory, Entailment and Presupposition. Ethical Theory and Moral Practice 16 (5):923-937.
    According to moral error theory, moral discourse is error-ridden. Establishing error theory requires establishing two claims. These are that moral discourse carries a non-negotiable commitment to there being a moral reality and that there is no such reality. This paper concerns the first and so-called non-negotiable commitment claim. It starts by identifying the two existing argumentative strategies for settling that claim. The standard strategy is to argue for a relation of conceptual entailment between the moral statements that comprise moral (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  9.  23
    Kelvin J. McQueen (2015). Mass Additivity and a Priori Entailment. Synthese 192 (5):1373-1392.
    The principle of mass additivity states that the mass of a composite object is the sum of the masses of its elementary components. Mass additivity is true in Newtonian mechanics but false in special relativity. Physicists have explained why mass additivity is true in Newtonian mechanics by reducing it to Newton’s microphysical laws. This reductive explanation does not fit well with deducibility theories of reductive explanation such as the modern Nagelian theory of reduction, and the a priori entailment theory (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  10.  60
    A. H. Louie (2008). Functional Entailment and Immanent Causation in Relational Biology. Axiomathes 18 (3):289-302.
    I explicate the crucial role played by efficient cause in Robert Rosen’s characterization of life, by elaborating on the topic of Aristotelian causality, and exploring the many alternate descriptions of causal and inferential entailments. In particular, I discuss the concepts of functional entailment and immanent causation, and examine how they fit into Robert Rosen’s relational-biology universe of living, anticipatory, and complex systems.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  11.  43
    Donald Bamber (2000). Entailment with Near Surety of Scaled Assertions of High Conditional Probability. 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 (8 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  12. Katalin Bimbó (2009). Dual Gaggle Semantics for Entailment. Notre Dame Journal of Formal Logic 50 (1):23-41.
    A sequent calculus for the positive fragment of entailment together with the Church constants is introduced here. The single cut rule is admissible in this consecution calculus. A topological dual gaggle semantics is developed for the logic. The category of the topological structures for the logic with frame morphisms is proven to be the dual category of the variety, that is defined by the equations of the algebra of the logic, with homomorphisms. The duality results are extended to the (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  13.  49
    Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). A Contentious Trinity: Levels of Entailment in Brandom's Pragmatist Inferentialism. Philosophia 40 (1):41-53.
    We investigate the relations among Brandom’s three dimensions of semantic inferential articulation, namely, incompatibility entailments, committive consequences, and permissive consequences. In his unpublished manuscript “Conceptual Content and Discursive Practice” Brandom argues that (1) incompatibility entailment implies committive consequence, and that (2) committive consequence in turn implies permissive consequence. We criticize this hierarchy both on internal and external grounds. Firstly, we prove that, using Brandom’s own definitions, the reverse of (1) also holds, and that the reverse of (2) may hold (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  14.  36
    Mieszko Tałasiewicz, Joanna Odrowąż-Sypniewska, Wojciech Wciórka & Piotr Wilkin (2013). Do We Need a New Theory of Truthmaking? Some Comments on Disjunction Thesis, Conjunction Thesis, Entailment Principle and Explanation. Philosophical Studies 165 (2):591-604.
    In the paper we discuss criticisms against David Armstrong’s general theory of truthmaking by Gonzalo Rodriguez-Pereyra, Peter Schulte and Benjamin Schnieder, and conclude that Armstrong’s theory survives these criticisms. Special attention is given to the problems concerning Entailment Principle, Conjunction Thesis, Disjunction Thesis and to the notion of explanation.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  15.  27
    Lou Goble (2003). Neighborhoods for Entailment. Journal of Philosophical Logic 32 (5):483-529.
    This paper presents a neighborhood semantics for logics of entailment. It begins with a minimal system Min that expresses the most fundamental assumptions about the entailment relation, and continues by examining various extensions that reflect further assumptions that might be made about entailment. This leads first to the logic B that is the basic relevant logic, and then to more powerful systems. All of these logics are proved to be sound and strongly complete. With B the neighborhood (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  16.  20
    A. H. Louie (2013). Explications of Functional Entailment in Relational Pathophysiology. Axiomathes 23 (1):81-107.
    I explicate how various relational interactions between (M,R)-systems may have realizations in pathophysiology, and how the possible reversals of the effects of these interactions then become therapeutic models. Functional entailment receives a rigorous category-theoretic treatment, and plays a crucial role in this continuing saga of relational biology.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  17.  10
    Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). A Contentious Trinity: Levels of Entailment in Brandom's Pragmatist Inferentialism. Philosophia 40 (1):41-53.
    We investigate the relations among Brandom’s three dimensions of semantic inferential articulation, namely, incompatibility entailments, committive consequences, and permissive consequences. In his unpublished manuscript “Conceptual Content and Discursive Practice” Brandom argues that (1) incompatibility entailment implies committive consequence, and that (2) committive consequence in turn implies permissive consequence. We criticize this hierarchy both on internal and external grounds. Firstly, we prove that, using Brandom’s own definitions, the reverse of (1) also holds, and that the reverse of (2) may hold (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  18.  7
    B. A. Davey, M. Haviar & H. A. Priestley (1995). The Syntax and Semantics of Entailment in Duality Theory. Journal of Symbolic Logic 60 (4):1087-1114.
    Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  19.  5
    Philip Hugly & Charles Sayward (1981). Completeness Theorems for Two Propositional Logics in Which Identity Diverges From Mutual Entailment. Notre Dame Journal of Formal Logic 22 (3):269-282.
    Anderson and Belnap devise a model theory for entailment on which propositional identity equals proposional coentailment. This feature can be reasonably questioned. The authors devise two extensions of Anderson and Belnap’s model theory. Both systems preserve Anderson and Belnap’s results for entailment, but distinguish coentailment from identity.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  20.  1
    Katalin Bimbó & J. Michael Dunn (2014). Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{T}}$$ L T → T for Implicational Ticket Entailment. Logica Universalis 8 (2):141-164.
    The decidability of the logic of pure ticket entailment means that the problem of inhabitation of simple types by combinators over the base { B, B′, I, W } is decidable too. Type-assignment systems are often formulated as natural deduction systems. However, our decision procedure for this logic, which we presented in earlier papers, relies on two sequent calculi and it does not yield directly a combinator for a theorem of ${T_\to}$. Here we describe an algorithm to extract an (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. Alan R. Anderson & Nuel D. Belnap (1975). Entailment: The Logic of Relevance and Neccessity, Vol. I. Princeton University Press.
  22. Alan Ross Anderson (1990). Entailment: The Logic of Relevance and Necessity. Princeton University Press.
  23.  24
    Richard Patterson (1995). Aristotle's Modal Logic: Essence and Entailment in the Organon. Cambridge University Press.
    Aristotle's Modal Logic presents a very new 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 between the essential and accidental (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  24. Charles F. Kielkopf (1977). Formal Sentential Entailment. Monograph Collection (Matt - Pseudo).
     
    Export citation  
     
    My bibliography   1 citation  
  25. Robert L. Arrington (1979). Criteria and Entailment. Ratio 21 (June):62-72.
     
    Export citation  
     
    My bibliography  
  26. B. J. Copeland (1979). Entailment the Formalisation of Inference.
    No categories
     
    Export citation  
     
    My bibliography  
  27. Robert K. Meyer & Edwin D. Mares (1993). Semantics of Entailment 0. In Peter Schroeder-Heister & Kosta Dosen (eds.), Substructural Logics. Oxford Science Publications 239-258.
  28. Ian Proops (2002). The Tractatus on Inference and Entailment. In Erich Reck (ed.), From Frege to Wittgenstein: Essays on Early Analytic Philosophy, 283–307. Oxford University Press
    In the Tractatus Wittgenstein criticizes Frege and Russell's view that laws of inference (Schlussgesetze) "justify" logical inferences. What lies behind this criticism, I argue, is an attack on Frege and Russell's conceptions of logical entailment. In passing, I examine Russell's dispute with Bradley on the question whether all relations are "internal".
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  29.  58
    Kai von Fintel (1999). NPI Licensing, Strawson Entailment, and Context Dependency. Journal of Semantics 16 (2):97-148.
    The Fauconnier-Ladusaw analysis of negative polarity licensing (that NPIs are licensed in the scope of downward entailing operators) continues to be the benchmark theory of negative polarity. In this paper, I consider some of the moves that are needed to maintain its basic intuition in some recalcitrant arenas: negative polarity licensing by only, adversatives, superlatives, and conditionals. We will see that one has to (i) use a notion of entailment that I call Strawson Entailment, which deals with presuppositions (...)
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography   39 citations  
  30.  10
    Guillermo Badia (2016). A Lindström-Style Theorem for Finitary Propositional Weak Entailment Languages with Absurdity. Logic Journal of the IGPL 24 (2):115-137.
    Following a result by De Rijke for modal logic, it is shown that the basic weak entailment model-theoretic language with absurdity is the maximal model-theoretic language having the finite occurrence property, preservation under relevant directed bisimulations and the finite depth property. This can be seen as a generalized preservation theorem characterizing propositional weak entailment formulas among formulas of other model-theoretic languages.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31.  71
    Peter M. Simons (1978). Lewy on C. I. Lewis and Entailment. Analysis 38 (3):126 - 129.
    In "meaning and modality" lewy claims the only ground for rejecting disjunctive syllogism as acceptable for entailment is rejection of bivalence. Examining lewis's 'proofs' of the paradoxes of strict implication he suggests the proof of 'if a then (b or not-B)' suppresses a premiss, Restoration of which blocks the paradox, Whereas the proof of 'if (a and not-A) then b' cannot be so blocked. But the paradoxes are dual, So he should have treated them dually by restoring a suppressed (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  32. E. Diaz-Leon (2011). Reductive Explanation, Concepts, and a Priori Entailment. Philosophical Studies 155 (1):99-116.
    In this paper I examine Chalmers and Jackson’s defence of the a priori entailment thesis, that is, the claim that microphysical truths a priori entail ordinary non-phenomenal truths such as ‘water covers 60% of the Earth surface’, which they use as a premise for an argument against the possibility of a reductive explanation of consciousness. Their argument relies on a certain view about the possession conditions of macroscopic concepts such as WATER, known as ascriptivism. In the paper I distinguish (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  33.  9
    Pietro Galliani (2013). General Models and Entailment Semantics for Independence Logic. 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 (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  34.  3
    José M. Méndez & Gemma Robles (2016). The Logic Determined by Smiley’s Matrix for Anderson and Belnap’s First-Degree Entailment Logic. 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 and (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  35.  61
    Alex Lascarides & Nicholas Asher (1993). Temporal Interpretation, Discourse Relations and Commonsense Entailment. Linguistics and Philosophy 16 (5):437 - 493.
    This paper presents a formal account of how to determine the discourse relations between propositions introduced in a text, and the relations between the events they describe. The distinct natural interpretations of texts with similar syntax are explained in terms of defeasible rules. These characterise the effects of causal knowledge and knowledge of language use on interpretation. Patterns of defeasible entailment that are supported by the logic in which the theory is expressed are shown to underly temporal interpretation.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   15 citations  
  36.  25
    Justin Tiehen (2014). Subset Realization and the Problem of Property Entailment. Erkenntnis 79 (2):471-480.
    Brian McLaughlin has objected to Sydney Shoemaker’s subset account of realization, posing what I call the problem of property entailment. Recently, Shoemaker has revised his subset account in response to McLaughlin’s objection. In this paper I argue that Shoemaker’s revised view fails to solve the problem of property entailment, and in fact makes the problem worse. I then put forward my own solution to the problem.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  37.  66
    Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.
    This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  38.  48
    Bart Streumer (2007). Reasons and Entailment. Erkenntnis 66 (3):353 - 374.
    What is the relation between entailment and reasons for belief? In this paper, I discuss several answers to this question, and I argue that these answers all face problems. I then propose the following answer: for all propositions p 1,…,p n and q, if the conjunction of p 1,…, and p n entails q, then there is a reason against a person’s both believing that p 1,…, and that p n and believing the negation of q. I argue that (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  39.  25
    Mark Lance (1995). Two Concepts of Entailment. Journal of Philosophical Research 20:113-137.
    What is the logic of entailment? The latter half of the twentieth century has seen, for even the simplest languages, a proliferation of distinct formal entailment systems, each having those willing to defend its status as the answer. Among those defenders, and among the most adamant and mutually critical, are the champions of strict implication and relevance logic. To an outsider, this debate must seem singularly odd. Here we have a group of philosophers who cannot agree on the (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  40.  38
    Jonathan Bennett (1969). Entailment. Philosophical Review 78 (2):197-236.
    Following Moore, I use ‘P entails Q’ as a convenient shorthand for ‘Q can be deduced logically from P’, ‘From P, Q follows logically’, ‘There is a logically valid argument with P as sole premise and Q as conclusion’, and the like.1 Apart from a minor point to be raised in Section XVI, distinctions within this cluster do not matter for present purposes. An analysis of the concept of entailment is answerable to careful, educated uses of expressions such as (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  41.  45
    Mark Lance & Philip Kremer (1996). The Logical Structure of Linguistic Commitment II: Systems of Relevant Commitment Entailment. [REVIEW] 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 study (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  42.  11
    Sophie Gibb (2006). Space, Supervenence and Entailment. Philosophical Papers 35 (2):171-184.
    Le Poidevin has recently presented an argument that gives rise to a serious problem for relationist theories of space. It appeals to the simple geometrical fact that if A, B and C are three points lying in a straight line, then AB and BC together entail AC. He suggests that an ontological relationship of supervenience must be appealed to to explain this entailment. Given this thesis of supervenience, relationism is implausible. I argue that the problem that Le Poidevin raises (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  43.  19
    Neil Tennant (1984). Perfect Validity, Entailment and Paraconsistency. Studia Logica 43 (1-2):181 - 200.
    This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   7 citations  
  44.  22
    Sophie C. Gibb (2013). The Entailment Problem and the Subset Account of Property Realization. Australasian Journal of Philosophy 92 (3):551-566.
    Proponents of the subset account of property realization commonly make the assumption that the summing of properties entails the summing of their forward-looking causal features. This paper seeks to establish that this assumption is false. Moreover, it aims to demonstrate that without this assumption the fact that the subset account captures an entailment relation?which it must if it is to be of any use to non-reductive physicalism?becomes questionable.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  45.  60
    David Barnett (2012). Counterfactual Entailment. Proceedings of the Aristotelian Society 112 (1pt1):73-97.
    Counterfactual Entailment is the view that a counterfactual conditional is true just in case its antecedent entails its consequent. I present an argument for Counterfactual Entailment, and I develop a strategy for explaining away apparent counterexamples to the view. The strategy appeals to the suppositional view of counterfactuals, on which a counterfactual is essentially a statement, made relative to the supposition of its antecedent, of its consequent.
    Direct download (9 more)  
     
    Export citation  
     
    My bibliography  
  46.  1
    José M. Méndez, Gemma Robles & Francisco Salto (2012). Ticket Entailment Plus the Mingle Axiom has the Variable-Sharing Property. Logic Journal of the IGPL 20 (1):355-364.
    The logic TM is the result of adding the mingle axiom, M to Ticket Entailment logic, T. In the present study, it is proved that TM has the variable-sharing property . Ternary relational semantics for TM is provided. Finally, an interesting extension of TM with the vsp is briefly discussed.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47.  14
    R. E. Jennings, Y. Chen & J. Sahasrabudhe (2011). On a New Idiom in the Study of Entailment. Logica Universalis 5 (1):101-113.
    This paper is an experiment in Leibnizian analysis. The reader will recall that Leibniz considered all true sentences to be analytically so. The difference, on his account, between necessary and contingent truths is that sentences reporting the former are finitely analytic; those reporting the latter require infinite analysis of which God alone is capable. On such a view at least two competing conceptions of entailment emerge. According to one, a sentence entails another when the set of atomic requirements for (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  48.  16
    Teodor Stepien (1985). Logic Based on Atomic Entailment. 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  
     
    My bibliography  
  49.  10
    John O. Nelson (1964). A Question of Entailment. Review of Metaphysics 18 (2):364 - 377.
    A r anderson and n d belnap, Jr., Maintained in their 1962 article, "the pure calculus of entailment," that necessary propositions can be entailed only by necessary propositions, And not by contingent ones. Against this r w ashby offered an apparently conclusive counterexample in "entailment and modality" (1963). In support of anderson and belnap, The author of the present paper develops a definition of entailment and argues that contingent propositions never entail necessary ones. However, Psychological factors may (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  22
    G. Politzer (2007). The Psychological Reality of Classical Quantifier Entailment Properties. Journal of Semantics 24 (4):331-343.
    A test of directional entailment properties of classical quantifiers defined by the theory of generalized quantifiers (Barwise & Cooper 1981) is described. Participants had to solve a task which consisted of four kinds of inference. In the first one, the premise was of the form ‘Q–hyponym–verb–blank predicate’, where Q is a classical quantifier (e.g. ‘Some cats are [ ]’), and the question was to indicate what, if anything, can be concluded by filling the slots in ‘...–hyperonym–verb–blank predicate’ (e.g. ‘... (...)
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 781