Axioms for Deliberative Stit

Based on a notion of companions to stit formulas applied in other papers dealing with astit logics, we introduce choice formulas and nested choice formulas to prove the completeness theorems for dstit logics in a language with the dstit operator as the only non-truth-functional operator. The main logic discussed in this paper is the basic logic of dstit with multiple agents, other logics discussed include the basic logic of dstit with a single agent and some logics of dstit with multiple agents each of which corresponds to a semantic condition concerning the number of possible choices for agents.     

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.     

“Anchor-range” results with “same” and “different” responses and similar and dissimilar stimuli

Summary Blocks of pairs of dissimilar (anchor-like) circles were unexpectedly followed by single pairs of similar circles and vice versa. The dissimilar circles were 3 and 10 mm in diameter, and the similar circles were 3 and 5 mm, 5 and 7 mm, and 7 and 10 mm in diameter. In a second experiment, the dissimilar and similar circles did not overlap in size (e.g., they were 1.5 and 5 mm and 7 and 10 mm, respectively). The same responses to the unexpected same pairs of similar circles were faster than the same responses to the identical pairs in the blocks. In contrast, the different responses to the unexpected different pairs of similar circles were slower than the different responses to the identical pairs in the blocks. Similar stimuli accelerate same responses and slow down different responses. So the time results (and the error results as well) suggest that the context of the block dissimilar circles increased the perceived similarity of the unexpected similar circles. These anchor-range results are not explained by Thurstonian theories, which are based on the absolute properties of stimuli. Instead, they imply that the relation between the similar circles in the context of the relation between the dissimilar circles affected performance.     

Notions of relevance

Conclusion In his paper Leblanc seeks to supplant traditional forms of semantic theory with truth-value analyses. I have tried, here, to extend the scope, if not the limits, of his results. But now, in closing, I wish to register some reservations about his notion of relevance.Leblanc eschews the customary semantic analysis of intensional languages — the so-called possible worlds semantics — as making metaphysical virtue out of logical necessity. And so he would replace such accounts with truth-value analyses. But, alas, these theories are seen to have only limited application. Either all the atoms of a language must be evaluated by the functions in W in a truth-value W, , R, or the functions must be indexed. Because I share Leblanc's opinion that it ought to be that only the atoms of a theory are linguistically pertinent to it, I opt for the second alternative. Here, of course, things work out all right. But, as Leblanc notes, indexing the functions is equivalent to doing semantics in the usual way. In either case, new parameters are required for the evaluation of theories. So more than just the truth-values of a theory's atoms is relevant.My concern is with natural languages. It has long been recognized — though only more recently well articulated⁴ — that an adequate semantic analysis of such languages, with their indexical and intensional features, must relativize the notion of truth to various indices, viz., aspects of the contexts of utterance of sentences. It is clear that the truth-value of If your feet hurt, then it may rain tomorrow depends on more than just the truth-values of its atoms: the speaker, hearer, place, and time of utterance of the sentence are at least to be included among the extra-linguistic features required for an evaluation of the sentence. Such indices thus provide various realizations of the notion of a possible world, and they are all relevant.My thanks to Hugues Leblanc for help in constructing this reply.     

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.     

“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.     

Is the holocaust relevant to sociobiology?

Sociobiologists have emphasized that altruism and benevolent behavior are part of the genetic repertoire of most animals and certainly of man. They have constructed a theory of ethics as a biological phenomenon without reference to the concept of evil. It is concluded here however, that holocaust behavior is not equivalent to the natural manifestation of an incompletely tamed animal flashing its teeth. Biologists have been too rigid in trying to equate ethical behavior with social behavior. The added dimension of ethical behavior is a special kind of sensitivity to the needs of others, just as evil is the total lack of it. The evolution of this moral sense may itself have important selective value for the human species, whose survival depends on creating maximal diversity in its gene pool.     

Illustrating two complementary enterprises at the interface of psychology and religion through reading Winnicott

Our work at the interface of psychology and religion can proceed in two complementary directions. When reading a psychological theory, (1) we may pay special attention to how certain concepts in particular, and the system of ideas as a whole, are being or might be used to interpret religious phenomena. We may focus on how those ideas may be involved in doing psychology of religion: the psychological interpretation of religious phenomena. Alternatively, (2) we may pay special attention to how certain concepts in particular, and the system of ideas as a whole, are being or might be used, either implicitly or explicitly, to make claims about human nature, about the meaning and purpose of life, about God. We may identify the psychology as religion-theology: psychological ideas potentially functioning in a religious-theological manner. I will illustrate this by: (a) examining D. W. Winnicott's article, Transitional Objects and Transitional Phenomena (1953/1986) in terms of three successive concepts or categories: transitional object, transitional phenomena, and a third intermediate area of experiencing; (b) considering how these categories can be used in psychology of religion; (c) reconsidering how the psychological categories may function as religious-theological. The discussion is intended to illustrate how we might more fully appreciate how and why a psychological theory may work well in doing psychology of religion when we more fully appreciate how that psychology implicitly functions as theology.     

Self and others in “private language”

The aim of this paper is to restore the interdependent or complementary relationship between self and others against the universalistic one (as I call it) that Kant, for example, once insisted on, by reexamining the concept of so-called private language. I shall consider some views in speech act theory and pragmatics, since there has often been discussion about such a private occurrence as the speaker's sincerity. For example, Jürgen Habermas situates it in the speaker's internal nature as will be seen later. In my opinion, alter ego is an ego because we can empathize (einfühlen) with it, and yet it is alter ego because it has some private experiences which we cannot perfectly comprehend.     

A paradigm shift in Heidegger research

