Abstract In this paper I critically engage with Pauline Kleingeld’s ‘volitional self-contradiction’ interpretation of Kant’s formula universal law. make three remarks: first, seek to clarify what it means for a contradiction be volitional as opposed logical; second, suggest that her might need closer Korsgaard’s ‘practical contradiction’ than she thinks; and third, more work needs done explain ...

We begin by motivating the use of paraconsistency and the detection of contradiction supported conclusions by recourse to examples. Next we overview WFSX p and present its embedding into WFS. We then address the problem of detecting contradiction support and relate it to WFSX p's intrinsic properties. Afterwards, we show how to implement two recent modal contradiction related constructs in the ...

Being a pragmatic and not a referential approach to semantics, the dialogical formulation of paraconsistency allows the following semantic idea to be expressed within a semi-formal system: In an argumentation it sometimes makes sense to distinguish between the contradiction of one of the argumentation partners with himself (internal contradiction) and the contradiction between the partners (ext...

Well Founded Semantics for logic programs extended with eXplicit negation (WFSX) is characterized by that, in any model, whenever :a (the explicit negation of a) holds, then a (the negation by default of a) also holds. When explicit negation is used contradiction may be present (e.g. a and :a both hold for some a) and thus no semantics is given to the program. We introduce here the notion of re...

The raise of extension set provides reasonable logical foundation for the automatic solving of contradiction problem. This paper views contradiction as an unsatiable concept, an unrealizable action or an item that can't meet the satisfaction of a certain concept, analyzes a representation language in face of contradiction problem, which is, a new extension description logic--ALCD-ES. Syntax def...