“God as Friend”: Metaphoric Theology in Pastoral Care

Because of postmodernity's claim of deconstruction, the naming of God has become a crucial issue for a hermeneutics of pastoral care. Inadequate and inappropriate perceptions of God, because of specific experiences of faith, create unhelpful images of God which eventually lead to a pathology of faith. Taking into consideration the figurative means of symbolic language and its rootedness in culture, this article explores the possibility of the metaphor, God as Friend, in order to move beyond the paradigm of the suffering God (theopaschitic theology) to the paradigm of the faithful God—God as our Soul Friend.     

Theological and Biblical Interpretations of Current Movements and Emerging Paradigms Within Bereavement Studies

Among the predominant themes in the last few years of bereavement studies have been those around disenfranchised grief, masculine grief, spirituality and grief, and the movement from medical/hierarchical models of grief work/counseling to a more non-hierarchical model that emerges internally, inherently, and intrinsically within the bereaved. In the latter model the grief counselor becomes a facilitator or, as Alan Wolfelt noted at the Chicago ADEC conference, a companioning presence. The intent of this article is to take this conversation into the realm of theology, and/or biblical theology. The following offers theological analysis of what is already good clinical theory. Integrating theories from anthropology and theology, this article will explore the concepts of voice, etic and emic theory, and incarnational theology as they relate to emerging patterns in bereavement studies. It will also relate a model of the Kingdom of God to disenfranchised grief, as well as offer support for the theory of masculine grief from biblical sources and complementary fields of study.     

A group ministry in the inner city

Conclusion The Group Ministry approach is an attempt at one way of facing the need for renewal of the Church in its understanding of the means of Christian commitment and witness in the world. There are many dangers in a Group Ministry. It runs the risk of becoming apower block or separation of men and women from their primary responsibility in the local church; of facingemotional strain on those who must work closely together in a group of sinners; of developing apsychic dependence on each other rather than looking to Christ as the primary source of support and unity; of becomingless efficient when more workers are placed in one small area; oflacking a sense of direction because one leader is not given responsibility and authority.Yet the Group Ministry approach takes these risks in the knowledge that the Church must work to fashion patterns by which it may again express itself with power in places where the word is scarce.For further information about the East Harlem Protestant Parish, readers may write directly to 2050 Second Avenue, New York 29, N. Y.     

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.     

Some modifications of Scott's theorem on injective spaces

D. Scott in his paper [5] on the mathematical models for the Church-Curry -calculus proved the following theorem.A topological space X. is an absolute extensor for the category of all topological spaces iff a contraction of X. is a topological space of Scott's open sets in a continuous lattice.In this paper we prove a generalization of this theorem for the category of , -closure spaces. The main theorem says that, for some cardinal numbers , , absolute extensors for the category of , -closure spaces are exactly , -closure spaces of , -filters in , >-semidistributive lattices (Theorem 3.5).If = and = we obtain Scott's Theorem (Corollary 2.1). If = 0 and = we obtain a characterization of closure spaces of filters in a complete Heyting lattice (Corollary 3.4). If = 0 and = we obtain a characterization of closure space of all principial filters in a completely distributive complete lattice (Corollary 3.3).     

Looking on the One We Have Pierced: Repentance,Resurrection, and Winnicott's “Capacity for Concern”

This work presents a view of Christian repentance as a process analogous to the development of Winnicott's capacity for concern and illuminated by Rowan Williams' theology of the Resurrection. One begins with fear of forfeiting one's attachment to the divine good mother, confronts the evidence of one's destructiveness in the Passion of Christ, experiences the risen Christ's object survival and acceptance of reparations, and attains a desire to contribute-in to God and neighbor.     

How to be an Anti-Skeptic and a NonContextualist

Contextualists often argue from examples where it seems true to say in one context that a person knows something but not true to say that in another context where skeptical hypotheses have been introduced. The skeptical hypotheses can be moderate, simply mentioning what might be the case or raising questions about what a person is certain of, or radical, where scenarios about demon worlds, brains in vats, The Matrix, etc., are introduced. I argue that the introduction of these skeptical hypotheses leads people to fallaciously infer that it is no longer true to say that the relevant person knows. I believe that that is a better explanation of the so-called intuition that the person does not know than the contextualists who claim that raising these skeptical hypotheses changes the standards that determine when it is true to say S knows that P. At the end I raise the possibility that contextualists might defend their view on pragmatic rather than skeptical grounds by arguing that the standards of evidence rise when more is at stake in a practical sense.     

