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 published on a yearly basis
Papers
More filters
•
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
••
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
••
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
••
[...]
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
••
14 Nov 2005TL;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