Graded modalities. I

We study a modal system ¯T, that extends the classical (prepositional) modal system T and whose language is provided with modal operators M inn (nN) to be interpreted, in the usual kripkean semantics, as there are more than n accessible worlds such that.... We find reasonable axioms for ¯T and we prove for it completeness, compactness and decidability theorems.The authors are very indebted to the referee for Ms consideration and appreciation of their work.     

Chapter 4. Entry into the Field

SUMMARY

In this chapter, I describe the nursing home setting of this study and my experience in recruiting the study volunteers, including the problems and resistance I had to overcome in gaining their permission to be interviewed. It should be noted that when describing the meetings, I refer to the volunteers generally as “Ms.” or “Woman,” as I had not yet gained their consent. When I refer to the volunteers as “the girls,” it is in a specific context in relation to how their supervisors referred to them or how they were referring to each other. In subsequent chapters, I use pseudonyms for the volunteers.     

Caught in a Lie: The Rise and Fall of a Respectable Deviant

ABSTRACT

In this study, we draw on the concept of respectable deviance to understand the journey into deviance – from her rise as an alternative health expert through to her public disgrace – of Belle Gibson, a young Australian blogger, app publisher, and alternative medicine advocate who falsely claimed to have cured cancer without reverting to science-based medicine. Through the rigorous analysis of a series of media and documentary sources where Ms Gibson provided autobiographical accounts of her life experience, the argument is presented that the promotion of one’s self as a health expert and subsequently being outed as a fraudster encourages techniques of neutralization and particular presentations of self to respond and manage negative labeling and the stigma attached.     

A Survey of Dynamic Principles Governing Memory

A triadic coalition game was structured as an achievement-oriented situation by inclusion of a skill-based game task. Deductions regarding coalition partner choices were derived from Atkinsons' model of achievement motivation with the expectation that achievement-oriented players (Ms < Maf) would prefer moderate-risk strategy options while failure-avoidant players (Maf < Ms) would avoid moderate-risk strategies.

Observation was made of the coalition partner preferences of 126 college sophomore males and females who played the game in same-sex triads. The Ss were categorized into motive configuration groups on the basis of scores derived from the Test of Insight and the Test Anxiety Questionnaire.

The results were supportive of the hypotheses, since the Ms < Maf group chose moderate-risk coalition options more frequently than did the Maf < Ms group. By contrast the Maf < Ms group chose low-risk strategies and tended to avoid moderate-risk coalition options. While other coalition-game studies have shown differences in strategy behavior between males and females, sex differences did not occur in the present game. The lack of sex differences was explained by the high level of concern for winning among members of both sexes generated by the achievement nature of the game task.     

When Russians Come to Therapy

In this article, a California-based Russian-speaking therapist, with experience working with Russian clients, both in Russia and with immigrants in the United States, shares her knowledge and experiences and introduces the culture and the specific traits and beliefs that the Russian clients brought with them to the United States. Dr. Shain, a psychotherapist who has had many years of experience working with Russian-speaking immigrant families at San Fernando Valley Community Mental Health Center, Inc, California, provides an extensive literature review and results of his research. Ms. Leipzig points out the importance of developing a flexible method while working with Russian clients and cites an experience of Daniel Panitz, a prominent New York clinician and program developer, whose efforts brought significant understanding in selecting therapeutic methods for Russian immigrant clients.     

Femininity discovered: Dreams of two women

[For reasons of space and because Ms Gerry's “Testament” was written with friends especially in mind, the original text has been abridged with the approval of Mary Nunn, executor of Ms Gerry's literary estate-Ed.]

