Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation

The paper is devoted to the contributions of Helena Rasiowa to the theory of non-classical negation. The main results of Rasiowa in this area concerns–constructive logic with strong (Nelson) negation,–intuitionistic negation and some of its generalizations: minimal negation of Johansson and semi-negation.We discuss also the impact of Rasiowa works on the theory of non-classical negation.A lecture presented at the International Conference Trends in Logic III : A. Mostowski, H. Rasiowa and C. Rauszer in memoriam, Warsaw, Ruciane-Nida September 23-26, 2005.     

Quantum Logic as a Fragment of Independence-Friendly Logic

The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation . Then in a Hilbert space turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann quantum logic can be interpreted by taking their disjunction to be ¬(A & B). Their logic can thus be mapped into a Boolean structure to which an additional operator has been added.     

Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator

In [14] we used the term finitely algebraizable for algebraizable logics in the sense of Blok and Pigozzi [2] and we introduced possibly infinitely algebraizable, for short, p.i.-algebraizable logics. In the present paper, we characterize the hierarchy of protoalgebraic, equivalential, finitely equivalential, p.i.-algebraizable, and finitely algebraizable logics by properties of the Leibniz operator. A Beth-style definability result yields that finitely equivalential and finitely algebraizable as well as equivalential and p.i.-algebraizable logics can be distinguished by injectivity of the Leibniz operator. Thus, from a characterization of equivalential logics we obtain a new short proof of the main result of [2] that a finitary logic is finitely algebraizable iff the Leibniz operator is injective and preserves unions of directed systems. It is generalized to nonfinitary logics. We characterize equivalential and, by adding injectivity, p.i.-algebraizable logics.     

主题信息合理性、语境意义偏向性对汉语歧义句意义建构的影响

两个实验以合理型主题信息条件下的句子为对照材料．其它型主题信息条件下的句子为实验材料,考察合理型和非合理型主题信息条件下汉语歧义句意义建构的时间进程和特点。结果表明：(1)合理型主题信息可以顺利地建构一个稳定的基础心理表征;不合理型主题信息则没有这种效应;矛盾型主题信息则引导读者重构一个新的心理表征。(2)在合理型主题信息条件下,语境主要起到证实主题信息区和歧义区所建构的基础表征的作用;而在不合理型、矛盾型主题信息的条件下,语境的作用首先是验证所建构的基础心理表征和歧义句的意义频率,然后有效建构歧义句的意义。     

强弱语义语境下的否定句加工机制

2个眼动实验分别探讨强弱语义语境下的否定句加工机制, 以便考察语言理解是命题表征的过程还是经验模拟的过程, 抑或是二者兼具。在实验中, 被试首先听句子(强语义语境：如“胳膊不是弯曲的”的备择选项为“伸直的胳膊”, 其中“弯曲−伸直”为具有反义关系的强语义连接关系; 弱语义语境：如加工“裙子不是蓝色的”的备择选项为“黑色的裙子”, “蓝色−黑色”为弱语义连接关系), 然后会看到4张同时呈现的图片, 被试的任务是按键选择与句子描述匹配的图片。结果发现, 在强语义语境条件下, 被试在早期(201~600 ms时窗)对描述事件否定状态的图片(弯曲的胳膊)与描述事件实际状态的图片(伸直的胳膊)的注视概率没有差别, 晚期(601 ms后)仅对描述事件实际状态的图片的注视概率更高; 弱语义语境条件下, 被试在早期(401~600 ms)仅对描述事件否定状态的图片(蓝裙子)注视概率更高, 晚期(801 ms后)仅对描述事件实际状态的图片(黑色裙子)注视概率更高; 并且, 都对描述事件否定状态的图片的注视概率低于随机水平。结果支持符号依存假设和抑制假设。     

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.     

The Basic Constructive Logic for a Weak Sense of Consistency defined with a Propositional Falsity Constant

The logic B_Kc1 is the basic constructive logic in the ternaryrelational semantics (without a set of designated points) adequateto consistency understood as the absence of the negation ofany theorem. Negation is introduced in B_Kc1 with a negationconnective. The aim of this paper is to define the logic B_Kc1F.In this logic negation is introduced via a propositional falsityconstant. We prove that B_Kc1 and B_Kc1F are definitionally equivalent.     

动作与中介--从生活世界的观点出发对《精神现象学》"感性确定性分析"中动作性词语的一个解读

