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...

The scenario semantics of extended logic programs builds upon simple primitive notions and has been shown to encompass many important logic program semantics. Here we introduce into the scenario semantics paradigm a general exible notion of optative acceptance of acceptable hypotheses, and proceed to illustrate its application to fault diagnosis, taxonomic reasoning, and declarative logic progr...

The purpose of this paper is to extend the ELECTRE method based on intuitionistic fuzzy sets in decision analysis and experimental analysis on the proposed methods’ contradiction rate. We identify different kinds of concordance and discordance sets, e. g. concordance, midrange concordance, weak concordance, discordance, midrange discordance and weak discordance for each ordering at the proposed...