Modal logic with names

We investigate an enrichment of the propositional modal language with a universal modality having semanticsx iff y(y ), and a countable set of names — a special kind of propositional variables ranging over singleton sets of worlds. The obtained language _c proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment () of, where is an additional modality with the semanticsx iff y(y x y ). Model-theoretic characterizations of modal definability in these languages are obtained. Further we consider deductive systems in _c. Strong completeness of the normal _c-logics is proved with respect to models in which all worlds are named. Every _c-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete. Problems concerning transfer of properties ([in]completeness, filtration, finite model property etc.) from to _c are discussed. Finally, further perspectives for names in multimodal environment are briefly sketched.     

Six-year-old children's understanding of sentences adjoined with time adverbs

The adjoining of clauses with temporal links is the basis for many sentences that convey sequence of events. The present study attempts to delineate 6-year-old children's (N=30) understanding of the meaning sequences imparted by sentences adjoined with after, before, and until. Their performance of the meaning sequence for each of 24 carefully constructed sentences is compared to an adult model. Analysis of the results (using a Wilcoxon Matched Pairs Signed Rank Test) indicated that: (1)Ss understood sentences adjoined with after according to an adult model more frequently than before adjoined sentences (P<0.01); (b) Until adjoined sentences with a negative marker in the main clause were understood according to an adult model more often than until adjoined sentences with no such negative element, but the difference was not significant at a=0.01; (3)Ss understood before adjoined sentences according to an adult model more often than until adjoined sentences, but the difference was not significant at a=0.01. In general, the results indicated that 6-year-olds have not yet completed development of an adult grammar with respect to adjoining clauses with temporal links, after, before, and until.     

A Translation of Intuitionistic Predicate Logic into Basic Predicate Logic

Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula in the language {, , , , , , }, we associate two sequences of formulas 0,1,... and 0,1,... in the same language. We prove that for every sequent , there are natural numbers m, n, such that IQC , iff BQC n m. Some applications of this translation are mentioned.     

In and behind a Lenneberg paradigm

Lenneberg suggested that a chimpanzee's linguistic ability could be tested by presenting sentences containing two prepositional phrases joined by a conjunction. This would involve joining two semantic propositions, and thus represents a more complex test of chimpanzee syntactic competence than previously attempted. Jane, a five year-old language trained chimpanzee, was tested on her ability to both produce and comprehend sentences involving a preposition (in or behind) and a conjunction (and). The results from production and comprehension were substantially the same. Jane showed the ability to appropriately deploy and, behind and in, but displayed very little flexibility in their use. It is suggested that a chimpanzee may be able to learn some rules of syntax but is not able to be creative with that syntax.     

Oral production of linguistically complex sentences with meaning relationships of time

The purpose of this investigation was to determine the abilities of children to use the adjoining mechanism in combining two constituent sentences with the temporal adjoiners: after, before, until, when, and while. To elicit responses, a sentence repetition task was devised that included these five temporal adjoiners in four different syntactic environments: transitive sentences with the adjoiner and the subordinate clause following the main clause, transitive sentences with the adjoiner and the subordinate clause preceding the main clause, intransitive sentences with the adjoiner and the subordinate clause following the main clause, and intransitive sentences with the adjoiner and the subordinate clause preceding the main clause. The 30 were between the ages of 4O and 66 years. They were average children who were free from any known emotional disturbance, who were acquiring Standard American English as a native language, who had normal speech and hearing, and whose parents had neither very high nor very low socioeconomic status. To the extent that the children in this study were representative of normal-speaking children of their ages, certain general conclusions were drawn. Children begin to use the temporal adjoining mechanism early, but they do not master it by the age of 66 years. The ability to use the adjoiners, nor is it equal for different syntactic structures nor for all degrees of semantic complexity. After, before, and when appear earlier than while and until. A rapid period of growth in learning to use the temporal adjoining mechanism occurs between the ages of 4 and 5 years. However, a plateau of learning appears to be reached between the ages of 5 and 6 years. In general, children first learn to use the temporal adjoining mechanism in intransitive sentences with the adjoining link in the middle or at the beginning of the utterance. Next, they learn to use it in transitive sentences with the adjoining link at the beginning of the utterance. Finally, they learn to use it in transitive sentences with the adjoining link in the middle of the utterance. In transitive sentences, children appear to learn the rule for placing the subordinate clause at the beginning of the utterance when temporally adjoining two constituent sentences before they learn the base structure rule. In intransitive sentences, they appear to learn the rule for placing the subordinate clause at the beginning of the utterance when temporally adjoining two constituent sentences at the same time that they learn the base structure rule. The underlying semantic relationships that are expressed by specific temporal adjoiners are important determinants of children's abilities to use these adjoiners. In linguistic evaluations, one should consider the syntactic environment in which the temporal adjoiner occurs and assume that after, before, and when are developmentally earlier than while and until.     

