scispace - formally typeset
Search or ask a question
Topic

Paraconsistent logic

About: Paraconsistent logic is a research topic. Over the lifetime, 1610 publications have been published within this topic receiving 28842 citations.


Papers
More filters
Journal Article
TL;DR: The authors show that on a standard model-theoretic approach to consequence the answer to this question depends on the philosophical motivation behind the models, and that different approaches to semantic characterisations of consequence come apart in this way demonstrates that attention should be paid to the motivations behind the theories.
Abstract: Can one be a non-dialetheic paraconsistentist? I will show that on a standard model-theoretic approach to consequence the answer to this question depends on the philosophical motivation behind the models. If the models are interpretations of the formal language, the answer to the question is “No”, but if the models are representations of how things are, the answer is less clear. That different approaches to semantic characterisations of consequence come apart in this way demonstrates that attention should be paid, especially by paraconsistentists, to the motivations behind the theories.

5 citations

Proceedings ArticleDOI
01 Nov 2006
TL;DR: This paper shows a controller based on the evidential annotated paraconsistent logic E - Paracontrol, a variation of the logic analyzer, which presents besides the characteristics of the previous controller the speed control in the various robot's actions.
Abstract: This paper shows a controller based on the evidential annotated paraconsistent logic E - Paracontrol The Paracontrol is a variation of the logic analyzer This work also shows an autonomous mobile robot, which is named Emmy II, in order to demonstrate the Paracontrol's new properties As an innovation, the Paracontrol presents besides the characteristics of the previous controller (manipulation of uncertainties, contradiction and paracompleteness information), the speed control in the various robot's actions

5 citations

BookDOI
01 Jan 2014
TL;DR: Weber, Weber, Joke Meheus, Dietlinde Wouters, and Dietl Lindell as mentioned in this paper discuss adaptive logics as a necessary and sufficient tool for relative rationality.
Abstract: Preface; Erik Weber, Joke Meheus & Dietlinde Wouters -- Chapter 1. Adaptive Logics as a Necessary Tool for Relative Rationality. Including a Section on Logical Pluralism; Diderik Batens -- Chapter 2. A New Approach to Epistemic Logic; Giovanna Corsi and Gabriele Tassi -- Chapter 3. Explaining Capacities: Assessing the Explanatory Power of Models in the Cognitive Sciences; Raoul Gervais -- Chapter 4. Data-driven Induction in Scientific Discovery. A Critical Assessment Based on Kepler’s Discoveries; Albrecht Heeffer -- Chapter 5. Dovetailing Belief Base Revision with (Basic) Truth Approximation; Theo A.F. Kuipers -- Chapter 6. A Method of Generating Modal Logics Defining Jaśkowski’s Discussive D2 Consequence; Marek Nasieniewski and Andrzej Pietruszczak -- Chapter 7. Frontier Theory of Inquiry: Apparent Conflicts between the Ghent Logical Program and the “Darwinian” Selectionist Program; Thomas Nickles -- Chapter 8. On the Propagation of Consistency in Some Systems of Paraconsistent Logic; Hitoshi Omori and Toshiharu Waragai -- Chapter 9. Degrees of Validity and the Logical Paradoxes; Francesco Orilia -- Chapter 10. Contradictory Concepts; Graham Priest -- Chapter 11. Bloody Analogical Reasoning; Dagmar Provijn -- Chapter 12. Another Look at Mathematical Style, as Inspired by Le Lionnais and the OuLiPo; Jean Paul Van Bendegem and Bart Van Kerkhove -- Chapter 13. Internalism Does Entail Scepticism; Jan Willem Wieland -- Chapter 14. Answering by Means of Questions in View of Inferential Erotetic Logic; Andrzej Wiśniewski.

5 citations

Book ChapterDOI
23 Jan 2020
TL;DR: In this paper, the Naïve Comprehension Schema is replaced with a paraconsistent logic and three strategies for doing so are distinguished: the material strategy, the relevant strategy and the model-theoretic strategy.
Abstract: The chapter discusses the naive conception of set and criticizes attempts to rehabilitate it by modifying the logic of set theory. The focus is on the proposal that the Naive Comprehension Schema – which formally captures the thesis that every condition determines a set – is to be saved by adopting a paraconsistent logic. Three strategies for doing so are distinguished: the material strategy, the relevant strategy and the model-theoretic strategy. It is shown that these strategies lead to set theories that are either too weak or ad hoc or give up on the idea that sets are genuinely extensional entities.

5 citations

Proceedings ArticleDOI
Jingde Cheng1
14 Nov 2005
TL;DR: This paper proposes a new family of relevant logic, named "spatio-temporal relevant logic," and shows that it is a hopeful candidate for the fundamental logic to underlie specifying, verifying, and reasoning about spatio-tem temporal knowledge.
Abstract: To specify, verify, and reason about spatio-temporal knowledge, we need a right fundamental logic system to provide us with a criterion of logical validity for reasoning as well as a formal representation and specification language. In order to reason out new spatio-temporal knowledge with incomplete or sometime even inconsistent knowledge, the fundamental logic must be able to underlie truth-preserving and relevant reasoning in the sense of conditional, ampliative reasoning, paracomplete reasoning, paraconsistent reasoning, spatial reasoning, and temporal reasoning. This paper proposes a new family of relevant logic, named "spatio-temporal relevant logic," and shows that it is a hopeful candidate for the fundamental logic to underlie specifying, verifying, and reasoning about spatio-temporal knowledge

5 citations


Network Information
Related Topics (5)
Axiom
11K papers, 257.9K citations
80% related
Logic programming
11.1K papers, 274.2K citations
79% related
Metaphysics
14.8K papers, 235.4K citations
77% related
Philosophy of science
15.4K papers, 361.5K citations
77% related
Class (set theory)
17.4K papers, 242K citations
76% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
202313
202255
202131
202036
201935
201847