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.     

On maximal intermediate predicate constructive logics

We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an example of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated.Presented by H. Ono     

Animal spare parts? A Canadian public consultation on xenotransplantation

Xenotransplantation, or the use of animal cells, tissues and organs for humans, has been promoted as an important solution to the worldwide shortage of organs. While scientific studies continue to be done to address problems of rejection and the possibility of animal-to-human virus transfer, socio-ethical and legal questions have also been raised around informed consent, life-long monitoring, animal welfare and animal rights, and appropriate regulatory practices. Many calls have also been made to consult publics before policy decisions are made. This paper describes the Canadian public consultation process on xenotransplantation carried out by the Canadian Public Health Association in an arm’s length process from Health Canada, the ministry overseeing government health policy and regulation. Focusing on six citizen fora conducted around the country patterned after the citizen jury deliberative approach, the paper describes the citizen panelists’ recommendations to hold off on proceeding with clinical trials and the rationales behind this recommendation. The consultation process is discussed in the context of constructive technology assessment, a framework which argues for broader input into earlier stages of technology innovation, particularly at the technology design stage. This study was supported by a grant to the first author from the Social Sciences and Humanities Research Council in Canada.     

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

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.     

Sartre and Bergson: A Disagreement about Nothingness

Abstract

Henri Bergson's philosophy, which Sartre studied as a student, had a profound but largely neglected influence on his thinking. In this paper I focus on the new light that recognition of this influence throws on Sartre's central argument about the relationship between negation and nothingness in his Being and Nothingness. Sartre's argument is in part a response to Bergson's dismissive, eliminativist account of nothingness in Creative Evolution (1907): the objections to the concept of nothingness with which Sartre engages are precisely those raised by Bergson. Even if Sartre's account of nothingness in its entirety is found to be flawed, I argue that the points he makes specifically against Bergson are powerful.

My discussion concludes with a brief examination of the wider philosophical background to Sartre's and Bergson's discussion of nothingness: here I point to some important aspects of Sartre's early philosophy, including some features of his conception of nothingness, that may testify to Bergson's positive influence on his thought.