Book Reviews

Joseph Margolis, Historied Thought, Constructed World: A Conceptual Primer for the Turn of the Millennium
Steven W. Laycock, Mind as Mirror and the Mirroring of Mind
John Lachs, The Relevance of Philosophy to Life
William Joseph Gavin, Cuttin' the Body Loose: Historical, Biological, and Personal Approaches to Death and Dying
Maeve Cooke, Language and Reason: A Study of Habermas's Pragmatics     

Varieties of Monadic Heyting Algebras Part II: Duality Theory

In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.     

Bull's Theorem by the Method of Diagrams

We show how to use diagrams in order to obtain straightforward completeness theorems for extensions of K4.3 and a very simple and constructive proof of Bull's theorem: every normal extension of S4.3 has the finite model property.     

An approach to integrating “professional responsibility” in engineering into the capstone design experience

ABET 2000 Criteria encourages development of proficiency in professional responsibility in engineering as part of the undergraduate curriculum. This paper discusses the use of industrially sponsored capstone design projects to encourage active discussion of professional responsibility in engineering that naturally occurs during the engineering design process. The paper also discusses student participation in designing responses and approaches to issues such as engineering ethics. The paper includes specific examples of topics addressed by students and the approaches developed (by students) in addressing these issues. An earlier version of this paper was presented at the International Conference on Ethics in Engineering and Computer Science, Case Western Reserve University, Cleveland, March 21–24, 1999.     

正义王国的理想--柏拉图政治哲学评析

柏拉图以思辨哲学为主的思想体系中包含着丰富的实践哲学,以正义为核心的政治哲学便是其集中表现。柏拉图所设计的理想的城邦国家是以“贤人政制”作为标准模式的。这种政制以理念论为指导思想,以正义为根本原则,以智慧、勇敢、节制为伦理基础,以善为最高目的;实施这种政制的社会是以奴隶制为基础的严格的等级制、等级分工的社会,通过特制的教育制度培养一批身心健全、德才兼备、有知识有政治智慧的贤能的统治者、“哲学王”,由他们来执掌政权,在统治者集团内部实行财产公有,妇女和子女共有,男女平等,防止统治者腐败变质,以确保这种政制世代相传。     

WTO与我国中医药知识产权保护

加入WTO以后,中国市场进一步开放,这对我国中医药产业带来巨大冲击。在此背景下,加强中医药知识产权保护战略,是解决问题的关键。我国中医药企业应当实施以专利权、商标权和商业秘密保护为主要内容的知识产权战略。     

Persons,animals, and identity

The paper is concerned with how neo-Lockean accounts of personal identity should respond to the challenge of animalist accounts. Neo-Lockean accounts that hold that persons can change bodies via brain transplants or cerebrum transplants are committed to the prima facie counterintuitive denial that a person is an (biologically individuated) animal. This counterintuitiveness can be defused by holding that a person is biological animal (on neo-Lockean views) if the “is” is the “is” of constitution rather than the “is” of identity, and that a person is identical with an animal in a sense of “animal” different from that which requires the persistence conditions of animals to be biological. Another challenge is the “too many minds problem”: if persons and their coincident biological animals share the same physical properties, and mental properties supervene on physical properties, the biological animal will share the mental properties of the person, and so should itself be a person. The response to this invokes a distinction between “thin” properties, which are shared by coincident entities, and “thick” properties which are not so shared. Mental properties, and their physical realizers, are thick, not thin, so are not properties persons share with their bodies or biological animals. The paper rebuts the objection that neo-Lockean accounts cannot explain how persons can have physical properties. To meet a further problem it is argued that the biological properties of persons and those of biological animals are different because of differences in their causal profiles.     

Plagiarism: Words and Ideas

Plagiarism is a crime against academy. It deceives readers, hurts plagiarized authors, and gets the plagiarist undeserved benefits. However, even though these arguments do show that copying other people's intellectual contribution is wrong, they do not apply to the copying of words. Copying a few sentences that contain no original idea (e.g. in the introduction) is of marginal importance compared to stealing the ideas of others. The two must be clearly distinguished, and the 'plagiarism' label should not be used for deeds which are very different in nature and importance.     

Distributive Full Lambek Calculus Has the Finite Model Property

We prove the Finite Model Property (FMP) for Distributive Full Lambek Calculus (DFL) whose algebraic semantics is the class of distributive residuated lattices (DRL). The problem was left open in [8, 5]. We use the method of nuclei and quasi–embedding in the style of [10, 1]. Presented by Daniele Mundici.     

Cognitive Error Questionnaire (CEQ): Psychometric Properties and Factor Structure of the German Translation

A central component of Beck et al.’s (1979) cognitive theory of depression is faulty information processing reflected by so-called cognitive errors. These cognitive errors are the reason why depressed individuals systematically misinterpret the significance of events in a negative way. They are usually assessed with the application of the Cognitive Error Questionnaire (CEQ). This study examines the psychometric properties and factor structure of the German version of the CEQ in a sample of 796 volunteers at a German university. Results confirmed that the German CEQ has satisfactory to very good psychometric properties, like the American original. Confirmatory factor analyses demonstrated that a hierarchical four-factor model with four subscales and 1 s order factor fits the data best. Therefore, besides using the German CEQ in studies with German-speaking samples, the similarities in psychometric properties of the American and German CEQ allow for cross-cultural studies.