Switch to: References

Citations of:

ST, LP and Tolerant Metainferences

In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Springer Verlag. pp. 383-407 (2019)

Add citations

You must login to add citations.
  1. Anti-Exceptionalism, Truth and the BA-Plan.Eduardo Alejandro Barrio, Federico Pailos & Joaquín Toranzo Calderón - 2021 - Synthese 199 (5-6):12561-12586.
    Anti-exceptionalism about logic states that logical theories have no special epistemological status. Such theories are continuous with scientific theories. Contemporary anti-exceptionalists include the semantic paradoxes as a part of the elements to accept a logical theory. Exploring the Buenos Aires Plan, the recent development of the metainferential hierarchy of ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbf {ST}}$$\end{document}-logics shows that there are multiple options to deal with such paradoxes. There is a whole ST\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Why a Logic is Not Only its Set of Valid Inferences.Eduardo A. Barrio & Federico Pailos - 2021 - Análisis Filosófico 41 (2):261-272.
    The main idea that we want to defend in this paper is that the question of what a logic is should be addressed differently when structural properties enter the game. In particular, we want to support the idea according to which it is not enough to identify the set of valid inferences to characterize a logic. In other words, we will argue that two logical theories could identify the same set of validities, but not be the same logic.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Truth-Maker Semantics for ST: Refusing to Climb the Strict/Tolerant Hierarchy.Ulf Hlobil - 2022 - Synthese 200 (5):1-23.
    The paper presents a truth-maker semantics for Strict/Tolerant Logic, which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is no clear philosophical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Substructural Logics, Pluralism and Collapse.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2018 - Synthese 198 (Suppl 20):4991-5007.
    When discussing Logical Pluralism several critics argue that such an open-minded position is untenable. The key to this conclusion is that, given a number of widely accepted assumptions, the pluralist view collapses into Logical Monism. In this paper we show that the arguments usually employed to arrive at this conclusion do not work. The main reason for this is the existence of certain substructural logics which have the same set of valid inferences as Classical Logic—although they are, in a clear (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  • Immune Logics.Bruno da Re & Damian Szmuc - 2021 - Australasian Journal of Logic 18 (1):29-52.
    This article is concerned with an exploration of a family of systems—called immune logics—that arise from certain dualizations of the well-known family of infectious logics. The distinctive feature of the semantic of infectious logics is the presence of a certain “infectious” semantic value, by which two different though equivalent things are meant. On the one hand, it is meant that these values are zero elements for all the operations in the underlying algebraic structure. On the other hand, it is meant (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Laws of Thought and the Laws of Truth as Two Sides of One Coin.Ulf Hlobil - forthcoming - Journal of Philosophical Logic:1-31.
    Some think that logic concerns the "laws of truth"; others that logic concerns the "laws of thought." This paper presents a way to reconcile both views by building a bridge between truth-maker theory, à la Fine, and normative bilateralism, à la Restall and Ripley. The paper suggests a novel way of understanding consequence in truth-maker theory and shows that this allows us to identify a common structure shared by truth-maker theory and normative bilateralism. We can thus transfer ideas from normative (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Inferentialism and Relevance.Damián Szmuc - 2021 - Análisis Filosófico 41 (2):317-336.
    This paper provides an inferentialist motivation for a logic belonging in the connexive family, by borrowing elements from the bilateralist interpretation for Classical Logic without the Cut rule, proposed by David Ripley. The paper focuses on the relation between inferentialism and relevance, through the exploration of what we call relevant assertion and denial, showing that a connexive system emerges as a symptom of this interesting link. With the present attempt we hope to broaden the available interpretations for connexive logics, showing (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Expressing logical disagreement from within.Andreas Fjellstad - 2022 - Synthese 200 (2):1-33.
    Against the backdrop of the frequent comparison of theories of truth in the literature on semantic paradoxes with regard to which inferences and metainferences are deemed valid, this paper develops a novel approach to defining a binary predicate for representing the valid inferences and metainferences of a theory within the theory itself under the assumption that the theory is defined with a classical meta-theory. The aim with the approach is to obtain a tool which facilitates the comparison between a theory (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.
    In a recent paper, Barrio, Tajer and Rosenblatt establish a correspondence between metainferences holding in the strict-tolerant logic of transparent truth ST+ and inferences holding in the logic of paradox LP+. They argue that LP+ is ST+’s external logic and they question whether ST+’s solution to the semantic paradoxes is fundamentally different from LP+’s. Here we establish that by parity of reasoning, ST+ can be related to LP+’s dual logic K3+. We clarify the distinction between internal and external logic and (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  • Sequent-Calculi for Metainferential Logics.Bruno Da Ré & Federico Pailos - 2022 - Studia Logica 110 (2):319-353.
    In recent years, some theorists have argued that the clogics are not only defined by their inferences, but also by their metainferences. In this sense, logics that coincide in their inferences, but not in their metainferences were considered to be different. In this vein, some metainferential logics have been developed, as logics with metainferences of any level, built as hierarchies over known logics, such as \, and \. What is distinctive of these metainferential logics is that they are mixed, i.e. (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  • Validities, Antivalidities and Contingencies: A Multi-Standard Approach.Eduardo Barrio & Federico Pailos - 2022 - Journal of Philosophical Logic 51 (1):75-98.
    It is widely accepted that classical logic is trivialized in the presence of a transparent truth-predicate. In this paper, we will explain why this point of view must be given up. The hierarchy of metainferential logics defined in Barrio et al. and Pailos recovers classical logic, either in the sense that every classical inferential validity is valid at some point in the hierarchy ), or because a logic of a transfinite level defined in terms of the hierarchy shares its validities (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • Responses.David Ripley - 2021 - Análisis Filosófico 41 (2):351-373.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Classical Logic is not Uniquely Characterizable.Isabella McAllister - forthcoming - Journal of Philosophical Logic:1-21.
    I show that it is not possible to uniquely characterize classical logic when working within classical set theory. By building on recent work by Eduardo Barrio, Federico Pailos, and Damian Szmuc, I show that for every inferential level, either classical logic is not unique at that level or there exist intuitively valid inferences of that level that are not definable in modern classical set theory. The classical logician is thereby faced with a three-horned dilemma: Give up uniqueness but preserve characterizability, (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • The (Greatest) Fragment of Classical Logic That Respects the Variable-Sharing Principle (in the FMLA-FMLA Framework).Damian E. Szmuc - 2021 - Bulletin of the Section of Logic 50 (4):421-453.
    We examine the set of formula-to-formula valid inferences of Classical Logic, where the premise and the conclusion share at least a propositional variable in common. We review the fact, already proved in the literature, that such a system is identical to the first-degree entailment fragment of R. Epstein's Relatedness Logic, and that it is a non-transitive logic of the sort investigated by S. Frankowski and others. Furthermore, we provide a semantics and a calculus for this logic. The semantics is defined (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • Strength and Stability.Paula Teijeiro - 2021 - Análisis Filosófico 41 (2):337-349.
    In this paper, I present two presumed alternative definitions of metavalidity for metainferences: Local and Global. I defend the latter, first, by arguing that it is not too weak with respect to metainference-cases, and that local metavalidity is in fact too strong with respect to types. Second, I show that although regarding metainference-schemas Local metavalidity is always stable, Global metavalidity is also stable when the language satisfies reasonable expressibility criteria.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • There is No Tenable Notion of Global Metainferential Validity.Rea Golan - 2021 - Analysis 81 (3):411-420.
    The use of models to assign truth values to sentences and to counterexemplify invalid inferences is a basic feature of model theory. Yet sentences and inferences are not the only phenomena that model theory has to take care of. In particular, the development of sequent calculi raises the question of how metainferences are to be accounted for from a model-theoretic perspective. Unfortunately there is no agreement on this matter. Rather, one can find in the literature two competing model-theoretic notions of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Requiem for logical nihilism, or: Logical nihilism annihilated.Bogdan Dicher - 2021 - Synthese 198 (8):7073-7096.
    Logical nihilism is the view that the relation of logical consequence is empty: there are counterexamples to any putative logical law. In this paper, I argue that the nihilist threat is illusory. The nihilistic arguments do not work. Moreover, the entire project is based on a misguided interpretation of the generality of logic.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  • (Meta)Inferential Levels of Entailment Beyond the Tarskian Paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2019 - Synthese 198 (S22):5265-5289.
    In this paper we discuss the extent to which the very existence of substructural logics puts the Tarskian conception of logical systems in jeopardy. In order to do this, we highlight the importance of the presence of different levels of entailment in a given logic, looking not only at inferences between collections of formulae but also at inferences between collections of inferences—and more. We discuss appropriate refinements or modifications of the usual Tarskian identity criterion for logical systems, and propose an (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Expressing Validity: Towards a Self-Sufficient Inferentialism.Ulf Hlobil - 2020 - In Martin Blicha & Igor Sedlár (eds.), The Logica Yearbook 2019. London: College Publications. pp. 67-82.
    For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I extend the (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Metainferential Duality.Bruno Da Ré, Federico Pailos, Damian Szmuc & Paula Teijeiro - 2020 - Journal of Applied Non-Classical Logics 30 (4):312-334.
    The aim of this article is to discuss the extent to which certain substructural logics are related through the phenomenon of duality. Roughly speaking, metainferences are inferences between collect...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Subvaluationism and Classical Recapture.Paula Teijeiro - 2020 - Logic Journal of the IGPL 28 (5):832-844.
    Adopting a non-classical logic may not imply resigning the classical theories that have proven their worth. Nevertheless, the project of classical recapture poses some challenges, some of them specific to paraconsistent approaches. In this article, we analyse the consequences of introducing a recovery operator to subvaluationist logic. We argue that the classical recovery can indeed be carried out in a subvaluationist setting, but that doing so amounts to committing to a hierarchy of recaptures.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • A Family of Metainferential Logics.Federico Matias Pailos - 2019 - Journal of Applied Non-Classical Logics 29 (1):97-120.
    ABSTRACTWe will present 12 different mixed metainferential consequence relations. Each one of them is specified using two different inferential Tarskian or non-Tarskian consequence relations: or. We will show that it is possible to obtain a Tarskian logic with non-Tarskian inferential logics, but also a non-Tarskian logic with Tarskian inferential logics. Moreover, we will show how some of these metainferential logics work better than the corresponding inferential rivals. Finally, we will show how these logics prove that it is not enough to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • (I Can’T Get No) Antisatisfaction.Pablo Cobreros, Elio La Rosa & Luca Tranchini - 2020 - Synthese 198 (9):8251-8265.
    Substructural approaches to paradoxes have attracted much attention from the philosophical community in the last decade. In this paper we focus on two substructural logics, named ST and TS, along with two structural cousins, LP and K3. It is well known that LP and K3 are duals in the sense that an inference is valid in one logic just in case the contrapositive is valid in the other logic. As a consequence of this duality, theories based on either logic are (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  • Metainferences From a Proof-Theoretic Perspective, and a Hierarchy of Validity Predicates.Rea Golan - forthcoming - Journal of Philosophical Logic 1:1-31.
    I explore, from a proof-theoretic perspective, the hierarchy of classical and paraconsistent logics introduced by Barrio, Pailos and Szmuc in. First, I provide sequent rules and axioms for all the logics in the hierarchy, for all inferential levels, and establish soundness and completeness results. Second, I show how to extend those systems with a corresponding hierarchy of validity predicates, each one of which is meant to capture “validity” at a different inferential level. Then, I point out two potential philosophical implications (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations