Switch to: References

Add citations

You must login to add citations.
  1. Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2):431-466.
    This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Minimally inconsistent LP.Graham Priest - 1991 - Studia Logica 50 (2):321 - 331.
    The paper explains how a paraconsistent logician can appropriate all classical reasoning. This is to take consistency as a default assumption, and hence to work within those models of the theory at hand which are minimally inconsistent. The paper spells out the formal application of this strategy to one paraconsistent logic, first-order LP. (See, Ch. 5 of: G. Priest, In Contradiction, Nijhoff, 1987.) The result is a strong non-monotonic paraconsistent logic agreeing with classical logic in consistent situations. It is shown (...)
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  • A comparison of two approaches to parainconsistency: Flemish and Polish.Marek Nasieniewski - 2001 - Logic and Logical Philosophy 9:47.
    In this paper we present a comparison of certain inconsistencyadaptive logics and Jaśkowski’s logic.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Deductive and ampliative adaptive logics as tools in the study of creativity.Joke Meheus - 1999 - Foundations of Science 4 (3):325-336.
    In this paper, I argue that logic hasan important role to play in the methodological studyof creativity. I also argue, however, that onlyspecial kinds of logic enable one to understand thereasoning involved in creative processes. I show thatdeductive and ampliative adaptive logics areappropriate tools in this respect.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Weakening of Intuitionistic Negation for Many-valued Paraconsistent da Costa System.Zoran Majkić - 2008 - Notre Dame Journal of Formal Logic 49 (4):401-424.
    In this paper we propose substructural propositional logic obtained by da Costa weakening of the intuitionistic negation. We show that the positive fragment of the da Costa system is distributive lattice logic, and we apply a kind of da Costa weakening of negation, by preserving, differently from da Costa, its fundamental properties: antitonicity, inversion, and additivity for distributive lattices. The other stronger paraconsistent logic with constructive negation is obtained by adding an axiom for multiplicative property of weak negation. After that, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Why Logic Doesn 't Matter in the (Philosophical) Study of Argumentation'.Tim Heysse - 1997 - Argumentation 11 (2):211-224.
    Philosophically, the study of argumentation is important because it holds out the prospect of an interpretation of rationality. For this we need to identify a transcendent perspective on the argumentative interaction. We need a normative theory of argumentation that provides an answer to the question: should the hearer accept the argument of the speaker. In this article I argue that formal logic implies a notion of transcendence that is not suitable for the study of argumentation, because, from a logical point (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Pluralism in Mathematics: A New Position in Philosophy of Mathematics.Michèle Friend - 2013 - Dordrecht, Netherland: Springer.
    The pluralist sheds the more traditional ideas of truth and ontology. This is dangerous, because it threatens instability of the theory. To lend stability to his philosophy, the pluralist trades truth and ontology for rigour and other ‘fixtures’. Fixtures are the steady goal posts. They are the parts of a theory that stay fixed across a pair of theories, and allow us to make translations and comparisons. They can ultimately be moved, but we tend to keep them fixed temporarily. Apart (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • The Birth of Dialetheism.Elena Ficara - 2021 - History and Philosophy of Logic 42 (3):281-296.
    The aim of this paper is to lay bare the roots of dialetheism in discussions about dialectics and dialectical logic at the time of the first development of paraconsistent logics. In other words, th...
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Introduction: The Formalization of Dialectics.Elena Ficara & Graham Priest - 2023 - History and Philosophy of Logic 44 (2):115-118.
    The idea at the basis of this special issue is that reopening the old debate about the logical status of Hegel’s dialectics is extremely interesting, for various reasons.1 The first reason is that...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Hegel, Beall, and the logic of Vereinigung.Elena Ficara - 2024 - Asian Journal of Philosophy 3 (1):1-13.
    In 2023, Beall and Ficara present what they call Hegelian conjunctions. A Hegelian conjunction is a true conjunction of contradictory opposites in which the conjuncts, separately taken, are untrue and for which simplification fails. The analysis in Beall & Ficara History and Philosophy of Logic 44 (2) 119-131, 2023 is important for various reasons. First, for overcoming the deleterious state of estrangement between two ways of conceiving and practicing logic, the “dialectical” or “continental” and the “analytical” one. Second, for strengthening (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Why Priest's reassurance is not reassuring.Jc Beall - 2012 - Analysis 72 (3):517-525.
    In the service of paraconsistent (indeed, ‘dialetheic’) theories, Graham Priest has long advanced a non-monotonic logic (viz., MiLP) as our ‘universal logic’ (at least for standard connectives), one that enjoys the familiar logic LP (for ‘logic of paradox’) as its monotonic core (Priest, G. In Contradiction , 2nd edn. Oxford: Oxford University Press. First printed by Martinus Nijhoff in 1987: Chs. 16 and 19). In this article, I show that MiLP faces a dilemma: either it is (plainly) unsuitable as a (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Some Adaptive Logics for Diagnosis.Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven - 2003 - Logic and Logical Philosophy 11:39-65.
    A logic of diagnosis proceeds in terms of a set of data and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from [27] and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Paraconsistency and its relation to worldviews.Diderik Batens - 1998 - Foundations of Science 3 (2):259-283.
    The paper highlights the import of the paraconsistent movement, list some motivations for its origin, and distinguishes some stands with respect to para-consistency. It then discusses some sources of inconsistency that are specific for worldviews, and the import of the paraconsistent turn for the worldviews enterprise.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Minimally abnormal models in some adaptive logics.Diderik Batens - 2000 - Synthese 125 (1-2):5-18.
    In an adaptive logic APL, based on a (monotonic) non-standardlogic PL the consequences of can be defined in terms ofa selection of the PL-models of . An important property ofthe adaptive logics ACLuN1, ACLuN2, ACLuNs1, andACLuNs2 logics is proved: whenever a model is not selected, this isjustified in terms of a selected model (Strong Reassurance). Theproperty fails for Priest's LP m because its way of measuring thedegree of abnormality of a model is incoherent – correcting thisdelivers the property.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Contextual Problem Solving and Adaptive Logics in Creative Processes.Diderik Batens - 1999 - Philosophica 64 (2).
    Creativity is commonly seen as beyond the scope of rationality. In the present paper, it is argued that available insights in epistemology and available results in logic enable us to incorporate creativity within an independently sensible view on human rationality.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Criteria causing inconsistencies. General gluts as opposed to negation gluts.Diderik Batens - 2003 - Logic and Logical Philosophy 11:5-37.
    This paper studies the question: How should one handle inconsistencies that derive from the inadequacy of the criteria by which one approaches the world. I compare several approaches. The adaptive logics defined from CLuN appear to be superior to the others in this respect. They isolate inconsistencies rather than spreading them, and at the same time allow for genuine deductive steps from inconsistent and mutually inconsistent premises. Yet, the systems based on CLuN seem to introduce an asymmetry betweennegated and non-negated (...)
    Download  
     
    Export citation  
     
    Bookmark