Critical Psychologies of Religious Matters: A Late Modern Enterprise

Drawing upon illustrations of research in psychology and religion, this essay sketches a historical account of twentieth century scholarship in terms of three phases. In the early modern phase research was problem-centered: scholars customarily drew upon expertise in cognate areas of inquiry in solving a problem. In the modern phase research is specialization-based: scholars develop competence in the perspectives, concepts, and methods peculiar to their subfield. In the late modern phase research is interdisciplinary and multidisciplinary: scholars achieve proficiency in cognate subfields and acquire fluency in coordinating the assumptions, concepts, and methods of those subfields. This historical account provides the context and warrant for formulating an enterprise expressing the spirit of the late modern phase: critical psychologies of religious matters.     

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.     

A note on the logic of signed equations

A signed -equation is an expression of the form t t or t t, where t and t are -terms (for some ranked set ). We characterize those classes of -algebras which are models of a set of signed -equations. Further we consider the problem of finding a complete deductive system analogous to equational logic for the logical consequence operation restricted to signed equations.     

The way of the agent

The conditional,if an agent did something, then the agent could have done otherwise, is analyzed usingstit theory, which is a logic of seeing to it that based on agents making choices in the context of branching time. The truth of the conditional is found to be a subtle matter that depends on how it is interpreted (e.g., on what otherwise refers to, and on the difference between could and might) and also on whether or not there are busy choosers that can make infinitely many choices in a finite span of time.     

Intensional Completeness in an Extension of Gödel/Dummett Logic

We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives a natural extension by lax modality of the well-known G: odel/Dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : | L |= p : } characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of and completely recovered by a suitable semantic interpretation of proofs.     

Universality of the closure space of filters in the algebra of all subsets

In this paper we show that some standard topological constructions may be fruitfully used in the theory of closure spaces (see [5], [4]). These possibilities are exemplified by the classical theorem on the universality of the Alexandroff's cube for T ₀-closure spaces. It turns out that the closure space of all filters in the lattice of all subsets forms a generalized Alexandroff's cube that is universal for T ₀-closure spaces. By this theorem we obtain the following characterization of the consequence operator of the classical logic: If is a countable set and C: P() P() is a closure operator on X, then C satisfies the compactness theorem iff the closure space ,C is homeomorphically embeddable in the closure space of the consequence operator of the classical logic.We also prove that for every closure space X with a countable base such that the cardinality of X is not greater than 2 there exists a subset X of irrationals and a subset X of the Cantor's set such that X is both a continuous image of X and a continuous image of X.We assume the reader is familiar with notions in [5].     

The elimination of de re formulas

It is shown that de re formulas are eliminable in the modal logic S5 extended with the axiom scheme x x.     

A semantical investigation into Leśniewski's axiom of his ontology

A structure A for the language L, which is the first-order language (without equality) whose only nonlogical symbol is the binary predicate symbol , is called a quasi -struoture iff (a) the universe A of A consists of sets and (b) a b is true in A ([p) a = {p } & p b] for every a and b in A, where a(b) is the name of a (b). A quasi -structure A is called an -structure iff (c) {p } A whenever p a A. Then a closed formula in L is derivable from Leniewski's axiom x, y[x y u (u x) u; v(u, v x u v) u(u x u y)] (from the axiom x, y(x y x x) x, y, z(x y z y x z)) iff is true in every -structure (in every quasi -structure).     

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.     

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.     

Before refraining: Concepts for agency

A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in Tree a set of possible choices, where each possible choice is a set of histories. All of these ingredients are referred to in the semantics suggested for [ stit: Q]. The most complex part of the discussion is the motivation for the definition of what it means for a typically non-terminating chain of moments jointly to witness the truth of [ stit: Q] at a moment.The paper begins with an informal account of the Refref conjecture, which says that the only way to refrain from refraining from seeing to something is to see to it. The paper ends with a consideration of an argument of Prior's that in a certain sense contemplation and action are inconsistent.     

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.     

Interpolation and amalgamation properties in varieties of equivalential algebras

Important positive as well as negative results on interpolation property in fragments of the intuitionistic propositional logic (INT) were obtained by J. I. Zucker in [6]. He proved that the interpolation theorem holds in purely implicational fragment of INT. He also gave an example of a fragment of INT for which interpolation fails. This fragment is determined by the constant falsum (), well known connectives: implication () and conjunction (), and by a ternary connective defined as follows: (p, q, r)= ^df (pq)(pr).Extending this result of J. I. Zucker, G. R. Renardel de Lavalette proved in [5] that there are continuously many fragments of INT without the interpolation property.This paper is meant to continue the research mentioned above. To be more precise, its aim is to answer questions concerning interpolation and amalgamation properties in varieties of equivalential algebras, particularly in the variety determined by the purely equivalential fragment of INT.     

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     

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

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.     

On not knowing what or who one is: Reflections on the intelligibility of dualism

Beginning with Descartes' caution not imprudently to take some other object in place of myself, I consider first the problems of self-identification confronted by variousamnesiacs, both ordinary and Cartesian. Noting thatcogitationes as such do not individuate, I proceed to examine conclusions drawn from certain sorts of body-switching thought experiments. This, in turn, gives rise to a general critique of psychological connectedness or unity of consciousness as a candidate criterion of personal identity. I conclude that our ability to apply any notion of personal identity is parasitic upon the existence of a conceptual apparatus for individuating, identifying, and reidentifying objects. Finally, I argue that, if person is a proper sortal predicate to begin with, Descartes'res cogitans cannot be understood as a species of the (metaphysical) genusres, distinct fromres extensa and only problematically in interaction with it. Cartesian dualism is a multiply untenable doctrine.     

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

For every sequence |p _n } _n of formulas of Peano ArithmeticPA with, every formulaA of the first-order theory diagonalizable algebras, we associate a formula ⁰ A, called the value ofA inPA with respect to the interpretation. We show that, ifA is true in every diagonalizable algebra, then, for every, ⁰ A is a theorem ofPA.     

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 note on syntactical and semantical functions

We say that a semantical function is correlated with a syntactical function F iff for any structure A and any sentence we have A F A .It is proved that for a syntactical function F there is a semantical function correlated with F iff F preserves propositional connectives up to logical equivalence. For a semantical function there is a syntactical function F correlated with iff for any finitely axiomatizable class X the class ^–1X is also finitely axiomatizable (i.e. iff is continuous in model class topology).