Filters








1,306 Hits in 1.9 sec

Paraconsistent Assertions [chapter]

Jørgen Villadsen
2004 Lecture Notes in Computer Science  
We argue that paraconsistent logics are especially advantageous in order to deal with assertions made by intelligent agents.  ...  A paraconsistent logic is a logic where inconsistency does not lead to such an explosion.  ...  But there is another potential use of paraconsistent logics that can be put forward, namely the treatment of assertions (assertions are here taken to be declarative sentences in some given natural or formal  ... 
doi:10.1007/978-3-540-30082-3_8 fatcat:jscwklwnlvcrndfziznnmij2o4

Assertion, Denial and Non-classical Theories [chapter]

Greg Restall
2012 Paraconsistency: Logic and Applications  
I explain the connection between bitheories, sequents, and the speech acts of assertion and denial.  ...  In this paper I urge friends of truth-value gaps and truth-value gluts -proponents of paracomplete and paraconsistent logics -to consider theories not merely as sets of sentences, but as pairs of sets  ...  Let's consider the position of the dialetheist, or in fact, any proponent of a paraconsistent logic. We will presume (Id) and (Cut) in what follows.  ... 
doi:10.1007/978-94-007-4438-7_6 dblp:series/leus/Restall13 fatcat:z47cqpgw2rcntg3cniwvfriyhq

Paraconsistent Vagueness: Why Not?

Dominic Hyde, Mark Colyvan
2008 The Australasian Journal of Logic  
Paraconsistent accounts of vagueness deserve further attention.  ...  The idea that the phenomenon of vagueness might be modelled by a paraconsistent logic has been little discussed in contemporary work on vagueness, just as the idea that paraconsistent logics might be fruitfully  ...  While the denial of A is, from a paraconsistent perspective, sufficient for the assertion of ¬A, the assertion of ¬A is not sufficient for the denial of A.  ... 
doi:10.26686/ajl.v6i0.1798 fatcat:4x3n5whz3bgixpigyc2ejdc6ge

Can contradictions be asserted?

Manuel Bremer
2004 Logic and Logical Philosophy  
Although being provable they are not assertible because of some pragmatic constraints on assertion I will argue for.  ...  If the Liar is the dialethia paraconsistent logicians are most concerned with I could assert (3) "The dialethia that paraconsistent logicians are most concerned with" is false.  ...  Sainsbury bases his rejection of paraconsistency partly on the non-assertibility of contradictions (cf.[9, chap. 6]).  ... 
doi:10.12775/llp.1999.014 fatcat:2ct3irtnvrcwzdiej5a6of6bui

Are We Paraconsistent? On The Luca-Penrose Argument and the Computational Theory of Mind

Jason L. Megill
2004 Auslegung a Journal of Philosophy  
I argue that if we are Turing machines, as the Computational Theory of Mind (CTM) holds, then we are paraconsistent, i.e. we do not implement classical logic as canonical versions of the CTM generally  ...  Are We Paraconsistent? 29 into a disjunction. This suggests that perhaps this novel objection is at least as serious as Benacerraf's (1967) objection.  ...  If, as I argued above, we are paraconsistent, then we would have an alternative explanation for why we don't assert any q from the one Lucas puts forth.  ... 
doi:10.17161/ajp.1808.9526 fatcat:3pglwzqcknbgzpldfgdlbc7iey

Weak consistency and strong paraconsistency

Gemma Robles
2009 tripleC: Communication, Capitalism & Critique  
The aim of this paper is to explain the concepts of weak consistency alternative to the standard one, the concepts of paraconsistency related to them and the concept of strong paraconsistency, all of which  ...  In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ ("E contradictione quodlibet") rule that allows us to  ...  assertion (sa) or the rule assertion (asser), sa.  ... 
doi:10.31269/vol7iss2pp185-193 fatcat:gs3i477wnfg4lhdxwrgcs4vcga

Towards a Paraconsistent Universal Set

Ian Mclean
2012 Figshare  
Rough draft of a paper about possible computational completeness from a paraconsistent form of material implication and falsehood.  ...  I've mentioned before that I have interest in recovering the concept of a universal set in a paraconsistent form.  ...  As expected, if this does in fact work then we will have formalized Gödel's sentence in a paraconsistent form. Formalizing diagonalization is a stone's throw from there.  ... 
doi:10.6084/m9.figshare.96755.v1 fatcat:mq3tnnd4zrdmvc4n6erjg67noq

Weak consistency and strong paraconsistency

Gemma Robles
2009 tripleC: Communication, Capitalism & Critique  
The aim of this paper is to explain the concepts of weak consistency alternative to the standard one, the concepts of paraconsistency related to them and the concept of strong paraconsistency, all of which  ...  In a standard sense, consistency and paraconsistency are understood as, respectively, the absence of any contradiction and as the absence of the ECQ ("E contradictione quodlibet") rule that allows us to  ...  assertion (sa) or the rule assertion (asser), sa.  ... 
doi:10.31269/triplec.v7i2.99 fatcat:6a4rl4wrt5fi3ijtywsrptpefq

A Brief Prehistory of Philosophical Paraconsistency DOI:10.5007/1808-1711.2010v14n1p1

William H. F. Altman
2011 Principia: An International Journal of Epistemology  
In celebration of Newton da Costa's place in the history of paraconsistency, this paper considers the use and abuse of deliberate self-contradiction.  ...  Beginning with Parmenides, developed by Plato, and continued by Cicero, an ancient philosophical tradition used deliberately paraconsistent discourses to reveal the truth.  ...  It is all very well to assert: "God is Dead."  ... 
doi:10.5007/1808-1711.2010v14n1p1 fatcat:wmxk7z7ghrenjgmptfuitzzyb4

Book Reviews

Henrique Antunes
2015 Logic and Logical Philosophy  
Chapter 6 assesses the central idea of falsificationism  an assertion is correct iff it is unfalsifiable or, equivalently, an assertion is incorrect iff it is falsifiable  and considers Dummett's arguments  ...  Chapter 4 introduces the concepts of gaps, gluts and paraconsistency.  ... 
doi:10.12775/llp.2015.013 fatcat:72eaxa5xfvg4rptv7pqpvlb5ca

Page 5956 of Mathematical Reviews Vol. , Issue 2004h [page]

2004 Mathematical Reviews  
If this conflict is so dire that it involves the assertion of both y» and —y for some ¢ then paraconsistent logics may be helpful since they entertain y Ay without consequent trivialization.  ...  Why should we then insinuate that a person who asserts a negated sentence has in mind some exotic kind of negation?  ... 

Three Schools of Paraconsistency

Koji Tanaka
2003 The Australasian Journal of Logic  
A logic is said to be paraconsistent if it does not allow everything to follow from contradictory premises. There are several approaches to paraconsistency.  ...  This paper is concerned with several philosophical positions on paraconsistency. In particular, it concerns three 'schools' of paraconsistency: Australian, Belgian and Brazilian.  ...  For, by adopting  Someone who asserts ∼α is truly committed to the rejection of α: asserting α as well would commit one to triviality. (p. 222. The logical symbols are mine.)  ... 
doi:10.26686/ajl.v1i0.1761 fatcat:ymqtb7evwfashpxvx2vnk6wtfe

Paraconsistency: Introduction [chapter]

Koji Tanaka, Francesco Berto, Edwin Mares, Francesco Paoli
2012 Paraconsistency: Logic and Applications  
'-formal theories based on assertion and denial operators.  ...  In his Assertion, Denial and Non-Classical Theories, a notable exponent of the relevantist tradition like Greg Restall provides innovative insights to paraconsistency by considering what he calls 'bitheories  ... 
doi:10.1007/978-94-007-4438-7_1 fatcat:j4kvirr5lnavrhkratabxmnpci

A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description Logic-Based System [chapter]

Xiaowang Zhang, Zuoquan Lin, Kewen Wang
2011 Lecture Notes in Computer Science  
This paper proposes a paraconsistent and nonmonotonic extension of description logic by planting a nonmonotonic mechanism called minimal inconsistency in paradoxical description logics, which is a paraconsistent  ...  A new entailment relationship between a KB and an axiom characterized by minimal paradoxical models is applied to characterize the semantics of a paraconsistent and nonmonotonic description logic.  ...  A role assertion is an axiom of the form R(a, b) that assigns a directed relation between two individuals a, b by the role R. An ABox contains a finite set of concept assertions and role assertions.  ... 
doi:10.1007/978-3-642-20291-9_36 fatcat:4gkmgkumzbas5cksqaberxbm2y

Paraconsistent Reasoning for Semantic Web Agents [chapter]

Linh Anh Nguyen, Andrzej Szałas
2012 Lecture Notes in Computer Science  
We introduce a number of paraconsistent semantics for SROIQ, including three-valued and four-valued semantics.  ...  We also study the relationship between the semantics and paraconsistent reasoning in SROIQ through a translation into the traditional two-valued semantics.  ...  Note that answering queries that contain negative individual assertions of the form ¬S(a, b) using a paraconsistent semantics is first studied in this work.  ... 
doi:10.1007/978-3-642-29356-6_2 fatcat:khzvqq4myndf3ga6idjwmsksqq
« Previous Showing results 1 — 15 out of 1,306 results