Независимость одной системы аксиом и правила вывода пропозиционального исчисления

- Allatum est die 5 Martii 1970     

Cooperation,Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications

Branching-time temporal logics have proved to be an extraordinarily successful tool in the formal specification and verification of distributed systems. Much of their success stems from the tractability of the model checking problem for the branching time logic CTL, which has made it possible to implement tools that allow designers to automatically verify that systems satisfy requirements expressed in CTL. Recently, CTL was generalised by Alur, Henzinger, and Kupferman in a logic known as Alternating-time Temporal Logic (ATL). The key insight in ATL is that the path quantifiers of CTL could be replaced by cooperation modalities, of the form , where is a set of agents. The intended interpretation of an ATL formula is that the agents can cooperate to ensure that holds (equivalently, that have a winning strategy for ). In this paper, we extend ATL with knowledge modalities, of the kind made popular in the work of Fagin, Halpern, Moses, Vardi and colleagues. Combining these knowledge modalities with ATL, it becomes possible to express such properties as group can cooperate to bring about iff it is common knowledge in that . The resulting logic — Alternating-time Temporal Epistemic Logic (ATEL) — shares the tractability of model checking with its ATL parent, and is a succinct and expressive language for reasoning about game-like multiagent systems.     

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.     

Clients Helping Therapists Find Solutions to their Therapy

This paper is offered as a beginning toward including client perspectives on treatment and client participation in supervision. Rather than see therapists as technical experts who do things to people, many of us now see therapists as nonexperts who create conversations with people (Goolishian & Anderson, 1992). This new shift challenges the traditional training positions of supervisor and supervisee, respectively. Including clients' voices the supervisor participate from a nonexpert position.     

Moral Philosophy and the Ontology of Relations

The essay undertakes to explore the possibilities of mutually fruitful dialogue between moral philosophy and ontology, in particular, the ontology of relations. The latter copes with the question of how relations relate, whereas moral philosophy often ignores the ontological implications of such crucial relations as love and interpersonality. The paper proceeds as follows. First, the ontology of relations is discussed. Second, various examples are analysed. From this, a conception of relation instantiation emerges, according to which to determine which relation actually obtains, one has to take into account (a) the context, (b) the specific content or meaning of the relation, and (c) some action or decision or mode of existence of the relata. This conception suggests that relation instantiation cannot be explained by a single formula. By the help of this conception, Hume's thesis of the identity of killing relations between human and nonhuman beings is questioned. Then, the relation of love is analysed. It is shown that love as a moral relation is perfectly explicable in terms of ontology. Moreover, its essence is best captured by the interrelation of the particulars, the relation of love as a universal, and by the relating action of the particulars. Finally, the alleged relation of universal fraternity (interpersonality as such), linking up each human being to all other human beings, is discussed.     

Thomas Kuhn revisited: Near-death studies and paradigm shifts

Near-death studies can be viewed within a theoretical framework of paradigms and paradigm shifts as explicated by Thomas Kuhn (1962). Assuming the validity of Kuhn's model, I hypothesize that the paradigm of today's normal science is shifting to a new paradigm to accommodate data from near-death studies.     

The elegant solution to the problem of impotence

Although most therapists are committed to debunking the dual myths that sex requires an erection and that sex equals intercourse, sex researchers continue to use successful intercourse as a primary dependent variable. It is here asserted that RET therapists would do well to approach the problem of erectile dysfunction from a more elegant philosophical perspective. The treatment approach outlined here is aimed at reducing client disturbance as well as increasing sexual satisfaction rather than at simply helping the client to regain his potency.     

“Soul-making” in a schizophrenic saint

Soul-making (cf. Jung and Hillman) is the process of integrating spiritual and bodily imagery into an intimated wholeness transcending conscious comprehension. Pierre Janet's case of the psychotic mystic, Madeleine, reveals that the patient had been making her own-soul even though his theory had no provision for soul. Janet's soul-stripping theory is contrasted with a soul-making approach, primarily in their respective interpretations of Madeleine's altered states of consciousness. Religious ecstasy is a stretching of soul, an expansion into the realm of spirit, which requires a subsequent descent into and reconciliation with tradition, society, outer world, and body.     

Context and strategy in acquiring temporal connectives

There has been considerable debate over the role of comprehension strategies in the acquisition of temporal connectives. This study examined the role of caluse logic and interpretational strategies in the acquisition of temporal words; age-related changes were also considered. Thirty-two children between 3 and 5 years of age served as subjects. Sentences with a variety of temporal words were used to tap children's comprehension of before, after, when, while, just before that, and and after that. Clause logic was found to significantly improve the understanding of these sentences. However, the order of mention and main clause first strategies were used infrequently. Apparently, when children respond to sentences that describe information in a way that is consistent with that they normally hear, these strategies are seldom applied.I wish to express my thanks to Janice Bogen, who assisted in data collection, and to Erika Hoff-Ginsberg, who assisted in some of the data analysis.     

Toward a model for spirituality and alcoholism

