A reduction rule for Peirce formula

A reduction rule is introduced as a transformation of proof figures in implicational classical logic. Proof figures are represented as typed terms in a -calculus with a new constant P ⁽⁽⁾⁾. It is shown that all terms with the same type are equivalent with respect to -reduction augmented by this P-reduction rule. Hence all the proofs of the same implicational formula are equivalent. It is also shown that strong normalization fails for P-reduction. Weak normalization is shown for P-reduction with another reduction rule which simplifies of (( ) ) into an atomic type.This work was partially supported by a Grant-in-Aid for General Scientific Research No. 05680276 of the Ministry of Education, Science and Culture, Japan and by Japan Society for the Promotion of Science. Hiroakira Ono     

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.     

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

The politics of situating knowledge: An exercise in social epistemology

This essay forges links between Popperians and feminists by considering the connections between Donna Haraway's situated knowledge and Karl R. Popper's situational logic. It is concerned with the political commitments behind methodological issues, with the degree to which there can be a Popperian contribution to the feminist vision of a successor science, and with ways of dealing with, while not resolving, the political differences between socialist feminists and libertarian Popperians.     

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     

Reflections on “difficult” embeddings

The main purpose of this note is to present difficult embeddings of minimal and full intuitionistic logic into classical linear logic, and to prove their soundness and faithfulness. Moreover, it is also pointed out that Girard's translation of intuitionistic logic into classical linear logic is provably equivalent to one of the translations considered in this paper.     

Information-seeking dialogues: Some of their logical properties

The dialogical games introduced in Jaakko Hintikka, Information-Seeking Dialogues: A Model, (Erkenntnis, vol. 14, 1979) are studied here to answer the question as to what the natural logic or the logic of natural language is. In a natural language certain epistemic elements are not explicitly indicated, but they determine which inference rules are valid. By means of dialogical games, the question is answered: all classical first-order rules have to be modified in the same way in which some of them are modified in the transition to intuitionistic logic. (Furthermore, in some cases quantificational rules have to be modified further.) The rules that are left unmodified by intuitionists are applicable only to the output of certain game rules, but not to others. In. this sense, neither classical nor yet intuitionistic logic is the logic of natural language. We need a new type of nonclassical logic, justified by our information-seeking dialogues.     

Models for stronger normal intuitionistic modal logics

This paper, a sequel to Models for normal intuitionistic modal logics by M. Boi and the author, which dealt with intuitionistic analogues of the modal system K, deals similarly with intuitionistic analogues of systems stronger than K, and, in particular, analogues of S4 and S5. For these prepositional logics Kripke-style models with two accessibility relations, one intuitionistic and the other modal, are given, and soundness and completeness are proved with respect to these models. It is shown how the holding of formulae characteristic for particular logics is equivalent to conditions for the relations of the models. Modalities in these logics are also investigated.This paper presents results of an investigation of intuitionistic modal logic conducted in collaboration with Dr Milan Boi.     

The artist as transgressor in Mandel'štam's poetry

In Mandel'tam's writing, artistic creativity is described as based on the indispensable yet contradictory modes of compliance and deviation. The artist, by his artistic nature, must be an obedient disciple to the tradition that inspires him, and, at the same time, a violator who renders what inspires him in an individual form. Thus, art implies iterability through novelty. In the totalitarian state, this double nature of art acquires a sinister context and brings the artist to an unavoidable conflict with the state. He has a choice between a servile compliance with the state's command and artistic independence. If the artist complies, he loses his ingenuity; if, on the other hand, he has the courage to break away from the established order, his fate is martyrdom. The criteria of truth and falsehood, the issue of loyalty, of compromise and collaboration or resistance become most relevant. Such words as outcast or non-contemporary acquire the meaning of non-collaborationist or enemy of the people. In the totalitarian state a genuine artist is viewed as a law-breaker, and his art leads him to crime. The notions of compliance and deviation cease being merely aesthetic terms and assume in Mandel'tam's poetry complex, subtle and tragic overtones.I would like to express my gratitude to John Barnstead, Thomas Blakeley, James Doull, Elena Glazov-Corrigan, Gregory Glazov, Leonard Kazdan, Peter Kussmaul, Malcolm Ross, Detlev Steffen, and Ieva Vitins for their valuable criticism, suggestions, and revisions of my English.     

Naive realism about operators

A source of much difficulty and confusion in the interpretation of quantum mechanics is a naive realism about operators. By this we refer to various ways of taking too seriously the notion of operator-as-observable, and in particular to the all too casual talk about measuring operators that occurs when the subject is quantum mechanics. Without a specification of what should be meant by measuring a quantum observable, such an expression can have no clear meaning. A definite specification is provided by Bohmian mechanics, a theory that emerges from Schrödinger's equation for a system of particles when we merely insist that particles means particles. Bohmian mechanics clarifies the status and the role of operators as observables in quantum mechanics by providing the operational details absent from standard quantum mechanics. It thereby allows us to readily dismiss all the radical claims traditionally enveloping the transition from the classical to the quantum realm — for example, that we must abandon classical logic or classical probability. The moral is rather simple: Beware naive realism, especially about operators!     

Illustrating two complementary enterprises at the interface of psychology and religion through reading Winnicott

Our work at the interface of psychology and religion can proceed in two complementary directions. When reading a psychological theory, (1) we may pay special attention to how certain concepts in particular, and the system of ideas as a whole, are being or might be used to interpret religious phenomena. We may focus on how those ideas may be involved in doing psychology of religion: the psychological interpretation of religious phenomena. Alternatively, (2) we may pay special attention to how certain concepts in particular, and the system of ideas as a whole, are being or might be used, either implicitly or explicitly, to make claims about human nature, about the meaning and purpose of life, about God. We may identify the psychology as religion-theology: psychological ideas potentially functioning in a religious-theological manner. I will illustrate this by: (a) examining D. W. Winnicott's article, Transitional Objects and Transitional Phenomena (1953/1986) in terms of three successive concepts or categories: transitional object, transitional phenomena, and a third intermediate area of experiencing; (b) considering how these categories can be used in psychology of religion; (c) reconsidering how the psychological categories may function as religious-theological. The discussion is intended to illustrate how we might more fully appreciate how and why a psychological theory may work well in doing psychology of religion when we more fully appreciate how that psychology implicitly functions as theology.     

A Chemically Induced “Shadow”?

Stevenson's classic yarn, Dr. Jekyll and Mr. Hyde, is explored as a vivid, insightful story of addiction. In spite of clinical temptations to chase deeper issues connected with the dark side, this article suggests that pastoral counselors and psychotherapists need to first ask whether a client's shadow may be chemically induced.     

Allgemeinpsychologische Untersuchungen zum Vigilanzverhalten

Zusammenfassung Mit Hilfe eines 2×2×2-Designs wurde die Wirkung der Anzahl der Signalflächen, Anzahl der irrelevanten Reize und Art der Motivation auf die Vigilanzleistung untersucht. Dabei zeigte sich, daß die Wahrscheinlichkeiten von verpaßten Signalen und falschen Alarmen mit der Anzahl der Signalquellen zunehmen. Die Menge der Nicht-Signale gleicher Modalität wie die Signalreize beeinflußt weder die Signalentdeckungen noch die falschen Alarme.Weiterhin wurde versucht, eine Systematisierung von Motivationswirkungen in Vigilanzaufgaben im Rahmen des detection-Modells vorzunehmen. Bei großen Gewinnen für richtige Signalentdeckungen und geringen Verlusten für falsche Alarme (Risiko-Motivation) ergab sich eine wesentlich höhere Entdeckungswahrscheinlichkeit und eine geringfügig höhere Rate von falschen Alarmen als bei geringen Gewinnen für richtige Signalentdeckungen und hohen Kosten für falsche Alarme (Vorsichts-Motivation). Weiterhin zeigte sich unter Risiko-Motivation ein Abfall der Entdeckungswahrscheinlichkeit und bei Vorsichts-Motivation ein Anstieg, während sich die entsprechenden Raten der falschen Alarme im Verlauf der Aufgabe nicht signifikant veränderten.

---

Experimental application of detection theory to vigilance behaviour

Summary In a 2×2×2-design the effects of number of dials, number of irrelevant stimuli and kind of motivation were combined. It was found out, that probabilities of missed signals and false alarms increased with spatial uncertainty. The number of irrelevant stimuli, which were of equal sensory modality as the relevant stimuli, had no influence either on detection probability or on false alarms rate.Further attempt was made to systematize effects of motivation on vigilance performance in the detection model. With great values for hits and small costs for false alarms (risky motivation) there was an essentially higher detection pobability and a slightly higher false alarms rate than with small values for hits and high costs for false detections (cautious motivation). The probabilities of detections decreased under risky motivation and increased under cautious motivation as the watch prolonged, whereas the corresponding probabilities of false alarms showed no significant changes.

---

---

Teil I der Dissertation, die im Januar 1969 der Philosophischen Fakultät der Freien Universität Berlin vorgelegt wurde.     

On Proof Terms and Embeddings of Classical Substructural Logics

There is an intimate connection between proofs of the natural deduction systems and typed lambda calculus. It is well-known that in simply typed lambda calculus, the notion of formulae-as-types makes it possible to find fine structure of the implicational fragment of intuitionistic logic, i.e., relevant logic, BCK-logic and linear logic. In this paper, we investigate three classical substructural logics (GL, GLc, GLw) of Gentzen's sequent calculus consisting of implication and negation, which contain some of the right structural rules. In terms of Parigot's -calculus with proper restrictions, we introduce a proof term assignment to these classical substructural logics. According to these notions, we can classify the -terms into four categories. It is proved that well-typed GLx--terms correspond to GLx proofs, and that a GLx--term has a principal type if stratified where x is nil, c, w or cw. Moreover, we investigate embeddings of classical substructural logics into the corresponding intuitionistic substructural logics. It is proved that the Gödel-style translations of GLx--terms are embeddings preserving substructural logics. As by-products, it is obtained that an inhabitation problem is decidable and well-typed GLx--terms are strongly normalizable.     

Interpolation and amalgamation properties in varieties of equivalential algebras

Important positive as well as negative results on interpolation property in fragments of the intuitionistic propositional logic (INT) were obtained by J. I. Zucker in [6]. He proved that the interpolation theorem holds in purely implicational fragment of INT. He also gave an example of a fragment of INT for which interpolation fails. This fragment is determined by the constant falsum (), well known connectives: implication () and conjunction (), and by a ternary connective defined as follows: (p, q, r)= ^df (pq)(pr).Extending this result of J. I. Zucker, G. R. Renardel de Lavalette proved in [5] that there are continuously many fragments of INT without the interpolation property.This paper is meant to continue the research mentioned above. To be more precise, its aim is to answer questions concerning interpolation and amalgamation properties in varieties of equivalential algebras, particularly in the variety determined by the purely equivalential fragment of INT.     

Intensional Completeness in an Extension of Gödel/Dummett Logic

We enrich intuitionistic logic with a lax modal operator and define a corresponding intensional enrichment of Kripke models M = (W, , V) by a function T giving an effort measure T(w, u) {} for each -related pair (w, u). We show that embodies the abstraction involved in passing from true up to bounded effort to true outright. We then introduce a refined notion of intensional validity M |= p : and present a corresponding intensional calculus iLC-h which gives a natural extension by lax modality of the well-known G: odel/Dummett logic LC of (finite) linear Kripke models. Our main results are that for finite linear intensional models L the intensional theory iTh(L) = {p : | L |= p : } characterises L and that iLC-h generates complete information about iTh(L).Our paper thus shows that the quantitative intensional information contained in the effort measure T can be abstracted away by the use of and completely recovered by a suitable semantic interpretation of proofs.     

Codependence and Interdependence: Cross-Cultural Reappraisal of Boundaries and Relationality

This article explores the cross-cultural implications of the Western notion of boundaries and the Asian matrix of relationality for pastoral care ministry. Theorists of codependence (relationship addiction) show that American awareness of boundaries produces phobic attitudes toward the interwoven interplay of human relationships. Noting the underlying American cultural ideal (i.e., individual autonomy), evidences that boundaries are culturally defined are reviewed. Drawing upon the social-psychological concept of interdependence (Asian construal of self), the author proposes that there is a need for a different understanding of boundaries, since some Asian people have strikingly different construals of the self, of others, and of the interdependence of the two. Boundaries and relationality need to be in dialogue with each other so as to create relational boundaries that empower mutual relations within which we may come to experience the power of the relational, triune God.     

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.     

Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers p, p, where the propositional variables range over upward-closed subsets of the set of worlds in a Kripke structure. If the permitted accessibility relations are arbitrary partial orders, the resulting logic is known to be recursively isomorphic to full second-order logic (Kremer, 1997). It is shown that if the Kripke structures are restricted to trees of at height and width at most , the resulting logics are decidable. This provides a partial answer to a question by Kremer. The result also transfers to modal S4 and some Gödel–Dummett logics with quantifiers over propositions.     

Utility theory with inexact preferences and degrees of preference

a–b* c–d is taken to mean that your degree of preference for a over b is less than your degree of preference for c over d. Various properties of the strength-of-preference comparison relation * are examined along with properties of simple preferences defined from *. The investigation recognizes an individual's limited ability to make precise judgments. Several utility theorems relating a–b * c–d to u(a)–u(b) are included.