Modal Logics of Succession for 2-Dimensional Integral Spacetime

We consider the problem of axiomatizing various natural successor logics for 2-dimensional integral spacetime. We provide axiomatizations in monomodal and multimodal languages, and prove completeness theorems. We also establish that the irreflexive successor logic in the standard modal language (i.e. the language containing and ) is not finitely axiomatizable.     

Teach Your Students Well: The Seminary and a Hermeneutics of Suspicion

In Freud and Philosophy, Paul Ricoeur argues that religious believers must be willing to expose their faith to Freud's hermeneutics of suspicion. Believers will not, following the encounter, be the same people with the same faith, but, according to Ricoeur, the alternative of avoiding the encounter is not a viable option. However, a philosophy of total exposure to Freud, or anyone else issuing a challenge to religious faith, can be difficult for seminary faculty to apply, pedagogically. Indeed, seminaries are expected to graduate into ministry, not individuals experiencing a crisis of faith or meaning, but rather spiritually rock-solid men and women. The temptation, then, for seminary faculty is to go easy on their students, but this pedagogical strategy inevitably backfires. Seminarians who are sheltered from Ricoeur's challenge may be rock-solid at the persona or surface level of human personality, but this is not, necessarily, an indication that they are individuated or integrated people of faith.     

Gender Differences in Depression: The Role Played by Paternal Attitudes of Male Superiority and Maternal Modeling of Gender-Related Limitations

A reanalysis of a large multi-generational,predominantly Caucasian sample of adults found a largegender difference in self-reported depression involvinganxiety, appetite and sleep disturbance, and fatigue (anxious somatic depression) butnot in pure depression unaccompanied bymany of these other symptoms, replicating earlierfindings on high school and college samples. Anxioussomatic depression was prevalent among women whosefathers reported attitudes of male superiority and amongwomen whose mothers reported emphasizing the importanceof professional success but feeling that the jobs they held were not respected by others. Anxioussomatic depression, but not pure depression, was foundto be prevalent among women who did not attend collegeand among those who attended college but felt that the jobs they held were not respected byothers.     

The endorsement of irrational beliefs in a general clinical population

Burgess' Attitude and Belief Scale, a measure of Ellis' irrational beliefs, was administered to a large sample of outpatients. All 13 subscales demonstrate very adequate internal consistency. A factor analysis yielded one factor accounting for 83% of the variance, which was labeled irrationality. Clients endorsed focused items more than overgeneralized items, self-referential items more than non-self-referential items, and preferential items more than irrational items. Clients also received higher scores on the irrational process of demandingness than they did on the irrational process of awfulizing, self-worth and low frustration tolerance. The results were consistent with new formulations in Rational-Emotive theory. Suggestions were made for the construction of measures of irrational beliefs.     

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.     

Advances in Behaviorism: It's Not What It Used to Be

Behaviorism has changed over the past half century and its modern form is not familiar to many educators and other applied professionals. Put briefly, behaviorism has changed from the molecular and absolutist form of years past, when basic researchers, therapists and educators sought to modify isolated target behaviors. Modern behaviorism is relativistic and molar and the articles included in this issue are meant to illustrate this changed emphasis. The first article shows how the matching law has redefined the old law of effect and how that affects application. The second shows how relational frames provide a behavioral treatment of cognitive variables that dispels the stereotyped view of behavior modification. The third treats molar classes of behaviors as traits, and individual behaviors as states, applying that distinction to aspects of the relative frequencies of behaviors of children at home and at school. Finally, the last article shows specifically how behavioral methods have been (and are) applied to the behavior of autistic children, in a program that has been extremely successful over the past few years.     

Overcoming Self-Negation in Women

The significant overrepresentation of women in depression and a seeming addiction to self-downing are viewed as heavily influenced by internalized gender role messages and further compounded by societal discrimination. The healthy self is defined, and ways of helping women in therapy move toward greater self-acceptance are described, with an emphasis on REBT women's groups. A case study illustrates the process.     

A New Representation Theorem for Contranegative Deontic Logic

The logic of an ought operator O is contranegative with respect to an underlying preference relation if it satisfies the property Op & (¬p)(¬q) Oq. Here the condition that is interpolative ((p (pq) q) (q (pq) p)) is shown to be necessary and sufficient for all -contranegative preference relations to satisfy the plausible deontic postulates agglomeration (Op & OqO(p&q)) and disjunctive division (O(p&q) Op Oq).     

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.     

Die Rechtsansichten der Eurasier -- Rechtsordnung oder Wertordnung?

In their juridical doctrines, the members of the Evrazijstvo movement advocated the idea of a Russian special path criticizing at the same time the formalism and coldness of the western conception of law, based principally on Roman law. Their views are characterized by an evident priority accorded to justice over law, to the order of values over legal order.     

Partially-Ordered (Branching) Generalized Quantifiers: A General Definition

Following Henkins discovery of partially-ordered (branching) quantification (POQ) with standard quantifiers in 1959, philosophers of language have attempted to extend his definition to POQ with generalized quantifiers. In this paper I propose a general definition of POQ with 1-place generalized quantifiers of the simplest kind: namely, predicative, or cardinality quantifiers, e.g., most, few, finitely many, exactly , where is any cardinal, etc. The definition is obtained in a series of generalizations, extending the original, Henkin definition first to a general definition of monotone-increasing (M) POQ and then to a general definition of generalized POQ, regardless of monotonicity. The extension is based on (i) Barwises 1979 analysis of the basic case of M POQ and (ii) my 1990 analysis of the basic case of generalized POQ. POQ is a non-compositional 1st-order structure, hence the problem of extending the definition of the basic case to a general definition is not trivial. The paper concludes with a sample of applications to natural and mathematical languages.     

Modifying Violent Communities by Enhancing Altruism: A Vision of Possibilities

A model for diagnosing and treating violent communities is outlined. The treatment consists of enhancing a form of pragmatic altruism by building relationships and mutual understanding between community leaders who are derived from task groups called community stabilizing systems, defined as groups essential for peaceful, creative stability in a community. Two examples of an intervention derived from this theory are described.     

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.     

On succeeding a saint

Conclusion As I look back over three years of following a much-loved minister, a myth seems shattered. It is the myth that one should never follow a man who died in the pulpit. The issue is far more profound. The issue is whether or not the new man has the inner freedom to recognize his own feelings, see the feelings of others, and then act on both. Some may say, But what if a power group tries to run the church? The problem then is the power group, not the loss of a loved figure as such. A power group may play on the death of a saint, but the death is not the issue.When both pastor and people find that they can live with their own feelings and need not feel guilty for having them, then something new can be built. Decisions can be made about problems and programs and people, because the context for making such decisions has been realized.     

Critique of the unconscious: Kantian influences in the works of Lucian Blaga

Lucian Blaga was the creator of a speculative and metaphoric philosophical system that placed mystery at its very core. Mystery, according to Blaga, veils existence and represents both a stimulus and a brake for human knowledge. His articulation of this view is strongly indebted to Kant, whose transcendental philosophy he sought to extend by critically examining the forms of sensibility and categories of the understanding, not so much in relation to consciousness, but as they are duplicated, or doubled, in the unconscious. The result is Blaga's stylistic apriorism, according to which the unconscious always manages consciousness through abyssal categories in terms of which different regions and peoples at once reveal and remain isolated from mystery.     

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.     

Once More into the Breach of Self-Ownership: Reply to Narveson and Brenkert

In reply to Narveson, I distinguish his no-proviso argument from his liberty argument, and I show that both fail. I also argue that interference lacks the strategic status he assigns to it, because it cannot be appropriately distinguished, conceptually and morally, from prevention; that natural resources do enjoy the importance he denies they have; that laissez-faire economies lack the superiority he attributes to them; that ownership can indeed be a reflexive relation; that anti-paternalism does not entail libertarianism; and that he misrepresents the doctrines of a number of philosophers, including John Locke, Ronald Dworkin, and myself. In reply to Brenkert, I show that he seriously misconstrues my view of the nature of freedom, and of its relationship to self-ownership. I then refute his criticisms of my treatment of the contrasts between self-ownership, on the one hand, and autonomy and non-slavery, on the other. I also show that his attempt to exorcize the demon of self-ownership is multiply flawed.     

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.     

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.