Yes,Virginia, Lemons are Yellow

This paper discusses a number of themes and arguments in The Quest for Reality: Stroud's distinction between philosophical and ordinary questions about reality; the similarity he finds between the view that coloris unreal and the view that it is subjective; his argument against thesecondary quality theory; his argument against the error theory; and the disappointing conclusion of the book.     

Variations in use of the term “or”

Two studies showed that adults' responses to questions involving the term or varied markedly depending upon the type of question presented. When presented with various objects (A's and B's) and asked to circle all things which are A or B subjects tended to circle A's as well as B's, whereas when asked to circle all the A's or B's subjects showed a relatively stronger tendency to circle one or the other. Moreover the nature of the sets of objects (As and Bs) influenced behavior as well. There was also evidence that the effects due to question wording or set type transferred.     

The family as portrayed on prime-time television, 1947–1990: Structure and characteristics

Successful family series across four decades of American prime-time television were examined. Family portrayals were defined as either conventional or nonconventional. Conventional families were categorized as couples without children and couples with children. Nonconventional families were categorized as single parent or contrived. Additional family characteristics were also recorded including sex of single parent, reason for singleness, social class status, females employed outside the home, live-ins, race, and whether the presentation was dramatic or comedic. The data show a trend toward more equal presentation of conventional and nonconventional families, few divorced or female single parents, and few minority families. Implications of findings are discussed and future research questions suggested.     

The responsive order: A new empiricism

The uniqueness of logic is upheld and contrasted with twenty roles of a wider responsive order that includes us and our procedures. Empirical responses are precise, but different in different approaches. Procedures and findings are independent of (not separable from) their concepts. Two-way feedback obviates a top-down derivation of findings from assumptions, hypotheses, history, or language. The postmodern problems of interpretation, conditions of appearances and relativism involve the ancient error of making perception the model-instance of experience. Instead, bodily interaction functions in language and precedes perception and interpretation. Logic, space time locations and individuated referents involve positional relations derived from comparing. Beyond Kuhn, Feyerabend, Newton and Einstein, if we can give interaction priority over comparing, the responsive objectivity of both can be upheld. A new empiricism, neither naive nor constructivist, uses the words order, explication, truth, and exactly to build on Wittgenstein and on Dilthey's hermeneutic. Natural language is metaphor-like, originally crossed. Logic must ignore its assumptions. It must render everything as a machine and drop humans and animals out. A new discipline is proposed, to move between the logical and the responsive orders, to deal with the machine/human interface and the social uses of science such as bioengineering.     

Computer content analysis of sex differences in the language of children

This study presents empirical procedures for the collection and content analysis of the oral language of kindergarten children. The analysis technique used material and machines available to most researchers. The results of the analysis of language samples of 144 randomly selected children from the entire kindergarten class of the Ithaca, New York, school system showed that boys produced significantly more language than did the girls as well as significantly more references to aggression, self, time, space, quantity, fears, good, act of oral communication, negation, and affirmation, and asked more questions of the examiner than did the girls. The girls made significantly more female references than did the boys. Implications for future research are discussed.     

Endogenous Ketamine-Like Compounds and the NDE: If So, So What?

This commentary on Karl Jansen's ketamine model for the near-death experience expands upon and raises additional questions about several issues and hypotheses: self-experimentation as a source of data; ketamine's similarities to and differences from classical hallucinogens; the need for quantification of unusual subjective states; clinical research and toxicological implications of this model; drugs as gateways to religious states; and evolutionary versus religious significance of naturally occurring compounds released in the near-death state. I suggest future research that could help explicate several of these areas.Formerly Associate Professor of Psychiatry at the University of New Mexico School of Medicine     

Theorizing Gender for Experimental Game Theory: Experiments with “Sex Status” and “Merit Status” in an Asymmetric Game

