Is “some-other-time” sometimes better than “sometime” for proving partial correctness of programs?

The main result of this paper belongs to the field of the comparative study of program verification methods as well as to the field called nonstandard logics of programs. We compare the program verifying powers of various well-known temporal logics of programs, one of which is the Intermittent Assertions Method, denoted as Bur. Bur is based on one of the simplest modal logics called S5 or sometime-logic. We will see that the minor change in this background modal logic increases the program verifying power of Bur. The change can be described either technically as replacing the reflexive version of S5 with an irreflexive version, or intuitively as using the modality some-other-time instead of sometime. Some insights into the nature of computational induction and its variants are also obtained.This project was supported by the Hungarian National Foundation for Scientific Research, Grant No. 1810.     

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

A Field Guide to Cinetherapy: On Celluloid Psychoanalysis and Its Practitioners

This paper addresses the strange bedfellowship between psychoanalysis and cinema since the century's turn. Its specific focus is the idiosyncratic psychoanalysis/psychotherapy practised in mainstream cinema and television. Cinetherapists have consistently fallen into one of three categories: Dr. Dippy, a focus of derision, weirder than his patients; Dr. Evil, Hollywood's psychiatric version of the mad, bad scientist; and the unfailingly benevolent, self-sacrificing Dr. Wonderful. The prevalence of these stereotypes has waxed and waned according to shifting cultural circumstances. The study concludes with reflections on the possible impact, deleterious or otherwise, of distorted filmic images of the impossible profession.     

Poetry in Existential Psychotherapy with Couples and Families

The use of poetry during the process of existential psychotherapy with couples and families is described and illustrated. In this approach, poems can be utilized to help the couple and/or family notice meaning potentials in the future, actualize and make use of such meaning potentials in the here and now, and re-collect and honor meanings previously actualized and deposited in the past.     

John Dewey's impact on Turkish education

Conclusion The cultural characteristics of any country generally give shape to the educational system. However, no country can assert its own educational system to be wholly indigenous. All the systems come into being as a synthesis of various ingredients of the home country and other countries. And it is quite natural to make use of the experiences and stock of knowledge of the others. This fact is indispensable especially when education is concerned. The curicial problem is to what extent the borrowing process should be used. When the process of borrowing ideas become to take the form of imitation or copy, unexpected results and failure are unavoidable.     

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.     

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.     

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.     

How to frame the free will problem

Conclusion The exchange is almost complete. I have argued that if we wish to view the free will problem in a non-question-begging way, we should frame the problem in more radical terms than we usually do. If we frame the problem this way, then we discover a compelling reason for rejecting all of the familiar isms in favor of my non-realism thesis. This thesis holds that free choice has a coherent meaning just in case it is treated as a subjective term; thus, if we try to view free choice as denoting classes of entities that themselves possess the characteristic of freeness, it is logically inconsistent. My thesis is supported by a certain metaphilosophical view. I admit that this metaphilosophical view — which tries to locate everything where it belongs — is neither provable nor refutable. But if my argument in this paper is correct, when we assert any of the positions that presuppose the coherence of free will (Hard Determinism, Soft Determinism, Libertarianism, Incompatibilism, Compatibilism), we should add the fact that we have adopted a metaphilosophical view that supports these. Since these metaphilosophies are non-truth-tracking views, our joint declaration of our lower level free will theory and its supporting metaphilosophy will sound Pickwickian (e.g., I believe that Libertarianism is true and I support that view with the metaphilosophical thesis that the most important role of philosophy is not to track truth, but to create an intellectual climate best for improving the human condition.) If I have shown that my opponents are forced to such declarations, I will be satisfied.     

Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция

- Allatum est die 5 Martii 1970     

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.     

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.     

Between Wonder and Doubt: Psychoanalysis in the Goal-Free Zone

This paper examines the experiential dimensions of wonder and doubt as one way to articulate the creative and growth-promoting tensions between the medical/scientific model and the spiritual/mystical model. Both forms of experience, it is argued, function as necessary elements in a psychotherapy that integrates psychoanalysis and spiritual praxes. Fundamental differences between the medical/scientific model and the spiritual/mystical models are examined. The notion of the gap serves to illustrate these diametrically opposed, albeit compatible and necessary, points of view. The multifaceted layers of movement between Buddhism and psychoanalysis typify interacting dynamics between the two disciplines and provide a focal point for discussion. The paper then explores parallels between the Zen Buddhist notion of Satori as explicated in the writings of D. T. Suzuki and Wilfred Bion's notion of O. Theoretical aspects of the discussion provide a backdrop for exploring clinical experience regarding the relationship between acceptance and change, the clinical relevance of the Buddhist notions of gaining idea and basic goodness. The author also explores relationships between presence as actuality and ideal; knowing and not knowing; wonder and doubt. Clinical material supports the theoretical aspects of the discussion.     

On a certain class ofm-address machines

Conclusion It follows from the proved theorems that ifM =Q, (whereQ={0,q ₁,q ₂,...,q }) is a machine of the classM _F then there exist machinesM _i such thatM _i(1,c)=M (q _i,c) andQ _i={0, 1, 2, ..., +1} (i=1, 2, ..., ).And thus, if the way in which to an initial function of content of memorycC a machine assigns a final onecC is regarded as the only essential property of the machine then we can deal with the machines of the formM ={0, 1, 2, ..., }, and processes (t) (wheret=1,c,cC) only.Such approach can simplify the problem of defining particular machines of the classM _F , composing and simplifying them.Allatum est die 19 Januarii 1970     

The drive for meaning in William James' analysis of religious experience

