Choice and Logic

There is a little known paradox the solution to which is a guide to a much more thoroughgoing solution to a whole range of classic paradoxes. This is shown in this paper with respect to Berrys Paradox, Heterologicality, Russells Paradox, and the Paradox of Predication, also the Liar and the Strengthened Liar, using primarily the epsilon calculus. The solutions, however, show not only that the first-order predicate calculus derived from Frege is inadequate as a basis for a clear science, and should be replaced with Hilbert and Bernays conservative extension. Standard second-order logic, and quantified propositional logic also must be substantially modified, to incorporate, in the first place, nominalizations of predicates, and whole sentences. And further modifications must be made, so as to insist that predicates are parts of sentences rather than forms of them, and that truth is a property of propositions rather than their sentential expressions. In all, a thorough reworking of what has been called logic in recent years must be undertaken, to make it more fit for use.Portions of this paper have previously been published in Logical Studies, vol. 9, http://www.logic.ru/LogStud/09/No9-06.html, and the Australasian Journal of Logic, vol. 2, http://www.philosophy.unimelb.edu.au/ajl/2004/2004_4.pdf.     

Remarks on Gregory's “Actually” Operator

In this note we show that the classical modal technology of Sahlqvist formulas gives quick proofs of the completeness theorems in [8] (D. Gregory, Completeness and decidability results for some propositional modal logics containing actually operators, Journal of Philosophical Logic 30(1): 57–78, 2001) and vastly generalizes them. Moreover, as a corollary, interpolation theorems for the logics considered in [8] are obtained. We then compare Gregory's modal language enriched with an actually operator with the work of Arthur Prior now known under the name of hybrid logic. This analysis relates the actually axioms to standard hybrid axioms, yields the decidability results in [8], and provides a number of complexity results. Finally, we use a bisimulation argument to show that the hybrid language is strictly more expressive than Gregory's language.     

A fallacy of aristotle''s about ends

A distinction between activities and processes plays an important role in Aristotle's argument to establish that the good life is a life of activities, among which metaphysical contemplation is foremost. But, as a result of having failed to distinguish internal from external ends of action, Aristotle makes fallacious inferences from every activity's having an internal end in itself to its possessing features which may be legitimately inferred only from external ends, and from every process's having an internal end that is its terminal point to its having the attainment of that terminal point as an external end. The resulting confusion explains a number of problematic elements in Aristotle's ethical theory.     

Inferential Intensionality

The paper is a study of properties of quasi-consequence operation which is a key notion of the so-called inferential approach in the theory of sentential calculi established in [5]. The principal motivation behind the quasi-consequence, q-consequence for short, stems from the mathematical practice which treats some auxiliary assumptions as mere hypotheses rather than axioms and their further occurrence in place of conclusions may be justified or not. The main semantic feature of the q-consequence reflecting the idea is that its rules lead from the non-rejected assumptions to the accepted conclusions.First, we focus on the syntactic features of the framework and present the q-consequence as related to the notion of proof. Such a presentation uncovers the reasons for which the adjective inferential is used to characterize the approach and, possibly, the term inference operation replaces q-consequence. It also shows that the inferential approach is a generalisation of the Tarski setting and, therefore, it may potentially absorb several concepts from the theory of sentential calculi, cf. [10]. However, as some concrete applications show, see e.g.[4], the new approach opens perspectives for further exploration.The main part of the paper is devoted to some notions absent, in Tarski approach. We show that for a given q-consequence operation W instead of one W-equivalence established by the properties of W we may consider two congruence relations. For one of them the current name is kept preserved and for the other the term W-equality is adopted. While the two relations coincide for any W which is a consequence operation, for an arbitrary W the inferential equality and the inferential equivalence may differ. Further to this we introduce the concepts of inferential extensionality and intensionality for q-consequence operations and connectives. Some general results obtained in Section 2 sufficiently confirm the importance of these notions. To complete a view, in Section 4 we apply the new intensionality-extensionality distinction to inferential extensions of a version of the ukasiewicz four valued modal logic.     

Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators

The addition of actually operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing actually operators has concentrated entirely upon extensions of KT5 and has employed a particular model-theoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing actually operators, the weakest of which are conservative extensions of K, using a novel generalisation of the standard semantics.     

Having a voice and getting a hearing: An educational perspective on free speech in a plural society

This paper examines Ronald Dworkin's claim that the right to free speech does not include a right to circumstances that encourage citizens to speak nor a right to competent and sympathetic understanding on the part of listeners. Drawing on familiar arguments for the existence of other human rights, the paper challenges Dworkin's claim. Even if, however, the challenge fails and it is not possible to show that there is such a right, that is not the end of the story. It is argued that democratic societies should try to foster conditions in which citizens are encouraged to speak and are listened to sympathetically in the interests of the well-being and flourishing of the polity. The important role education has to play in this is explored.     

The Tacit–Explicit Connection: Polanyian Integrative Philosophy and a Neo-Polanyian Medical Epistemology

The purpose of this paper is to introduce an approach to clinical practice aiming to resolve the dilemma of choosing between a mechanistic and a phenomenological model. The approach is an extension of Polanyi's epistemology. Michael Polanyi (1891–1976), devised an epistemology of science which overcomes the problem of detachment, inherent in the mechanistic approach, and resolves the problem of subjectivity troubling phenomenologists. His epistemology is known as Personal Knowledge. An extension of this epistemology, a Neo-Polanyian proposal, is offered as a more successful model for clinical practice than previous suggestions addressing the dilemma.     

A narwhal is an animal: partial word knowledge biases adults' decisions

Adults' accuracy on a sentence verification task was measured to assess reliable biases in their responses as a function of their level of knowledge about the target words, as well as adults' ability to reject incorrect ontological category membership for their partially known words. Three levels of word knowledge (known, frontier, and unknown) were assessed in two experiments. Results indicated that participants were conservative decision-makers about sentences using the vocabulary words and that the conservative bias increased in strength as their level of knowledge about the target word increased. When biased guessing was discouraged, results indicated that participants were able to accurately identify both correct and incorrect sentences using targets at all three levels of knowledge, including their partially known words, but were least reliable at rejecting false sentences using unknown targets. Implications for the role of knowing not in adults' vocabulary acquisition are discussed.     

Corporal Punishment

This paper examines the reasons why corporal punishment in the judicial sphere has fallen into moral disfavour in recent decades. Standard objections to the practice, both practical and ethical, are considered and found to be inconclusive. It is argued that corporal punishment is not inevitably more cruel or demeaning than conventionally preferred punitive methods and that consideration should be given to its limited experimental reintroduction.     

Open live supervision in family therapy

This article reviews changes in models of supervision, resulting from technological developments and reflecting a variety of theoretical approaches. The focus is on open live supervision, conducted in the presence of the family. The supervisor and a therapeutic team join the therapist and the family, creating a complex supra-system that opens up several options for therapeutic intervention. Sessions are videotaped, and therapists use recordings for additional supervision and independent study. Therapists may also show recordings to the family as part of the therapeutic process. The advantages and disadvantages of the model are considered, and examples of some of the therapeutic options are described.This model was developed in the course of the author's work teaching and supervising students at the Counseling Department of the School of Education at the Hebrew University of Jerusalem, and supervising a multi-disciplinary team including physicians, psychologists, and social workers engaged in family therapy at the Municipal Psychological Services for Schools in Jerusalem. A shorter version of this article appeared in Hebrew inSihot 5 1991. Appreciation is expressed to Batya Stein for translating the final version of this article from Hebrew. Reprint requests should be addressed to Katrit Ron, Neve Granot 3-B, Jerusalem 93706, Israel.     

Bringing “The Dead” to Life: Reading James Joyce

The author offers a personal reading of James Joyce's The Dead. She focuses on how the sounds of the language are used to portray the main character's deadness and his beginning to come to life once the barriers to inner self and self-knowledge are broken.     

Lambda Calculus and Intuitionistic Linear Logic

