We present a theory of argumentation that can deal with contradiction within an argumentation framework, thus solving a problem posed in [1]. By representing logic programs as sets of interacting arguments, we can apply our results for general argumentation frameworks to logicprogramming semantics. This yields a new semantics for logic programs that properly extends traditional approaches such ...

A critical view of the alleged significance of Belnap four-valued logic for reasoning under inconsistent and incomplete information is provided. The difficulty lies in the confusion between truth-values and information states, when reasoning about Boolean propositions. So our critique is along the lines of previous debates on the relevance of many-valued logics and especially of the extension o...

In an article devoted to the Young Marx, I have already stressed the ambiguity of the idea of ‘inverting Hegel’. It seemed to me that strictly speaking this expression suited Feuerbach perfectly; the latter did, indeed, ‘turn speculative philosophy back on to its feet’, but the only result was to arrive with implacable logic at an idealist anthropology. But the expression cannot be applied to M...

In most existing systems that give expert advice, efforts are made to ensure that the rules in the knowledge base do not give rise to contradictions. This is partly to avoid confusing the user, and partly for fear that a logical system that generates even a single contradiction must collapse. We argue that not only can contradictions be tolerated, but they can even be useful. In a legal context...

The core of the TRIZ theories is the contradiction detection and solution. TRIZ provided various methods for the contradiction solution, but all that is not systematized. Combined with the technique system conception, this paper summarizes an integration solution method for contradiction solution based on the TRIZ contradiction theory. According to the method, a flowchart of integration solutio...

Russian Tsar Peter Alekseevich, who went down in history as a reformer and the first emperor, his activities to transform patriarchal Moscow kingdom into modern Empire affected almost all spheres of state activity. He did not lose attention forest legislation. According authors article, created foundations legislation, main feature which was protection interest detriment private. Thus, article ...

public order, as a principle in the framework of national laws, is a tool for protecting private and public interests in a society. observance of the norms and public order in any jurisdiction is important as far as the the influence of this chariness on contracts in the field of private international laws is undeniable. with the formation of new rights such as intellectual property rights in t...