The pragmatic aspects of linguistic negation: Speech act,argumentation and pragmatic inference

This paper is an attempt to give a general explanation of pragmatic aspects of linguistic negation. After a brief survey of classical accounts of negation within pragmatic theories (as speech act theory, argumentation theory and polyphonic theory), the main pragmatic uses of negation (illocutionary negation, external negation, lowering and majoring negation) are discussed within relevance theory. The question of the relevance of negative utterance is raised, and a general inferential schema (based on the so-called invited inference) is proposed and tested for the main uses of negation discussed in the paper.Translated from French by Anne Reboul and Lyne DaSylva.     

Quantized Linear Logic,Involutive Quantales and Strong Negation

A new logic, quantized intuitionistic linear logic (QILL), is introduced, and is closely related to the logic which corresponds to Mulvey and Pelletier's (commutative) involutive quantales. Some cut-free sequent calculi with a new property quantization principle and some complete semantics such as an involutive quantale model and a quantale model are obtained for QILL. The relationship between QILL and Wansing's extended intuitionistic linear logic with strong negation is also observed using such syntactical and semantical frameworks.     

Algebras of Intervals and a Logic of Conditional Assertions

Intervals in boolean algebras enter into the study of conditional assertions (or events) in two ways: directly, either from intuitive arguments or from Goodman, Nguyen and Walker's representation theorem, as suitable mathematical entities to bear conditional probabilities, or indirectly, via a representation theorem for the family of algebras associated with de Finetti's three-valued logic of conditional assertions/events. Further representation theorems forge a connection with rough sets. The representation theorems and an equivalent of the boolean prime ideal theorem yield an algebraic completeness theorem for the three-valued logic. This in turn leads to a Henkin-style completeness theorem. Adequacy with respect to a family of Kripke models for de Finetti's logic, ukasiewicz's three-valued logic and Priest's Logic of Paradox is demonstrated. The extension to first-order yields a short proof of adequacy for Körner's logic of inexact predicates.     

Categorical Abstract Algebraic Logic Metalogical Properties

Metalogical properties that have traditionally been studied in the deductive system context (see, e.g., [21]) and transferred later to the institution context [33], are here formulated in the -institution context. Preservation under deductive equivalence of -institutions is investigated. If a property is known to hold in all algebraic -institutions and is preserved under deductive equivalence, then it follows that it holds in all algebraizable -institutions in the sense of [36].     

Anger Can Help: A Transactional Model and Three Pathways of the Experience and Expression of Anger

Anger is a significant human emotion with far‐reaching implications for individuals and relationships. We propose a transactional model of anger that highlights its relational relevance and potentially positive function, in addition to problematic malformations. By evolutionary design, physical, self‐concept, or attachment threats all similarly trigger diffuse physiological arousal, psychologically experienced as anger‐emotion. Anger is first a signaling and motivational system. Anger is then formed to affirming, productive use or malformed to destructive ends. A functional, prosocial approach to anger organizes it for protective and corrective personal and relational adaptation. In our model, threat perception interacts with a person's view of self in relation to other to produce helpful or harmful anger. Inflated or collapsed views of self in relation to other produce distinct manifestations of destructive anger that are harmful to self, other, and relationship. Conversely, a balanced view of self in relation to other promotes constructive anger and catalyzes self, other, and relationship healing. Clinical use of the model to shape healing personal and relational contact with anger is explored.     

Translating the ICAP Theory of Cognitive Engagement Into Practice

ICAP is a theory of active learning that differentiates students’ engagement based on their behaviors. ICAP postulates that I nteractive engagement, demonstrated by co‐generative collaborative behaviors, is superior for learning to C onstructive engagement, indicated by generative behaviors. Both kinds of engagement exceed the benefits of A ctive or P assive engagement, marked by manipulative and attentive behaviors, respectively. This paper discusses a 5‐year project that attempted to translate ICAP into a theory of instruction using five successive measures: (a) teachers’ understanding of ICAP after completing an online module, (b) their success at designing lesson plans using different ICAP modes, (c) fidelity of teachers’ classroom implementation, (d) modes of students’ enacted behaviors, and (e) students’ learning outcomes. Although teachers had minimal success in designing Constructive and Interactive activities, students nevertheless learned significantly more in the context of Constructive than Active activities. We discuss reasons for teachers’ overall difficulty in designing and eliciting Interactive engagement.     

Thoughts on representation in therapy of Holocaust survivors1

This paper presents the problems of representation and lack of representation in treating Holocaust survivors, through clinical vignettes and various theoreticians. The years of Nazi persecution and murder brought about a destruction of symbolization and turning inner and external reality into the Thing itself, the concrete, or, in Lacan’s words, ‘The Thing’. The paper presents two ideas related to praxis as well as theory in treating Holocaust survivors: the first is related to the therapist’s treatment of the Holocaust nightmare expressing the traumatic events just as they happened 63 years previously; the second deals with the attempt at subjectification, in contrast to the objectification forced by the Nazis on their victims.     

A Bizarre Property Equivalent to the -Fan Theorem

It is shown, with intuitionistic logic, that if every locallyconstant function from to has a property akinto constancy, then the fan theorem for -bars holds, and conversely.     

Interactions between spontaneous instantiations to the basic level and post-event suggestions

Extensive research shows that post-event suggestions can distort the memory for a target event. In this study we examined the effect of such suggestions as they interact with the products of a spontaneous memory process: instantiation of abstract information to an intermediate level of abstractness, the basic level (Pansky & Koriat, 2004 Pansky, A. and Koriat, A. 2004. The basic-level convergence effect in memory distortions. Psychological Science, 15: 52–59. [Crossref] , [Google Scholar]). Participants read a narrative containing items presented at the superordinate level (e.g., FRUIT), were exposed to suggestions that referred to these items at the basic level (e.g., APPLE), and were finally asked to recall the original items. We found that the tendency to instantiate spontaneously in the control (non-misleading) condition, particularly over time, increased following exposure to suggestions that were likely to coincide with those instantiations. Exposure to such suggestions, either immediately or following a 24-hour delay, reduced subsequent correct recall of the original items only if the suggested information coincided with the information one tends to instantiate spontaneously in a given context. Suggestibility, in this case, was particularly pronounced and phenomenologically compelling in terms of remember/know judgements. The findings are taken to imply that effects of post-event suggestions can be understood in terms of the constructive processes that set the stage for their occurrence.