The Beiträge zur Philosophie mandates a paradigm shift in Heidegger scholarship. In the face of (1) widespread disarray in the current model, the new paradigm (2) abandons Sein as a name for die Sache selbst, (3) understands Welt/Lichtung/Da as that which gives being, (4) interprets Dasein as apriori openedness rather than as being-there, (5) understands the Kehre as the interface of Geworfenheit and Entwurf, not as a shift in Heidegger's thinking, (6) interprets Ereignis as the opening of the Da rather than as appropriation, and (7) understands human finitude as what gives all forms of being and all epochs in the history of being. The conclusion alludes to the function of Mitdasein (co-openness) as die Sache selbst.     

Objectively reliable subjective probabilities

Subjective Bayesians typically find the following objection difficult to answer: some joint probability measures lead to intuitively irrational inductive behavior, even in the long run. Yet well-motivated ways to restrict the set of reasonable prior joint measures have not been forthcoming. In this paper I propose a way to restrict the set of prior joint probability measures in particular inductive settings. My proposal is the following: where there exists some successful inductive method for getting to the truth in some situation, we ought to employ a (joint) probability measure that is inductively successful in that situation, if such a measure exists. In order to do show that the restriction is possible to meet in a broad class of cases, I prove a Bayesian Completeness Theorem, which says that for any solvable inductive problem of a certain broad type, there exist probability measures that a Bayesian could use to solve the problem. I then briefly compare the merits of my proposal with two other well-known proposals for constraining the class of admissible subjective probability measures, the leave the door ajar condition and the maximize entropy condition.The author owes special thanks to Kevin Kelly, for a number of helpful ideas for the proof of the Bayesian Completeness Theorem, as well as other aspects of the paper. Thanks also to Clark Glymour for some helpful suggestions for improvement of an earlier draft. Part of the work leading to this paper was funded by a Summer Research Grant from the University Research Institute of the University of Texas at Austin.     

The liar: What paradox?

Most philosophers believe that the Liar Paradox is semantical in character, and arises from difficulties in the predicate true. The author argues that the paradox is pragmatic, not semantic, and arises from violations of essential conditions that define statement-making speech acts. The author shows that his solution to the paradox will not only handle the classical Liar sentences that are necessarily or intrinsically paradoxical, but also sets of Kripke-sentences that are contingently paradoxical.     

Model theoretic results for infinitely deep languages

We define a subhierarchy of the infinitely deep languagesN described by Jaakko Hintikka and Veikko Rantala. We shall show that some model theoretic results well-known in the model theory of the ordinary infinitary languages can be generalized for these new languages. Among these are the downward Löwenheim-Skolem and o's theorems as well as some compactness properties.     

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 Longest Faculty Strike in the History of U.S. Institutions of Higher Education: Perceptions of the Union President

The president of the AAUP faculty union at University of Bridgeport, from 1987 to 1991, offers a first-hand account of the circumstances leading to the fatal strike there. He refutes accusations that the union and its leadership destroyed the university and provides a dramatic, personal account of a faculty union under attack by union busters. The faculty, he argues, was resisting a concerted onslaught on traditional faculty rights. It fought desperately to stifle a retrograde revolution in higher education seeking the substitution of absolute Management Rights to traditional collegiality. He refers to faculty as the soul and mind of a university, and to administration as a necessary evil whose duty is primarily to assist the faculty in the accomplishment of the university's mission.     

Hobby horses in Lascaux — On pictures and semiosis

This contribution is about semiology and art history. More specifically, it argues against the frequent claims that art history ought to take much more notice of semiology than it has tended to do so far. The argument against these claims is simple and basic: art history deals largely with images, and semiology does not — it has, in fact, little to say about them.Semiology has recently been presented as a supra-disciplinary theory that, although in practice most often applied to written texts, could equally well be applied to the art of painting. It has been considered merely a historical accident that semiotics was developed primarily in conjunction with literary texts. I do not think this is so. Semiology (or semiotics) not only has a strong anti-iconical bias, this bias was in fact one of its principles from the very beginning.Furthermore, the so-called supra-disciplinary theory of semiotics (in the form advocated for the humanities) is based upon specific views of language, signification and meaning, and these are not as evident as they are often made out to be — not even with regard to language itself. In particular the overriding importance attached to the role of arbitrariness within sign systems is questionable.In any case images are indeed in a class of their own, and without the acknowledgement of what is typical about them, it is hard to make much sense of either their use or construction — let alone of the history of art.     

Proof-Theoretic Modal PA-Completeness I: A System-Sequent Metric

This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we calculate a canonical characteristic fomula H of S (char(S)) so that _G H (S) and _GL-LIN H, and the complexity of H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of H with H = char(S) and ( H) = d(S, G).     

A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

The Deep Structure of Group Life: Unconscious Dimensions

There is a reconsideration and renaissance of interest in expanded conceptions of unconscious processes as they affect individuals and groups (Grotstein, 1999). Recent focus on social unconscious (Hopper, 1996) and cultural unconscious processes (Henderson, 1988) and the nature of intersubjectivity (Harwood and Pines, 1998) raise questions about the location of group analysis. This paper considers the deep structure of group life by examining four functions of the unconscious: repressive, conservative, creative, and mythopoetic (Ellenberger, 1970). On an individual level of analysis, these functions are equated respectively with formative ideas about the: personal–subjective, social–political, intersubjective–cultural and collective–objective unconscious. Group level analogs, as they develop and affect groups and their members, are explored as synthetic, shared, symbolicy and synchronous unconscious processes.     

On the logic of conscious belief

In this paper we are discussing a version of propositional belief logic, denoted by LB, in which so-called axioms of introspection (B BB and B B B) are added to the usual ones. LB is proved to be sound and complete with respect to Boolean algebras equipped with proper filters (Theorem 5). Interpretations in classical theories (Theorem 4) are also considered. A few modifications of LB are further dealt with, one of which turns out to be S5.