In experimental game-theoretic research, to the extent that sex has been considered at all, the approach has been to focus on the individual level of analysis. This paper reports the results of experiments designed to focus on sex/gender and to expand the level of analysis to include the institutional level. An asymmetric game was designed such that players in the male and female institutional locations had 3 and 2 alternatives, respectively. Players earned the institutional locations based on a test, so that top and bottom scorers respectively merited the 3- and 2-alternatives locations. Game-theoretic understandings of sex-of-player were compared to the expectations states theory concept of sex status; that is, men expect and are expected to perform more competently than women. Results indicated that top-scorer men and women behave similarly; bottom-scorer men resist their low merit status (behaving the most rationally of all player groups); bottom-scorer women accept their low merit status (behaving the most irrationally of all player groups). Whereas game theory cannot provide a coherent understanding of these findings, the concept of sex status helps to interpret the behavior of all four player groups and shows how judgments about rationality and irrationality depend critically on the interpretive framework used.     

The group member's view of inner and outer reality: The Janus phenomenon applied to the group

This paper surveys some theoretical aspects of psychodynamic group treatment from the vantage point of the Janus phenomenon. This focus may provide some clarification in understanding how group therapy facilitates growth, especially in the relationships between inner realities and the realities of the external world. The paper explores and seeks bridges and connections between the dynamics of the group and intrapsychic dynamics. The inner view may be understood as intimately connected with intrapsychic concerns, whereas the issues for patients in groups do, to a degree, concern interpersonal processes in and projections onto the external world. The paper concludes that, thus far, we must accept less than perfect integration of theory and settle for limited domain reasoning (Scheidlinger, 1982). Erlebnis is the term coined by Paul Federn (1952) to refer to subjective experience of the self.     

Lotteries And Contexts

There are many ordinary propositions we think we know. Almost every ordinary proposition entails some lottery proposition which we think we do not know but to which we assign a high probability of being true (for instance:I will never be a multi-millionaire entails I will not win this lottery). How is this possible – given that some closure principle is true? This problem, also known as the Lottery puzzle, has recently provoked a lot of discussion. In this paper I discuss one of the most promising answers to the problem: Stewart Cohens contextualist solution, which is based on ideas about the salience of chances of error. After presenting some objections to it I sketch an alternative solution which is still contextualist in spirit.     

Micro-economic models of problem choice in basic science

This paper describes the way in which a certain representation of basic scientific knowledge can be coupled with traditional microeconomic analysis to provide an analysis of rational research planning or agenda setting in basic science. Research planning is conceived as a resource allocation decision in which resources are being allocated to activities directed towards the solution of basic scientific problems. A structuralist representation of scientific knowledge is employed to provide a relatively precise characterization of a basic scientific problem.The research reported here was partially supported by a grant from the EXXON Foundation.     

“Emotionally, Soulfully, Spiritually ‘Free to Think and Act’: The Helen Flanders Dunbar (1902–59) Memorial Lecture on Psychosomatic Medicine and Pastoral Care”

This essay aims to stimulate rethinking about religious and medical healing and wholeness. While psychiatrist (Helen) Flanders Dunbar (1902–1959) is well known as a psychosomatic investigator and as Medical Director of the Council for Clinical Training, the initial home of Anton Boisen's groundbreaking movement for the clinical pastoral education of institutional chaplains and parish ministers, she is less appreciated as a theologically-trained scholar. This essay explores an earlier era's understanding of the spiritual and the more soulful components of healing and how Dunbar combined these to focus on helping all peoples become free to think and act. This essay was originally delivered as The Helen Flanders Dunbar Memorial Lecture on Psychosomatic Medicine and Pastoral Care at Columbia Presbyterian Center of the New York-Presbyterian Hospital, New York on November 2, 1999.     

A further analysis of the affective meanings associated with male and female sex-trait stereotypes

This study was concerned with the qualitative differences in the male and female sex-trait stereotypes. Previous research employing the item pool of the Adjective Check List (ACL) had indicated no relationship between the stereotype loading of the adjectives and their favorability ratings. In the present study, university students rated the ACL items for strength and activity, and these ratings were used to demonstrate that the male stereotype was appreciably stronger and more active than the female stereotype. It was found that the strength ratings were highly correlated with both activity and favorability ratings which were, themselves, unrelated. It was concluded that the principal qualitative difference between the stereotypes lay in the connotations of activity and passivity associated, respectively, with the male and female stereotype traits, and that any assertion of greater social desirability for the male stereotype was based on its greater activity and not, as is often supposed, on its greater favorability.     

A Chemically Induced “Shadow”?

Stevenson's classic yarn, Dr. Jekyll and Mr. Hyde, is explored as a vivid, insightful story of addiction. In spite of clinical temptations to chase deeper issues connected with the dark side, this article suggests that pastoral counselors and psychotherapists need to first ask whether a client's shadow may be chemically induced.     

On Ultrafilter Logic and Special Functions

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.Presented by André Fuhrmann