As We Forgive—Case History of a Burglary

In 1979, Pastoral Psychology published the first of a series of articles I wrote based on non-risk-free research. The last was The Extra Mile—Case History of a Homicide (1993) and in it a point was stressed: Ministers who practice psychotherapy will profit prophetically if pastoral theology accepts the responsibility to (1) articulate contemporary ultimateconcerns, (2) clarify healthy avenues for compensation, and (3) tell stories about the hopeful revelations of God's providence in a broken world. As We Forgive is also a case study—wrapped in a novella—and it illustrates these three ingredients with an emphasis on spiritual self-awareness and thereality of Providence.     

Logics of some kripke frames connected with Medvedev notion of informational types

Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM ₁. Some other definitions of negation inI() lead to logicsLM _n (n ). We study inclusions between these and other systems, proveLM _n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n < ). We also show that formulas in one variable do not separateLM from Heyting's logicH, andLM _n (n < ) from Scott's logic (H+S).     

Paradox,truth and logic part I: Paradox and truth

Conclusion The discussion of the semantics of inconsistent truth theories now comes to a pause. The preceding is of course but a sketch; many interesting questions remain to be answered. The second part of this essay, however, will not seek to answer them. Rather, I will turn to the discussion of the proof theory of truth theory: the local and global logic of truth.Under the first heading, I show how to replace the inductive construction of models with an appropriate infinitary proof theory, and relate this on the one hand to the so-called dependence approach to inductive truth theories (Davis, 1979; Yablo, 1982) and on the other to van Fraassen's fact semantics for relevance logic.Under the second heading, I offer formals systems which capture the inferences valid in all approximate models. Not surprisingly, these turn out to be relevant logics.With formalism in hand, I discuss finally the extent to which the gap and/or glut approach can in fact be said to solve the paradoxes; that is, to allow us to say that the very language we are speaking is of the sort described in our theory.     

Intuitionistic uniformity principles for propositions and some applications

This note deals with the prepositional uniformity principlep-UP: p x N A (p, x) x N p A (p, x) ( species of all propositions) in intuitionistic mathematics.p-UP is implied by WC and KS. But there are interestingp-UP-cases which require weak KS resp. WC only. UP for number species follows fromp-UP by extended bar-induction (ranging over propositions) and suitable weak continuity. As corollaries we have the disjunction property and the existential definability w.r.t. concrete objects. Other consequences are: there is no non-trivial countable partition of;id is the only injective function from to; there are no many-place injective prepositional functions; card () is incomparable with the cardinality of all metric spaces containing at least three elements.     

Equivalents of Mingle and Positive Paradox

Relevant logic is a proper subset of classical logic. It does not include among its theorems any ofpositive paradox A (B A)mingle A (A A)linear order (A B) (B A)unrelated extremes (A ) (B B¯)This article shows that those four formulas have different effects when added to relevant logic, and then lists many formulas that have the same effect as positive paradox or mingle.     

Confirmation holism and semantic holism

Fodor and Lepore, in their recent book Holism, maintain that if an inference from semantic anatomism to semantic holism is allowed, certain fairly deleterious consequences follow. In Section 1 Fodor and Lepore's terminology is construed and amended where necessary with the result that the aforementioned deleterious consequences are neither so apparent nor straightforward as they had suggested. In Section 2 their Argument A is considered in some detail. In Section 3 their argument attributed to Quine is examined at length and a shorter and more perspicacious argument suggested which avoids their charge that the Quinean argument is guilty of an equivocation on the word statement.     

Parameter estimation in latent trait models

