The revised edition contains a new chapter which provides an elegant description of the semantics. The various classes of lambda calculus models are described in a uniform manner. Some didactical improvements have been made to this edition. An example of a simple model is given and then the general theory (of categorical models) is developed. Indications are given of those parts of the book which can be used to form a coherent course.

Robots are increasingly being studied for use in education. It is expected that robots will have the potential to facilitate children’s learning and function autonomously within real classrooms in the near future. Previous research has raised the importance of designing acceptable robots for different practices. In parallel, scholars have raised ethical concerns surrounding children interacting with robots. Drawing on a Responsible Research and Innovation perspective, our goal is to move away from research concerned with designing features that will render robots (...) more socially acceptable by end users toward a reflective dialogue whose goal is to consider the key ethical issues and long-term consequences of implementing classroom robots for teachers and children in primary education. This paper presents the results from several focus groups conducted with teachers in three European countries. Through a thematic analysis, we provide a theoretical account of teachers’ perspectives on classroom robots pertaining to privacy, robot role, effects on children and responsibility. Implications for the field of educational robotics are discussed. (shrink)

This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification.

Participants were unknowingly exposed to complex regularities in a working memory task. The existence of implicit knowledge was subsequently inferred from a preference for stimuli with similar grammatical regularities. Several affective traits have been shown to influence AGL performance positively, many of which are related to a tendency for automatic responding. We therefore tested whether the mindfulness trait predicted a reduction of grammatically congruent preferences, and used emotional primes to explore the influence of affect. Mindfulness was shown to correlate negatively (...) with grammatically congruent responses. Negative primes were shown to result in faster and more negative evaluations. We conclude that grammatically congruent preference ratings rely on habitual responses, and that our findings provide empirical evidence for the non-reactive disposition of the mindfulness trait. (shrink)

In the context of his theory of numberings, Ershov showed that Kleene's recursion theorem holds for any precomplete numbering. We discuss various generalizations of this result. Among other things, we show that Arslanov's completeness criterion also holds for every precomplete numbering, and we discuss the relation with Visser's ADN theorem, as well as the uniformity or nonuniformity of the various fixed point theorems. Finally, we base numberings on partial combinatory algebras and prove a generalization of Ershov's theorem in this context.

The potential to collect brain data more directly, with higher resolution, and in greater amounts has heightened worries about mental and brain privacy. In order to manage the risks to individuals posed by these privacy challenges, some have suggested codifying new privacy rights, including a right to “mental privacy.” In this paper, we consider these arguments and conclude that while neurotechnologies do raise significant privacy concerns, such concerns are—at least for now—no different from those raised by other well-understood data collection (...) technologies, such as gene sequencing tools and online surveillance. To better understand the privacy stakes of brain data, we suggest the use of a conceptual framework from information ethics, Helen Nissenbaum’s “contextual integrity” theory. To illustrate the importance of context, we examine neurotechnologies and the information flows they produce in three familiar contexts—healthcare and medical research, criminal justice, and consumer marketing. We argue that by emphasizing what is distinct about brain privacy issues, rather than what they share with other data privacy concerns, risks weakening broader efforts to enact more robust privacy law and policy. (shrink)

In this comprehensive new study of human free agency, Laura Waddell Ekstrom critically surveys contemporary philosophical literature and provides a novel account of the conditions for free action. Ekstrom argues that incompatibilism concerning free will and causal determinism is true and thus the right account of the nature of free action must be indeterminist in nature. She examines a variety of libertarian approaches, ultimately defending an account relying on indeterministic causation among events and appealing to agent causation only in (...) a reducible sense. Written in an engaging style and incorporating recent scholarship, this study is critical reading for scholars and students interested in the topics of motivation, causation, responsibility, and freedom. In broadly covering the important positions of others along with its exposition of the author’s own view, Free Will provides both a significant scholarly contribution and a valuable text for courses in metaphysics and action theory. (shrink)

