《尚书》、《左传》、《国语》的心理学思想研究

《尚书》、《左传》、《国语》是我国最古老的三部文献。我国古代的心理学思想有不少都可以在其中找到源头。本文主要讨论：《尚书》的五行观念、人贵论和人性论思想、认知心理思想、个性心理思想、心理测验思想;《左传》的情感心理思想、病理心理思想、文艺心理思想;《国语》的缺陷心理思想。     

Undecidability and intuitionistic incompleteness

Let S be a deductive system such that S-derivability (s) is arithmetic and sound with respect to structures of class K. From simple conditions on K and s, it follows constructively that the K-completeness of s implies MP(S), a form of Markov's Principle. If s is undecidable then MP(S) is independent of first-order Heyting arithmetic. Also, if s is undecidable and the S proof relation is decidable, then MP(S) is independent of second-order Heyting arithmetic, HAS. Lastly, when s is many-one complete, MP(S) implies the usual Markov's Principle MP.An immediate corollary is that the Tarski, Beth and Kripke weak completeness theorems for the negative fragment of intuitionistic predicate logic are unobtainable in HAS. Second, each of these: weak completeness for classical predicate logic, weak completeness for the negative fragment of intuitionistic predicate logic and strong completeness for sentential logic implics MP. Beth and Kripke completeness for intuitionistic predicate or sentential logic also entail MP.These results give extensions of the theorem of Gödel and Kreisel (in [4]) that completeness for pure intuitionistic predicate logic requires MP. The assumptions of Gödel and Kreisel's original proof included the Axiom of Dependent Choice and Herbrand's Theorem, no use of which is explicit in the present article.     

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     

Contrary-to-duty obligations

We investigate under what conditions contrary-to-duty (CTD) structures lacking temporal and action elements can be given a coherent reading. We argue, contrary to some recent proposals, that CTD is not an instance of defeasible reasoning, and that methods of nonmonotonic logics are inadequate since they are unable to distinguish between defeasibility and violation of primary obligations. We propose a semantic framework based on the idea that primary and CTD obligations are obligations of different kinds: a CTD obligation pertains to, or pre-supposes, a certain context in which a primary obligation is already violated. This framework is presented initially as an extension of Standard Deontic Logic (SDL), a normal modal logic of type KD, and is illustrated by application to a series of examples. The concluding section is concerned with some resemblances between CTD and defeasible reasoning. We show first that the SDL-based framework contains a flaw and must be adjusted. A discussion of possible adjustments, including an alternative treatment in terms of a preference-based semantics, reveals difficulties that are reminiscent of problems in defeasible reasoning and intensional accounts of defeasible conditionals.     

Quantum MV algebras

We introduce the notion of quantum MV algebra (QMV algebra) as a generalization of MV algebras and we show that the class of all effects of any Hilbert space gives rise to an example of such a structure. We investigate some properties of QMV algebras and we prove that QMV algebras represent non-idempotent extensions of orthomodular lattices.I should like to thank Prof. M.L. Dalla Chiara and Dr. P. Minari for many interesting comments and remarks. Daniele Mundici     

Prima facie obligation

This paper presents a nonmonotonic deontic logic based on commonsense entailment. It establishes criteria a successful account of obligation should satisfy, and develops a theory that satisfies them. The theory includes two conditional notions of prima facie obligation. One is constitutive; the other is epistemic, and follows nonmonotonically from the constitutive notion. The paper defines unconditional notions of prima facie obligation in terms of the conditional notions.     

Detachment and defeasibility in deontic logic

The purpose of the paper is to present a logical framework that allow to formalize a kind of prima facie duties, defeasible conditional duties, indefeasible conditional duties and actual (indefeasible) duties, as well as to show their logical interconnections.     

Competing interests: The need to control conflict of interests in biomedical research

Individual and institutional conflict of interests in biomedical research have becomes matters of increasing concern in recent years. In the United States, the growth in relationships — sponsored research agreements, consultancies, memberships on boards, licensing agreements, and equity ownership — between for-profit corporations and research universities and their scientists has made the problem of conflicts, particularly financial conflicts, more acute. Conflicts can interfere with or compromise important principles and obligations of researchers and their institutions, e.g., adherence to accepted research norms, duty of care to patients, and open exchange of information. Disclosure is a key component of a successful conflict policy. Commitments which conflict with a faculty member's primary obligations to teaching, research, administrative responsibilities, or patient care also need attention. Institutional conflict of interests present different problems, some of which are discussed in an analysis of an actual problem posed by two proposed clinical trials. This paper is adapted from a lecture presented to a Symposium on Scientific Integrity, Warsaw, Poland, 23 November 1995. Daniel Steiner was Vice-President and General Counsel of Harvard University (1972–92) and in that capacity became familiar with conflict of interest issues. He is currently Counsel to the Boston law firm. Ropes and Gray, and is Adjunct Lecturer in Public Policy at the John F. Kennedy School of Government. Harvard University.     

A new measure for determining children's subjective organization of speech

A new technique for determining children's subjective organization of speech is described. The technique consists of teaching a child a sentence and then repeatedly (1) reading the sentence up to a selected point, (2) sounding a tone, and (3) having the child supply the next word. The time from the tone to the onset of the child's voice is the dependent variable. In the first study 6- and 8-year-old children memorized the following sentence: “John likes to feed the little puppies in the barn.” Their response times suggested that the dominant segmentation pattern consisted of four phrases: a subject phrase, a verb phrase, an object phrase and a modifier phrase. Within each phrase differences between reaction times were on the order of 30 msec. Across phrases they were on the order of 120 msec. The same trend emerged for subsamples of the children with various short-term memory sizes, and for adults. It also appeared for subsamples of the total scores (e.g., first six trials and last six trials). In order to provide further evidence of the technique's validity, different sentences of the same general type were presented to children with short-term memory spans of either 3, 4, or 5. As predicted, it was found that when children's spans corresponded to the number of hypothesized chunks (i.e., 4), they could repeat the sentences verbatim on the first exposure. They could not do so, however, when their spans were lower than that value or when the number of phrases was increased. It was concluded that the new technique is a promising one for assessing young children's patterns of speech segmentation.