Latent trait models for binary responses to a set of test items are considered from the point of view of estimating latent trait parameters=( ₁, , _n ) and item parameters=( ₁, , _k ), where _j may be vector valued. With considered a random sample from a prior distribution with parameter, the estimation of (, ) is studied under the theory of the EM algorithm. An example and computational details are presented for the Rasch model.This work was supported by Contract No. N00014-81-K-0265, Modification No. P00002, from Personnel and Training Research Programs, Psychological Sciences Division, Office of Naval Research. The authors wish to thank an anonymous reviewer for several valuable suggestions.     

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

Of Orchids,insects, and natural theology: Timing,tactics, and cultural critique in darwin's post-“Origin” strategy

This essay examines the relation of Darwin's orchids book to a central persuasive flaw in theOrigin: Its inability to give variation sufficient presence to break the hold of design in the mind of the reader. Darwin characterized the orchids book as a flank movement on the enemy; this essay identifies the enemy as Paley's natural theology and the flank as thetopoi, maxims, and habits of perception that led Darwin's colleagues and contemporaries to see design in nature. Moreover, this essay examines three aspects of rhetorical timing pertinent toOrchids - time askairos, time as adequate duration, and time as transformation - and then relates those features to Robert Cox's Heideggerian logic of repetition, disavowal, and transcendence. The essay concludes with implications of the tactical and temporal aspects of Darwin's reasoning for understanding both the logic of science and of Darwin as a rhetorical artist.An earlier version of this essay appeared in the Proceedings of the Sixth SCA/AFA Conference on Argumentation.     

The ω-rule

We prove that all proofs in -logic (a first order logic with -rule added) in which -rule is used finitely many times can be turned into proofs in which the -rule is used at most one time. Next, we prove that the word finitely above cannot be changed by the word infinitely.     

O pojęciu zdania analitycznego

Rezultaty przedstawione w pracy niniejszej pokrywaj si czciowo z wynikami osignitymi przezR. Wójcickiego w pracy:Analityczne komponenty definicji arbitralnych. Studia Logica, t. XIV. Dotyczy to gównie rezultatów zawartych w czci pierwszej. Chciabym podkreli, i wyniki R. Wójcickiego uzyskane zostay cakowicie niezalenie od rezultatów przedstawionych w pracy obecnej.Allatum est die 16 Aprilis 1962     

The fallacy of fallacies

Several of the so-called fallacies in Aristotle are not in fact mistaken inference-types, but mistakes or breaches of rules in the questioning games which were practiced in the Academy and in the Lyceum. Hence the entire Aristotelian theory of fallacies ought to be studied by reference to the author's interrogative model of inquiry, based on his theory of questions and answers, rather than as a part of the theory of inference. Most of the fallacies mentioned by Aristotle can in fact be diagnosed by means of the interrogative model, including petitio principii, multiple questions, babbling, etc., and so can Aristotle's alleged anticipation of the fallacy of argumentum ad hominem. The entire Aristotelian conception of inquiry is an interrogative one. Deductive conclusions caught Aristotle's attention in the form of answers that every rational interlocutor must give, assuming only his own earlier answers. Several features of Aristotle's methodology can be understood by means of the interrogative model, including the role of endoxa in it. Theoretically, there is also considerable leeway as to whether fallacies are conceived of as mistakes in questioning or as breaches of the rules that govern questioning games.     

A note on the ω-incompleteness formalization

The paper studies two formal schemes related to -completeness.LetS be a suitable formal theory containing primitive recursive arithmetic and letT be a formal extension ofS. Denoted by (a), (b) and (c), respectively, are the following three propositions (where (x) is a formula with the only free variable x): (a) (for anyn) ( _T (n)), (b) _{T x} Pr _T (^–(x)^–) and (c) _T x(x) (the notational conventions are those of Smoryski [3]). The aim of this paper is to examine the meaning of the schemes which result from the formalizations, over the base theoryS, of the implications (b) (c) and (a) (b), where ranges over all formulae. The analysis yields two results overS : 1. the schema corresponding to (b) (c) is equivalent to ¬Cons _T and 2. the schema corresponding to (a) (b) is not consistent with 1-CON _T. The former result follows from a simple adaptation of the -incompleteness proof; the second is new and is based on a particular application of the diagonalization lemma.Presented byMelvin Fitting