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: A novel metatheoretical framework which provides tools for the representation and evaluation of inconsistencies in linguistic theories and relies on a system of paraconsistent logic which distinguishes between strong and weak inconsistency.
Abstract: 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 destructive in that it leads to logical chaos. In contrast, weak inconsistency may be constructive, because it is capable of accounting for the simultaneous presence of seemingly incompatible structures. However, paraconsistent logic cannot grasp the dynamism of the emergence and resolution of weak inconsistencies. Therefore, the metatheoretical approach is extended to plausible argumentation. The workability of this metatheoretical model is tested with the help of a detailed case study on an analysis of discontinuous constituents in Government-Binding Theory.
6 citations
TL;DR: This article defines, by means of the internal logic of Graphs, Lewiscounterfactuals and shows how to use the LST deductive apparatus to prove properties on counterfactual logic.
6 citations
26 Jun 1995
TL;DR: It is shown, in particular, that default consequence relations based on three-valued inference are adequate for these semantics.
Abstract: We consider the use of default consequence relations suggested in [1,2] as a ‘logical basis’ for normal logic programs. We give a representation of major semantics for logic programs in this framework and study the question what kind of default reasoning is appropriate for them. It is shown, in particular, that default consequence relations based on three-valued inference are adequate for these semantics.
6 citations
01 Jan 2015
6 citations
01 Jan 2016
TL;DR: In this article, the authors propose a framework for paraconsistent reasoning in the sciences, based on a Dialetheic logic of time, to model the present with a deterministic model of time.
Abstract: Chapter 1. Inconsistent Thinking, Fast and Slow Francesco Berto.- Chapter 2. Recursive functions for paraconsistent reasoners Zach Weber.- Chapter 3. Instantaneous Contradiction in Motion and Perception: Modeling the Phenomenal Present with a Dialetheic Logic of Time Corry Shores.- Chapter 4. Saving Proof from Paradox: Against the Inconsistency of Informal Mathematics Fenner Tanswell.-Chapter 5. Revenge for Berto's Law of Non-Contradiction Diego Tajer.- Chapter 6. On Coherence and Inconsistency Martin Pleitz.- Chapter 7. On the Preservation of Reliability Bryson Brown.- Chapter 8. Inconsistency Handling in the Sciences: Where and How do we Need Paraconsistency? Joke Meheus.- Chapter 9. Revision-Theoretic Truth and Degrees of Paradoxicality Cian Chartier.- Chapter 10. Inconsistent Scientific Theories: A Framework Otavio Bueno.- Chapter 11. Prospects for triviality Luis Estrada Gonzales.- Chapter 12. On the interpretation of classical mathematics in naive set theory Morgan Thomas.- Chapter 13. Doing Mathematics Paraconsistently. A manifesto. Maarten McKubre-Jordens.- Chapter 14. Why designate gluts? Andreas Kapsner.- Chapter 15. On the methodology of paraconsistent logic Heinrich Wansing and Sergei Odintsov.- Chapter 16. Dynamic proofs for networks of partial structures Holger Andres and Peter Verdee.
6 citations