Spirituality is a significant factor in recovery from alcoholism, whatever definition of this condition one may use. One aspect of alcohol abuse is its apparent relationship to the balance between brain hemispheres. Excessive use of alcohol anesthetizes the object-based, language-oriented functions of the left hemisphere, associated with an action mode of consciousness. This allows greater engagement of the right-hemisphere receptive mode, which is also associated with religious experience. A model of spirituality based on achieving a balance between hemisphere functions and modes of consciousness could provide a non-chemical alternative to excessive use of alcohol.     

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.     

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

Using What Premarital Couples Already Know to Inform Marriage Education: Integration of a Gottman Model Perspective

The Marriage Preparation and Preservation Act of Florida stimulated a study of premarital couples. What are the best things that you do in your relationship was asked in a survey of persons seeking marriage licenses. The sample consisted of 962 participants. Responses were examined using Gottman's Sound Marital House (1999) as a theoretical framework. Results indicate that premarital participants view specific aspects of the Sound Marital House as the best things they contribute to their relationship. Responses can be used as a guide to the development of a Gottman-based marriage preparation curriculum.     

⊃E is Admissible in “true” relevant arithmetic

The system R## of true relevant arithmetic is got by adding the -rule Infer xAx from A0, A1, A2, .... to the system R# of relevant Peano arithmetic. The rule E (or gamma) is admissible for R##. This contrasts with the counterexample to E for R# (Friedman & Meyer, Whither Relevant Arithmetic). There is a Way Up part of the proof, which selects an arbitrary non-theorem C of R## and which builds by generalizing Henkin and Belnap arguments a prime theory T which still lacks C. (The key to the Way Up is a Witness Protection Program, using the -rule.) But T may be TOO BIG, whence there is a Way Down argument that produces a better theory TR, such that R## TR T. (The key to the Way Down is a Metavaluation, on which membership in T is combined with ordinary truth-functional conditions to determine TR.) The result is a theory that is Just Right, whence it never happens that A C and A are theorems of R## but C is a non-theorem.     

Probabilism and beyond

Richard Jeffrey has labelled his philosophy of probability radical probabilism and qualified this position as Bayesian, nonfoundational and anti-rationalist. This paper explores the roots of radical probabilism, to be traced back to the work of Frank P. Ramsey and Bruno de Finetti.     

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.     

Linear programming techniques for multidimensional analysis of preferences

This paper offers a new methodology for analyzing individual differences in preference judgments with regard to a set of stimuli prespecified in a multidimensional attribute space. The individual is modelled as possessing an ideal point denoting his most preferred stimulus location in this space and a set of weights which reveal the relative saliences of the attributes. He prefers those stimuli which are closer to his ideal point (in terms of a weighted Euclidean distance measure). A linear programming model is proposed for external analysisi.e., estimation of the coordinates of his ideal point and the weights (involved in the Euclidean distance measure) by analyzing his paired comparison preference judgments on a set of stimuli, prespecified by their coordinate locations in the multidimensional space. A measure of poorness of fit is developed and the linear programming model minimizes this measure overall possible solutions. The approach is fully nonmetric, extremely flexible, and uses paired comparison judgments directly. The weights can either be constrained nonnegative or left unconstrained. Generalizations of the model to consider ordinal or interval preference data and to allow an orthogonal transformation of the attribute space are discussed. The methodology is extended to perform internal analysis,i.e., to determine the stimuli locations in addition to weights and ideal points by analyzing the preference judgments of all subjects simultaneously. Computational results show that the methodology for external analysis is unbiased—i.e., on an average it recovers the true ideal point and weights. These studies also indicate that the technique performs satisfactorily even when about 20 percent of the paired comparison judgments are incorrectly specified.The authors wish to express their deep appreciation to J. Douglas Carroll and Joseph B. Kruskal for their most valuable comments on an earlier version of this paper.     

Given Time and the Gift of Life

Given Time and the Gift of Life explores the following nexus in Derrida's thought: the gift, the mother, and life. The first section examines life within the trajectory of the gift, the excess of gift over return in the gift of life, and the rewriting of Aristotelian generation in differantial species-being. The second section shows the quasi-transcendental nature of Derrida's thought. The conclusion sketches some of the political consequences of the gift of life thought as the quasi-transcendental gift of differantial species-being.     

On seeing oneself as “left out”: The chronically complaining patient in psychotherapy

A clinical observation regarding patients who complain about feeling left out and/or second best provides the framework for this paper. What is expressed is a form of separation anxiety coupled with a loser self-concept. It is suggested that these patients represent a milder form of the moral masochism. Early theoretical formulations include Freud and his emphasis on the superego and Reich's emphasis on the masochist's fear of being left alone. Kramer's little man phenomenon is an example of a more current theoretical formulation which takes account of the complexities of the ego, and composite self and identity in the clinical phenomena observed. A case of a latency-aged child is provided.     

Two Orientations to Sin in the Human Predicament

Two orientations to sin proposed in Valerie Saiving's feminine view of the human situation (1960) are analyzed and developed, suggesting different ways they can be manifested in the lives of both men and women. These ways (of trusting the world) are paired and contrasted with ways of trusting God in order to aid pastors in counseling and teaching about the human predicament.