Constructing Finite Least Kripke Models for Positive Logic Programs in Serial Regular Grammar Logics

A serial context-free grammar logic is a normal multimodal logicL characterized by the seriality axioms and a set of inclusionaxioms of the form _ts1..._sk. Such an inclusion axiom correspondsto the grammar rule t s₁... s_k. Thus the inclusion axioms ofL capture a context-free grammar . If for every modal index t, the set of words derivable fromt using is a regular language, then L is a serial regular grammar logic. In this paper, we present an algorithm that, given a positivemultimodal logic program P and a set of finite automata specifyinga serial regular grammar logic L, constructs a finite leastL-model of P. (A model M is less than or equal to model M' iffor every positive formula , if M then M' .) A least L-modelM of P has the property that for every positive formula , P iff M . The algorithm runs in exponential time and returnsa model with size 2^O(n³). We give examples of P and L, for bothof the case when L is fixed or P is fixed, such that every finiteleast L-model of P must have size 2⁽ⁿ⁾. We also prove that ifG is a context-free grammar and L is the serial grammar logiccorresponding to G then there exists a finite least L-modelof _s p iff the set of words derivable from s using G is a regularlanguage.     

A case history: from traumatic repetition towards psychic representability

This paper is devoted principally to a case history concerning an analytic process extending over a period of almost ten years. The patient is B, who consulted the author after a traumatic episode. Although that was her reason for commencing treatment, a history of previous traumatogenic situations, including a rape during her adolescence, subsequently came to light. The author describes three stages of the treatment, reflected in three different settings in accordance with the work done by both patient and analyst in enabling B to own and work through her infantile and adult traumatic experiences. The process of transformation of traumatic traces lacking psychic representation, which was undertaken by both members of the analytic couple from the beginning of the treatment, was eventually approached in a particular way on the basis of their respective creative capacities, which facilitated the patient's psychic progress towards representability and the possibility of working through the experiences of the past. Much of the challenge of this case involved the analyst's capacity to maintain and at the same time consolidate her analytic posture within her internal setting, while doing her best to overcome any possible misfit (Balint, 1968) between her own technique and the specific complexities of the individual patient. The account illustrates the alternation of phases, at the beginning of the analysis, of remembering and interpretation on the one hand and of the representational void and construction on the other. In the case history proper and in her detailed summing up, the author refers to the place of the analyst during the analytic process, the involvement of her psychic functioning, and the importance of her capacity to work on and make use of her countertransference and self-analytic introspection, with a view to neutralizing any influence that aspects of her 'real person' might have had on the analytic field and on the complex processes taking place within it.     

In search of a new paradigm for cultural psychology

It is my privilege to be invited to write a response to K.S. Yang's reply to my critique of the methodology he used in his empirical research on individual modernity in Taiwan (Hwang, 2003). Yang's reply consists of three parts: The first part provides a quick overview of the methodology used in his individual traditionality and modernity (T/M) research in Taiwan. The second part presents his reply to my methodological criticisms. The third part is a plea for more and better individual T/M research in Asia. My response consists of three corresponding sections, although I will concentrate on the second part of Yang's text.     

小康社会军队道德建设初探

在全面建设小康社会的过程中,必须加强军队道德建设。小康社会军队道德建设必须实事求是、与世俱进、开阔视野,要从道德理论、道德规范、道德机制和道德实践等方面进行思考和规划,采取多种方式进行。     

The psychopathology of everyday Vienna: Psychoanalysis and Freud's familiars

This paper examines the parapraxes made by, to or about Jewish-identifi ed individuals discussed by Freud in Psychopathology of everyday life. Each of these errors and slips is occasioned by what he terms a 'mésalliance' between a Jew and a Gentile. Such incidents of distorted language betray unresolved ambivalences and unformulated anxieties endemic to Jewish-Gentile interaction in Freud's Vienna. First, the disturbed relationships between German-speaking Gentiles and their threatening Doppelgänger, the Jews, are analyzed by means of Freud's analysis of the 'uncanny' and an examination of the particular restrictions placed upon the 'offi cially' emancipated Jews in the Habsburg Empire, especially with regard to intermarriage. Then, the paper turns to Freud's discussions of explicitly Jewish-identifi ed individuals and their limitation to illustrating parapraxes associated with what should be the most pleasurable and intimate relationships between Jew and Gentile, namely sexual and connubial relations. His focus upon this confl icted conjunction diagnosed the intrinsically problematic character of Jew-Gentile interaction in his Vienna.     

关于以德治国的几个问题

当代我国实施的以德治国需要正确认识传统德治思想的合理因素 ,同时又必须对传统德治思想作批判性的超越 ,意识到以德治国与传统德治的差别 ,并坚持走德法兼治的道路 ,加强官德、民德和与市场经济相适应的新型道德的建设。     

Les deux faces de la construction sociale du harcèlement moral - Nouveaux regards et nouvelles réalités dans le monde du travail

This paper focuses on the emergence of the concept of bullying at work in western societies since the nineties. The authors investigate two hypothesis : bullying is associated with new conceptions of social relations and bullying is associated with new work realities. The paper demonstrate that the two hypothesis are complentary.     

The psychology of life construction

The present article analyzes, from a historical perspective, the object of the study in the fields of vocational guidance and career management. It then considers the contemporary need to view workers as collaborators within organizations. Finally, in the third part, it presents tentative principles for the construction of a new paradigm called the psychology of life construction.     

社会建构论与心理学理论的未来发展

社会建构论是当代西方心理学中的一股重要学术思潮。它认为知识不是一种科学发现,而是一种社会建构。知识的生产过程不是个体理性决定的,而是一种文化历史的过程,是社会协商和互动的结果。有关心理现象的分类、心理活动的形式方面的知识都是一定文化历史条件的产物。从社会建构论的视角看心理学的研究成果会有许多新的收获。从社会建构论的观点来看,理论不是经验事实的概括和抽象,而是一种社会建构。理论先于经验观察,也高于经验观察,这种观点将理论建构置于经验工作之首,为心理学理论的未来发展开辟了全新的视角。     

速示重复和非速示呈现下的汉字结构方式效应

在速示重复和非速示两种实验条件下考察了汉字大小和笔画数对结构方式效应的影响。在速示实验中,发现有结构方式主效应,并在小号字上以及两种笔画数的汉字上也存在结构方式效应;在非速示实验中,没有发现结构方式主效应,但在多笔画的小号汉字上和多笔画的中号汉字上存在结构方式效应。两个实验还表明,汉字的结构方式效应量值随着视觉条件的改善而减少。该文提出了用以解释结构方式效应的汉字空间通透性概念及其算法,并且讨论了解释结构方式效应量值随着视觉清晰度的改善而系统性减少的模型。