Gödel’s Natural Deduction

This is a companion to a paper by the authors entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Gödel presented with the help of Gentzen’s sequents, which amounts to Ja?kowski’s natural deduction system of 1934, and which may be found in Gödel’s unpublished notes for the elementary logic course he gave in 1939 at the University of Notre Dame. Here one finds a presentation of this system of Gödel accompanied by a brief reexamination in the light of the notes of some points concerning his interest in sequents made in the preceding paper. This is preceded by a brief summary of Gödel’s Notre Dame course, and is followed by comments concerning Gödel’s natural deduction system.     

Quine on Shared Language and Linguistic Communities

In this paper, I discuss Quine’s views on language sharing and linguistic communities. It is sometimes explicitly and often implicitly taken for granted that Quine believes that speakers can form communities in which they share a language. The aim of the paper is to show that this is a misinterpretation and, on the contrary, Quine is closer to linguistic individualism – the view according to which there is no guarantee that speakers within a community share a language and the notion of idiolect is more fundamental than the notion of shared language.     

The Vasarhelyi method of child art psychotherapy: an adjunctive treatment in childhood depression

We describe the use of child art psychotherapy (CAP) following the Vasarhelyi method in an 11-year-old female with a history of anxiety and depression which limited her capacity to attend school and in a 15-year-old male who had a history of depressive symptoms with suicidal thinking. In each case, the use of other therapies such as cognitive behaviour therapy was not possible or unsuccessful. Through the creation of images, each young person revealed concerns which had not been previously verbalised, and recovery was linked in time to the revelation of these worries. We propose the use of the Vasarhelyi method of CAP as an adjunctive treatment of depression in young people.     

Uncovering a New Moral Dilemma of Economic Optimization in Biotechnological Processing

The trend of emerging biorefineries is to process the harvest as efficiently as possible and without any waste. From the most valuable phytomass, refined medicines, enzymes, dyes and other special reactants are created. Functional foods, food ingredients, oils, alcohol, solvents, plastics, fillers and a wide variety of other chemical products follow. After being treated with nutrient recovery techniques (for fertilizer production), biofuels or soil improvers are produced from the leftovers. Economic optimization algorithms have confirmed that such complex biorefineries can be financially viable only when a high degree of feedstock concentration is included. Because the plant material is extremely voluminous before processing, the farming intensity of special plants increases in the nearest vicinity of agglomerations where the biorefineries are built for logistical reasons. Interdisciplinary analyses revealed that these optimization measures lead to significantly increased pollen levels in neighbouring urban areas and subsequently an increased risk of allergies, respectively costs to the national health system. A new moral dilemma between the shareholder’s profit and public interest was uncovered and subjected to disputation.     

Computerized cognitive training during physical inactivity improves executive functioning in older adults

The hippocampus is closely tied to spatial navigation, a central component in cognitive functioning, and critically involved in age-associated cognitive decline and dementia. This study evaluated a novel, cognitive computerized spatial navigation training (CSNT) program targeting the hippocampus, with expectation of mitigating possible cognitive decline with bed rest (BR). During a 14-day BR study with 16 healthy, older men (mean age = 60 ± 3, range = 55–65 years), half received CSNT for 12 days in 50-min sessions and half were controls (watching documentaries). This design uniquely controlled diet, sleep, and other personal and environmental activities. Although there were no cognitive declines in controls post-BR, CSNT participants demonstrated significant increases in executive/attention ability and processing speed, and continued spatial navigation testing showed improvement to 400 days post-BR. This intervention may prove useful to mitigate cognitive declines known to occur in long periods of immobilization and could have broader implications in protecting against age-related cognitive decline.     

Micro-analysis of infant looking in a naturalistic social setting: insights from biologically based models of attention

A current theory of attention posits that several micro-indices of attentional vigilance are dependent on activation of the locus coeruleus, a brainstem nucleus that regulates cortical norepinephrine activity (Aston-Jones et al., 1999). This theory may account for many findings in the infant literature, while highlighting important new areas for research and theory on infant attention. We examined the visual behaviors of n = 16 infants (6-7 months) while they attended to multiple spatially distributed targets in a naturalistic environment. We coded four measures of attentional vigilance, adapted from studies of norepinergic modulation of animal attention: rate of fixations, duration of fixations, latency to reorientation, and target 'hits'. These measures showed a high degree of coherence in individual infants, in parallel with findings from animal studies. Results also suggest that less vigilant infants showed greater habituation to the trial structure and more attentiveness to less salient stimuli during periods of high attentional competition. This pattern of results is predicted by the Aston-Jones model of attention, but could not be explained by the standard information processing model.     

Being human,more or less

Robert G. Woodhouse Memorial Philosophy Lecture, Rockland Community College of the State University of New York, Tuesday, 1 December 1992.     

Belongingness and Burdensomeness in Adolescents: Slovene Translation and Validation of the Interpersonal Needs Questionnaire

The Interpersonal Needs Questionnaire (INQ) for assessing thwarted belongingness (TB) and perceived burdensomeness (PB) has not been validated with community adolescents. We translated and administered the INQ to 307 Slovenian adolescents twice over 2–3 months and found that the 15‐item version (INQ‐15) did not fit without modification. TB and PB scales correlated with concurrent and later suicide ideation and lifetime suicide attempt history. The latent PB factor was associated with concurrent and later ideation controlling for TB, age, gender, depressive symptoms, binge drinking, and peer victimization. Suicide ideation and binge drinking were independently related to attempt history. Assessing and intervening on PB and binge drinking may be promising approaches to suicide prevention with community adolescents.     

How do trainees choose their first psychotherapy training? The case of training in psychotherapy integration

Future trainees go through difficult decision-making processes when starting their first psychotherapy training. The choice of training in psychotherapy integration is a specific type of this process. In this study, qualitative data were obtained from the motivational letters, in-depth semi-structured interviews and e-mail questionnaires of 26 future trainees to answer the research question, ‘How do trainees choose their first psychotherapy training?’ We primarily employed the grounded theory approach as well as consensual qualitative research to shed light on the central category of Gaining Certainty to enter the training. This category was elaborated into a four-phase model, specifically comprised of the: (1) Critical Comparison, (2) Identification, (3) Self-Confirmation and (4) Waiting phases. The model was then discussed in connection with relevant concepts, such as the degree of complexity and flexibility within the epistemological development of trainees [Vasco, A. B., &; Dryden, W. (1994). The development of psychotherapists’ theoretical orientation and clinical practice. British Journal of Guidance &; Counselling, 22(3), 327–341].