Switch to: References

Citations of:

Paraconsistency: Logic and Applications

Dordrecht, Netherland: Springer (2013)

Add citations

You must login to add citations.
  1. Paraconsistency.Rafael R. Testa - 2022 - In James M. Mattingly (ed.), The SAGE Encyclopedia of Theory in Science, Technology, Engineering, and Mathematics. SAGE Publications. pp. 629-632.
    Paraconsistency is the study of logical systems with a non-explosive negation such that a pair of contradictory formulas (with respect to such negation) does not necessarily imply triviality, discordant to what would be expected by contemporary logical orthodoxy. From a purely logical point of view, the significance of paraconsistency relies on the meticulous distinction between the general notions of contradictoriness and triviality of a theory—respectively, the fact that a given theory proves a proposition and its negation, and the fact that (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Tolerating Gluts.Zach Weber, David Ripley, Graham Priest, Dominic Hyde & Mark Colyvan - 2014 - Mind 123 (491):813-828.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Problems for the Argument from Logic: a Response to the Lord of Non-Contradiction.Alex Malpass - 2020 - Sophia 60 (2):239-253.
    James Anderson and Greg Welty have resurrected an argument for God’s existence, which we will call the argument from logic. We present three lines of response against the argument, involving the notion of necessity involved, the notion of intentionality involved, and then we pose a dilemma for divine conceptualism. We conclude that the argument faces substantial problems.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study. [REVIEW]András Kertész & Csilla Rákosi - 2013 - Journal of Logic, Language and Information 22 (2):195-230.
    While the analytical philosophy of science regards inconsistent theories as disastrous, Chomsky allows for the temporary tolerance of inconsistency between the hypotheses and the data. However, in linguistics there seem to be several types of inconsistency. The present paper aims at the development of a novel metatheoretical framework which provides tools for the representation and evaluation of inconsistencies in linguistic theories. The metatheoretical model relies on a system of paraconsistent logic and distinguishes between strong and weak inconsistency. Strong inconsistency is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Simple Hyperintensional Belief Revision.F. Berto - 2019 - Erkenntnis 84 (3):559-575.
    I present a possible worlds semantics for a hyperintensional belief revision operator, which reduces the logical idealization of cognitive agents affecting similar operators in doxastic and epistemic logics, as well as in standard AGM belief revision theory. (Revised) belief states are not closed under classical logical consequence; revising by inconsistent information does not perforce lead to trivialization; and revision can be subject to ‘framing effects’: logically or necessarily equivalent contents can lead to different revisions. Such results are obtained without resorting (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
    I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the following (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Intuitionistic logic versus paraconsistent logic. Categorical approach.Mariusz Kajetan Stopa - 2023 - Dissertation, Jagiellonian University
    The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, in the context (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Paraconsistent logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   185 citations  
  • Logique, Raisonnement et Rationalité.Matías Osta-Vélez - 2014 - Dissertation, Université de Paris 1 Panthéon-Sorbonne
    Download  
     
    Export citation  
     
    Bookmark  
  • Scientific Pluralism, Consistency Preservation, and Inconsistency Toleration.Otávio Bueno - 2017 - Humana Mente 10 (32):229-245.
    Scientific pluralism is the view according to which there is a plurality of scientific domains and of scientific theories, and these theories are empirically adequate relative to their own respective domains. Scientific monism is the view according to which there is a single domain to which all scientific theories apply. How are these views impacted by the presence of inconsistent scientific theories? There are consistency-preservation strategies and inconsistency-toleration strategies. Among the former, two prominent strategies can be articulated: Compartmentalization and Information (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations