Results for 'Logical Consequence and Entailment'

955 found
Order:
  1. Logical Consequence and Natural Language.Michael Glanzberg - 2015 - In Colin R. Caret & Ole T. Hjortland (eds.), Foundations of Logical Consequence. Oxford, England: Oxford University Press. pp. 71-120.
    One of the great successes in the study of language has been the application of formal methods, including those of formal logic. Even so, this chapter argues against one way of accounting for this success, by arguing that the study of natural language semantics and of logical consequence relations are not the same. There is indeed a lot we can glean about logic from looking at our languages, and at our inferential practices, but the semantic properties of natural (...)
     
    Export citation  
     
    Bookmark   31 citations  
  2.  33
    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   1 citation  
  3. (1 other version)Reinflating Logical Consequence.Owen Griffiths - 2012 - Journal of Philosophical Logic (1):1-9.
    Shapiro (Philos Q 61:320–342, 2011) argues that, if we are deflationists about truth, we should be deflationists about logical consequence. Like the truth predicate, he claims, the logical consequence predicate is merely a device of generalisation and more substantial characterisation, e.g. proof- or model-theoretic, is mistaken. I reject his analogy between truth and logical consequence and argue that, by appreciating how the logical consequence predicate is used as well as the goals of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Deflating logical consequence.Lionel Shapiro - 2011 - Philosophical Quarterly 61 (243):320-342.
    Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of (...)'s nature. I then argue, against considerations put forward by Field and Beall, that Curry's paradox no more rules out deflationism about consequence than the liar paradox rules out deflationism about truth. (shrink)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   51 citations  
  5.  21
    Imperatives and Logical Consequence.Hannah Clark-Younger - unknown
    The interrelated logical concepts of validity, entailment, and consequence are all standardly defined in terms of truth preservation. However, imperative sentences can stand in these relations, but they are not truth-apt. This puzzle can be understood as an inconsistent triad: T1 Imperatives can be the relata of the consequence relation. T2 Imperatives are not truth-apt. T3 The relata of the consequence relation must be truth-apt. These three claims cannot all be true. So, to solve the (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  84
    Context and consequence. An intercontextual substructural logic.Elia Zardini - 2014 - Synthese 191 (15):3473-3500.
    Some apparently valid arguments crucially rely on context change. To take a kind of example first discussed by Frege, ‘Tomorrow, it’ll be sunny’ taken on a day seems to entail ‘Today, it’s sunny’ taken on the next day, but the first sentence taken on a day sadly does not seem to entail the second sentence taken on the second next day. Mid-argument context change has not been accounted for by the tradition that has extensively studied the distinctive logical properties (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  7.  39
    Paraconsistent Logical Consequence.Dale Jacquette - 1998 - Journal of Applied Non-Classical Logics 8 (4):337-351.
    ABSTRACT The concept of paraconsistent logical consequence is usually negatively defined as a validity semantics in which not every sentences is deducible or in which inferential explosion does not occur. Paraconsistency has been negatively characterized in this way because paraconsistent logics have been designed specifically to avoid the trivialization of deductive inference entailed by the classical paradoxes of material implication for applications in a system that tolerates syntactical contradictions. The effect of the negative characterization of paraconsistency has been (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  8.  27
    Gillian K. Russell: Barriers to Entailment: Hume's Law and Other Limits on Logical Consequence.Timothy Williamson - 2024 - Journal of Philosophy 121 (10):592-596.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  74
    Sum is a logical consequence of cogito.Ronald Suter - 1971 - Philosophy and Phenomenological Research 32 (2):235-240.
    HINTIKKA ("COGITO, ERGO SUM: INFERENCE OR PERFORMANCE?") WISHES TO REJECT (1) IF B(A) THEN THERE EXISTS X SUCH THAT X=A, POINTING OUT THAT IT WOULD CEASE TO BE PROVABLE IN QUANTIFICATION THEORY IF LOGICIANS DROPPED THE DUBIOUS ASSUMPTION THAT (2) ALL THE SINGULAR TERMS WITH WHICH WE HAVE TO DEAL DESIGNATE SOME ACTUALLY EXISTING INDIVIDUAL. HE ALSO ARGUES FOR THE FALSITY OF (3) THINKING ENTAILS EXISTENCE. WILLIAMS ("THE CERTAINTY OF THE COGITO") CONTENDS THAT DESCARTES INFERRED 'I EXIST' FROM 'I THINK' (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  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   15 citations  
  11. Consequence and Normative Guidance.Florian Steinberger - 2017 - Philosophy and Phenomenological Research 98 (2):306-328.
    Logic, the tradition has it, is normative for reasoning. But is that really so? And if so, in what sense is logic normative for reasoning? As Gilbert Harman has reminded us, devising a logic and devising a theory of reasoning are two separate enterprises. Hence, logic's normative authority cannot reside in the fact that principles of logic just are norms of reasoning. Once we cease to identify the two, we are left with a gap. To bridge the gap one would (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  12.  39
    Applications of Scott's notion of consequence to the study of general binary intensional connectives and entailment.Dov M. Gabbay - 1973 - Journal of Philosophical Logic 2 (3):340 - 351.
  13.  44
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  47
    Entailment and Truthmaking: The Consequentia Rerum from Boethius to the Ars Meliduna.Enrico Donato - forthcoming - History and Philosophy of Logic:1-15.
    In Categories 12 (14b11–22), Aristotle famously claims that [1] true sentences and reality stand in a mutually implicative relationship, and that [2] reality causes the truth of sentences but not vice versa. In this paper, I first argue that Boethius’ reading of the above passage led medieval logicians to assess [1] and [2] within the framework of a theory of consequence. Then, I consider two important questions raised by Boethius and later logicians in relation to [1] and [2], and, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15. 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  
  16. Logic and Natural Language: Commitments and Constraints.Gil Sagi - 2020 - Disputatio 12 (58):377-408.
    In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. Essence and logical properties.Hashem Morvarid - 2019 - Philosophical Studies 176 (11):2897-2917.
    Since Kit Fine presented his counter-examples to the standard versions of the modal view, many have been convinced that the standard versions of the modal view are not adequate. However, the scope of Fine's argument has not been fully appreciated. In this paper, I aim to carry Fine’s argument to its logical conclusion and argue that once we embrace the intuition underlying his counter-examples, we have to hold that properties obtained, totally or partially, by application of logical operations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18. Dialetheism, logical consequence and hierarchy.Bruno Whittle - 2004 - Analysis 64 (4):318-326.
    I argue that dialetheists have a problem with the concept of logical consequence. The upshot of this problem is that dialetheists must appeal to a hierarchy of concepts of logical consequence. Since this hierarchy is akin to those invoked by more orthodox resolutions of the semantic paradoxes, its emergence would appear to seriously undermine the dialetheic treatments of these paradoxes. And since these are central to the case for dialetheism, this would represent a significant blow to (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  19.  59
    Perfect validity, entailment and paraconsistency.Neil Tennant - 1984 - 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   25 citations  
  20.  41
    Presuppositions, Conditions, and Consequences.Trudy Govier - 1972 - Canadian Journal of Philosophy 1 (4):443 - 456.
    An analysis of necessary condition and presupposition reveals that, as logical relations, these notions are basically similar to each other and different from the notion of entailment or other ‘if-then’ relations of logical consequence. Both necessary condition and presupposition seem to be two-directional in a rather peculiar way. Appreciating this is helpful in interpreting philosophers such as Kant and Strawson who have relied extensively on these relations in constructing the philosophical arguments often referred to as transcendental (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  63
    Confused Entailment.Tore Fjetland Øgaard - 2021 - Topoi 41 (1):207-219.
    Priest argued in Fusion and Confusion (Priest in Topoi 34(1):55–61, 2015a) for a new concept of logical consequence over the relevant logic B, one where premises my be “confused” together. This paper develops Priest’s idea. Whereas Priest uses a substructural proof calculus, this paper provides a Hilbert proof calculus for it. Using this it is shown that Priest’s consequence relation is weaker than the standard Hilbert consequence relation for B, but strictly stronger than Anderson and Belnap’s (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22.  24
    Nonmonotonicity in the Framework of Parametric Logic.Éric Martin - 2019 - Studia Logica 107 (5):1025-1077.
    Parametric logic is a framework that generalises classical first-order logic. A generalised notion of logical consequence—a form of preferential entailment based on a closed world assumption—is defined as a function of some parameters. A concept of possible knowledge base—the counterpart to the consistent theories of first-order logic—is introduced. The notion of compactness is weakened. The degree of weakening is quantified by a nonnull ordinal—the larger the ordinal, the more significant the weakening. For every possible knowledge base T, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. Logical Consequence and Logical Expressions.Mario Gómez-Torrente - 2003 - Theoria 18 (2):131-144.
    The pretheoretical notions of logical consequence and of a logical expression are linked in vague and complex ways to modal and pragmatic intuitions. I offer an introduction to the difficulties that these intuitions create when one attempts to give precise characterizations of those notions. Special attention is given to Tarski’s theories of logical consequence and logical constancy. I note that the Tarskian theory of logical consequence has fared better in the face of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  59
    Lessons from the logic of demonstratives: what indexicality teaches us about logic and vice versa.G. Russell - 2012 - In Greg Restall & Gillian Kay Russell (eds.), New waves in philosophical logic. New York: Palgrave-Macmillan.
    This paper looks at what David Kaplan's work on indexicals can teach us about logic and the philosophy of logic, and also what Kaplan's logic (i.e. the Logic of Demonstratives) can teach us about indexicals. The lessons are i) that logical consequence is not necessary truth-preservation, ii) that that the linguistic doctrine of necessary truth (also called conventionalism about modality) fails, and iii) that there is a kind of barrier to entailment between non-context-sensitive and context-sensitive claims.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  40
    Probabilistic entailment and iterated conditionals.A. Gilio, Niki Pfeifer & Giuseppe Sanfilippo - 2020 - In S. Elqayam, Igor Douven, J. St B. T. Evans & N. Cruz (eds.), Logic and uncertainty in the human mind: a tribute to David E. Over. Routledge. pp. 71-101.
    In this paper we exploit the notions of conjoined and iterated conditionals, which are defined in the setting of coherence by means of suitable conditional random quantities with values in the interval [0,1]. We examine the iterated conditional (B|K)|(A|H), by showing that A|H p-entails B|K if and only if (B|K)|(A|H) = 1. Then, we show that a p-consistent family F={E1|H1, E2|H2} p-entails a conditional event E3|H3 if and only if E3|H3= 1, or (E3|H3)|QC(S) = 1 for some nonempty subset S (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  26.  21
    The problem of philosophical assumptions and consequences of science.Jan Wolenski - 2011 - Studia Philosophiae Christianae 47 (4):117-134.
    This paper argues that science is not dependent on philosophical assumption and does not entail philosophical consequences. The concept of dependence and entailment is understood logically, that is, are defined via consequence operation. Speaking more colloquially, the derivation of scientific theorems does not use philosophical statements as premises and one cannot derive philosophical theses from scientific assertions. This does not mean that science and philosophy are completely separated. In particular, sciences leads to some philosophical insights, but it must (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27.  18
    Proof theory: sequent calculi and related formalisms.Katalin Bimbó - 2015 - Boca Raton: CRC Press, Taylor & Francis Group.
    Sequent calculi constitute an interesting and important category of proof systems. They are much less known than axiomatic systems or natural deduction systems are, and they are much less known than they should be. Sequent calculi were designed as a theoretical framework for investigations of logical consequence, and they live up to the expectations completely as an abundant source of meta-logical results. The goal of this book is to provide a fairly comprehensive view of sequent calculi -- (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  28. Supervaluationism, Modal Logic, and Weakly Classical Logic.Joshua Schechter - 2024 - Journal of Philosophical Logic 53 (2):411-61.
    A consequence relation is strongly classical if it has all the theorems and entailments of classical logic as well as the usual meta-rules (such as Conditional Proof). A consequence relation is weakly classical if it has all the theorems and entailments of classical logic but lacks the usual meta-rules. The most familiar example of a weakly classical consequence relation comes from a simple supervaluational approach to modelling vague language. This approach is formally equivalent to an account of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
    We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   55 citations  
  30.  8
    A Medieval Controversy about Entailments between Categorical and ‘Continuing’ Propositions.Wolfgang Lenzen - forthcoming - History and Philosophy of Logic:1-21.
    The early thirteenth century tract Ars Meliduna deals with the issue whether categorical propositions entail, or are entailed by, ‘continuing’ propositions, i.e. by implications. From the perspective of modern logic, with implication interpreted as a material, truth-functional connective, the first question has to be answered in the affirmative because, e.g. β entails (α ⊃ β). But conversely (α ⊃ β) ‘normally’ doesn’t entail the truth (or the falsity) of any of the components α, β; hence the second question should be (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  11
    Entailment and Truthmaking: The Consequentia Rerum from Boethius to the Ars Meliduna.Denmark Copenhagen - forthcoming - History and Philosophy of Logic:1-15.
    In Categories 12 (14b11–22), Aristotle famously claims that [1] true sentences and reality stand in a mutually implicative relationship, and that [2] reality causes the truth of sentences but not vice versa. In this paper, I first argue that Boethius’ reading of the above passage led medieval logicians to assess [1] and [2] within the framework of a theory of consequence. Then, I consider two important questions raised by Boethius and later logicians in relation to [1] and [2], and, (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Logical Consequence and Model-Theoretic Consequence.Greg O'Hair - 1992 - Logique Et Analyse 35:239-249.
     
    Export citation  
     
    Bookmark   1 citation  
  33.  34
    Logical Consequence and the Theory of Games.Paul Harrenstein - 2004 - Philosophia Scientiae 8 (2):179-193.
    Les notions logiques de conséquence sont fréquemment reliées à des concepts de solution de la théorie des jeux. Dans ce contexte domine la correspondance entre une formule classiquement valide et l’existence d’une stratégie gagnante pour un joueur dans un jeu à deux joueurs. Nous proposons une extension conservative de la notion classique de conséquence basée sur une généralisation du concept de solution de jeu d’équilibre de Nash.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  34. 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 (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  35.  22
    Gurus, Logical Consequence, and Truth-Bearers: What Is It that Is True?Shapiro St E. Wa Rt - 2005 - In Bradley P. Armour-Garb & J. C. Beall (eds.), Deflationary Truth. Open Court Press. pp. 153.
  36. Some Useful 16-Valued Logics: How a Computer Network Should Think.Yaroslav Shramko & Heinrich Wansing - 2005 - Journal of Philosophical Logic 34 (2):121-153.
    In Belnap's useful 4-valued logic, the set 2 = {T, F} of classical truth values is generalized to the set 4 = ������(2) = {Ø, {T}, {F}, {T, F}}. In the present paper, we argue in favor of extending this process to the set 16 = ᵍ (4) (and beyond). It turns out that this generalization is well-motivated and leads from the bilattice FOUR₂ with an information and a truth-and-falsity ordering to another algebraic structure, namely the trilattice SIXTEEN₃ with an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   60 citations  
  37.  40
    Cut elimination for entailment relations.Davide Rinaldi & Daniel Wessel - 2019 - Archive for Mathematical Logic 58 (5):605-625.
    Entailment relations, introduced by Scott in the early 1970s, provide an abstract generalisation of Gentzen’s multi-conclusion logical inference. Originally applied to the study of multi-valued logics, this notion has then found plenty of applications, ranging from computer science to abstract algebra. In particular, an entailment relation can be regarded as a constructive presentation of a distributive lattice and in this guise it has proven to be a useful tool for the constructive reformulation of several classical theorems in (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  51
    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 between the essential (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  39.  94
    Theories of meaning and logical constants: Davidson versus Evans.Jim Edwards - 2002 - Mind 111 (442):249-280.
    Donald Dvaidson has claimed that a theory of meaning identifies the logical constants of the object language by treating them in the phrasal axioms of the theory, and that the theory entails a relation of logical consequence among the sentences of the object language. Section 1 offers a preliminary investigation of these claims. In Section 2 the claims are rebutted by appealing to Evans's paradigm of a theory of meaning. Evans's theory is deliberately blind to any relation (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  40.  49
    First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.
    We consider a family of logical systems for representing entailment relations of various kinds. This family has its root in the logic of first-degree entailment formulated as a binary consequence system, i.e. a proof system dealing with the expressions of the form \, where both \ and \ are single formulas. We generalize this approach by constructing consequence systems that allow manipulating with sets of formulas, either to the right or left of the turnstile. In (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  41.  50
    On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
    By using the notions of exact truth and exact falsity, one can give 16 distinct definitions of classical consequence. This paper studies the class of relations that results from these definitions in settings that are paracomplete, paraconsistent or both and that are governed by the Strong Kleene schema. Besides familiar logics such as Strong Kleene logic, the Logic of Paradox and First Degree Entailment, the resulting class of all Strong Kleene generalizations of classical logic also contains a host (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  42. On Dialetheic Entailment.Massimiliano Carrara, Enrico Martino & Vittorio Morato - 2011 - In Michal Pelis & Vit Puncochar (eds.), The Logica Yearbook 2010.
    The entailment connective is introduced by Priest (2006b). It aims to capture, in a dialetheically acceptable way, the informal notion of logical consequence. This connective does not “fall foul” of Curry’s Paradox by invalidating an inference rule called “Absorption” (or “Contraction”) and the classical logical theorem called “Assertion”. In this paper we show that the semantics of entailment, given by Priest in terms of possible worlds, is inadequate. In particular, we will argue that Priest’s counterexamples (...)
     
    Export citation  
     
    Bookmark   2 citations  
  43. Logical Disagreement.Frederik J. Andersen - 2024 - Dissertation, University of St. Andrews
    While the epistemic significance of disagreement has been a popular topic in epistemology for at least a decade, little attention has been paid to logical disagreement. This monograph is meant as a remedy. The text starts with an extensive literature review of the epistemology of (peer) disagreement and sets the stage for an epistemological study of logical disagreement. The guiding thread for the rest of the work is then three distinct readings of the ambiguous term ‘logical disagreement’. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  44.  27
    Logical Consequence and Rationality.Nenad Smokrović - 2011 - In Majda Trobok, Nenad Miščević & Berislav Žarnić (eds.), Between Logic and Reality: Modeling Inference, Action and Understanding. Dordrecht and New York: Springer. pp. 121--133.
  45.  15
    (1 other version)Alethic Pluralism, Logical Consequence and the Universality of Reason.Michael P. Lynch - 1981 - In Felicia Ackerman (ed.), Midwest Studies in Philosophy. Minneapolis: University of Minnesota Press. pp. 122–140.
    This chapter contains sections titled: Introduction Mixed Inferences and Mixed Compounds Alethic Pluralism as Functionalism More than One Logic? Conclusion.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. From possible worlds to paraconsistency: on the inevitability of paraconsistent entailment.Jc Beall - 2022 - Asian Journal of Philosophy 1 (1):1-8.
    A very common twofold view in contemporary philosophy is that classical logic is the correct view of logical consequence and that possibility conforms to classical logic in the sense that ‘possible worlds’ — whatever else they may be — are closed under classical logic. These two views are assumed in this paper. My aim in this paper is to show that a very natural ‘paraconsistent’ consequence relation is involved in the given view of possible worlds and (...) consequence. (shrink)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. Logical Consequence and First-Order Soundness and Completeness: A Bottom Up Approach.Eli Dresner - 2011 - Notre Dame Journal of Formal Logic 52 (1):75-93.
    What is the philosophical significance of the soundness and completeness theorems for first-order logic? In the first section of this paper I raise this question, which is closely tied to current debate over the nature of logical consequence. Following many contemporary authors' dissatisfaction with the view that these theorems ground deductive validity in model-theoretic validity, I turn to measurement theory as a source for an alternative view. For this purpose I present in the second section several of the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  75
    Constrained Consequence.Katarina Britz, Johannes Heidema & Ivan Varzinczak - 2011 - Logica Universalis 5 (2):327-350.
    There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper we propose and explicate one formal framework for (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49.  90
    Appropriation, Activation and Acceleration: The Escalatory Logics of Capitalist Modernity and the Crises of Dynamic Stabilization.Hartmut Rosa, Klaus Dörre & Stephan Lessenich - 2017 - Theory, Culture and Society 34 (1):53-73.
    The paper starts by identifying dynamic stabilization as a defining feature of modern societies. This term refers to the fact that such a society requires (material) growth, (technological) augmentation and high rates of (cultural) innovation in order to reproduce its structure and to preserve the socioeconomic and political status quo. The subsequent sections explore the mechanisms and consequences of this mode of social reproduction, proceeding in three steps. First, three key aspects or ‘motors’ of dynamization are identified, namely the mechanisms (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  50. (1 other version)Considerations on Logical Consequence and Natural Language.Gil Sagi - 2020 - Dialectica 74 (2).
    In a recent article, “Logical Consequence and Natural Language”, Michael Glanzberg claims that there is no relation of logical consequence in natural language (2015). The present paper counters that claim. I shall discuss Glanzberg’s arguments and show why they don’t hold. I further show how Glanzberg’s claims may be used to rather support the existence of logical consequence in natural language.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 955