本文尝试从现象学的生活世界观点出发,对黑格尔《精神现象学》之“感性确定性分析”中的动作性词语作一个解释学的解读工作,以便发掘出黑格尔辩证法之中介游戏或者间接同一性机制所以可能发生的动态的源初“地带”。     

Suggestibility, social support, and memory for a novel experience in young children

This study examined 5- and 6-year-olds' suggestibility and interviewer demeanor as joint predictors of their memory for a novel experience. Session 1 consisted of children taking part in a novel laboratory event. Session 2 took place after approximately a 1-week delay and consisted of children completing both a memory test concerning what happened during the prior event and the Video Suggestibility Scale for Children (VSSC). During the second session, the interviewer behaved either supportively or nonsupportively. Greater acquiescence on the VSSC was associated with fewer correct responses to misleading questions about the laboratory event in the supportive and nonsupportive conditions and with more errors in response to specific questions in the nonsupportive condition. Results indicate that individual differences in children's suggestibility are related to the accuracy of their memory for separate events, although some of these relations may vary depending on the context in which children are interviewed.     

On the Origins of Children's Compliance and Opposition: Family Context, Reinforcement, and Rules

Interactional synchrony and context dependent reinforcement are presented as similar phenomena in this discussion of children's dispositions to comply with or to oppose parental instructions. I argue that consistent and appropriate parental reactions to the full range of a child's response repertoire will establish a family context conducive to positive reinforcement of child compliance. In contrast, inconsistent parental reactions appear to create a chaotic family context conducive to the negative reinforcement of child opposition. Depending on these two forms of context, the parents and children seem to generate distinctive personal rules which outline the functional arrangements of context, behavior and reinforcement. The importance of these personal rules in helping parents and children to improve the lawfulness of family context is highlighted.     

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.     

Elite athletic career as a context for life design

Against a theoretical backdrop of narrative career construction, this article argues for the cultural constitution of life-designing processes in and through sport. A narrative case study approach is used to explore the culturally infused, gendered construction of elite athletic careers from the life story perspective. One Finnish, male, professional hockey player (age 29) and one Baltic, female, amateur orienteer (age 27) participated in a series of three individual interviews, generating approximately five interview hours per athlete. Both participants drew upon the performance narrative plot of an exemplary athletic career to make sense of their sporting experiences, life choices, and career behaviors. Further analysis of gendered career narrations in the context of participants' lives extended contextualized understandings of career practices, discursive resources and cultural constraints of the life design at a particular socio-historical juncture. The present study elucidates the complex social, cultural, and gendered underpinnings of athletic career, as well as the ways in which agentic individuals create novel meanings in bringing authenticity to their life through the athletic pursuit.     

Global problems,globalization, and predictability

The term globalization is questioned in its validity and applicability to structures other than verbal. Globalization is a historical term which changes its meaning with time and culture. It is not only that its content changes but the validity of a globalization concept changes with the historical perspective. Morever, solution of global problems depends heavily on the correct analysis of the problem. Without such an analysis there is no possibility to find even an approximate solution. Hence, predictability is impossible. There is no trend which is sufficiently long to make any reliable prediction for global problems other than the most simple ones.     

Diamonds are a Philosopher's Best Friends

The knowability paradox is an instance of a remarkable reasoning pattern (actually, a pair of such patterns), in the course of which an occurrence of the possibility operator, the diamond, disappears. In the present paper, it is pointed out how the unwanted disappearance of the diamond may be escaped. The emphasis is not laid on a discussion of the contentious premise of the knowability paradox, namely that all truths are possibly known, but on how from this assumption the conclusion is derived that all truths are, in fact, known. Nevertheless, the solution offered is in the spirit of the constructivist attitude usually maintained by defenders of the anti-realist premise. In order to avoid the paradoxical reasoning, a paraconsistent constructive relevant modal epistemic logic with strong negation is defined semantically. The system is axiomatized and shown to be complete.     

Ancestral Voices, Spirits, and Magic: Dance a New Dance in the Family Therapy Room

Despite important moves toward reconciliation and dreams of a rainbow nation, the culture of violence impacts upon family and community life. This article is written within this context and more specifically within the writer's personal reflections on her practice of working as a family therapist in one of South Africa's largest black townships, Mdantsane. It challenges the relevance of first world theory and practice of family therapy in the third world context but is written in the first person and thus in the form of a reflective practitioner. The usefulness of the Milan approach is questioned and a move toward a social constructionist approach is favoured. The metaphor of dance and music is used to capture the dynamic interaction between client and therapist in the search for a relevant and respectful way of working with families in the South African context.