Traditional combinatory logic uses combinators S and K to represent all Turing-computable functions on natural numbers, but there are Turing-computable functions on the combinators themselves that cannot be so represented, because they access internal structure in ways that S and K cannot. Much of this expressive power is captured by adding a factorisation combinator F. The resulting SF-calculus is structure complete, in that it supports all pattern-matching functions whose patterns are in normal form, including a function that decides structural equality (...) of arbitrary normal forms. A general characterisation of the structure complete, confluent combinatory calculi is given along with some examples. These are able to represent all their Turing-computable functions whose domain is limited to normal forms. The combinator F can be typed using an existential type to represent internal type information. (shrink)

In Democracy and the Claims of Nature, the leading thinkers in the fields of environmental, political, and social theory come together to discuss the tensions and sympathies of democratic ideals and environmental values. The prominent contributors reflect upon where we stand in our understanding of the relationship between democracy and the claims of nature. Democracy and the Claims of Nature bridges the gap between the often competing ideals of the two fields, leading to a greater understanding of each for the (...) other. (shrink)

This collection of essays on themes in the work of John Locke , George Berkeley , and David Hume , provides a deepened understanding of major issues raised in the Empiricist tradition. In exploring their shared belief in the experiential nature of mental constructs, The Empiricists illuminates the different methodologies of these great Enlightenment philosophers and introduces students to important metaphysical and epistemological issues including the theory of ideas, personal identity, and skepticism. It will be especially useful in courses devoted (...) to the history of modern philosophy. (shrink)

Frankena, W. K. Morality and moral philosophy.--Soltis, J. F. Men, machines and morality.--Chazan, B. I. The moral situation.--Phenix, P. H. Ethics and the will of God.--Moore, G. E. The indefinability of good.--Morgenbesser, S. Approaches to ethical objectivity.--Sartre, J. P. Existentialism and ethics.--Hare, R. M. Decisions of principle.--Singer, M. G. Moral rules and principles.--Hare, R. M. Adolescents into adults.--Wilson, J. Assessing the morally educated person.--Kohlberg, L. The child as a moral philosopher.--Frankena, W. K. Toward a philosophy of moral education.--Archambault, R. (...) D. Criteria for success in moral instruction.--Raths, L., Harmin, M., and Simon, S. Teaching for value clarity.--Bibliography (p. 188-192). (shrink)

The present paper examines the arguments and data presented by Nisbett and Wilson relevant to their thesis that subjects do not have access to their own cognitive processes. It is concluded that their review of previous research is selective and incomplete and that the data they present in behalf of their thesis does not withstand a demand characteristics analysis. Furthermore, their use of observer-subject similarity as evidence of subjects' inability to access cognitive processes makes tests of their hypothesis confounded (...) and, at the same time, reveals limitations in the application of the pre-inquiry quasi-control to research on social behavior. Problems with postexperiment questionnaires, such as the demand characteristics of the inquiry procedure are also considered. Although there are difficulties in assessing subjects' cognitive processes, many of these may be overcome through the application of novel techniques and research conducted on more traditional methods. In contrast to the view that subjects have limited access to cognitive processes and that their verbal reports are not valid, it is concluded that subjects' verbalizations are a rich source of psychological data which must be pursued if we are to tap their cognitive processes and are to gain an adequate understanding of human behavior. (shrink)

Cross-sector social partnerships (CSSPs) are relevant units of analysis for understanding sustainable business models (SBMs). This research examines how organizations value their motivations to participate in large sustainability-focused partnerships, how they perceive the value captured, and their structures implemented to address sustainability partnerships. Two hundred and twenty-four organizations partnering within four large sustainability CSSPs were surveyed using an augmented resource-based view (RBV) theoretical framework. Results show that partners were motivated by and captured value related to sustainability-, organizational-, and human-oriented resources, (...) and that organizations prefer more informal than formal structural elements to implement their partnerships’ sustainability strategies. Contributions to SBM and CSSP fields are revealed. SBM thinking is a provocation toward seeking integrated sustainable value creation, helping show the value of large CSSPs. Conversely, by conceiving of large, pluralistic CSSPs as “collaborative SBMs,” we extend the idea of the “business model” to the societal level, exploring how value is captured in partnership. (shrink)