One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.

Business orientation toward sustainable development goals and the circular economy are relevant research topics today in business theory and practice. The waste recycling sector is a key industry in the circular economy framework for promoting clean production and environmental sustainability. This study analyzes business performance in the recycling sector, focusing on efficiency indicators. The associations between firm efficiency and risk variables were also evaluated. The study goes through several methodological stages, including a Data Envelopment Analysis (DEA) multistage method and multivariate (...) modeling: tobit regression, bootstrap models, and generalized method of moments (GMM). The main results indicate that the average efficiency of waste recycling firms is at a medium level. Large-sized firms achieve higher levels of efficiency than medium-sized and small firms, supporting the economies of scale hypothesis. The evidence also suggests that risk variables (rating score and Zscore) and capital structure are key determinants of firm efficiency in the waste recycling industry. (shrink)

Illative combinatory logic consists of the theory of combinators or lambda calculus extended by extra constants (and corresponding axioms and rules) intended to capture inference. The paper considers systems of illative combinatory logic that are sound for first-order propositional and predicate calculus. The interpretation from ordinary logic into the illative systems can be done in two ways: following the propositions-as-types paradigm, in which derivations become combinators or, in a more direct way, in which derivations are not translated. Both translations are (...) closely related in a canonical way. The two direct translations turn out to be complete. The paper fulfills the program of Church [1932], [1933] and Curry [1930] to base logic on a consistent system of λ-terms or combinators. Hitherto this program had failed because systems of ICL were either too weak (to provide a sound interpretation) or too strong (sometimes even inconsistent). (shrink)

As library collections and services have increasingly moved from print to digital, much of the work that used to be done by libraries themselves with regard to creating, maintaining, and managing the systems that hold collections and facilitate user access to them is now done primarily by vendors. This change to the information services landscape for academic libraries is the occasion not only of technical and procedural challenges, but also some internal conflicts concerning the ethical demands of the library profession. (...) This essay examines the ways in which these conflicts become acute and obvious when attention is paid to the way in which attempts to promote equity, diversity, and inclusion (EDI) are undermined by the handover of library services to vendors, even when—or perhaps especially when—those vendors use their control of content and platforms to commodify diverse content instead of making the necessary systemic changes required by truly effective EDI efforts. (shrink)

GraphicalThe need to encourage individuals as active change agents for sustainability transitions has led researchers across disciplines to conceptualize over 70 constructs to assess relevant dispositions to environmental protection and green consumption behaviors. The generated knowledge is, however, fragmented by an unconsolidated set of constructs developed within parallel literature streams. We, hence, use an integrative review method to capture conceptual and operational similarities and distinctiveness of constructs across disciplines in the literature, attempting to unify the knowledge base. Thereby, we identify (...) 34 conceptually distinct constructs relevant for the thematic synthesis on individual-level constructs framing contributions to environmental measures and issues. We followingly propose a taxonomy, systemizing constructs based on their concept type and contextual scope of the environmental challenge addressed. We capture these dimensions in critically assessing relevant and salient conceptual and operational features. We thus create a consolidated picture of extant constructs capturing individual-level environmental sustainability by which we intend a three-fold contribution to the interdisciplinary field. First, the taxonomy and guiding framework for the choice of constructs should assist substantive researchers in identifying appropriate constructs of interest. Second, the systematic integration of similar concepts available in parallel literature streams should assist future endeavors aiming at integrating substantive findings with regard to antecedents, consequences, and other relevant variables. Finally, the taxonomy revealed that conceptualizations mainly scatter around specific combinations of types and scopes while others remain unaddressed. Based on our critical assessment of the relevant features and resulting taxonomy, we identify avenues for future research dedicated to enhancing conceptual rigor and measurement quality in the field and introducing concepts addressing missing but potentially valuable combinations of types and scopes. We conclude that researchers engaging in the proposed avenues with conceptual, methodological, or empirical contributions should consider four critical aspects to advance knowledge accumulation and prevent fragmentation in the interdisciplinary field. We thereby hope to pave the way for a collective, interdisciplinary knowledge base of concepts used to describe and assess individual’s pro-environmental dispositions and practices of green consumption. (shrink)

Attempts to explain behavior genetically face two major problems: the application of the concept of genetic coding and the theoretical possibility of decomposing behavior. This paper argues that using the notion of genetic coding is appropriate in explanations of protein synthesis but inadequate and even misleading in the context of explanations of behavior. Genes should be regarded as disparate components of mechanisms that account for behavior rather than as codes for behavioral phenotypes. Such mechanistic explanations, however, presuppose the possibility of (...) decomposing behavioral phenotypes, which is strongly disputed by researchers holding an interactionist view of behavior. It is argued that these researchers fail to distinguish etiological from constitutive decomposition, and that their objections apply to the former but not to the latter kind. Constitutive decomposition might identify genes as disparate components and open up the possibility of explaining behavior mechanistically by isolating causal paths from genes to behavior. Finally, research on the single gene disorder phenylketonuria is introduced to illustrate and test these views. With respect to this disorder it is demonstrated that applying the concept of genetic coding would be inappropriate and misguiding, while nonetheless the phenotype is decomposable and can be explained mechanistically by singling out a genetic causal path.t is demonstrated that applying the concept of genetic coding would be inappropriate and misguiding, while nonetheless the phenotype is decomposable and can be explained mechanistically by singling out a genetic causal path. (shrink)

Abstract.Evolutionary psychology and behavioural genomics are both approaches to explain human behaviour from a genetic point of view. Nonetheless, thus far the development of these disciplines is anything but interdependent. This paper examines the question whether evolutionary psychology can contribute to behavioural genomics. Firstly, a possible inconsistency between the two approaches is reviewed, viz. that evolutionary psychology focuses on the universal human nature and disregards the genetic variation studied by behavioural genomics. Secondly, we will discuss the structure of biological explanations. (...) Some philosophers rightly acknowledge that explanations do not involve laws which are exceptionless and universal. Instead, generalisations that are invariant suffice for successful explanation as long as two other stipulations are recognised: the domain within which the generalisation has no exceptions as well as the distribution of the mechanism described by the generalisation should both be specified. It is argued that evolutionary psychology can contribute to behavioural genomic explanations by accounting for these two specifications. (shrink)

