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

1000+ found
Sort by:
  1. Christopher Weaver (2009). Explanation, Entailment, and Leibnizian Cosmological Arguments. Metaphysica 10 (1):97-108.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  2. 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.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  3. Gonzalo Rodriguez-Pereyra (2006). Truthmaking, Entailment, and the Conjunction Thesis. Mind 115 (460):957-982.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  4. Chris Ranalli (2014). Luck, Propositional Perception, and the Entailment Thesis. Synthese 191 (6):1223-1247.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  5. A. H. Louie (2008). Functional Entailment and Immanent Causation in Relational Biology. Axiomathes 18 (3):289-302.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  6. Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). A Contentious Trinity: Levels of Entailment in Brandom's Pragmatist Inferentialism. Philosophia 40 (1):41-53.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  7. Wouter Floris Kalf (2013). Moral Error Theory, Entailment and Presupposition. Ethical Theory and Moral Practice 16 (5):923-937.score: 24.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Donald Bamber (2000). Entailment with Near Surety of Scaled Assertions of High Conditional Probability. Journal of Philosophical Logic 29 (1):1-74.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  9. Lou Goble (2003). Neighborhoods for Entailment. Journal of Philosophical Logic 32 (5):483-529.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  10. 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.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  11. A. H. Louie (2013). Explications of Functional Entailment in Relational Pathophysiology. Axiomathes 23 (1):81-107.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  12. Katalin Bimbó & J. Michael Dunn (2013). On the Decidability of Implicational Ticket Entailment. Journal of Symbolic Logic 78 (1):214-236.score: 24.0
    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 (3 more)  
     
    My bibliography  
     
    Export citation  
  13. 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.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  14. 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.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  15. Edgar Andrade-Lotero & Catarina Dutilh Novaes (2012). A Contentious Trinity: Levels of Entailment in Brandom's Pragmatist Inferentialism. Philosophia 40 (1):41-53.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  16. Katalin Bimbó (2009). Dual Gaggle Semantics for Entailment. Notre Dame Journal of Formal Logic 50 (1):23-41.score: 24.0
    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)  
     
    My bibliography  
     
    Export citation  
  17. Katalin Bimbó & J. Michael Dunn (2014). Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus {LT_to^{T}} for Implicational Ticket Entailment. Logica Universalis 8 (2):141-164.score: 24.0
    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 (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Richard Patterson (1995). Aristotle's Modal Logic: Essence and Entailment in the Organon. Cambridge University Press.score: 22.0
    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  
     
    My bibliography  
     
    Export citation  
  19. Alan Ross Anderson (1990). Entailment: The Logic of Relevance and Necessity. Princeton University Press.score: 21.0
  20. Robert L. Arrington (1979). Criteria and Entailment. Ratio 21 (June):62-72.score: 21.0
     
    My bibliography  
     
    Export citation  
  21. 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).score: 20.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  22. 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.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  23. 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.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  24. E. Diaz-Leon (2011). Reductive Explanation, Concepts, and a Priori Entailment. Philosophical Studies 155 (1):99-116.score: 18.0
    In this paper I examine Chalmers and Jackson’s defence of the a <span class='Hi'>priori</span> entailment thesis, that is, the claim that microphysical truths a <span class='Hi'>priori</span> 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 (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  25. David Barnett (2012). Counterfactual Entailment. Proceedings of the Aristotelian Society 112 (1pt1):73-97.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  26. Alex Lascarides & Nicholas Asher (1993). Temporal Interpretation, Discourse Relations and Commonsense Entailment. Linguistics and Philosophy 16 (5):437 - 493.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  27. Jonathan Bennett (1969). Entailment. Philosophical Review 78 (2):197-236.score: 18.0
    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 (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  28. 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.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  29. Allard Tamminga & Koji Tanaka (1999). A Natural Deduction System for First Degree Entailment. Notre Dame Journal of Formal Logic 40 (2):258-272.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  30. Bart Streumer (2007). Reasons and Entailment. Erkenntnis 66 (3):353 - 374.score: 18.0
    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 (7 more)  
     
    My bibliography  
     
    Export citation  
  31. Katarina Britz, Johannes Heidema & Willem Labuschagne (2009). Semantics for Dual Preferential Entailment. Journal of Philosophical Logic 38 (4):433 - 446.score: 18.0
    We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  32. Dennis Henry & Michael Byrd (1979). On Defining Necessity in Terms of Entailment. Studia Logica 38 (2):95 - 104.score: 18.0
    In their book Entailment, Anderson and Belnap investigate the consequences of defining Lp (it is necessary that p) in system E as (pp)p. Since not all theorems are equivalent in E, this raises the question of whether there are reasonable alternative definitions of necessity in E. In this paper, it is shown that a definition of necessity in E satisfies the conditions { E Lpp, EL(pq)(LpLq), E pLp} if and only if its has the form C 1.C2 .... Cnp, (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Fred Seymour Michael (2002). Entailment and Bivalence. Journal of Philosophical Logic 31 (4):289-300.score: 18.0
    My purpose in this paper is to argue that the classical notion of entailment is not suitable for non-bivalent logics, to propose an appropriate alternative and to suggest a generalized entailment notion suitable to bivalent and non-bivalent logics alike. In classical two valued logic, one can not infer a false statement from one that is not false, any more than one can infer from a true statement a statement that is not true. In classical logic in fact preserving (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  34. Peter Smith, Entailment, with Nods to Lewy and Smiley.score: 18.0
    Last week, we talked a bit about the Anderson-Belnap logic of entailment, as discussed in Priest’s Introduction to Non-Classical Logic. For a quite different approach to entailment, we’ll look next week at Neil Tennant’s account. Doing things rather out of order, this week I’d like to say something more basic about the problems to which both Anderson and Belnap, on the one hand, and Tennant on the other, are responding. This will give me the chance for a bit (...)
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  35. Neil Tennant (1984). Perfect Validity, Entailment and Paraconsistency. Studia Logica 43 (1-2):181 - 200.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  36. Sophie C. Gibb (2014). The Entailment Problem and the Subset Account of Property Realization. 92 (3):551-566.score: 18.0
    (2014). The Entailment Problem and the Subset Account of Property Realization. Australasian Journal of Philosophy: Vol. 92, No. 3, pp. 551-566. doi: 10.1080/00048402.2013.857701.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  37. Mark Lance (1995). Two Concepts of Entailment. Journal of Philosophical Research 20:113-137.score: 18.0
    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 (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  38. Thomas Metcalf (2005). Entailment and Ontological Arguments. Philo 8 (2):131-133.score: 18.0
    Robert Maydole has recently presented a sophisticated ontological argument that he calls the Modal Perfection Argument for the existence of a supreme being. While this ontological argument is probably better than most of its peers, it is nonetheless open to at least one decisive objection. The purpose of this brief comment is to develop that objection. I claim that this objection indicates an important further point about the concept of entailment and its role in ontological arguments at large, the (...)
    No categories
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  39. Kai von Fintel (1999). NPI Licensing, Strawson Entailment, and Context Dependency. Journal of Semantics 16 (2):97-148.score: 18.0
    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 (8 more)  
     
    My bibliography  
     
    Export citation  
  40. D. E. Over (1981). Game Theoretical Semantics and Entailment. Studia Logica 40 (1):67 - 74.score: 18.0
    The essence of the meaning of a declarative sentence is given by stating its truth conditions, and consequently semantics, the study of meaning, must include a theory of truth conditions. Such a theory must not only describe accurately the truth conditions of declarative sentences, it must also answer the question of when two sentences have the same truth conditions. The fundamental semantic relation of having the same truth conditions cannot be ignored by any reasonable theory.This paper is an attempt to (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  41. Sophie Gibb (2006). Space, Supervenence and Entailment. Philosophical Papers 35 (2):171-184.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  42. Justin Tiehen (2014). Subset Realization and the Problem of Property Entailment. Erkenntnis 79 (2):471-480.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  43. Pietro Galliani (2013). General Models and Entailment Semantics for Independence Logic. Notre Dame Journal of Formal Logic 54 (2):253-275.score: 18.0
    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 (3 more)  
     
    My bibliography  
     
    Export citation  
  44. A. Zepter (2003). How to Be Universal When You Are Existential: Negative Polarity Items in the Comparative: Entailment Along a Scale. Journal of Semantics 20 (2):193-237.score: 18.0
    Fauconnier (1975a) noticed that existential quantification, if it is related to a scale endpoint, can force entailment along the scale and as such have the effect of universal quantification: assume a partially ordered set (X, ⪰) and a predicate Ø such that for all x, y ∈ X, x ⪰ y, if Ø is true of x, it is also true of y; then if there exists an element z that is ordered before all other elements and Ø(z) is (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  45. G. Politzer (2007). The Psychological Reality of Classical Quantifier Entailment Properties. Journal of Semantics 24 (4):331-343.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
  46. Lloyd Humberstone, The Consequence Relation of Tautological Entailment is Maximally Relevant: Answering a Question of Graham Priest.score: 18.0
    Graham Priest has asked whether the consequence relation associated with the Anderson–Belnap system of Tautological Entailment,1 in the language with connectives ¬, ∧, ∨, and countably many propositional variables as tomic formulas, maximal amongst the substitution-invariant relevant consequence relations on this language. Here a consequence relation is said to be relevant just in case whenever for a set of formulas Γ and formula B, we have Γ B only if some propositional variable occurring in B occurs in at least (...)
    No categories
     
    My bibliography  
     
    Export citation  
  47. John O. Nelson (1964). A Question of Entailment. Review of Metaphysics 18 (2):364 - 377.score: 18.0
    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 (4 more)  
     
    My bibliography  
     
    Export citation  
  48. Peter M. Simons (1978). Lewy on C. I. Lewis and Entailment. Analysis 38 (3):126 - 129.score: 18.0
    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 (6 more)  
     
    My bibliography  
     
    Export citation  
  49. Janusz Czelakowski (1983). Some Theorems on Structural Entailment Relations. Studia Logica 42 (4):417 - 429.score: 18.0
    The classesMatr( ) of all matrices (models) for structural finitistic entailments are investigated. The purpose of the paper is to prove three theorems: Theorem I.7, being the counterpart of the main theorem from Czelakowski [3], and Theorems II.2 and III.2 being the entailment counterparts of Bloom's results [1]. Theorem I.7 states that if a classK of matrices is adequate for , thenMatr( ) is the least class of matrices containingK and closed under the formation of ultraproducts, submatrices, strict homomorphisms (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. R. E. Jennings, Y. Chen & J. Sahasrabudhe (2011). On a New Idiom in the Study of Entailment. Logica Universalis 5 (1):101-113.score: 18.0
    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)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000