A Sound and Complete Tableau Calculus for Reasoning about only Knowing and Knowing at Most

We define a tableau calculus for the logic of only knowing and knowing at most ON, which is an extension of Levesque's logic of only knowing O. The method is based on the possible-world semantics of the logic ON, and can be considered as an extension of known tableau calculi for modal logic K45. From the technical viewpoint, the main features of such an extension are the explicit representation of "unreachable" worlds in the tableau, and an additional branch closure condition implementing the property that each world must be either reachable or unreachable. The calculus allows for establishing the computational complexity of reasoning about only knowing and knowing at most. Moreover, we prove that the method matches the worst-case complexity lower bound of the satisfiability problem for both ON and O. With respect to [22], in which the tableau calculus was originally presented, in this paper we both provide a formal proof of soundness and completeness of the calculus, and prove the complexity results for the logic ON.     

What Is the Stuff We Are Made Of? The Body and the Body–Mind Relationship in Early Development: A Discussion of Thomson-Salo and Paul’s “Understanding the Sexuality of Infants”

Acknowledging the importance of the baby’s sensuality and sexuality in the infant–parent dyad, the author emphasizes the role of the body as the basis of the person’s being. The baby needs to develop, through his mother’s reverie, an internal capability to cool down his bodily turmoil. Early bonding requires from the mother a capacity to discriminate the sensual from the sexual in order to help the baby to contain his invasive sensory experience. This area of exploration is deeply related with the body–mind dissociation we often meet in our most difficult adult patients.     

The effect of inpatient cognitive-behavioral therapy for eating disorders on temperament and character

Personality traits seem to have an important role in the development, clinical expression, course, and treatment response in eating disorders (EDs). We investigated the effects of an inpatient cognitive-behavioral treatment (CBT) on the measures of temperament and character (Temperament and Character Inventory (TCI)) in 149 consecutive patients with EDs. Baseline assessment included anthropometry, the Eating Disorder Examination (EDE), the Beck Depression Inventory (BDI), and the TCI. Treatment was based on the transdiagnostic cognitive behavior theory and treatment of ED, adapted for an inpatient setting. Treatment effects were tested by paired ANOVA, adjusted for covariates. No effects were found on Novelty Seeking, Reward Dependence, and Cooperativeness. Harm Avoidance (F=18.17, p<0.001), Persistence (F=7.71, p=0.006), Self-Directedness (F=27.55, p<0.001), and Self Transcendence (F=16.38, p<0.001) significantly changed after treatment. Changes in TCI scores were wholly dependent on the changes in BDI and EDE, and independent of ED diagnosis and behavior and of BMI changes. We conclude that in ED, a few scales of both temperament and character are significantly modified by CBT, in relation to changes in psychopathology and depression, independently of nutrition. These results are relevant for future studies based on TCI.     

The picture superiority effect in recognition memory: A developmental study using the response signal procedure

Items studied as pictures are better remembered than items studied as words even when test items are presented as words. The present study examined the development of this picture superiority effect in recognition memory. Four groups ranging in age from 7 to 20 years participated. They studied words and pictures, with test stimuli always presented as words, and time to respond to test stimuli was manipulated. The picture superiority effect showed a clear developmental trend. In the condition in which participants had ample response time, a significant picture superiority effect appeared in all but the youngest group. With short response time, a significant picture superiority effect appeared only among 11- and 20-year-old groups, while a significant reverse of the picture superiority effect was detected in the youngest group. These results were interpreted as suggesting that different memory processes (familiarity and recollection) contribute differently to the picture superiority effect at different stages of development.     

Control and synchronization of laser bursting and its implications in neuroscience

We present experimental and numerical evidence of control and synchronization of burst events in modulated CO₂ lasers. Bursts appear randomly in each laser as trains of large amplitude spikes intercalated by a small amplitude chaotic regime. Experimental data and model display the frequency locking of bursts in a suitable interval of coupling strengths. The analogy with neuronal bursting will also be discussed in view of the role of bursting synchronization in cognitive functions.     

New knowledge for old credences: Asymmetric information search about in-group and out-group members

Three experiments examined how people gather information on in-group and out-group members. Previous studies have revealed that category-based expectancies bias the hypothesis-testing process towards confirmation through the use of asymmetric-confirming questions (which are queries where the replies supporting the prior expectancies are more informative than those falsifying them). However, to date there is no empirical investigation of the use of such a question-asking strategy in an intergroup context. In the present studies, participants were asked to produce (Study 1) or to choose (Studies 2 and 3) questions in order to investigate the presence of various traits in an in-group or an out-group member. Traits were manipulated by valence and typicality. The results revealed that category-based expectancies do not always lead to asymmetric-confirming testing: whereas participants tended to ask questions that confirmed positive in-group and negative out-group stereotypical attributes, they used a more symmetric strategy when testing for the presence of negative in-group or positive out-group traits. Moreover, Study 3 also revealed a moderation effect of in-group identification. The findings point to the role played by motivational factors associated with preserving a positive social identity. Possible consequences of these hypothesis-testing processes in preserving a positive social identity for intergroup relations are discussed.     

Rapid and persistent suppression of feeding behavior induced by sensitization training in Aplysia

In Aplysia, noxious stimuli induce sensitization of defensive responses. However, it remains largely unknown whether such stimuli also alter nondefensive behaviors. In this study, we examined the effects of noxious stimuli on feeding. Strong electric shocks, capable of inducing sensitization, also led to the suppression of feeding. The use of multiple training protocols revealed that the time course of the suppression of feeding was analogous to that of sensitization. In addition, the suppression of feeding was present only at the time points in which sensitization was expressed. These results suggest that, in Aplysia, noxious stimuli may produce concurrent changes in neural circuits controlling both defensive and nondefensive behaviors.     

Shame in Relation to the Body,Sex, and Death: A Clinical Exploration of the Psychotic Levels of Shame

This paper explores the topic of shame in relation to the body, viewing it as the expression of a basic conflict that threatens to obstruct the growth of personality by breaking up the body-mind relationship. The paper presents the psychoanalysis of a psychotic patient whose paranoid shame was associated with the delusion of being noticed. During this analysis, the patient's bodily manifestations and hatred were acknowledged as related to his getting closer to an authentic existence of his own. Particular emphasis is given to the analyst's involvement in the analytic process, in the form of both bodily countertransference and dream activation. The containment and working-through of concrete aspects of hatred and death anxiety, together with the analysand's recognizing the value of sensory perception of his own body, fostered an abatement of symptoms, including his tendency to flee and to attempt to burst the confines of his body. The activation of a connection with the body seems a prerequisite to the development of abstract thinking. The paper describes similar dynamics in two vignettes of less dramatic clinical cases.     

Analytic Calculi for Circular Concepts by Finite Revision

The paper introduces Hilbert– and Gentzen-style calculi which correspond to systems ${\mathsf{C}_{n}}$ from Gupta and Belnap [3]. Systems ${\mathsf{C}_{n}}$ were shown to be sound and complete with respect to the semantics of finite revision. Here, it is shown that Gentzen-style systems ${\mathsf{GC}_{n}}$ admit a syntactic proof of cut elimination. As a consequence, it follows that they are consistent.