Religion and motion pictures' effects on reversing suicidal intentions: two case studies

Case studies of two veterans contemplating suicide are described. Their suicidal intentions subsided as a result of a rekindling of their Christian faith. Although their Christian beliefs were awakened following their attendance at a motion picture, they both attributed the remission of their suicidal intentions to the practices of their Christian faith in their lives. Despite the favorable outcome, these findings are not generalizable to other cases.     

Diagonalisation and Church's Thesis: Kleene's Homework

In this paper we will discuss the active part played by certain diagonal arguments in the genesis of computability theory.

These enigmatical words by Kleene were our point of departure:

When Church proposed this thesis, I sat down to disprove it by diagonalizing out of the class of the λ–definable functions. But, quickly realizing that the diagonalization cannot be done effectively, I became overnight a supporter of the thesis. (1981, p. 59)     

Alonzo church:his life,his work and some of his miracles

This paper is dedicated to Alonzo Church, who died in August 1995 after a long life devoted to logic. To Church we owe lambda calculus, the thesis bearing his name and the solution to the Entscheidungsproblem.His well-known book Introduction to Mathematical LogicI, defined the subject matter of mathematical logic, the approach to be taken and the basic topics addressed. Church was the creator of the Journal of Symbolic Logicthe best-known journal of the area, which he edited for several decades

This paper is in three sections. The first is written in journalistic style:the story of the life of AlonzoChurch is told, including some of the many anecdotes I have collected from different sources. The secondpart is devoted to his work, but is far from being exhaustive. The last part is more original; in it I attempto show that Church’s great discovery was lambda calculus and that his remaining contributions weremainly inspired afterthoughts in the sense that most of his contributions as well as some of his pupils derivefrom that initial achievement. Included are Kleene’s Recursion Theory and the completeness proof ofHenkin. I have added an appendix in which is presented the typed lambda calculus and a proof of theundecidability of first-order logic     

Development of a questionnaire to assess user satisfaction of a penal mediation program (CSM-P)

The aim of the present study is to elaborate an instrument (CSM-P), valid for victims and aggressors, to assess satisfaction of individuals participating in a penal mediation program (VOM). The instrument was administered to a sample of 213 subjects, randomly chosen from the pool of participants in a VOM program of Catalonian Justice Department. Data analysis of the questionnaire shows an internal consistency of .88 (Cronbach's alpha). The dimensionality of the questionnaire is structured in a single factor that accounts for 61.45% of the variance. The instrument has proven its utility for assessing the satisfaction of the participants in a penal mediation program. Validation of the instrument in similar populations should be performed and it should be adapted to other contexts where assessing user satisfaction in a mediation program is necessary.     

Happiness Components and their Attainment in Old Age: A Cross-Cultural Comparison Between Italy and Cuba

This study investigates the subjective representation of the components of happiness and their attainment in older adults from two countries with different economic well-being and cultural orientations: Italy and Cuba. Two hundred and nine Italians and 186 Cubans completed a questionnaire. Respondents were asked to write down at least five components that made them feel happy. A measure of overall happiness was also obtained by asking the subjects to rate to what extent they had attained each component in their life and calculating their mean. The results showed that there was agreement amongst the participants over their choice of components used to represent happiness; however, there were cross-cultural differences regarding the frequency of citation and importance of these components. The fact of living in Italy or Cuba was not a predictor of overall happiness, despite the difference in national income. This is in line with previous research highlighting how subjective well-being does not depend wholly on economic well-being.     

Intra-psychic conflicts and parent-child interactions in brief therapeutic interventions

Brief Therapeutic Intervention (BTI) emphasizes interpretations of the dynamics and conflicts that underlie parent-child relationships and sharing of such interpretations with parents. BTI is most effective in resolving familial conflicts that involve functional or behavioral disorders. It is less effective for severe personality disorders. Clinical material illustrates instances in which BTI led to successful resolution of problems that involved familial interactions, in which it was of limited effectiveness, and in which it was contraindicated. In part, the success of BTI is related to various aspects of parental psychic life, in particular, parental bereavement, projection, and counter-projection.     

A lexical database for spanish-speaking children

This article presents a computerized database of words for use in experimental research in cognitive psychology and psycholinguistics. The data are based on the oral vocabulary of 200 Spanish-speaking children aged from 11.16 to 49.16 months. The database includes 15,428 Spanish words (tokens) and comprises 1,259 different words (types). It provides information about age of acquisition, orthography, grammar, semantics, and frequency.     

Parental Attitudes,Attachment Styles,Social Networks,and Psychological Processes in Autism Spectrum Disorders: A Cross-Cultural Perspective

In this study the authors used a cross-cultural approach to examine parental attitudes, attachment styles, social networks, and some of the psychological processes involved in Autism Spectrum Disorders (ASD). Fifty-two children (aged 4–11 years) took part in the study: 30 Italians (15 with ASD and 15 controls) and 22 Cubans (11 with ASD and 11 controls). Findings indicated significant differences between the two cultural groups in terms of the structure of the children's social network and parental attitudes toward their children. However, the mother–child attachment relationship and cognitive and emotional functioning of the study participants were independent of culture.     

Completeness: from Gödel to Henkin

This paper focuses on the evolution of the notion of completeness in contemporary logic. We discuss the differences between the notions of completeness of a theory, the completeness of a calculus, and the completeness of a logic in the light of Gödel's and Tarski's crucial contributions.We place special emphasis on understanding the differences in how these concepts were used then and now, as well as on the role they play in logic. Nevertheless, we can still observe a certain ambiguity in the use of the close notions of completeness of a calculus and completeness of a logic. We analyze the state of the art under which Gödel's proof of completeness was developed, particularly when dealing with the decision problem for first-order logic. We believe that Gödel had to face the following dilemma: either semantics is decidable, in which case the completeness of the logic is trivial or, completeness is a critical property but in this case it cannot be obtained as a corollary of a previous decidability result. As far as first-order logic is concerned, our thesis is that the contemporary understanding of completeness of a calculus was born as a generalization of the concept of completeness of a theory. The last part of this study is devoted to Henkin's work concerning the generalization of his completeness proof to any logic from his initial work in type theory.     

Completeness in Hybrid Type Theory

We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret \(@_i\) in propositional and first-order hybrid logic. This means: interpret \(@_i\alpha _a\) , where \(\alpha _a\) is an expression of any type \(a\) , as an expression of type \(a\) that rigidly returns the value that \(\alpha_a\) receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic.