Generic generalized Rosser fixed points

To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical (Solovay-type) completeness theorem with respect to PA is obtained for LR. This paper supersedes: Franco Montagna, Extremely undecidable sentences and generic generalized Rosser's fixed points, Rapporto Matematico, No. 95, Siena, 1983.     

Interest in entering helping activities and self-disclosure to three targets on the Jourard self-disclosure scale.

Jourard's 40-item Self-disclosure Questionnaire was administered to 50 students in a training and selection program for a quasi-counseling position and 52 randomly selected students. Subjects indicated past disclosures to three target persons, parents, best friend, and stranger. Results indicated: highest disclosures were reported to best friends, lowest to strangers; subjects interested in the quasi-counseling position reported more disclosure than subjects not interested in this position; females reported more disclosure than males only to strangers.     

On the proof of Solovay's theorem

Solovay's 1976 completeness result for modal provability logic employs the recursion theorem in its proof. It is shown that the uses of the recursion theorem can in this proof be replaced by the diagonalization lemma for arithmetic and that, in effect, the proof neatly fits the framework of another, enriched, system of modal logic (the so-called Rosser logic of Gauspari-Solovay, 1979) so that any arithmetical system for which this logic is sound is strong enough to carry out the proof, in particular I₀+EXP. The method is adapted to obtain a similar completeness result for the Rosser logic.     

On Legal Order: Some Criticism of the Received View

The author discusses a number of topics related to the concept of legal order and the structure of legal orders. In particular, the following theses are challenged: (1) legal orders are sets of rules; (2) the criterion of membership to such sets is validity; (3) legal orders are dynamic sets; (4) legal orders are provided with a hierarchical configuration; (5) legal orders are coherent and consistent sets.     

A Proof of Standard Completeness for Esteva and Godo's Logic MTL

In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo's logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.     

Role-Reversal: A Somewhat Neglected Mirror of Heritages of the Past

Within a clinical–theoretical framework focused on transference–countertransference dynamics, the authors reflect on role-reversal and on the reasons it has been neglected for a long time in literature. This primitive inter- and intra-psychic process, often at the forefront in our practice, will be discussed in its principal aspects (patient's unconscious identification with parents’ psychic culture and concomitant dissociation of the infant part of the self), signaling how the enactment can be an inevitable element which, putting into play the past dissociated object relationships, becomes a source of mutative understanding.     

The body in the analytic session: focusing on the body-mind link

The author focuses on the importance of the body in the analysis of patients with a defect of thinking. In many cases this defect is not fully evident until concrete and bodily aspects begin to emerge in sessions. In the absence of awareness of the body, the patient's personality is deprived of the main source of emotional stimulus, and mental growth is consequently paralysed. Hence the body is considered the starting point of mental processes and a progressive source of experience requiring the exercise of responsibility and thought. To indicate the theoretical background to this essentially clinical paper, some hypotheses about the body-mind link are very briefly considered. Specific emphasis is given to the development of Freud-Klein-Bionian theories about this subject and to some of Ferrari 's recent proposals. The author discusses four clinical cases, emphasizing the encounter with the body in analysis and its integration in emotional and thinking processes. The analyst's function in such cases is conceived mainly as that of midwife for a dialogue between the analysand 's body and mind.     

DISCREPANCY IN FUNCTIONAL ANALYSIS RESULTS ACROSS TWO SETTINGS: IMPLICATIONS FOR INTERVENTION DESIGN

Functional analyses that were conducted in two settings (playground and classroom) indicated that problem behavior was sensitive to adult attention on the playground and tangible items in the classroom. Attention‐ and tangible‐based interventions were designed based on the results from each of the assessment environments and were compared. The attention‐based intervention was more effective on the playground, and the tangible‐based intervention was more effective in the classroom. Findings are discussed in regards to the generality of functional analysis results across environments.     

Evidence with uncertain likelihoods

An agent often has a number of hypotheses, and must choose among them based on observations, or outcomes of experiments. Each of these observations can be viewed as providing evidence for or against various hypotheses. All the attempts to formalize this intuition up to now have assumed that associated with each hypothesis h there is a likelihood function  μ _h , which is a probability measure that intuitively describes how likely each observation is, conditional on h being the correct hypothesis. We consider an extension of this framework where there is uncertainty as to which of a number of likelihood functions is appropriate, and discuss how one formal approach to defining evidence, which views evidence as a function from priors to posteriors, can be generalized to accommodate this uncertainty.