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.     

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.     

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.     

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

Fragmentation and re-integration of experience

Secular and religious counselors require a model of psychotherapy that conceptualizes human beings as conscious, goal-seeking entities. Such a model, based on the construct being in one's own world, is sketched in broad outline in this essay. The building blocks for the model are the intentional modes that lie at the heart of the self-world dialectic in which we live our lives. It is demonstrated how these intentional modes are organized into a gestalt-like whole referred to as the existential gestalt. From the diagram of the existential gestalt the concepts of intentional clarity and modal congruence are derived. These concepts enable us to understand the processes of the fragmentation and re-integration of experience that lie at the heart of psychotherapy. Inclusiveness and purposefulness, two additional factors that are important for assessing the adequacy of the existential gestalt, are also briefly touched upon.     

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.     

Depression and Anxiety in Persons with Parkinson's Disease With and Without “On–Off” Phenomena

On–off phenomena in Parkinson's disease (PD) are unpredictable motor fluctuations associated with long-term levodopa use. Mood fluctuations have been found to coincide with the motor fluctuations in that depression and anxiety increase while the person with PD is in the off state. What has been relatively unexplored is whether those persons with PD who have on–off phenomena differ psychologically in fundamental ways from those who do not have on–off phenomena. In the present study, depression and anxiety symptoms were assessed in 36 persons with PD (n = 14 with on–off phenomena, n = 22 without on–off phenomena). All those with on–off phenomena were assessed in their on state. Those persons with PD with on–off phenomena had significantly higher levels of anxiety than those without on–off phenomena. However, both groups, regardless of on–off status, were mildly depressed. Neurobiological interpretations of the results implicate the locus coeruleus in the pathogenesis of both on–off phenomena and anxiety, whereas psychological interpretations of the results involve the issues of learned helplessness and control over health symptoms in PD.     

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.     

The treatment of adolescents and their families in cultural transition: Issues and recommendations

Increasing numbers of immigrant families with adolescent children are seeking therapy because of intergenerational conflicts specific to the adolescent separation-individuation phase of the life cycle and transitional problems related to immigration and cultural transition. Three types of adolescent immigrants are identified and discussed: Immigrants (subtypes Reluctants and Optimists), Immigrant-Americans, and Americans. Therapists' issues which can negatively affect therapy with such adolescents and families are also discussed. Effective therapy with immigrant families requires that family therapists become more culturally sensitive, therapeutically flexible, and accepting of family values to which they may be diametrically opposed. Recommendations for therapy are offered.Dr. Baptiste is himself an immigrant. The experiences and observations discussed here are culled from his work with immigrant families and children over the past 19 years in the District of Columbia, Massachusetts, Indiana, and New Mexico.Portions of this article will appear in a chapter Psychotherapy with adolescent immigrants and their families in cultural transition in B. Settles and D. Hanks (Eds.),Families on the move: Emigration, immigration, migration and mobility. Sage Publications, 1990, and are used here with permission.     

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

- Allatum est die 5 Martii 1970     

Deduction,induction and probabilistic support

Elementary results concerning the connections between deductive relations and probabilistic support are given. These are used to show that Popper-Miller's result is a special case of a more general result, and that their result is not very unexpected as claimed. According to Popper-Miller, a purely inductively supports b only if they are deductively independent — but this means that a b. Hence, it is argued that viewing induction as occurring only in the absence of deductive relations, as Popper-Miller sometimes do, is untenable. Finally, it is shown that Popper-Miller's claim that deductive relations determine probabilistic support is untrue. In general, probabilistic support can vary greatly with fixed deductive relations as determined by the relevant Lindenbaum algebra.     

Omega-consistency and the diamond

G is the result of adjoining the schema (qAA)qA to K; the axioms of G* are the theorems of G and the instances of the schema qAA and the sole rule of G* is modus ponens. A sentence is -provable if it is provable in P(eano) A(rithmetic) by one application of the -rule; equivalently, if its negation is -inconsistent in PA. Let -Bew(x) be the natural formalization of the notion of -provability. For any modal sentence A and function mapping sentence letters to sentences of PA, inductively define A by: p = (p) (p a sentence letter); = ; (AB)su}= (A B); and (qA)= -Bew(A )(S) is the numeral for the Gödel number of the sentence S). Then, applying techniques of Solovay (Israel Journal of Mathematics 25, pp. 287–304), we prove that for every modal sentence A, _G A iff for all , _PA A ; and for every modal sentence A, _G* A iff for all , A is true.I should like to thank David Auerbach and Rohit Parikh.     

African American Dance - Philosophy,Aesthetics, and ‘Beauty’

This essay considers the recuperation of beauty as a productive critical strategy in discussions of African American dance. I argue that black performance in general, and African American concert dance in particular, seeks to create aesthetic sites that allow black Americans to participate in discourses of recognition and appreciation to include concepts of beauty. In this, I suggest that beauty may indeed produce social change for its attendant audiences. I also propose that interrogating the notion of beauty may allow for social change among audiences that include dance theorists and philosophers. Through a case-study consideration of work by three African American choreographers, Donald Byrd (b. 1949), Ulysses Dove (1947 – 1996), and Abdel Salaam (b. 1949), I ultimately hope to suggest critical possibilities aligning dance performance with particular aesthetic theory relevant to its documentation and interpretation.     

Analityczne komponenty definicji arbitralnych

Tre: Wstp. I. Definicje arbitralne. II. Syntetyczne konsekwencje definicji arbitralnych III. Analityczne i rzeczowe komponenty definicji arbitralnych. IV. Zdania analityczne.Artyku ten w nieznacznym tylko stopniu róni si od pracy doktorskiej, któr przedstawiem w 1962 r. Jak najuprzejmiej dzikuj Prof. Dr M. Kokoszyskiej-Lutman, Prof. Dr J. Supeckiemu oraz Doc. Dr M. Przeckiemu za szereg uwag i wskazówek, z których tak wiele skorzystaem przygotowujc ostateczn redakcj pracy.     

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.     

Groups to Resolve Conflicts Between Groups: Diplomacy with a Therapeutic Dimension

The group self, an individual's self-perception as a member of a group, is distinguished from the group's self, a personification of the group as a person with a self. The perceived group's self of an opposing other group is often a repository for attributes group members are not ready to recognize in their own group's self. Theoretically, the need for an adversarial other to hold one's own group's unwanted attributes—and thus to complete one's own group's self—contributes, however unconsciously, to the apparent intractability of intergroup disputes. In dealing with these issues, I compare intergroup conflict resolution (ICR) groups with therapy groups, on the one hand, and advocacy groups on the other. All of this sets the stage for a presentation of two ICR projects and their analysis in group-developmental terms.     

The good I will,I do not

For I do not do the good I want, but the evil I do not want is what I do-Now if I do what I do not want, it is no longer I that do it, but sin which dwells within me. (Romans 7:19–20)A sermon delivered on November 16, 1958, in James Memorial Chapel. Reprinted by permission from Union Seminary Quarterly Review.     

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.     

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.     

Distance and fusion in Robinson Jeffers' “the purse-seine” and other poems

Distance and fusion are fundamental ideas in Bowenian thinking, especially as expressed in the dynamic of distancing and pursuing. In this paper I have used these ideas as a means to briefly examine a short selection of Robinson Jeffers' poetry, which provides us with a literary example of these concepts in action.My thanks to M. K. Lane and the anonymous reviewers of an earlier draft of this article for their many suggestions, especially to the reviewer who helped me better distinguish between distance and fusion, and intimacy and autonomy.