A λ-theory T is a consistent set of equations between λ-terms closed under derivability. The degree of T is the degree of the set of Godel numbers of its elements. H is the $\lamda$ -theory axiomatized by the set {M = N ∣ M, N unsolvable. A $\lamda$ -theory is sensible $\operatorname{iff} T \supset \mathscr{H}$ , for a motivation see [6] and [4]. In § it is proved that the theory H is ∑ 0 2 -complete. We present Wadsworth's proof (...) that its unique maximal consistent extention $\mathscr{H}^\ast (= \mathrm{T}(D_\infty))$ is Π 0 2 -complete. In $\S2$ it is proved that $\mathscr{H}_\eta(= \lambda_\eta-\text{Calculus} + \mathscr{H})$ is not closed under the ω-rule (see [1]). In $\S3$ arguments are given to conjecture that $\mathscr{H}\omega (= \lambda + \mathscr{H} + omega-rule)$ is Π 1 1 -complete. This is done by representing recursive sets of sequence numbers as λ-terms and by connecting wellfoundedness of trees with provability in Hω. In $\S4$ an infinite set of equations independent over H η will be constructed. From this it follows that there are 2^{ℵ_0 sensible theories T such that $\mathscr{H} \subset T \subset \mathscr{H}^\ast$ and 2 ℵ 0 sensible hard models of arbitrarily high degrees. In $\S5$ some nonprovability results needed in $\S\S1$ and 2 are established. For this purpose one uses the theory H η extended with a reduction relation for which the Church-Rosser theorem holds. The concept of Gross reduction is used in order to show that certain terms have no common reduct. (shrink)

Much is being made of local food. It is at once a social movement, a diet, and an economic strategy—a popular solution—to a global food system in great distress. Yet, despite its popularity or perhaps because of it, local food (especially in the US) is also something of a chimera if not a tool of the status quo. This paper reflects on and contrasts aspects of current local food rhetoric with Dalhberg’s notion of a regenerative food system. It identifies three (...) problematic emphases—the locavore emphasis, the Wal-Mart emphasis, and the Pollan emphasis—and argues that they are shifting local food (as a concept and a social movement) away from the deeper concerns of equity, citizenship, place-building, and sustainability. It is suggested that local food activists and advocates might consider the use of multiple methodologies and forms of expression to explore the integration and reintegration of local food into diverse and redundant place-based practice. A short case study of a low-income, urban neighborhood in Lansing, Michigan, illustrates the value of contextual analysis for more fully enabling the local food movement and a regenerative food system. (shrink)

Although the view that sees proper names as referential singular terms is widely considered orthodoxy, there is a growing popularity to the view that proper names are predicates. This is partly because the orthodoxy faces two anomalies that Predicativism can solve: on the one hand, proper names can have multiple bearers. But multiple bearerhood is a problem to the idea that proper names have just one individual as referent. On the other hand, as Burge noted, proper names can have predicative (...) uses. But the view that proper names are singular terms arguably does not have the resources to deal with Burge’s cases. In this paper I argue that the Predicate View of proper names is mistaken. I first argue against the syntactic evidence used to support the view and against the predicativist’s methodology of inferring a semantic account for proper names based on incomplete syntactic data. I also show that Predicativism can neither explain the behaviour of proper names in full generality, nor claim the fundamentality of predicative names. In developing my own view, however, I accept the insight that proper names in some sense express generality. Hence I propose that proper names—albeit fundamentally singular referential terms—express generality in two senses. First, by being used as predicates, since then they are true of many individuals; and second, by being referentially related to many individuals. I respond to the problem of multiple bearerhood by proposing that proper names are polyreferential, and also explain the behaviour of proper names in light of the wider phenomenon I called category change, and show how Polyreferentialism can account for all uses of proper names. (shrink)

A closed λ-term E is called an enumerator if M ε /gL/dg /gTn ε N E/drn/dl = β M. Here Λ° is the set of closed λ-terms, N is the set of natural numbers and the /drn/dl are the Church numerals λfx./tfnx. Such an E is called reducing if moreover M ε /gL/dg /gTn ε N E/drn/dl /a/gb M. In 1983 I conjectured that every enumerator is reducing. An ingenious recursion theoretic proof of this conjecture by Statman is presented in (...) Barendregt . The proof is not intuitionistically valid, however. Dirk van Dalen has encouraged me to find intuitionistic proofs whenever possible. In the lambda calculus this is usually not difficult. In this paper an intuitionistic version of Statmans proof will be given. It took me somewhat longer to find it than in other cases. (shrink)

The orthodox view of anger takes desires for revenge or retribution to be central to the emotion. In this paper, I develop an empirically informed challenge to the retributive view of anger. In so doing, I argue that a distinct desire is central to anger: a desire for recognition. Desires for recognition aim at the targets of anger acknowledging the wrong they have committed, as opposed to aiming for their suffering. In light of the centrality of this desire for recognition, (...) I argue that the retributive view of anger should be abandoned. I consider and dismiss two types of moves that can be made on the part of a proponent of the orthodox view in response to my argument. I propose that a pluralist view, which allows for both retribution and recognition in anger, is to be preferred. (shrink)

In this article I present a disagreement between classical and constructive approaches to predicativity regarding the predicative status of so-called generalised inductive definitions. I begin by offering some motivation for an enquiry in the predicative foundations of constructive mathematics, by looking at contemporary work at the intersection between mathematics and computer science. I then review the background notions and spell out the above-mentioned disagreement between classical and constructive approaches to predicativity. Finally, I look at possible ways of defending the constructive (...) predicativity of inductive definitions. (shrink)

The target article presents a model for schizophrenia extending four levels of abstraction: molecules, cells, cognition, and syndrome. An important notion in the model is that of coordination, applicable to both the level of cells and of cognition. The molecular level provides an “implementation” of the coordination at the cellular level, which in turn underlies the coordination at the cognitive level, giving rise to the clinical symptoms.

We are at a turning point in the debate on the ethics of Artificial Intelligence (AI) because we are witnessing the rise of general-purpose AI text agents such as GPT-3 that can generate large-scale highly refined content that appears to have been written by a human. Yet, a discussion on the ethical issues related to the blurring of the roles between humans and machines in the production of content in the business arena is lacking. In this conceptual paper, drawing on (...) agenda setting theory and stakeholder theory, we challenge the current debate on the ethics of AI and aim to stimulate studies that develop research around three new challenges of AI text agents: automated mass manipulation and disinformation (i.e., fake agenda problem), massive low-quality content production (i.e., lowest denominator problem) and the creation of a growing buffer in the communication between stakeholders (i.e., the mediation problem). (shrink)

ABSTRACTRecent research suggests that impaired emotion regulation may play an important role in the development of youth psychopathology. However, little research has explored the effects of ER strategies on affect in early adolescents. In Study 1, we examined if early adolescents are able to use distraction and whether the effects of this strategy are similar to talking to one’s mother. In Study 2, we compared the effects of distraction, cognitive reappraisal, acceptance, and rumination. In both studies, participants received instructions on (...) how to regulate their emotions after a standardised negative mood induction. In general, the results indicated that distraction, but also cognitive reappraisal and acceptance, had promising short-term effects on positive and negative affect in early adolescents. These findings suggest that targeting adaptive ER skills, such as distraction, acceptance, and cognitive reappraisal, may be an important strategy to prevent or treat psychological pro... (shrink)

ABSTRACT Theories of sets such as Zermelo Fraenkel set theory are usually presented as the combination of two distinct kinds of principles: logical and set-theoretic principles. The set-theoretic principles are imposed ‘on top’ of first-order logic. This is in agreement with a traditional view of logic as universally applicable and topic neutral. Such a view of logic has been rejected by the intuitionists, on the ground that quantification over infinite domains requires the use of intuitionistic rather than classical logic. In (...) the following, I consider constructive set theories, which use intuitionistic rather than classical logic, and argue that they manifest a distinctive interdependence or an entanglement between sets and logic. In fact, Martin-Löf type theory identifies fundamental logical and set-theoretic notions. Remarkably, one of the motivations for this identification is the thought that classical quantification over infinite domains is problematic, while intuitionistic quantification is not. The approach to quantification adopted in Martin-Löf’s type theory is subtly interconnected with its predicativity. I conclude by recalling key aspects of an approach to predicativity inspired by Poincaré, which focuses on the issue of correct quantification over infinite domains and relate it back to Martin-Löf type theory. (shrink)

Outlaw emotions are emotions that stand in tension with one’s wider belief system, often allowing epistemic insight one may have otherwise lacked. Outlaw emotions are thought to play crucial epistemic roles under conditions of oppression. Although the crucial epistemic value of these emotions is widely acknowledged, specific accounts of their epistemic role(s) remain largely programmatic. There are two dominant accounts of the epistemic role of emotions: The Motivational View and the Justificatory View. Philosophers of emotion assume that these dominant ways (...) of accounting for the epistemic role(s) of emotions in general are equipped to account for the epistemic role(s) of outlaw emotions. I argue that this is not the case. I consider and dismiss two responses that could be made on behalf of the most promising account, the Justificatory View, in light of my argument, before sketching an alternative account that should be favoured. (shrink)