Логистическая система, исходными связками которой являются эквивалентность и дизъюнкция

- Allatum est die 5 Martii 1970     

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.     

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.     

Battered women's coping strategies and psychological distress: differences by immigration status

People are rarely passive, and battered women are no exception. This study investigated the types of coping strategies women of Japanese descent (both Japan-born and U.S.-born) chose and their perceived effectiveness in dealing with their partners' violence. Japan-born respondents were significantly less likely to use active strategies and perceived them to be less effective than did U.S.-born respondents. For the Japan-born, the more effective they perceived active strategies, the higher their psychological distress, whereas the more effective they perceived passive strategies, the lower their psychological distress. In contrast, for the U.S.-born, the higher the perceived effectiveness of active strategies, the lower their psychological distress, and the perceived effectiveness of passive strategies had little effect on their psychological distress. The complex relationship between individuals' country of birth, the choice and perceived effectiveness of coping strategies, and psychological distress calls for increased attention to the role of culture in studies of coping and domestic violence.     

An effective fixed-point theorem in intuitionistic diagonalizable algebras

Summary Within the technical frame supplied by the algebraic variety of diagonalizable algebras, defined by R. Magari in [2], we prove the following:LetT be any first-order theory with a predicate Pr satisfying the canonical derivability conditions, including Löb's property. Then any formula inT built up from the propositional variables q, p₁, ..., p_n, using logical connectives and the predicate Pr, has the same fixed-points relative to q (that is, formulas (p₁ ..., p_n) for which for all p₁, ..., p_n T((p₁, ..., p_n), p₁, ..., p_n) (p₁, ..., p_n)) of a formula ^* of the same kind, obtained from in an effective way.Moreover, such ^* is provably equivalent to the formula obtained from substituting with ^* itself all the occurrences of q which are under Pr. In the particular case where q is always under Pr in , ^* is the unique (up to provable equivalence) fixedpoint of .Since this result is proved only assumingPr to be canonical, it can be deduced that Löb's property is, in a sense, equivalent to Gödel's diagonalization lemma.All the results are proved more generally in the intuitionistic case.The algebraization of the theories which express Theor, IXAllatum est die 19 Decembris 1975     

"Solar love": Nietzsche,Merleau-Ponty and the fortunes of perception

Both Nietzsche and Merleau-Ponty repudiate the mirror view of perception and embrace what Nietzsche refers to as solar love or creative perception. I argue that Merleau-Ponty thinks of this type of perception primarily in terms of convergence and Nietzsche in terms of divergence. I then show how, contrary to their own emphases, Merleau-Ponty's notion of flesh and Nietzsche's idea of chaos suggest that convergence and divergence are abstractions from an ontologically prior realm of hybrid perceptions. In this realm, each perception is shot through with the others, simultaneously inside and outside one another. The creative tension among these perceptions continually produces new perspectives or voices, that is, a realm whose very being is metamorphosis. Moreover, this realm of hybrid perceptions suggests a political principle that might prove attractive for communities in an age of diversity and cultural hybridity.     

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.     

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.     

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

- Allatum est die 5 Martii 1970     

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.     

Fallacies and moral dilemmas

The continuing debate between utilitarians and deontologists often takes the form of disagreement over how particular moral dilemmas are to be resolved, but protagonists on both sides tend to overlook the possibility of resolving a dilemma with remainder, such as regret. The importance of remainder is also overlooked by critics of some absolutist ways of resolving or slipping between the horns of certain moral dilemmas. Moreover, deontologists, if not utilitarians, can be criticised for overlooking the possibility that, according to their theory, some dilemmas may be irresolvable. Virtue ethics, with its concentration on the agent, readily accommodates both mention of remainder and irresolvable dilemmas, and yields a specification of tragic dilemmas which the other two theories might like to take on.     

Quantum Logic as a Fragment of Independence-Friendly Logic

The working assumption of this paper is that noncommuting variables are irreducibly interdependent. The logic of such dependence relations is the author's independence-friendly (IF) logic, extended by adding to it sentence-initial contradictory negation ¬ over and above the dual (strong) negation . Then in a Hilbert space turns out to express orthocomplementation. This can be extended to any logical space, which makes it possible to define the dimension of a logical space. The received Birkhoff and von Neumann quantum logic can be interpreted by taking their disjunction to be ¬(A & B). Their logic can thus be mapped into a Boolean structure to which an additional operator has been added.     

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.     

Spirituality in Older Adults: A Cross-Cultural and Interfaith Perspective

The definition of spirituality poses a variety of problems for the development of theory and research, as well as practical problems for persons interested in promoting the spiritual well-being of older adults. Although any definition of spirituality is problematic, a definition is proposed that comes out of the writer's clinical experience and is relevant to his understanding of the aging process in different cultural and religious contexts. Two case studies are presented to illustrate the relevance of the definition to the experience of older persons from different cultural and religious backgrounds. Reflections on the case studies suggest ways that an appropriately trained advocate might have helped the persons in these illustrations make changes in their situations that might have improved the quality of their lives. Material from the case studies is also used to clarify differences among terms such as spirituality, religion, religiosity, and piety. The paper proposes to be a contribution to a theoretical foundation for studying and working with spirituality in older adults.     

On Ultrafilter Logic and Special Functions

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.Presented by André Fuhrmann     

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.     

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.     

Physicians' values and physician-value neutrality

For years articles have decried the lack of empathy in physicians' relationships with patients. In addition to being empathetic, physicians are called upon to assume the posture of value neutrality, i.e., not imposing one's values when dealing with patients. Empathy is clearly an expression of deeply held values; even the language used to define it is value-laden. Physicians are consistently called upon to exhibit traits which are expressions of their underlying values. However, if proponents of value-neutrality are to be taken literally one must not impose any of one's values on one's patients. But then one wonders how empathy could ever be expressed; further, it is hard to imagine what a truly value neutral physician would be like. It is time we recognize that any relationship between two persons requires the expression of values from both parties. These values help shape that relationship and define its further history. Physicians are not excluded from this process just because they consider themselves professionals. Divulging personal values to patients is both more honest and more in keeping with the concepts of justice, beneficence, non maleficence, and autonomy than to feign value-neutrality. A presentation of some type statement of values is timely and would give patients an idea of where a physician stands on a myriad of issues. Rather than being value-neutral, value non-neutrality seems a more right and reasonable posture for physicians to assume.     

Care and the dynamics of social world

The concept of social world is formulated for the purpose of deepening our understanding of the dynamics of inclusion, exclusion, and care in interpersonal interaction. World is defined as an irreducible subject-object polarity.Social world is the extremely fragile environment within which people meet, and is easily destroyed. With special attention to family and church life, the conditions for maintaining or losing this environment are examined. Three levels of social world are defined. On the highest level, mutual care, rather than shared opinion, is seen as the factor that facilitates the preservation of social world in the face of world-threatening issues.