This article investigates the propensity for academic dishonesty by university students using the partitioning method of decision tree analysis. A set of prediction rules are presented, and conclusions are drawn. To provide context for the decision tree approach, the partition process is compared with results of more traditional probit regression models. Results of the decision tree analysis complement the probit models in terms of predictive accuracy and confirm results previously found in the literature. In particular, students’ moral character—whether they believe (...) cheating is acceptable—is found to be the most important factor in determining the propensity for academic dishonesty. (shrink)

It is commonly agreed that Augustine's discussion of divine foreknowledge in DcD 5.9 is distinguished by its anti-Ciceronian polemic, but no one has analyzed the philosophical structure of this polemic to determine if it is compelling. I argue that Augustine's presentation has significant philosophical merit for two reasons. First, Augustine's rigorous application of the principle, shared with Cicero, that "nothing occurs unless it is preceded by an efficient cause" is capable of answeringforcefully one of the chief difficulties that Cicero poses (...) against the possibility of divine omniscience of human choice-making. Second, Augustine's presentation contains the potential to answer persuasively the epistemological problem that Cicero states against divine foreknowledge in his De Jato and De divinatione but which Augustine ignores in DcD 5.9. (shrink)

It is commonly agreed that Augustine's discussion of divine foreknowledge in DcD 5.9 is distinguished by its anti-Ciceronian polemic, but no one has analyzed the philosophical structure of this polemic to determine if it is compelling. I argue that Augustine's presentation has significant philosophical merit for two reasons. First, Augustine's rigorous application of the principle, shared with Cicero, that "nothing occurs unless it is preceded by an efficient cause" is capable of answeringforcefully one of the chief difficulties that Cicero poses (...) against the possibility of divine omniscience of human choice-making. Second, Augustine's presentation contains the potential to answer persuasively the epistemological problem that Cicero states against divine foreknowledge in his De Jato and De divinatione but which Augustine ignores in DcD 5.9. (shrink)

This paper explores the relationship between eugenics, disability, and dehumanization, with a focus on forms of eugenics beyond Nazi eugenics.

Initially identified as a key phosphoinositide that controls membrane trafficking at the Golgi complex, phosphatidylinositol‐4‐phosphate (PI4P) has emerged as a key molecule in the regulation of a diverse array of cellular functions. In this review we will discuss selected examples of the findings that in the last few years have significantly increased our awareness of the regulation and roles of PI4P in the Golgi complex and beyond. We will also highlight the role of PI4P in infection and cancer. We believe (...) that, with the increasing number of regulators and effectors of PI4P identified, the time is ripe for a more integrated approach of study. A first step in this direction is the delineation of PI4P‐centered molecular networks that we provide using data from low and high throughput studies in yeast and mammals. (shrink)

Die Ansicht, dass Leibniz urn 1700 oder einige Zeit danach ein überzeugter Idealist war oder wurde, der allein an die Realität der Geister und ihrer Ideen glaubte, hält sich merkwürdigerweise in der neueren Sekundärliteratur. In diesem Beitrag beurteilen wir die Textgrundlage für diese Behauptung nach von uns für solide gehaltenen Kriterien einer historischen Interpretation, wobei sich die Behauptung unserer Ansicht nach als unzureichend erweist. Obwohl Leibniz zur Überzeugung gelangt war, dass wirkliche "Atome" der Natur keine Ausdehnung hätten, war er sein (...) Leben hindurch auf die Geistesunabhängigkeit lebender Kreaturen festgelegt, in der Art, die eindeutig Idealismus ausschließt. Wir versuchen, die tieferen Gründe für die Beharrlichkeit der idealistischen Sichtweise, trotz ihrer textlichen und konzeptualen Schwierigkeiten, aufzudecken, indem wir sie letztlich in den ahistorischen Präferenzen der Kommentatoren lokalisieren. (shrink)