[Peggy Gerry's life ended June 13, 1976-Ed.]     

How to blow the Whistle and still have a career afterwards

Filing charges of scientific misconduct can be a risky and dangerous endeavor. This article presents rules of conduct to follow when considering whether to report perceived misconduct, and a set of step-by-step procedures for responsible whistleblowing that describe how to do so once the decision to report misconduct has been made. This advice is framed within the university setting, and may not apply fully in industrial settings. Ms. Gunsalus, an attorney, has been responsible for a wide range of compliance issues and academic policy matters at her university including responding to allegations of scientific misconduct. She served on the United States Commission on Research Integrity and spent six years on the AAAS Committee on Scientific Freedom and Responsibility, four of them as chair. An earlier version of this paper was presented at the symposium entitled “Damned If You Do, Damned If You Don’t: What the Scientific Community Can Do About Whistleblowing” held during the Annual Meeting of the AAAS, Seattle, Washington, 15 February, 1997.     

Mirroring Activity in the Brain and Movement Determinant in the Rorschach Test

Human movement (M) responses to the Rorschach are related to cognitive sophistication, creativity, and empathy. Recent studies also link Ms to EEG-mu suppression, an index of mirroring activity in the brain. In this article, we further investigate the link between Ms and mu suppression by testing some clinical interpretative distinctions. Previously collected EEG data recorded during the administration of the Rorschach were reanalyzed. We hypothesized that (a) among several responses investigated, only M would be associated with mu suppression, and (b) Ms with active movement, ordinary form quality, or whole human figures would be most strongly associated with mu suppression. Hypothesis 1 was fully confirmed, thus supporting that the traditional interpretation of M has a neurobiological foundation. Hypothesis 2 was partially confirmed; that is, active Ms were associated with mu suppression more strongly than passive Ms (p < .05), but no other significant differences emerged. Clinical implications are discussed.     

On A Proportionality Analysis of Syllogistic Private Reasoning

Syllogisms like Barbara, “If all S is M and all M is P, then all S is P”, are here analyzed not in terms of the truth of their categorical constituents, “all S is M”, etc., but rather in terms of the corresponding proportions, e.g., of Ss that are Ms. This allows us to consider the inferences’ approximate validity, and whether the fact that most Ss are Ms and most Ms are Ps guarantees that most Ss are Ps. It turns out that no standard syllogism is universally valid in this sense, but special ‘default rules’ govern approximate reasoning of this kind. Special attention is paid to inferences involving existential propositions of the “Some S is M” form, where it is does not make sense to say “Almost some S is M”, but where it is important that in everyday speech, “Some” does not mean “At least one”, but rather “A not insignificant number”.     

Food-related stimuli increase desire to eat in hungry and satiated human subjects

In the present study, the effect of food-related cues on the desire to eat chocolate in hungry and satiated subjects was investigated. Subjects (n=46) were randomly assigned to either a hungry or satiated group and then assigned to a group receiving one of the following stimuli: taste (2 M&Ms), sight (a photograph of M&Ms), cognition (a passage describin M&Ms), or control (no stimulus). In each testing session, subjects rated their desire to eat chocolate before and after the 90-s presentation of the particular stimulus. Each subject was then given a half pound of M&Ms so that actual consumption could also be measured. Results indicated that, following the presentation of the sight and taste stimuli, the subjects’ desire to eat chocolate was significantly increased. Furthermore, no differences in chocolate consumption due to state of hunger or type of food-related stimulus presented were found.     

Food-related stimuli increase desire to eat in hungry and satiated human subjects

In the present study, the effect of food-related cues on the desire to eat chocolate in hungry and satiated subjects was investigated. Subjects (n=46) were randomly assigned to either a hungry or satiated group and then assigned to a group receiving one of the following stimuli: taste (2 M&Ms), sight (a photograph of M&Ms), cognition (a passage describin M&Ms), or control (no stimulus). In each testing session, subjects rated their desire to eat chocolate before and after the 90-s presentation of the particular stimulus. Each subject was then given a half pound of M&Ms so that actual consumption could also be measured. Results indicated that, following the presentation of the sight and taste stimuli, the subjects’ desire to eat chocolate was significantly increased. Furthermore, no differences in chocolate consumption due to state of hunger or type of food-related stimulus presented were found.     

Ms. and the manager: A tale of two stereotypes

Recent research on the Ms. stereotype suggests a potentially important exception to the strong link between gender and managerial stereotypes observed in the 1970s. Specifically, we hypothesized that a woman who prefers “Ms.” as her title of address would be seen by perceivers of both sexes as more similar in the “requisite” traits of a successful, middle manager than would a woman who prefers a traditional title of address for herself. These hypotheses were tested by having respondents rate a “successful, middle manager” or other stimulus persons varying in titles of address, sex, and marital status. Correlational analyses of respondents' ratings of stimulus persons yielded strong support for the hypotheses. That is, a woman preferring Ms. as her title of address was seen by adult perceivers of both sexes as possessing the “requisite” personality characteristics of a successful, middle manager; whereas a traditionally titled woman was not. Implications of these findings are discussed.     

The children of Mexican-American migrant workers: A population at risk?

The present study assessed intellectual, academic, and emotional strengths and weaknesses for a group of Mexican-American children of migrant farm workers. In order to test the vulnerability hypothesis, the test profiles of these children were contrasted with those of two groups of black children with similar demographic makeup. The children of one group (Clinical Black) had been referred previously for a psychological consultation while the children of the other (Nonreferred Black) had not. Across dependent measures, between-groups contrasts tended to describe the scores of the Migrant children as similar to those of the Clinical Black children and significantly below those of the Nonreferred Black children. The findings suggested specific intellectual, academic, and emotional vulnerabilities of the Migrant children and demonstrated the need to develop ameliorative programs for these children.The authors wish to thank the staff of C & Y, University of Virginia Hospital, especially Ms. Deborah Johnson and Ms. Suzanne Canale, whose cooperation and assistance made this project possible.     

A generalization of coefficient alpha

It is well known that coefficient alpha can be used to estimate the reliability of a test even when the test is split into several parts. It is also known that alpha can severely underestimate test reliability when the several parts have an unequal number of items. A gernalization of alpha,β _k, is proposed to correct this defect. Several properties ofβ _k are also presented. The author gratefully acknowledges the assistance of Dr. Leonard Feldt for reviewing an earlier draft of this paper, and Ms. Rita Karwacki Bode and Mr. Dave Mansell for the analysis of the experimental data reported here. The comments of an unknown referee which contributed substantially to the clarity of the presentation are also gratefully acknowledged.     

Digital communities of practice: Investigation of actionable knowledge for local information networks

The article explores integration of knowledge-enabling digital technology into community functions through the development of local Digital Communities of Practice. This analysis includes both general considerations—in terms of domain, community, and practice dimensions—as well as results from an exploratory research project in Minnesota. The domain is described as integrated deployment of virtual services (education, human services, government) in local communities; the community is comprised of the local stakeholders and residents that would use or benefit from such services; and the practice is considered as a decision-making processes for designing and deploying these services. The paper concludes with research and policy considerations for providing an enduring source of knowledge about local virtual services, needs, and solutions. His research focuses on the evaluation of information technologies as they are planned and deployed in infrastructures, organizations and community systems. This research has been reported in Information Systems Frontiers, Communications of the ACM, Journal of Urban Technology, and Policy Studies Journal. Dr. Horan has also written two books, Digital Places (2000) and Digital Infrastructures (2004, co-edited with Rae Zimmerman). He has both his Masters and Doctorate degrees from the Claremont Graduate University and has held visiting scholar positions at MIT, Harvard, UCLA, and University of Minnesota. Kimberly Wells is an organizational psychologist currently working as an independent consultant. Since 1996 her research and work have converged upon issues involved with assessing the influence of technology in organizational and community settings. Ms. Wells is presently completing her doctorate at Claremont Graduate University, California. Her dissertation explores processes for improving the knowledge-creating capacity of virtual teams. Ms. Wells has a Masters degree in Organizational Behavior, Claremont Graduate University, and a Masters degree in Anthropology from the College of William and Mary, Virginia.     

An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency

In this paper, I present the modal adaptive logic AJ ^r (based on S5) as well as the discussive logic D ^r ₂ that is defined from it. D ^r ₂ is a (non-monotonic) alternative for Jaśkowski’s paraconsistent system D ₂ . Like D ₂ , D ^r ₂ validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, D ^r ₂ moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D ₂ , this does not require the introduction of discussive connectives. It is argued that this has clear advantages with respect to one of the main application contexts of discussive logics, namely the interpretation of discussions.*Research for this paper was indirectly supported by the Flemish Minister responsible for Science and Technology (contract BIL1/8). The author is indebted to Leon Horsten, Jo?o Marcos, Jerzy Perzanowski, Liza Verhoeven, and especially to the referee and to Diderik Batens for comments and suggestions.     

The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F,S4R,S4M and G

The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5. Presented by Jacek Malinowski     

A 2-categorial Generalization of the Concept of Institution

After defining, for each many-sorted signature Σ = (S, Σ), the category Ter(Σ), of generalized terms for Σ (which is the dual of the Kleisli category for \mathbb T_S{\mathbb {T}_{\bf \Sigma}}, the monad in Set ^S determined by the adjunction T_S \dashv G_S{{\bf T}_{\bf \Sigma} \dashv {\rm G}_{\bf \Sigma}} from Set ^S to Alg(Σ), the category of Σ-algebras), we assign, to a signature morphism d from Σ to Λ, the functor d_à{{\bf d}_\diamond} from Ter(Σ) to Ter(Λ). Once defined the mappings that assign, respectively, to a many-sorted signature the corresponding category of generalized terms and to a signature morphism the functor between the associated categories of generalized terms, we state that both mappings are actually the components of a pseudo-functor Ter from Sig to the 2-category Cat. Next we prove that there is a functor Tr^Σ, of realization of generalized terms as term operations, from Alg(Σ) × Ter(Σ) to Set, that simultaneously formalizes the procedure of realization of generalized terms and its naturalness (by taking into account the variation of the algebras through the homomorphisms between them). We remark that from this fact we will get the invariance of the relation of satisfaction under signature change. Moreover, we prove that, for each signature morphism d from Σ to Λ, there exists a natural isomorphism θ ^d from the functor Tr^L °(Id ×d_à){{{\rm Tr}^{\bf {\bf \Lambda}} \circ ({\rm Id} \times {\bf d}_\diamond)}} to the functor Tr^S °(d^* ×Id){{\rm Tr}^{\bf \Sigma} \circ ({\bf d}^* \times {\rm Id})}, both from the category Alg(Λ) × Ter(Σ) to the category Set, where d* is the value at d of the arrow mapping of a contravariant functor Alg from Sig to Cat, that shows the invariant character of the procedure of realization of generalized terms under signature change. Finally, we construct the many-sorted term institution by combining adequately the above components (and, in a derived way, the many-sorted specification institution), but for a strict generalization of the standard notion of institution.     

Activities of the member societies

Abstract

The impact and legacy of Karen Horney 1885-1952

The William Alanson White Institute of Psychiatry, Psychoanalysis and Psychology White Institute Elects New Editor

News from the Association for the Advancement of Psychoanalysis, New York, USA

News from Brazil:

Conferences

The Karen Horney Psychoanalytic Institute and Center

The William Alanson White Institute

The VII Scientific Conference of IFPS was held in Munich, August 26-29th 1992. Theme: Psychoanalysis between conformity and opposition.

The V Nordic Conference for members from IFPS Societies in Finland, Norway and Sweden will be held near Stockholm, January 23-24, 1993.     

Proof theory and mathematical meaning of paraconsistent C-systems

A proof-theoretic analysis and new arithmetical semantics are proposed for some paraconsistent C-systems, which are a relevant sub-class of Logics of Formal Inconsistency (LFIs) introduced by W.A. Carnielli et al. (2002, 2005) [8] and [9]. The sequent versions BC, CI, CIL of the systems bC, Ci, Cil presented in Carnielli et al. (2002, 2005) [8] and [9] are introduced and examined. BC, CI, CIL admit the cut-elimination property and, in general, a weakened sub-formula property. Moreover, a formal notion of constructive paraconsistent system is given, and the constructivity of CI is proven. Further possible developments of proof theory and provability logic of CI-based arithmetical systems are sketched, and a possible weakened Hilbert?s program is discussed. As to the semantical aspects, arithmetical semantics interprets C-system formulas into Provability Logic sentences of classical Arithmetic PA (Artemov and Beklemishev (2004) [2], Japaridze and de Jongh (1998) [19], Gentilini (1999) [15], Smorynski (1991) [22]): thus, it links the notion of truth to the notion of provability inside a classical environment. It makes true infinitely many contradictions B∧¬B and falsifies many arbitrarily complex instances of non-contradiction principle ¬(A∧¬A). Moreover, arithmetical models falsify both classical logic LK and intuitionistic logic LJ, so that a kind of metalogical completeness property of LFI-paraconsistent logic w.r.t. arithmetical semantics is proven. As a work in progress, the possibility to interpret CI-based paraconsistent Arithmetic PACI into Provability Logic of classical Arithmetic PA is discussed, showing the role that PACIarithmetical models could have in establishing new meta-mathematical properties, e.g. in breaking classical equivalences between consistency statements and reflection principles.