We study the relation between logical contradictions such as p ∧ ¬p and structural contradictions such as p∩ (p · q). Intuitively, we expect the two to be treated similarly, but they are not by PSL, nor by SVA. We provide a solution that treats both kinds of contradictions in a consistent manner. The solution reveals that not all structural contradictions are created equal: we must distinguish ...

This paper describes a manual investigation of the contradiction asymmetries of the SICK corpus, which is the intended testing set for a new system for natural language inference. Any system providing conceptual semantics for sentences, so that entailment-contradiction-neutrality relations between sentences can be identified, needs a baseline test set. The investigation of this test set, a part...

This paper describes a framework for recognizing contradictions between multiple text sources by relying on three forms of linguistic information: (a) negation; (b) antonymy; and (c) semantic and pragmatic information associated with the discourse relations. Two views of contradictions are considered, in which a novel method of recognizing contrast and of finding antonymies are described. Contr...

Introduction ..................................................................................................................... 675 The Dialectic Method of Resolving Contradictions .................................................. 681 Contradictions Between Modding Communities and Game Developers ............. 682 Contradictions Between Chinese Modders and Their Users .........................

We show how some model-theoretical devices (local reasoning, modes of presentation, an additional accessibility relation) can be combined in first-order modal logic to formalize the consequence relation that includes de dicto and de re contradictory beliefs. Instead of special " sense objects " , appearances of objects in an agent's belief are introduced and presented as ordered pairs consistin...

In this paper, I seek to understand the ways contradictions occur across texts and I describe a system for automatically detecting such constructions. Finding conflicting statements is foundational for text understanding, a problem which recently received a surge of interest in the computational linguistics community. Condoravdi et al. (2003) first recognized the importance of handling both ent...

We describe our use of contradictions, a concept central to a popular formulation of activity theory, to derive requirements on a new technical system to support an administrative system. Contradictions are the underlying causes of disturbances in the free operation of workplace activities. We argue and demonstrate that the resolution such contradictions can be used as the basis for the (user c...

This paper discusses recognizing and producing contradictions. After illustrating the phenomena of contradiction, the paper presents conceptual classes of contradiction and gives an overview of the how they can be recognized. The next part discusses the construction of contradictions, in particular with respect to contradicting historic events. The object of this paper is to examine the computa...