On finite approximability of ψ-intermediate logics

The aim of this note is to show (Theorem 1.6) that in each of the cases: = {, }, or {, , }, or {, , } there are uncountably many -intermediate logics which are not finitely approximable. This result together with the results known in literature allow us to conclude (Theorem 2.2) that for each : either all -intermediate logics are finitely approximate or there are uncountably many of them which lack the property.     

Test of the violation of local realism in quantum mechanics with no use of Bell's inequalities

A novel and versatile polarization-entanglement scheme is adopted to investigate the violation of the EPR local realism for a non-maximally entangled two-photon system according to the recent nonlocality proof by Lucien Hardy. In this context the adoption of a sophisticated detection method allows direct determination of any element of physical reality (viz., determined with probability equal to unity in the words of Einstein, Podolsky and Rosen) for the pair system within complete measurements that are largely insensitive to the detector quantum-efficiencies and noise.     

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.     

On superintuitionistic logics as fragments of proof logic extensions

Coming fromI andCl, i.e. from intuitionistic and classical propositional calculi with the substitution rule postulated, and using the sign to add a new connective there have been considered here: Grzegorozyk's logicGrz, the proof logicG and the proof-intuitionistic logicI set up correspondingly by the calculiFor any calculus we denote by the set of all formulae of the calculus and by the lattice of all logics that are the extensions of the logic of the calculus, i.e. sets of formulae containing the axioms of and closed with respect to its rules of inference. In the logiclG the sign is decoded as follows: A = (A & A). The result of placing in the formulaA before each of its subformula is denoted byTrA. The maps are defined (in the definitions of x and the decoding of is meant), by virtue of which the diagram is constructedIn this diagram the maps, x and are isomorphisms, thereforex ^–1 = ; and the maps and are the semilattice epimorphisms that are not commutative with lattice operation +. Besides, the given diagram is commutative, and the next equalities take place: ^–1 = ^–1 and = ^–1 x. The latter implies in particular that any superintuitionistic logic is a superintuitionistic fragment of some proof logic extension.     

Tomboys and sissies: Androgynous children?

Psychological studies of masculinity-femininity in children have paralleled those done with adults, which often consider deviations from masculinity for males and femininity for females as abnormal and perhaps pathological. Children who demonstrate cross-sex behaviors, however, may become androgynous adults whose cross-sex behaviors mean flexibility, not pathology. This study had two purposes: (1) to identify potentially androgynous children as those labeled by their peers as tomboys and sissies; (2) to compare personality characteristics of androgynous children with those of peers. Subjects were 312 elementary school children in a midwestern city. Results indicate that the labels tomboy and sissy are not necessarily indicators of androgynous children, but important social behaviors are related to the labels. For males, the possibility of frustrated creativity was raised.     

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.     

Hick's interpretation of religious pluralism

Conclusion There is no question that Hick's theory rests upon multiple assumptions about a singular, transcendental grounding and the fundamental equality of the various religions that cannot be inductively verified beyond all doubt. That need not mean, however, that the attractiveness of his theory derives solely from the peculiar charm of supposing that the One and the Many are no more at odds in the realm of religion than anywhere else. For Hick's assumptions are not just an exercise in wishful thinking or wild speculation. They are based upon experience from within what he calls the benign circle of faith. Because the reality experienced is ambiguous, acceptance or rejection of his views will, of course, be a matter of choice. And, admittedly, this choice will be dictated not so much by a weighing of empirical evidence that might prove the various religions to be exactly as he sees them, as by a consideration of what we have been surveying in the preceding pages, namely, the import of seeing things as Hick does.

---

     

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.     

Confusion in philosophy: A comment on Williams (1992)

Patricia Williams made a number of claims concerning the methods and practise of cladistic analysis and classification. Her argument rests upon the distinction of two kinds of hierarchy: a divisional hierarchy depicting evolutionary descent and the Linnean hierarchy describing taxonomic groups in a classification. Williams goes on to outline five problems with cladistics that lead her to the conclusion that systematists should eliminate cladism as a school of biological taxonomy and to replace it either with something that is philosophically coherent or to replace it with pure methodology, untainted by theory (Williams 1992, 151). Williams makes a number of points which she feels collectively add up to insurmountable problems for cladistics. We examine Williams' views concerning the two hierarchies and consider what cladists currently understand about the status of ancestors. We will demonstrate that Williams has seriously misunderstood many modern commentators on this subject and all of her five persistent problems are derivable from this misunderstanding.

Nelson (1989, 67).

     

Private events revisited: Does unobservable mean private?

This paper presents a discussion on the misapplication of the concept private events in traditional psychotherapy interpretation. Shown is that, logically, the term privacy is contradictory to principles of science and it further inhibits anaturalistic approach to observation. Evidence of so-called private clinical events are presented within an alternative model that obviates the role of privacy and encourages primarily an objective outlook on the events.     

Sprachverstehende maschinen

In this paper the author tries to disentangle some of the problems tied up in John Searle's famous Chinese-room-argument. In a first step to answer the question what it would be for a system to have not only syntax, but also semantics the author gives a brief account of the functioning of the language understanding systems (LUS) so far developed in the framework of AI research thereby making clear that systems like Winograd's SHRDLU are indeed doing little more than mere number crunching. But things would be entirely different, the author argues, if the database of a LUS were built up by the system itself via some perceptual component-at least, if this perceptual component had the capacity to distinguish objects having a certain property F from objects which do not. For in this case the system could store an internal representation of the fact that the object has the property F in its database if and only if the object in fact has that property. And this would be a good basis for calling such a system a genuine LUS. But Searle has objected to a very similar account of J. Fodor that nothing could be further from true language understanding. The reason for this complaint seems to be that Searle holds the view that a true LUS must e.g., know that the word hamburgers refers to hamburgers and that he moreover claims that this knowledge must be explicit or that the system must be aware of the reference of hamburgers to hamburgers. The author argues that this is asking too much. For it seems plausible to say that a system is able to understand e.g., the word hamburger even if it has only implicit knowledge of the fact that hamburger refers to hamburgers in the sense that it has the capacity to tell hamburgers from non hamburgers and the capacity to bring the word hamburger together just with objects of the former kind.     

Construction of monadic three-valued Łukasiewicz algebras

The notion of monadic three-valued ukasiewicz algebras was introduced by L. Monteiro ([12], [14]) as a generalization of monadic Boolean algebras. A. Monteiro ([9], [10]) and later L. Monteiro and L. Gonzalez Coppola [17] obtained a method for the construction of a three-valued ukasiewicz algebra from a monadic Boolea algebra. In this note we give the construction of a monadic three-valued ukasiewicz algebra from a Boolean algebra B where we have defined two quantification operations and ^* such that ^*x=^*x (where ^*x=-^*-x). In this case we shall say that and ^* commutes. If B is finite and is an existential quantifier over B, we shall show how to obtain all the existential quantifiers ^* which commute with .Taking into account R. Mayet [3] we also construct a monadic three-valued ukasiewicz algebra from a monadic Boolean algebra B and a monadic ideal I of B. The most essential results of the present paper will be submitted to the XXXIX Annual Meeting of the Unión Matemática Argentina (October 1989, Rosario, Argentina).     

Lexical insertion,inflection, and derivation: Creative processes in word production

This study examines the distinction between creative and noncreative behavior as applied to the production of words and sentences. Under one hypothesis words such as governor and government are stored as independent units and produced by rote, but under another these nouns are not produced as fully integrated units but are generated by rules for combining stems (govern) and affixes (-ment and -or). Analyses of German and English speech errors supported the generation-by-rule thesis and indicated that word stems, prefixes, and suffixes must be separately stored in the internal lexicon and marked as to syntactic function in combining with other word components. The data also suggested a three-stage model of lexical processes in the production of speech: a lexical insertion stage whereby abstract lexical formatives are called on or introduced into sentences by means of abstract syntactic and semantic features; a rule application stage whereby feature agreement rules are applied to the formative and then inflectional, derivational, and phonological rules are applied to derive the phonetic string; finally a serial output stage whereby the phonetic string is translated into serially ordered motor commands.This research was supported by NIMH Grant RO 19964 to Donald Mackay.     

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.     

Strategically Speaking: The Problem of Essentializing Terms in Feminist Theory and Feminist Organizational Talk

This paper examines the discursive construction of collective identity in several feminist organizations, as a way of shedding new light on the debate over essentializing or totalizing terms in contemporary feminist/postmodernist theory. We argue that while this debate is about language, it has remained largely untouched by the insights of a discursive approach. The latter as we take it up here treats language as irremediably strategic or interested. In contrast, the feminist argument over essentializing terms appears to hold to a correspondence version of language, a position which limits the debate in fatal ways. Part 1 reviews the argument that terms such as women, feminist and feminist identity are essentializing discourses which dominate by silencing difference. Part 2 then considers the way one such concept – feminist identity – is actually constructed and used in the routine talk of members of feminist organizations. In Part 3 we draw out the implications of a discursive approach to such terms for the feminist/postmodernist debate.     

Modernity and Identity: Themes and Perspectives in the Study of Older Adults

Developments in social gerontology have led to an increased awareness of the relationship between political economy, culture, and personal narrative as influences on social identity in later life. Central to this debate has been a growing interest in lifestyle choice as evidence of a change from modern to postmodern forms of aging. A key component of this process has been the erosion of a predictable framework for an aging identity, previously supplied by the welfare state. It is argued that, alongside the emergence of no-care zones in health and welfare, postmodern ideas on consumerism and the body have led to an assault on identity in old age. As a result, we may be seeing the emergence of no-identity zones which fail to sustain an authentic framework for supporting experiences in old age. A critical gerontology should include the study of identity as central to understanding the disjunction between aging from within and aging within society.     

Some aspects of eloquence in Descartes's works

In Descartes's philosophy, communicating scientific and philosophical truth does not represent a problem that can be traced back to humanistic rhetoric, meant as the art of persuasion. Descartes states his belief in the eloquence of reason: a clear, precise, and adequately expressed thought cannot fail to convince the listener. This is the measure of the distance between the level of truth and the level of opinion. However, the moment of confrontation with the public is also the very moment when the truth of the new knowledge enters into conflict with other, different conceptions. Education and history influence communication with the result that the distinction between intellectual conviction and persuasion becomes less straightforward. Rational eloquence, as Descartes is well aware, must be articulated in such a way as to avoid any possible language equivocation and to adopt exposition strategies ensuring effective access to readers. The aim of this paper is to illustrate some aspects of this tension as expressed by the writer Descartes with reference to a number of texts (from the Regulae to the Meditationes) that were essential for the elaboration and dissemination of his philosophy.     

Impression formation as a function of the sex role appropriateness of linguistic behavior

Differences between perceptions of men's and women's language were investigated. Undergraduates (64 male, 64 female) read 14 short stories with male or female speakers using seven categories of male and female language. Subjects then rated stimulus persons on 23 sex role related adjectives. Male language was rated as more masculine, less feminine, more instrumental, and less socially positive than female language. Effects were strongest for the categories of expletives and adjectives, followed by weaker effects for hedges and polite forms. Subjects rated males who spoke women's language as homosexual; they tended to rate females who spoke men's language as uppity. The results are discussed in terms of Robin Lakoff's hypotheses concerning linguistic sex differences and in terms of inrole vs out-of-role behavior.The research reported here is based upon a thesis submitted by the first author to Tulane University in partial fulfillment of the requirements for a Master's degree. The support of Professors Larry Dachowski, William P. Dunlap and Edgar C. O'Neal, members of the thesis committee, is gratefully acknowledged.     

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.     

Die Wüste Des Realen: Slavoj Žižek Und Der Deutsche Idealismus

Part of Slavoj iek's philosophical background is located in German idealism. In this article, his relation to German idealism is critically assessed, and the key to this assessment is found in iek's favorite medium: film. In film, reality can only appear as a new image, replacing an old reality as fictitious, the real itself, however, remains unreachable by thought. At this point, a parallel with German idealism appears: it was Kant who turned reality into a desert, and Hegel and Schelling who tried to retrieve it. Siding with Adorno and Heidegger, iek reaches a negative conclusion that does justice to neither German idealism nor indeed Schelling. His use of German idealism is one-sided and selective, regardless of the fact that it allows him to formulate an adequate critique of Western society. Perceiving a parallel between iek's conception of cinema and Kantian imagination [Einbildungskraft], the final conclusion is that he approaches German idealism not in terms of its conceptual system-character, but in terms of sensual multiplicity, not seeking unity in it, but precisely fragmentation.