Switch to: References

Add citations

You must login to add citations.
  1. Las Lógicas Mixtas como escape al Problema del Colapso y al Desafío de Quine.Joaquín Santiago Toranzo Calderón - 2020 - Análisis Filosófico 40 (2):247-272.
    En este trabajo presentaré una forma de evitar los problemas más recurrentes en cierta versión del pluralismo lógico, aquella que defiende que incluso considerando un lenguaje fijo existen múltiples sistemas lógicos legítimos. Para ello, será necesario considerar los puntos de partida del programa pluralista y explicitar los problemas que de ellos surgen, principalmente el Desafío de Quine y el Problema del Colapso. Luego, propondré una modificación respecto de lo que se entiende por consecuencia lógica, para poder considerar una familia de (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Classical Logic and the Strict Tolerant Hierarchy.Chris Scambler - 2020 - Journal of Philosophical Logic 49 (2):351-370.
    In their recent article “A Hierarchy of Classical and Paraconsistent Logics”, Eduardo Barrio, Federico Pailos and Damien Szmuc present novel and striking results about meta-inferential validity in various three valued logics. In the process, they have thrown open the door to a hitherto unrecognized domain of non-classical logics with surprising intrinsic properties, as well as subtle and interesting relations to various familiar logics, including classical logic. One such result is that, for each natural number n, there is a logic which (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • One Step is Enough.David Ripley - forthcoming - Journal of Philosophical Logic:1-27.
    The recent development and exploration of mixed metainferential logics is a breakthrough in our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses a new challenge to theorists like me, who have appealed to similarities to classical logic in defending the logic ST, since some mixed metainferential logics seem to bear even more similarities to classical logic than ST does. There is a whole ST-based hierarchy, of which ST itself is only the first step, that seems to become more (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Limits of Abductivism About Logic.Ulf Hlobil - 2021 - Philosophy and Phenomenological Research 103 (2):320-340.
    I argue against abductivism about logic, which is the view that rational theory choice in logic happens by abduction. Abduction cannot serve as a neutral arbiter in many foundational disputes in logic because, in order to use abduction, one must first identify the relevant data. Which data one deems relevant depends on what I call one's conception of logic. One's conception of logic is, however, not independent of one's views regarding many of the foundational disputes that one may hope to (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the Metainferential Solution to the Semantic Paradoxes.Rea Golan - forthcoming - Journal of Philosophical Logic:1-24.
    Substructural solutions to the semantic paradoxes have been broadly discussed in recent years. In particular, according to the non-transitive solution, we have to give up the metarule of Cut, whose role is to guarantee that the consequence relation is transitive. This concession—giving up a meta rule—allows us to maintain the entire consequence relation of classical logic. The non-transitive solution has been generalized in recent works into a hierarchy of logics where classicality is maintained at more and more metainferential levels. All (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Family of Strict/Tolerant Logics.Melvin Fitting - 2021 - Journal of Philosophical Logic 50 (2):363-394.
    Strict/tolerant logic, ST, evaluates the premises and the consequences of its consequence relation differently, with the premises held to stricter standards while consequences are treated more tolerantly. More specifically, ST is a three-valued logic with left sides of sequents understood as if in Kleene’s Strong Three Valued Logic, and right sides as if in Priest’s Logic of Paradox. Surprisingly, this hybrid validates the same sequents that classical logic does. A version of this result has been extended to meta, metameta, … (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Inferential Constants.Camillo Fiore, Federico Pailos & Mariela Rubin - forthcoming - Journal of Philosophical Logic: 1 - 26.
    A metainference is usually understood as a pair consisting of a collection of inferences, called premises, and a single inference, called conclusion. In the last few years, much attention has been paid to the study of metainferences—and, in particular, to the question of what are the valid metainferences of a given logic. So far, however, this study has been done in quite a poor language. Our usual sequent calculi have no way to represent, e.g. negations, disjunctions or conjunctions of inferences. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Variations on Intra-Theoretical Logical Pluralism: Internal Versus External Consequence.Bogdan Dicher - 2020 - Philosophical Studies 177 (3):667-686.
    Intra-theoretical logical pluralism is a form of meaning-invariant pluralism about logic, articulated recently by Hjortland :355–373, 2013). This version of pluralism relies on it being possible to define several distinct notions of provability relative to the same logical calculus. The present paper picks up and explores this theme: How can a single logical calculus express several different consequence relations? The main hypothesis articulated here is that the divide between the internal and external consequence relations in Gentzen systems generates a form (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   4 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Paraconsistencia pura.Bruno Da Ré - 2019 - Revista de Humanidades de Valparaíso 13:90-101.
    Dentro del conjunto de las lógicas no clásicas, las lógicas paraconsistentes han suscitado de manera particular el interés de diversos filósofos. Además de las definiciones tradicionales, en los últimos años, se han propuesto nuevas maneras de caracterizar a la paraconsistencia. Lo que tienen en común todas estas definiciones es que alguna forma de la regla o de la metarregla de explosión debe ser rechazada. En este artículo, presentaré dichas definiciones y evaluaré el rol que juegan la negación y la transitividad (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Metainferential Paraconsistency.Bruno Da Ré, Mariela Rubin & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1-26.
    In this article, our aim is to take a step towards a full understanding of the notion of paraconsistency in the context of metainferential logics. Following the work initiated by Barrio et al. [2018], we will consider a metainferential logic to be paraconsistent whenever the metainferential version of Explosion is invalid. However, our contribution consists in modifying the definition of meta-Explosion by extending the standard framework and introducing a negation for inferences and metainferences. From this new perspective, Tarskian paraconsistent logics (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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...
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - forthcoming - Journal of Philosophical Logic:1-27.
    The aim of this article is to study the notion of derivability and its semantic counterpart in the context of non-transitive and non-reflexive substructural logics. For this purpose we focus on the study cases of the logics ST and TS. In this respect, we show that this notion doesn’t coincide, in general, with a nowadays broadly used semantic approach towards metainferential validity: the notion of local validity. Following this, and building on some previous work by Humberstone, we prove that in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Download  
     
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Local Applications of Logics Via Model-Theoretic Interpretations.Carlos Benito-Monsalvo - forthcoming - Logic and Logical Philosophy:1-22.
    This paper analyses the notion of ‘interpretation’, which is often tied to the semantic approach to logic, where it is used when referring to truth-value assignments, for instance. There are, however, other uses of the notion that raise interesting problems. These are the cases in which interpreting a logic is closely related to its justification for a given application. The paper aims to present an understanding of interpretations that supports the model-theoretic characterization of validity to the detriment of the proof-theoretic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   10 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • 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} (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Translating Metainferences Into Formulae: Satisfaction Operators and Sequent Calculi.Ariel Jonathan Roffé & Federico Pailos - 2021 - Australasian Journal of Logic 3.
    In this paper, we present a way to translate the metainferences of a mixed metainferential system into formulae of an extended-language system, called its associated σ-system. To do this, the σ-system will contain new operators (one for each standard), called the σ operators, which represent the notions of "belonging to a (given) standard". We first prove, in a model-theoretic way, that these translations preserve (in)validity. That is, that a metainference is valid in the base system if and only if its (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation