FOIL Axiomatized

In an earlier paper, [5], I gave semantics and tableau rules for a simple firstorder intensional logic called FOIL, in which both objects and intensions are explicitly present and can be quantified over. Intensions, being non-rigid, are represented in FOIL as (partial) functions from states to objects. Scoping machinery, predicate abstraction, is present to disambiguate sentences like that asserting the necessary identity of the morning and the evening star, which is true in one sense and not true in another.In this paper I address the problem of axiomatizing FOIL. I begin with an interesting sublogic with predicate abstraction and equality but no quantifiers. In [2] this sublogic was shown to be undecidable if the underlying modal logic was at least K4, though it is decidable in other cases. The axiomatization given is shown to be complete for standard logics without a symmetry condition. The general situation is not known. After this an axiomatization for the full FOIL is given, which is straightforward after one makes a change in the point of view.This paper is a version of the invited talk given by the author at the conference Trends in Logic III, dedicated to the memory of A. MOSTOWSKI, H. RASIOWA and C. RAUSZER, and held in Warsaw and Ruciane-Nida from 23rd to 25th September 2005.     

Hidden shame

Shame dynamics, after decades of neglect, reappeared in psychoanalytic thinking with increasing prevalence in the last thirty years. Shame that is hidden is an aspect of complex clinical phenomenology that is particularly likely to be missed and hidden further by partial psychoanalytic explanations that drive shame more and more from view. Shame is often hidden theoretically by formulations limiting conflict to conflict between drives or impulses and something opposing them. By contrast, the incompatible idea model propounded by Freud in Studies on Hysteria emphasizes awareness incompatible with the dictates of conscience, and hence is broader in scope and closer to actual experience. Although shame and guilt arise developmentally earlier than does a true sense of morality, these emotions and their unconscious variants become entwined with the individual's sense of morality as development proceeds. The dynamics of shame and guilt are considerably more complex than their phenomenology as overt emotions. Shame emphasizes weakness, vulnerability, and the likelihood of rejection--so much so that its acknowledgment often generates more shame. Guilt, however, since it is action- and power-oriented, often obscures shame and so defends against it.     

The impossibility of forgiveness: shame fantasies as instigators of vengefulness in Euripides' Medea

Unforgivability in Euripides' Medea is explored in the context of intrapsychic forces favoring disruption and narcissistic withdrawal and precluding the influence of forces favoring repair of bonds, not necessarily to the betrayer, but to the social and moral order. The forces underlying disruption and withdrawal operate to such an extent that forgiveness and cooperation with the social order become impossible. Euripides' literary insights are explored with the purpose of deepening and extending the psychoanalytic understanding of shame, shame fantasies, projective identification, and vengefulness as they bear on the problem of forgiveness. Three types of shame fantasy are pertinent to the transformation of Medea's mental state from one of anguished and disjointed shame to diabolical vengefulness: anticipatory paranoid shame, the projective identification of shame, and withdrawal as a defense against shame.     

Single- versus dual-process models of lexical decision performance: insights from response time distributional analysis

This article evaluates 2 competing models that address the decision-making processes mediating word recognition and lexical decision performance: a hybrid 2-stage model of lexical decision performance and a random-walk model. In 2 experiments, nonword type and word frequency were manipulated across 2 contrasts (pseudohomophone-legal nonword and legal-illegal nonword). When nonwords became more wordlike (i.e., BRNTA vs. BRANT vs. BRANE), response latencies to nonwords were slowed and the word frequency effect increased. More important, distributional analyses revealed that the Nonword Type = Word Frequency interaction was modulated by different components of the response time distribution, depending on the specific nonword contrast. A single-process random-walk model was able to account for this particular set of findings more successfully than the hybrid 2-stage model.     

Committing Altruism under the Cloak of Self-Interest: The Exchange Fiction

Two field studies tested the hypothesis that people's willingness to help a charitable organization is greater when the act is presented as an economic transaction than when it is presented as an act of charity. In Study 1 participants donated more money to a charity when offered a product in exchange for their donation, even though the product itself held little appeal for them. Participants' donation rates were also more responsive to the level of need of the victim group when they were offered a product in exchange for their donation, consistent with the idea that the exchange provided psychological cover for their act of compassion. In Study 2 participants' willingness to purchase a product from a charitable organization increased the more of a bargain the price was purported to be, but only when the victims' need was high. The source of people's desire to not reveal or even to recognize the full extent of their prosocial motivation is discussed, as are the implications of the exchange fiction for charity appeals.     

The influence of belief that a car crashed on witnesses' estimates of civilian and police car speed

The authors performed 2 experiments investigating the influence of the belief that a vehicle crashed on witnesses' estimates of the vehicle's speed. In Experiment 1, participants saw a video of a civilian car being driven, after which they were assigned to 1 of 2 conditions. The 1st group was told that the vehicle subsequently crashed; the 2nd group was not told that the vehicle crashed. The results indicted no differences between the 2 groups on a number of factors, including estimates of the vehicle's speed. Experiment 2 was identical except that the video showed a police car using flashing lights and sirens. Participants who had been told that the car had crashed overestimated speed, the likelihood of a crash, and the likelihood of someone being killed. Participants who were not told that the vehicle crashed estimated the speed of the vehicle accurately. Confidence in their estimates of speed was not significantly different between the 2 groups. Results are discussed with regard to police investigations of road accidents.     

A GENERALIZED CONCEPTION OF TEXT APPLIED TO BOTH SCIENTIFIC AND RELIGIOUS OBJECTS

Abstract. The idea of a text is reviewed and reconstructed to facilitate the application of concepts of interpretation to the objects analyzed in the natural sciences, as well as to objects analyzed in religion and literature. Four criteria—-readability, formality, material transcendence, and retrievability—-are proposed as the basis for a generalized conception of text. Objects in both religion and science, not previously thought to be texts, are shown to be included in the new definition and therefore to be potential subjects of developing methods of interpretation.     

Flexibility and sharing of childcare duties in black families

With the increasing number of Black mothers participating in the labor force, rearing children without fathers present, and relying on extended family for support the question of the nature of role-flexibility and sharing in the family is raised. Sixty-four families participated in an examination of the relative influence of one- and two-parent Black families and the proximity of the grandmother on self-report measures of (a) household maintenance duties, (b) childcare duties, and (c) parental punishment behaviors. Parents, grandmothers, and at least one child between the ages of 7 and 14 years completed three types of self-report measures. Although the results indicated that mothers, fathers, and grandmothers were nominated as consistently participating in childcare and household maintenance duties, mothers were nominated for more than 60% of the childcare and household tasks. Moreover mothers and not fathers used the full range of discipline practices including corporal punishment. The hypothesis regarding role-sharing in Black household was not supported. Black mothers, like mothers in general, are primarily responsible for the maintenance of the house and the care of children.The preparation of this review was supported by Carter G. Woodson Institute for Afro-American and African Studies, National Science Foundation Grant PRM-8210411, Rockefeller and Spencer Foundations grants.     

Narcissistic vulnerability in a group for psychiatrically hospitalized fathers

Three short-lived groups for psychiatrically hospitalized fathers comprise one aspect of a greater effort to study such men. Most of the fathers held a tenuous position within, or had been ejected from, their families. Their symptoms were often self-defeating efforts to regulate interpersonal distance. Many felt themselves to be too defective or unworthy to merit respect or authority. Shame and depression flooded the sessions and were rarely offset by hopefulness. On follow-up the men acknowledged the importance of paternal dysfunction but felt unable to tolerate further exploration. Further group treatment might employ a less focused format.