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     

The nature of science. A dialogue

In this dialogue the view of Paul Hoyningen-Huene as defended in Systematicity. The Nature of Science is presented and criticized. The approach is developed dialectically by the two interlocutors, a series of critical points are debated and an alternative view is introduced. The dialogical form is intended to honor the general philosophical approach of the author summarized in the last sentence of the book, where he states that he sees philosophy as an ongoing, open-ended dialogue.

     

Ethics education in science and engineering: The case of animal research

Conclusion The past one hundred fifty years of debate over the use of animals in research and testing has been characterized mainly byad hominem attacks and on uncritical rejection of the other sides’ arguments. In the classroom, it is important to avoid repeating exercises in public relations and to demand sound scholarship. This paper is a modification of material originally included in the handbook which accompanied the American Association for the Advancement of Science (AAAS) Seminar “Teaching Ethics in Science and Engineering”, 10–11 February 1993.     

The contextual and systematic nature of life satisfaction judgments

Five studies were conducted to examine the nature of life satisfaction judgments. When the category of “excitement” was made accessible experimentally, individuals based their life satisfaction judgments more heavily on the frequency of excitement, in comparison to a “peaceful” condition in Study 1 and to both “neutral priming” and “no-priming” conditions in Study 2. A 7-day diary study (Study 3) showed that as “excitement” became naturally more accessible on weekends, the correlations between excitement and daily satisfaction also increased significantly. Study 3 thus illustrated a systematic contextual shift in the bases of life satisfaction judgments. Study 4 showed that high sensation seekers, for whom “excitement” should be chronically accessible, based their life satisfaction judgments more heavily on the frequency of excitement than did low sensation seekers. Finally, Study 5 demonstrated that the chronic accessibility of “excitement” measured at Time 1 predicted the degree to which individuals based their life satisfaction judgments on the frequency of excitement at Time 2. Altogether, these five studies highlight the contextually sensitive, yet systematic nature of life satisfaction judgments.     

The harms of ignoring the social nature of science

In this paper I argue that philosophers of science have an obligation to recognize and engage with the social nature of the sciences they assess if those sciences are morally relevant. Morally-relevant science is science that has the potential to risk harm to humans, non-humans, or the environment. My argument and the approach I develop are informed by an analysis of the philosophy of biology literature on the criticism of evolutionary psychology (EP), the study of the evolution of human psychology and behaviour. From this literature, I tease out two different methods of scientific critique. The first I call the “truth-detectional” approach. Those who take this approach are first and foremost concerned about the truth of EP claims as that truth can be determined by evidence. The second I call the “social-dimensional” approach. Those who take this approach talk about the production and truth of EP claims but within a social framework. On this account, the legitimacy and perceived legitimacy of EP claims are not separate from the institutional and social processes and values that lend to their production. I show that the truth-detectional approach risks harms to society and to the philosophy of science, but that the social-dimensional approach avoids these harms. Philosophers of science, therefore, should take a social-dimensional approach to the assessment of morally-relevant science.

     

The effects of virtual nature exposure on pro-environmental behaviour

Exposure to (virtual) natural environments may encourage people to care about environmental protection and to engage in pro-environmental behaviour. Previous research on this effect produced inconsistent results, suggesting that it may depend on the type of nature and behaviour under study. In the present study (N = 266), we investigated nature exposure effects on effortful pro-environmental behaviour in an online experiment. After watching pictures of either intact or destroyed natural environments, participants could exert voluntary extra efforts to generate real donations to an environmental organisation. In comparison to the intact nature condition, participants exerted significantly more effort for environmental protection after being exposed to pictures of destroyed nature. No clear differences were observed between the nature exposure conditions and a no-picture control condition. These findings illustrate the complexity of nature exposure effects and suggest that different types of nature exposure may differentially affect people's pro-environmental behaviour.