The introduction of Linear Logic extends the Curry-Howard Isomorphism to intensional aspects of the typed functional programming. In particular, every formula of Linear Logic tells whether the term it is a type for, can be either erased/duplicated or not, during a computation. So, Linear Logic can be seen as a model of a computational environment with an explicit control about the management of resources.This paper introduces a typed functional language ! and a categorical model for it.The terms of ! encode a version of natural deduction for Intuitionistic Linear Logic such that linear and non linear assumptions are managed multiplicatively and additively, respectively. Correspondingly, the terms of ! are built out of two disjoint sets of variables. Moreover, the -abstractions of ! bind variables and patterns. The use of two different kinds of variables and the patterns allow a very compact definition of the one-step operational semantics of !, unlike all other extensions of Curry-Howard Isomorphism to Intuitionistic Linear Logic. The language ! is Church-Rosser and enjoys both Strong Normalizability and Subject Reduction.The categorical model induces operational equivalences like, for example, a set of extensional equivalences.The paper presents also an untyped version of ! and a type assignment for it, using formulas of Linear Logic as types. The type assignment inherits from ! all the good computational properties and enjoys also the Principal-Type Property.     

Set-Theoretic Absoluteness and the Revision Theory of Truth

We describe the solution of the Limit Rule Problem of Revision Theory and discuss the philosophical consequences of the fact that the truth set of Revision Theory is a complete 1/2 set.     

DIE MARXISMUS – DEBATTE IM “SILBERNEN ZEITALTER”

Im Anfang des 20.Jahrhunderts unterzog eine Reihe von jungen, später berühmt gewordenen Philosophen den Marxismus einer tiefen Kritik. Ihnen ist es gelungen, wichtige Defekte der revolutionären Doktrinen aufzudecken und ihre verhängnivsollen Konsequenzen vorwegzunehmen. Diese Kritik ist auch für die gegenwärtige geistig-politische Situation aktuell.     

The application of the satir model of family therapy to the families in Hong Kong: A personal reflection

Practitioners in Hong Kong have shown an increasing interest in various family therapy approaches since the 1980s. This paper offers a critique of the major concepts and techniques of the Satir model applied to families in Hong Kong. Cultural considerations are examined in relation to the family structure and hierarchy, the Chinese self and self-esteem, communication patterns, and family rules. Implications for the application of the Satir model of family therapy in Hong Kong are discussed.     

Der “dritte Weg” der “neo-eurasischen” Zeitschrift “Elementy” -- zurück ins Dritte Reich?

Studies in East European Thought - Articulated in the twenties, the doctrines of the exiled Russian ‘Evrazijstvo’ movement are undergoing a renaissance in Russia today. As the...     

Some properties of two measures of multivariate association

Two kinds of measures of multivariate association, based on Wilks' and the Bartlett-Nanda-Pillai trace criterionV, respectively, are compared in terms of properties of the univariateR ² which they generalize. A unified set of derivations of the properties is provided which are self-contained and not restricted to decompositions in canonical variates. One conclusion is that asymmetric index based on allows generalization of the multiplicative decomposition ofR ² in terms of squared partial correlations, but not the additive decomposition in terms of squared semipartial correlations, while the reverse is true for anasymmetric index based onV.We are indebted to Jos M. F. ten Berge for some fruitful discussions.     

The Impact of ‘the Dream’ on Women's Experience of the Midlife Transition

Daniel Levinson's claim for the universality of age-linked periods is considered highly controversial considering that his theory evolved from a study consisting of males only. Theories relating to women's development, particularly at midlife, are somewhat scarce and restricted. Using Levinson's theory of adult development as a framework, the present study retrospectively examined the Dream and its impact on women's psychological health and adjustment to the Midlife Transition. Three hundred midlife women completed a questionnaire examining Dream Status, Dream Content, Dream Success, and the psychological health variables, depression, anxiety, self-esteem, and life satisfaction. Dream Success was significantly related to psychological health on dimensions of well-being and composure, and interesting changes were observed in Dream Content across the early and current Dream. Our findings revealed that, despite the overall greater complexity of women's Dreams, Levinson's theory is largely applicable to women's development.