Summary Now that we have looked at the characteristics of mystical experience, we are ready to discuss the assumption made in this paper that mystical experience can be translated into an understanding of integration or the drive for meaning which Fingarette pursues in a much more analytic fashion. Reviewing the conversion process as an integration process we have seen that for the sick-souled, beset with the meaninglessness or melancholy which paralyzes his will, his own awareness of wrong in his situation prevents him from opening up to larger views of reality. But, as James has described, at the same time as the subject is attending so strongly to his own sense of worthlessness, all the while the forces of mere organic ripening within him are going on towards their own prefigured result, and his conscious strainings are letting loose subconscious allies behind the scenes, which in their way work toward rearrangements. Yet the rearrangements can only come about by obeying the command of Chaung-Tse: Cease striving. The result is self-transformation in reconciling, unifying states. There is achieved a supersensuous meaning to the ordinary outward data of consciousness; facts already objectively before us fall into a new expressiveness and make a new connection with our active life.However, James cautions us to realize that the same incursions of the subconscious which produce such reconciling, unifying states can also produce pathological states, a diabolical mysticism, a sort of religious mysticism turned upside down. In such a state the meanings of events become dreadful and the ruling emotion is pessimism. To this possibility James applied the pragmatic test, By their fruits..., and concluded that the mystical experience which brings optimism to the individual is a genuine experience and one which brings truth. In our context then, we would say that real integration brings the subject away from the melancholy and meaninglessness he felt into the genuinely insightful resolution of which Fingarette speaks.Conversion, then, is a process in James's analysis of religious experience analogous to the process of integration and meaning-discovery while mysticism is analogous to the state in which integration or meaning-discovery is achieved. Conversion is climaxed by self-surrender; mysticism is characterized by new determination, self-transformation: two ways of describing an indivisible event. Furthermore, the four characteristics James applies to mysticism are indeed characteristic of the experience of integration.Two other points should be added here which are much in line with James's treatment of experience. In the first place, one of the basic principles of radical empiricism is that not only objects but relations between objects are the subject of experience. Such an experience of relationships, of wholeness, is exactly what characterizes integration. At the same time, the five senses are suspended, and the insight is experienced with such a strong immediacy that it is almost sensed. James refers to this quality of mystical states: The records show that even though the five senses be in abeyance in them, they are absolutely sensational in their epistemological quality, if I may be pardoned the barbarous expression, - that is, they are face to face presentations of what seems immediately to exist.I am not saying that every integration is a mystical experience. Rather I have been saying that James's discussion of religious experiences such as healthy-minded, sick-souled, melancholy, conversion, and mysticism provide analogues for better understanding the phenomenological processes and characteristics of the drive for meaning and integration which Fingarette analyzes. In fact, the very notion of religion itself for James bears not just an analogous resemblance but perhaps an identification with integration. For in his personal letters James had defined religious experience as Any moment of life that brings the reality of spiritual things more home to one. And in Varieties James defines religion as a man's total reaction upon life....; his attitude towards what he felt to be the primal truth.If we look upon this outlook of James toward religion as an exaggeration of the reality of integration, we can follow James to what he perceives as the importance of religion upon an individual's life. The man of religious feeling possesses the excitement of a higher kind of emotion, an enthusiastic temper of espousal in regions where morality strictly so called can at best but bow its head and acquiesce. So we are brought again to the area of creativity in which an individual has experienced the widening of the area of his immediate experience and is re-born in the karmic pattern, a valid pattern for both James and Fingarette. As Fingarette describes it, the converted individual creates values which the dead reality he had previously faced did not possess. The result of the achieved integration is explained by James when referring to religious experience as an excitement of the cheerful, expansive, dynamogenic order which, like any tonic, freshens our vital powers. This emotion overcomes temperamental melancholy [meaninglessness] and imparts endurances to the subject, or a zest, or a meaning, or an enchantment and glory to the common objects of life.We might sum up this discussion not by a criticism of the shortcomings of James's treatment of the religious life, such as his apparent insensitivity to the part played by institutions in the religious experience itself, but rather by underscoring the richness of the phenomenological analysis James has undertaken. James Edie acknowledges that James's studies of religious experience itself rather than of religion. ... are not only more sound phenomenologically than some of the studies which have, under the influence of Husserl, up to now explicitly invoked the phenomenological method, but they are also the first to establish any solid basis for a true phenomenology of religious experience.And John Wild has pointed out the parallel between James's concept of melancholy and Heidegger's concept of anxiety as the genesis of the process of becoming: beginning with the prospect of death and nothingness, the individual gropes toward new birth.As we have seen, then, James's analysis of the varieties of religious experience leads to a fruitful discussion of the psychological processes involved in melancholy and meaninglessness, rearrangement and integration. In all such experiences, a sense of inner unity is reached to which the following words of Fingarette would apply by analogy: The soul-racking death which leads to blissful rebirth is the death of the subjectively experienced, anxiety-generated self perception; it is the emergence into the freedom of introspective self-forgetfulness of the psychically unified self.     

Perceptions of helpfulness and behavior in groups

Before, midway, and late in a 50-hour small group experience, 28 persons separately and subjectively appraised the helpfulness of 60 items representing Yalom's (1975) 12 curative factors of group psychotherapy. Items from the catharsis and interpersonal learning factors proved highly and increasingly helpful, despite their poor internal consistency. Item helpfulness also linked to members' ingroup behavior, as measured by peer ratings of acceptance-rejection of self and others. (Hurley, 1976). Persons more accepting of self and others regarded family reenactment items as more helpful, and advice and guidance items as less helpful, than did members who were more rejecting of self and others.     

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.     

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.