12 found
Order:
  1. 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   10 citations  
  2. Derivability and Metainferential Validity.Bruno Da Ré, Damian Szmuc & Paula Teijeiro - 2021 - Journal of Philosophical Logic 51 (6):1521-1547.
    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 _S__T_ and _T__S_. 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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  29
    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   11 citations  
  4.  47
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  44
    Vague connectives.Paula Teijeiro - 2022 - Philosophical Studies 180 (5-6):1559-1578.
    Most literature on vagueness deals with the phenomenon as applied to predicates. On the contrary, even the idea of vague connectives seems to be taken as an oxymoron. The goal of this article is to propose an understanding of vague logical connectives based on vague quantifiers. The main idea is that the phenomenon of vagueness translates to connectives in terms of the property of Abnormality. I also argue that Prior’s Tonk can, according to this approach, be considered a vague connective. (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  66
    Not a Knot.Paula Teijeiro - 2020 - Thought: A Journal of Philosophy 9 (1):14-24.
    Thought: A Journal of Philosophy, EarlyView.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  33
    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   1 citation  
  8.  7
    Implicit Rules and the Difference between Natural Deduction and Sequent Calculi.Paula Teijeiro - 2024 - Análisis Filosófico 44 (Especial):13-23.
    The goal of this note is to analyze the ideas presented by Alberto Moretti (1984) in his article “Gentzen y la naturalidad de la deducción” regarding the importance of sequent calculi. My goal is to argue that the difference between these systems and those of natural deduction lies fundamentally in the way in which structural rules can be implicit in them, and that, unlike what Moretti proposes, natural deduction calculi are particularly appropriate for characterizing the notion of consequence.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9.  61
    Circularity is Still Scary.Paula Teijeiro - 2012 - Análisis Filosófico 32 (1):31-35.
    Cook (forthcoming) presents a paradox which he says is not circular. I see no reasons to doubt the non-circularity claim, but I do have some concerns regarding its paradoxicality. My point will be that his proposal succeeds in offering a formalization, but fails in providing a formal paradox, at least of the same type and strength as the Liar. Cook (en prensa) presenta una paradoja que según él no es circular. No veo motivos para cuestionar la pretensión de no circularidad, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  7
    Black-Tie Optional Sorites.Paula Teijeiro - 2024 - Principia: An International Journal of Epistemology 28 (1):151-154.
    Sorites is the paradox which exploits the tolerance of vague language to get an absurd conclusion. The present note argues that, contrary to some other approaches, formalizing the antinomy does not serve the purpose of elucidation.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  48
    Sorites, Curry and Suitable Models.Bruno Da Ré & Paula Teijeiro - forthcoming - Logic and Logical Philosophy:1.
    In this paper we present two new approaches for dealing with semantic paradoxes and soritical predicates based on fuzzy logic. We show that both of them have conceptual advantages over the more traditional Łukasiewicz approach, and that the second one even avoids standard proofs of ω-nconsistency.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  18
    Lógicas no clásicas de la vaguedad.Paula Teijeiro - 2015 - Revista de Humanidades de Valparaíso 5:7-16.
    In this paper, we present a simple overview of the main non classical logics proposed for dealing with the Sorites paradox, that is, weakly paracomplete logics, weakly paraconsistent, and type 1 fuzzy logics. We note some of their advantages and problems and we suggest that the problems can be at least partially overcome by adopting a solution which relies on interval based type 2 fuzzy logics.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark