“Looking at” Negation: Faster Processing for Symbolic Rather Than Iconic Representations

Many studies have shown the double processing of negation, suggesting that negation integration into sentence meaning is delayed. This contrasts with some researches that have found that such integration is rather immediate. The present study contributes to this debate. Affirmative and negative compound sentences (e.g., “because he was not hungry, he did not order a salad”) were presented orally in a visual world paradigm while four printed words were on the screen: salad, no salad, soup, and no soup. The eye-tracking data showed two different fixation patterns for negative causal assertions, which are linked to differences in the representation and inferential demands. One indicates that negation is integrated immediately, as people look at the explicit negation (e.g., no salad) very early. The other, in which people look at the alternate (e.g., soup) much later, indicates that what is delayed in time is the representation of the alternate. These results support theories that combine iconic and symbolic representations, such as the model theory.

Default Negation as Explicit Negation plus Update

We argue that under the stable model semantics default negation can be read as explicit negation with update. We show that dynamic logic programming which is based on default negation, even in the heads, can be interpreted in a variant of updates with explicit negation only. As corollaries, we get an easy description of default negation in generalized and normal logic programming where initially negated literals are updated. These results are discussed with respect to the understanding of negation in logic.

The Art of Refusal: Notes on the Poetics of No

This essay proposes an approximation to the different ways in which the visual arts have dealt with versions of the word NO since Marcel Duchamp created his NON in 1959. This form of explicit negation has been explored in different formats and with myriad meanings by artists such as Boris Lurie, Santiago Sierra, Bahia Shehab and Maurizio Cattelan. I examine how their works emphasize political dimensions of refusal, questioning realities and notions that are prevalent in art as well as in other spheres. Their contributions also create new links that develop in severaldirections--associating people, ideas, art and history.

Revisiting Explicit Negation in Answer Set Programming

A common feature in Answer Set Programming is the use of a second negation, stronger than default negation and sometimes called explicit, strong or classical negation. This explicit negation is normally used in front of atoms, rather than allowing its use as a regular operator. In this paper we consider the arbitrary combination of explicit negation with nested expressions, as those defined by Lifschitz, Tang and Turner. We extend the concept of reduct for this new syntax and then prove that it can be captured by an extension of Equilibrium Logic with this second negation. We study some properties of this variant and compare to the already known combination of Equilibrium Logic with Nelson’s strong negation.

Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs

In this paper, we introduce new semantics (that we call D3-WFS-DCOMP) and compare it with the stable semantics (STABLE). For normal programs, this semantics is based onsuitableintegration of the well-founded semantics (WFS) and the Clark’s completion. D3-WFS-DCOM has the following appealing properties: First, it agrees with STABLE in the sense that it never defines a nonminimal model or a nonminimal supported model. Second, for normal programs it extends WFS. Third, every stable model of a disjunctive programPis a D3-WFS-DCOM model ofP. Fourth, it is constructed using transformation rules accepted by STABLE. We also introduce second semantics that we call D2-WFS-DCOMP. We show that D2-WFS-DCOMP is equivalent to D3-WFS-DCOMP for normal programs but this is not the case for disjunctive programs. We also introduce third new semantics that supports the use of implicit disjunctions. We illustrate how these semantics can be extended to programs including explicit negation, default negation in the head of a clause, and aluboperator, which is a generalization of the aggregation operatorsetofover arbitrary complete lattices.

China’s New School of Thought-Masters (Xinzixue): An Alternative to Sinologism?

As is well known, identity studies have always to do with drawing boundaries. In Western sinological works as in the debates of Chinese intellectuals concerning their cultural identity, there are a number of fields which are again and again demarcated against some corresponding fields in other cultures: Chinese philosophy, Chinese literature, Chinese history etc. The practice of drawing boundaries is not limited to the work of the so called cultural relativists. Universalists, who display a critical attitude towards cultural relativism and advocate the equality of cultural phenomena in the world as a matter of principle, construct their argumentation also on the basis of a crucial boundary, i. e. the conception of their own program – their own academic identity – as opposing the program of cultural relativism. The present study defends the idea that any discussion of questions concerning identity constructions, any act of drawing boundaries, as any criticism against drawing them can be interpreted as a political statement and that they become every time problematic when they are accompanied by an explicit negation of politics or when they are not reflected upon as participating in politics. The focus will lie on Chinese readings of Edward Said’s