Search results for 'paraconsistency' (try it on Scholar)

465 found
Sort by:
  1. Walter Carnielli & Abilio Rodrigues, On Philosophical Motivations for Paraconsistency: An Ontology-Free Interpretation of the Logics of Formal Inconsistency.score: 24.0
    In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non- contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) (2013). Paraconsistency: Logic and Applications. Springer.score: 22.0
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. Diderik Batens (1998). Paraconsistency and its Relation to Worldviews. Foundations of Science 3 (2):259-283.score: 22.0
    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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. András Kertész & Csilla Rákosi (2013). Paraconsistency and Plausible Argumentation in Generative Grammar: A Case Study. [REVIEW] Journal of Logic, Language and Information 22 (2):195-230.score: 22.0
    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 (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Joke Meheus* (2006). An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency. Journal of Philosophical Logic 35 (6):539 - 567.score: 22.0
    In this paper, I present the modal adaptive logic $AJ^{r}$ (based on S5) as well as the discussive logic $D_{2}^{r}$ that is defined from it. $D_{2}^{r}$ is a (nonmonotonic) alternative for Jaśkowski's paraconsistent system D₂. Like D₂, $D_{2}^{r}$ validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, $D_{2}^{r}$ moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D₂, this does not require the introduction of discussive connectives. It is argued that (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  6. Evandro L. Gomes & Ítala M. L. D.?Ottaviano (2011). Aristotle's Theory of Deduction and Paraconsistency. Principia 14 (1):71-97.score: 21.0
    No Órganon Aristóteles descreve alguns esquemas dedutivos nos quais a presença de inconsistências não acarreta a trivialização da teoria lógica envolvida. Esta tese é corroborada por três diferentes situações teóricas estudadas por ele, as quais são apresentadas neste trabalho. Analizamos o esquema de inferência utilizado por Aristóteles no Protrepticus e o método de demonstração indireta para os silogismos categóricos. Ambos os métodos exemplificam como Aristóteles emprega estratégias de redução ao absurdo logicamente clássicas. Na sequência, discutimos os silogismos válidos a partir (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  7. William H. F. Altman (2011). A Brief Prehistory of Philosophical Paraconsistency. Principia 14 (1):1-14.score: 21.0
    Celebrando o papel de Newton da Costa na história da paraconsistência, este trabalho examina o uso e abuso da deliberada auto-contradição. Iniciado por Parmênides, desenvolvido por Platão, e continuado por Cícero, uma antiga tradição filosófica usava deliberadamente discursos paraconsistentes para revelar a verdade. Nos tempos modernos, o decisionismo tem usado uma deliberada auto-contradição contra a revelação Judaico-Cristã. DOI:10.5007/1808-1711.2010v14n1p1.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  8. Gemma Robles & José M. Méndez (2009). Strong Paraconsistency and the Basic Constructive Logic for an Even Weaker Sense of Consistency. Journal of Logic, Language and Information 18 (3):357-402.score: 20.0
    In a standard sense, consistency and paraconsistency are understood as the absence of any contradiction and as the absence of the ECQ (‘E contradictione quodlibet’) rule, respectively. The concepts of weak consistency (in two different senses) as well as that of F -consistency have been defined by the authors. The aim of this paper is (a) to define alternative (to the standard one) concepts of paraconsistency in respect of the aforementioned notions of weak consistency and F -consistency; (b) (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  9. Alessio Moretti (2010). The Critics of Paraconsistency and of Many-Valuedness and the Geometry of Oppositions. Logic and Logical Philosophy 19 (1-2):63-94.score: 20.0
    In 1995 Slater argued both against Priest’s paraconsistent system LP (1979) and against paraconsistency in general, invoking the fundamental opposition relations ruling the classical logical square. Around 2002 Béziau constructed a double defence of paraconsistency (logical and philosophical), relying, in its philosophical part, on Sesmat’s (1951) and Blanche’s (1953) “logical hexagon”, a geometrical, conservative extension of the logical square, and proposing a new (tridimensional) “solid of opposition”, meant to shed new light on the point raised by Slater. By (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Ofer Arieli, Arnon Avron & Anna Zamansky (2011). Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Studia Logica 97 (1):31 - 60.score: 20.0
    Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as possible. In this paper we introduce the strongest possible notion of maximal paraconsistency, and investigate it in the context of logics that are based on deterministic or non-deterministic three-valued matrices. We show that all reasonable paraconsistent logics based on three-valued deterministic matrices are maximal in our strong sense. This applies to practically all (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Otavio Bueno & Newton da Costa (2007). Quasi-Truth, Paraconsistency, and the Foundations of Science. Synthese 154 (3):383 - 399.score: 18.0
    In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  12. JC Beall & David Ripley (2003). Review of Paradox and Paraconsistency. [REVIEW] Notre Dame Philosophical Reviews.score: 18.0
    When physicists disagree as to whose theory is right, they can (if we radically idealize) form an experiment whose results will settle the difference. When logicians disagree, there seems to be no possibility of resolution in this manner. In Paradox and Paraconsistency John Woods presents a picture of disagreement among logicians, mathematicians, and other “abstract scientists” and points to some methods for resolving such disagreement. Our review begins with (very) short sketches of the chapters. Following the sketches, we respond (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  13. Greg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.score: 18.0
    “Paraconsistent” means “beyond the consistent” [3, 15]. Paraconsistent logics tolerate inconsistencies in a way that traditional logics do not. In a paraconsistent logic, the inference of explosion A, ∼AB is rejected. This may be for any of a number of reasons [16]. For proponents of relevance [1, 2] the argument has gone awry when we infer an irrelevant B from the inconsistent premises. Those who argue that inconsistent theories may have some logical content but do not commit us to everything, (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  14. Francesco Paoli (2003). Quine and Slater on Paraconsistency and Deviance. Journal of Philosophical Logic 32 (5):531-548.score: 18.0
    In a famous and controversial paper, B. H. Slater has argued against the possibility of paraconsistent logics. Our reply is centred on the distinction between two aspects of the meaning of a logical constant *c* in a given logic: its operational meaning, given by the operational rules for *c* in a cut-free sequent calculus for the logic at issue, and its global meaning, specified by the sequents containing *c* which can be proved in the same calculus. Subsequently, we use the (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  15. Newton C. A. da Costa (2001). Paraconsistency. Theoria 16 (1):119-145.score: 18.0
    In this expository paper, we examine some philosophical and technical issues brought by paraconsistency (such as, motivations for developing a paraconsistent logic, the nature of this logic, and its application to set theory). We also suggest a way of accommodating these issues by considering some problems in the philosophy of logic from a new perspective.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Sahid Rahman & Walter A. Carnielli (2000). The Dialogical Approach to Paraconsistency. Synthese 125 (1-2):201-232.score: 18.0
    Being a pragmatic and not a referential approach tosemantics, the dialogical formulation ofparaconsistency allows the following semantic idea tobe expressed within a semi-formal system: In anargumentation it sometimes makes sense to distinguishbetween the contradiction of one of the argumentationpartners with himself (internal contradiction) and thecontradiction between the partners (externalcontradiction). The idea is that externalcontradiction may involve different semantic contextsin which, say A and ¬A have been asserted.The dialogical approach suggests a way of studying thedynamic process of contradictions through which thetwo (...)
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  17. John Grant & V. S. Subrahmanian (2000). Applications of Paraconsistency in Data and Knowledge Bases. Synthese 125 (1-2):121-132.score: 18.0
    The study of paraconsistent logic as a branch of mathematics and logic has been pioneered by Newton da Costa. With the growing advent of distributed and often inconsistent databases over the last ten years, there has been growing interest in paraconsistency amongst researchers in databases and knowledge bases. In this paper, we provide a brief survey of work in paraconsistent databases and knowledge bases affected by Newton da Costa's important and lasting contributions to the field.
    No categories
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  18. Jean Paul Van Bendegem (2001). Paraconsistency and Dialogue Logic Critical Examination and Further Explorations. Synthese 127 (1/2):35 - 55.score: 18.0
    The first part of this paper presents a sympathetic and critical examination of the approach of Shahid Rahman and Walter Carnielli, as presented in their paper "The Dialogical Approach to Paraconsistency". In the second part, possible extensions are presented and evaluated: (a) top-down analysis of a dialogue situation versus bottom-up, (b) the specific role of ambiguities and how to deal with them, and (c) the problem of common knowledge and background knowledge in dialogues. In the third part, I claim (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Edwin D. Mares (2013). Information, Negation, and Paraconsistency. In. In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. 43--55.score: 18.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  20. Srećko Kovač (2009). First-Order Belief and Paraconsistency. Logic and Logical Philosophy 18 (2):127-143.score: 16.0
    A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  21. Neil Tennant (1984). Perfect Validity, Entailment and Paraconsistency. Studia Logica 43 (1-2):181 - 200.score: 16.0
    This paper treats entailment as a subrelation of classical consequence and deducibility. Working with a Gentzen set-sequent system, we define an entailment as a substitution instance of a valid sequent all of whose premisses and conclusions are necessary for its classical validity. We also define a sequent Proof as one in which there are no applications of cut or dilution. The main result is that the entailments are exactly the Provable sequents. There are several important corollaries. Every unsatisfiable set is (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  22. Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska (2005). Socratic Proofs and Paraconsistency: A Case Study. Studia Logica 80 (2-3):431 - 466.score: 16.0
    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.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  23. C. Mortensen & P. Quigley, Cubic Logic, Ulam Games, and Paraconsistency.score: 16.0
    In this paper we call for attention to be paid to the link between logic and geometry. To apply this theme, we survey the connection between n-cubes, Lukasiewicz logics and Ulam games. We then extend what is known to the case where the number of permitted lies in a Ulam game exceeds 1. We conclude by identifying the precise sense in which these logics are paraconsistent.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  24. Carlos A. OLLER (1999). Paraconsistency and Analyticity. Logic and Logical Philosophy 7 (1):91-99.score: 16.0
    William Parry conceived in the early thirties a theory of entail-
    ment, the theory of analytic implication, intended to give a formal expression to the idea that the content of the conclusion of a valid argument must be included in the content of its premises. This paper introduces a system of analytic, paraconsistent and quasi-classical propositional logic that does not validate the paradoxes of Parry’s analytic implication. The interpretation of the expressions of this logic will be given in terms of a (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  25. Lawrence Goldstein (1989). Wittgenstein and Paraconsistency. In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. 540--62.score: 16.0
    No categories
     
    My bibliography  
     
    Export citation  
  26. Chris Mortensen (1989). Paraconsistency and C1. In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. 289--305.score: 16.0
    No categories
     
    My bibliography  
     
    Export citation  
  27. Graham Priest & Richard Routley (1989). The Philosophical Significance and Inevitability of Paraconsistency. In G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic: Essays on the Inconsistent. Philosophia Verlag. 483--537.score: 16.0
    No categories
     
    My bibliography  
     
    Export citation  
  28. Achille Varzi, Supervaluationism and Paraconsistency.score: 15.0
    Since its first appearance in 1966, the notion of a supervaluation has been regarded by many as a powerful tool for dealing with semantic gaps. Only recently, however, applications to semantic gluts have also been considered. In previous work I proposed a general framework exploiting the intrinsic gap/glut duality. Here I also examine an alternative account where gaps and gluts are treated on a par: although they reflect opposite situations, the semantic upshot is the same in both cases--the value of (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  29. Vladimir L. Vasyukov (2011). Paraconsistency in Categories: Case of Relevance Logic. Studia Logica 98 (3):429-443.score: 15.0
    Categorical-theoretic semantics for the relevance logic is proposed which is based on the construction of the topos of functors from a relevant algebra (considered as a preorder category endowed with the special endofunctors) in the category of sets Set. The completeness of the relevant system R of entailment is proved in respect to the semantic considered.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  30. Igor Urbas (1990). Paraconsistency. Studies in East European Thought 39 (3-4):343-354.score: 15.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Arnon Avron (1990). Relevance and Paraconsistency--A New Approach. Journal of Symbolic Logic 55 (2):707-732.score: 15.0
    Direct download (9 more)  
     
    My bibliography  
     
    Export citation  
  32. Diderik Batens (1990). Against Global Paraconsistency. Studies in East European Thought 39 (3-4):209-229.score: 15.0
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  33. Jean Paul Van Bendegem (2001). Paraconsistency and Dialogue Logic Critical Examination and Further Explorations. Synthese 127 (1-2):35-55.score: 15.0
    The first part of this paper presents asympathetic and critical examination of the approachof Shahid Rahman and Walter Carnielli, as presented intheir paper The Dialogical Approach toParaconsistency. In the second part, possibleextensions are presented and evaluated: (a) top-downanalysis of a dialogue situation versus bottom-up, (b)the specific role of ambiguities and how to deal withthem, and (c) the problem of common knowledge andbackground knowledge in dialogues. In the third part,I claim that dialogue logic is the best-suitedinstrument to analyse paradoxes of the (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  34. Joachim Bromand (2004). Review: Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. [REVIEW] Mind 113 (450):416-420.score: 15.0
    No categories
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  35. Igor Urbas (1989). Paraconsistency and the $\Rm C$-Systems of da Costa. Notre Dame Journal of Formal Logic 30 (4):583-597.score: 15.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  36. Arnon Avron (1990). Relevance and Paraconsistency---A New Approach. II. The Formal Systems. Notre Dame Journal of Formal Logic 31 (2):169-202.score: 15.0
  37. JC Beall (2003). Review of Woods, John, Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences. [REVIEW] Notre Dame Philosophical Reviews 2003 (6).score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. Otávio Bueno & C. A. De Costa Newton (2001). Paraconsistency: Towards a Tentative Interpretation. Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 16 (40):119-145.score: 15.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. C. M. Amus (2012). Paraconsistency on the Rocks of Dialetheism. Logique Et Analyse 55 (217):3.score: 15.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  40. Francesco Berto (2012). How to Rule Out Things with Words: Strong Paraconsistency and the Algebra of Exclusion1. In Greg Restall & Gillian Kay Russell (eds.), New Waves in Philosophical Logic. Palgrave Macmillan. 169.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  41. Arnon Avron (2014). Paraconsistency, Paracompleteness, Gentzen Systems, and Trivalent Semantics. Journal of Applied Non-Classical Logics 24 (1-2):12-34.score: 15.0
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  42. Diderik Batens, Chris Mortenson, Graham Priest, Jean Paul Van Bendegem, Joke Meheus, Joachim Van Meirvenne & Erik Weber (1996). First World Congress on Paraconsistency. Studia Logica 56 (291).score: 15.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  43. Francesco Berto, Strong Paraconsistency and Exclusion Negation.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  44. Newton [Y.] Otávio Bueno Da Costa (1996). Consistency, Paraconsistency and Truth: Logic, the Whole Logic and Nothing but the Logic. Ideas y Valores 100:48-60.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  45. Evandro Luís Gomes & Itala M. Loffredo D'Ottaviano (2008). Aristotle's Theory of Deduction and Paraconsistency. Principia: An International Journal of Epistemology 14 (1):71-97.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  46. Grzegorz Malinowski (2004). Inferential Paraconsistency. Logic and Logical Philosophy 8:83.score: 15.0
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  47. Casey N. McGinnis (2003). Paraconsistency: The Logical Way to the Inconsistent, Edited by Carnielli Walter A., Coniglio Marcelo E., and D'Ottaviano Itala M. Loffredo, Marcel Dekker, New York, 2002, Xiv+ 552 Pp. [REVIEW] Bulletin of Symbolic Logic 9 (3):410-412.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  48. Hristo Smolenov (1983). Paraconsistency, Paracompleteness and Intentional Contradictions. Bulletin of the Section of Logic 12 (1):8-12.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  49. Tom J. F. Tillemans (2009). How Do Madhyamikas Think? Notes on Jay Garfield, Graham Priest, and Paraconsistency. In Mario D'Amato, Jay L. Garfield & Tom J. F. Tillemans (eds.), Pointing at the Moon: Buddhism, Logic, Analytic Philosophy. Oxford University Press.score: 15.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
1 — 50 / 465