There are signs of both secularization and religionization in the world today. Consistent with the modernization-secularization thesis, structural factors such as increasing economic security, societal complexity, and information flow are broadly associated with greater personal autonomy, worldview individualization, and erosion of some religious forms. At the same time, ‘counter-secular’ reassertions or transformations of religion have arisen for psychological, cultural, and political reasons. Amid these broad developments, active or public forms of atheism have also emerged, particularly in Europe and the Anglophone (...) world. Self-conscious, assertive atheism and other forms of philosophical or ideological secularism have both intended and unintended effects in the processes of secularization and religionization. But a quieter and potentially more pervasive result of all these forces may be greater worldview diversity and individualization across the secular-religious spectrum. (shrink)

During spring of 2020, environmental ethics students at a medium sized metropolitan university in the Southeastern United States were asked to read and comment on classic essays from Robert Heilbroner and Garrett Hardin, essays regarding our responsibilities towards future generations. In general, students seemed to hold more with Heilbroner’s stance, which left room for compassion, while condemning Hardin’s harshness. Students were then asked to provide written responses stating whether they would personally sacrifice their eventual retirement in order to stop COVID-19 (...) and the reasons for their views. Responses were analyzed and categorized to detect inconsistencies between students’ described views and their willingness to personally sacrifice for the sake of others. Almost 72% of respondents asserted that they would be willing to intervene to stop the novel coronavirus by sacrificing their retirement. A fair number of respondents that stated they would sacrifice said that they would do so because they would benefit personally from the avoidance of guilt and/or from the opportunity to feel good about themselves, suggesting that even seemingly selfless behaviors are sometimes driven by egoistic motivations. Forty percent of all respondents held inconsistent views. Most notably, a number of students condemned Hardin for his lack of compassion, yet were not willing to act compassionately themselves. (shrink)

This paper offers an overview of "the species problem", arguing for a view of species as homeostatic property cluster kinds, positioning the resulting form of realism about species as an alternative to the claim that species are individuals and pluralistic views of species. It draws on taxonomic practice in the neurosciences, especially of neural crest cells and retinal ganglion cells, to motivate both the rejection of the species-as-individuals thesis and species pluralism.

The impressive variation amongst biological individuals generates many complexities in addressing the simple-sounding question what is a biological individual? A distinction between evolutionary and physiological individuals is useful in thinking about biological individuals, as is attention to the kinds of groups, such as superorganisms and species, that have sometimes been thought of as biological individuals. More fully understanding the conceptual space that biological individuals occupy also involves considering a range of other concepts, such as life, reproduction, and agency. There has (...) been a focus in some recent discussions by both philosophers and biologists on how evolutionary individuals are created and regulated, as well as continuing work on the evolution of individuality. (shrink)

Examines the perennial issues that keep science and religion at arm's length, clarifies those issues, and fits them into an historical framework—from Plato, to Aquinas, to today's thinkers.

Current theories of knowledge, art, and power are locked into sterile debates around the question of representation. This book examines the limits of antirepresentationalism in these fields and argues that the anarchist tradition can point the way beyond our contemporary crisis of representation. The author rereads the theory and practical experiences of anarchism from the nineteenth century to the present, proposing a radical revision of received notions of the subject - from the equation of anarchy with literary decadence to the (...) interpretation of anarchism as yet another discourse founded on a notion of the human essence. What emerges, instead, is a complex portrait of anarchism as a body of thought that provides the framework for a kind of critical realism, with implications for fields ranging from aesthetics to economics, from philosophy to politics. Jesse Cohn teaches English at Purdue University North Central. (shrink)