As the 19th century drew to a close, logicians formalized an ideal notion of proof. They were driven by nothing other than an abiding interest in truth, and their proofs were as ethereal as the mind of God. Yet within decades these mathematical abstractions were realized by the hand of man, in the digital stored-program computer. How it came to be recognized that proofs and programs are the same thing is a story that spans a century, a chase with as (...) many twists and turns as a thriller. At the end of the story is a new principle for designing programming languages that will guide computers into the 21st century. -/- For my money, Gentzen’s natural deduction and Church’s lambda calculus are on a par with Einstein’s relativity and Dirac’s quantum physics for elegance and insight. And the maths are a lot simpler. I want to show you the essence of these ideas. I’ll need a few symbols, but not too many, and I’ll explain as I go along. -/- To simplify, I’ll present the story as we understand it now, with some asides to fill in the history. First, I’ll introduce Gentzen’s natural deduction, a formalism for proofs. Next, I’ll introduce Church’s lambda calculus, a formalism for programs. Then I’ll explain why proofs and programs are really the same thing, and how simplifying a proof corresponds to executing a program. Finally, I’ll conclude with a look at how these principles are being applied to design a new generation of programming languages, particularly mobile code for the Internet. (shrink)

With respect to the metaphysics of infinity, the tendency of standard debates is to either endorse or to deny the reality of ‘the infinite’. But how should we understand the notion of ‘reality’ employed in stating these options? Wittgenstein’s critical strategy shows that the notion is grounded in a confusion: talk of infinity naturally takes hold of one’s imagination due to the sway of verbal pictures and analogies suggested by our words. This is the source of various philosophical pictures that (...) in turn give rise to the standard metaphysical debates: that the mathematics of infinity corresponds to a special realm of infinite objects, that the infinite is profoundly huge or vast, or that the ability to think about infinity reveals mysterious powers in human beings. First, I explain Wittgenstein’s general strategy for undermining philosophical pictures of ‘the infinite’ – as he describes it in Zettel; and then show how that critical strategy is applied to Cantor’s diagonalization proof in Remarks on the Foundations of Mathematics II. (shrink)

Russellianism is the view that the meaning of a proper name is the individual designated by the name. Together with other plausible assumptions, Russellianism entails the following: Sentences containing proper names express Russellian propositions, which involve the individual designated by the name as a direct constituent, and which can be represented as sets of individuals and properties. Moreover, as they occur in ordinary belief reports, ‘that’-clauses designate Russellian propositions. Such belief reports are true if and only if the subject of (...) the belief report bears the belief relation to the proposition designated by the ‘that’-clause. In defending this doctrine, some Russellians appeal to propositional guises, which, roughly speaking, are ways of grasping propositions. However, some Russellians don’t appeal to such entities. In this paper, I explain the varieties of Russellianism and then argue for Modest Russellianism: Believing a Russellian proposition is essentially mediated by guises, so that an agent can’t believe a Russellian proposition without standing in some appropriate relation to both the proposition and a guise. Nonetheless, guises don’t feature in the semantics of ordinary belief reports, so that an adequate account of the meaning of such belief reports needn’t invoke guises. (shrink)

A retelling of Plato's famous cave allegory. Inspired by Dōgen, Nietzsche, and Wittgenstein.

Both Philip and Andrew are philosophy students whose interests converge around the philosophy of technology broadly understood. Philip's interest is specifically aimed toward the ethics of Transhumanism and depictions of Transhumanism in works of fiction. On the other hand, Andrew finds himself more focused on religious behavior in the technological world. While the two perspectives might not seem that close, there is certain to be an overlap in Andrew and Philip's shared understanding of how technological phenomena play (...) a crucial role concerning religion and society. (shrink)

Experiments in particle physics have hitherto failed to produce any significant evidence for the many explicit models of physics beyond the Standard Model (BSM) that had been proposed over the past decades. As a result, physicists have increasingly turned to model-independent strategies as tools in searching for a wide range of possible BSM effects. In this paper, we describe the Standard Model Effective Field Theory (SM-EFT) and analyse it in the context of the philosophical discussions about models, theories, and (bottom-up) (...) effective field theories. We find that while the SM-EFT is a quantum field theory, assisting experimentalists in searching for deviations from the SM, in its general form it lacks some of the characteristic features of models. Those features only come into play if put in by hand or prompted by empirical evidence for deviations. Employing different philosophical approaches to models, we argue that the case study suggests not to take a view on models that is overly permissive because it blurs the lines between the different stages of the SM-EFT research strategies and glosses over particle physicists' motivations for undertaking this bottom-up approach in the first place. Looking at EFTs from the perspective of modelling does not require taking a stance on some specific brand of realism or taking sides in the debate between reduction and emergence into which EFTs have recently been embedded. (shrink)

Cognitivists about intention hold that intending to do something entails believing you will do it. Non-cognitivists hold that intentions are conative states with no cognitive component. I argue that both of these claims are true. Intending entails the presence of a belief, even though the intention is not even partly the belief. The result is a form of what Sarah Paul calls Non-Inferential Weak Cognitivism, a view that, as she notes, has no prominent defenders.

I respond to George Sher's A Wild West of the Mind. Sher argues that the mind is a “morality-free zone.” I respond that some thoughts are too risky to think. As a result, there are some moral limits on our mental lives. But these moral limits need not be overly burdensome. Many somewhat risky thoughts are nonetheless permissible.

Many have offered accounts of the procreative asymmetry, the claim that one has no moral reason to create a life just because it would be happy, but one has moral reason not to create a life just because it would be miserable. I suggest a new approach. Instead of looking at the procreative asymmetry on its own, we can situate it within a broader landscape of asymmetries. Specifically, there are two other analogous asymmetries in the prudential and epistemic domains. The (...) prudential asymmetry says that one has no prudential reason to acquire a desire just because it would be satisfied, but one has prudential reason not to acquire a desire just because it would be frustrated. The epistemic asymmetry says that one has no epistemic reason to acquire a belief just because it is true, but one has epistemic reason not to acquire a belief just because it is false. The existence of these analogous asymmetries in these normative domains suggests the possibility of a unified account of all three asymmetries as instances of a more fundamental asymmetry of value-based reasons. This paper develops a working model of what such a unified account might look like. Such an account can give us a unified explanation of a variety of phenomena, reinforce the plausibility of each of these asymmetries, and give us a novel picture of how value gives us reasons that might extend beyond these three applications. (shrink)

This paper sets out an account of trust in AI as a relationship between clinicians, AI applications, and AI practitioners in which AI is given discretionary authority over medical questions by clinicians. Compared to other accounts in recent literature, this account more adequately explains the normative commitments created by practitioners when inviting clinicians’ trust in AI. To avoid committing to an account of trust in AI applications themselves, I sketch a reductive view on which discretionary authority is exercised by AI (...) practitioners through the vehicle of an AI application. I conclude with four critical questions based on the discretionary account to determine if trust in particular AI applications is sound, and a brief discussion of the possibility that the main roles of the physician could be replaced by AI. (shrink)

A theory of the first-person plural occupies a unique place in philosophical investigations into intersubjectivity and social cognition. In order for the referent of the first-person plural—“the We”—to come into existence, it seems there must be a shared ground of communicative possibility, but this requires a non-circular explanation of how this ground could be shared in the absence of a pre-existing context of communicative conventions. Margaret Gilbert’s and John Searle’s theories of collective intentionality capture important aspects of the We, but (...) fail to fully account for this shared ground of communicative possibility. This paper argues that Merleau-Ponty’s concept of intercorporeity helps reconcile the positive aspects of these accounts while also explaining how the genesis of the social world is continuous with perceptual life in general. This enables an account of the first-person plural as dependent on reciprocal communicative interaction without the need to posit a primitive or primordial “we-mode” of consciousness. “Intercorporeity” designates a bodily openness to others that is not fundamentally different in kind from the general style of bodily comportment found in Merleau-Ponty’s rich analyses of perceptual life. (shrink)

Interviewet er lavet i juli 2021. Dets formål er at belyse emner, der er centrale i Celikates’ tænkning, f.eks. den voksende højrefløjspopulisme, migration, voldelige versus ikke-voldelige protester, civil ulydighed og den kritiske filosofis rolle i dag. -/- When Celikates and I sat down digitally in July 2021, the interview’s primary purpose was to examine topics central to Celikates’ thinking, such as the rise of right-wing populism, migration, violent versus non-violent protest, civil disobedience, and the role of critical philosophy today.

The article presents a pluralistic model of value change, emphasizing the interplay between technology and societal values. It critiques the Simple Change Model, which suggests a uniform transition from one dominant value scheme to another, arguing instead for emergent and differential value change. Emergent value change occurs when new values arise within specific contexts without displacing existing ones, often influenced by generational experiences with technology and niches where new technologies are introduced. Differential value change highlights how distinct groups may adopt (...) different value schemes based on their unique contexts and experiences, sometimes leading to societal polarization and the need to reconcile incompatible value schemes. The article stresses the importance of individual experiences of ethical uncertainty and disruption in understanding these changes. By integrating these complexities, the model offers a rich, non-deterministic framework for analyzing how values evolve in response to technological advancements. (shrink)

ABSTRACT Many of our common-sense moral judgments seemingly imply the existence of moral luck. I attempt to avoid moral luck while retaining most of these judgments. I defend a view on which agents have moral equality of opportunity. This allows us to account for our anti-moral-luck intuitions at less cost than has been previously recognized.

We introduce the topic of panpsychism, before briefly outlining the 19 essays on panpsychism containing in this special issue.

In this paper, I develop an account of Frederick Douglass’s use of declaration as an emancipatory mode of political action. An act of declaration compels an audience to acknowledge the declarer as possessing a type of normative standing (e.g. personhood or citizenship). Douglass, through acts of declaration like his Fifth of July speech and fight with the ‘slavebreaker’ Covey, compels American audiences to acknowledge him as a fellow citizen by forcefully enacting a commitment to resist tyranny and oppression. The distinctive (...) emancipatory potential of declaration is grounded in its political epistemology of acknowledgment, on which political actors understand other persons as members of a shared community through the ways in which they comport themselves in relation to one another. Declaration makes political communities more inclusive not only by changing who we understand as fellow members, but how we understand them as such. (shrink)

This paper develops a philosophical account of moral disruption. According to Robert Baker (2013), moral disruption is a process in which technological innovations undermine established moral norms without clearly leading to a new set of norms. Here I analyze this process in terms of moral uncertainty, formulating a philosophical account with two variants. On the Harm Account, such uncertainty is always harmful because it blocks our knowledge of our own and others’ moral obligations. On the Qualified Harm Account, there is (...) no harm in cases where moral uncertainty is related to innovation that is “for the best” in historical perspective, or where uncertainty is the expression of a deliberative virtue. The two accounts are compared by applying them to Baker’s historical case of the introduction of mechanical ventilation and organ transplantation technologies, as well as the present-day case of mass data practices in the health domain. (shrink)

Philip Villamor rethinks Albert Camus’ famous rock’n’roll parable. Pointing out that Camus' "The Myth of Sisyphus" is a sort of intellectual dishonesty designed to support the idea that one can be happy without the hope of something more than existence, Villamor challenges the idea that "the struggle itself" is enough to make one "happy." Villamor concludes that we must imagine Sisyphus as "hopeful" and "more human.".

In PI 189, Wittgenstein's interlocutor asks, ‘But are the steps then not determined by the algebraic formula?’. Wittgenstein responds, ‘The question contains a mistake’. What is the mistake contained in the interlocutor's question? Wittgenstein's elaboration is neither explicit nor its intended upshot transparent. In this paper, I offer a reading on which the interlocutor's question arises from illicitly crossing different pictures of ‘determination’. I begin by working through Wittgenstein's machine analogy in PI 193, which illustrates picture‐crossing in our ways of (...) talking about a machine. Using the lessons from this analogy, I show how the interlocutor's ‘mistake’ can be diagnosed in similar terms: their confusion about the power of a rule to determine its applications rests on mistakenly crossing a behavioural and a mathematical sense of ‘determine’—thereby concocting a mystifying picture of rule‐following. (shrink)

Assurance theories of testimony attempt to explain what is distinctive about testimony as a form of epistemic warrant or justification. The most characteristic assurance theories hold that a distinctive subclass of assertion (acts of “telling”) involves a real commitment given by the speaker to the listener, somewhat like a promise to the effect that what is asserted is true. This chapter sympathetically explains what is attractive about such theories: instead of treating testimony as essentially similar to any other kind of (...) evidence, they instead make testimonial warrant depend on essential features of the speech act of testimony as a social practice. One such feature is “buck-passing,” the phenomenon that when I am challenged to defend a belief I acquired through testimony, I may respond by referring to the source of my testimony (and thereby “passing the buck”) rather than providing direct evidence for the truth of the content of the belief. The chapter concludes by posing a serious challenge to assurance theories, namely that the social practice of assurance insufficiently ensures the truth of beliefs formed on the basis of testimony, and thereby fails a crucial epistemological test as a legitimate source of beliefs. (shrink)

John Broome’s Rationality Through Reasoning is a trail-blazing study of the nature of rationality, the nature of reasoning and the connection between the two. But it may be somewhat misleading in two respects. First, his theory of reasoning is consistent with the meta-propositional view that he rejects; it develops a broadly similar theory but in much greater detail. And while his discussion of rule-following helps to explain the role of rules in reasoning, it does not constitute a response to the (...) classic problem associated with Wittgenstein and Kripke. (shrink)

Engineers are traditionally regarded as trustworthy professionals who meet exacting standards. In this chapter I begin by explicating our trust relationship towards engineers, arguing that it is a linear but indirect relationship in which engineers “stand behind” the artifacts and technological systems that we rely on directly. The chapter goes on to explain how this relationship has become more complex as engineers have taken on two additional aims: the aim of social engineering to create and steer trust between people, and (...) the aim of creating automated systems that take over human tasks and are meant to invite the trust of those who rely on and interact with them. (shrink)

I show that Wittgenstein's critique of G.H. Hardy's mathematical realism naturally extends to Paul Benacerraf's influential paper, ‘Mathematical Truth’. Wittgenstein accuses Hardy of hastily analogizing mathematical and empirical propositions, thus leading to a picture of mathematical reality that is somehow akin to empirical reality despite the many puzzles this creates. Since Benacerraf relies on that very same analogy to raise problems about mathematical ‘truth’ and the alleged ‘reality’ to which it corresponds, his major argument falls prey to the same critique. (...) The problematic pictures of mathematical reality suggested by Hardy and Benacerraf can be avoided, according to Wittgenstein, by disrupting the analogy that gives rise to them. I show why Tarskian updates to our conception of ‘truth’ discussed by Benacerraf do not answer Wittgenstein's concerns. That is, because they merely presuppose what Wittgenstein puts into question, namely, the essential uniformity of ‘truth’ and ‘proposition’ in ordinary discourse. (shrink)

Introductory Chapter to the _Cambridge Handbook of Situated Cognition_ (CUP, 2009).

It is commonly argued that the fact that our universe is fine-tuned for life favors both a design hypothesis as well as a non-teleological multiverse hypothesis. The claim that the fine-tuning of this universe supports a non-teleological multiverse hypothesis has been forcefully challenged however by Ian Hacking and Roger White. In this paper we take this challenge even further by arguing that if it succeeds, then not only does the fine-tuning of this universe fail to support a multiverse hypothesis, but (...) it tends to favor a single-universe hypothesis instead. (shrink)

Wars and crises worldwide force millions of people to flee and seek refuge, often outside their countries of origin. What moral responsibilities do states have towards refugees? In this Ethical Annotation, Dr Jos Philips and his co-authors zoom in on the responsibilities of EU countries. They consider arguments in favour of and against admitting refugees and argue that EU countries must do at least at much as they can do at little cost, and perhaps even more.

This paper argues for a Husserlian account of phenomenal intentionality. Experience is intentional insofar as it presents a mind-independent, objective world. Its doing so is a matter of the way it hangs together, its having a certain structure. But in order for the intentionality in question to be properly understood as phenomenal intentionality, this structure must inhere in experience as a phenomenal feature. Husserl’s concept of horizon designates this intentionality-bestowing experiential structure, while his concept of motivation designates the unique phenomenal (...) character of this structure as it is experientially lived through. The way experience hangs together is itself a phenomenal feature of experience. (shrink)

ABSTRACT Constitutive panpsychism is the doctrine that macro-level consciousness—that is, consciousness of the sort possessed by certain composite things such as humans—is built out of irreducibly mental features had by some or all of the basic physical constituents of reality. On constitutive panpsychism, changes in macro-level consciousness amount to changes in either the way that micro-conscious entities ‘bond’ or the way that micro-conscious qualities ‘blend’. I pose the ‘Selection Problem’ for constitutive panpsychism—the problem of explaining how high-level functional states of (...) the brain ‘select’ micro-conscious qualities for bonding or blending. I argue that there are no empirically plausible solutions to this problem. (shrink)

The cause of global environmental decline is clear: an immense and rapidly growing human economy. In response, environmentalists should advocate policies leading to fewer people, lower per capita consumption, and less harmful technologies. All three of these must be addressed, not just one instead of the others. That is our best remaining hope to create sustainable societies and preserve what global biodiversity remains. Sharing Earth justly with other species and protecting it for future human generations are achievable goals, but only (...) if we recognize limits to growth, show restraint in both consumption and procreation, replace maximizing thinking with sufficiency thinking, and cultivate gratitude for what we receive from nature. Efficiency cannot take the place of ethics. Cleverness cannot take the place of wisdom. Humanity must learn to recognize and appreciate ‘enough.’. (shrink)

It used to be thought that rational coherence and metaphysical possibility went hand in hand. Kripke and Putnam put a spanner in the works by proposing examples of propositions which seem to violate this principle. I will propose a nuanced form of modal rationalism consistent with the Kripke/putnam cases. The rough idea is that rational coherence entails possibility when you grasp the essential nature of what you’re conceiving of.

The concept of freedom as non-domination that is associated with neo-republican theory provides a guiding ideal in the global, not just the domestic arena, and does so even on the assumption that there will continue to be many distinct states. It argues for a world in which states do not dominate members of their own people and, considered as a corporate body, no people is dominated by other agencies: not by other states and not, for example, by any international agency (...) or multi-national corporation. This ideal is not only attractive in the abstract, it also supports a concrete range of sensible, if often radical international policies. (shrink)

Eliminating sexual violence requires understanding where it comes from and why it happens. We must learn to detect when the grounds for violence are being built up so that we can promptly take them down. How can we improve our ability to notice the subtle practices of sexism and make them a matter of critical reflection? The aim of this paper is to show how film can enhance critical perception of the social conditions that give rise to sexual violence in (...) particular. We do this by way of a specific example, showing how Joyce Chopra’s 1985 film Smooth Talk serves to display the complex circumstances that make sexual violence possible – thereby illustrating Frye’s philosophical insight about the interconnected mechanisms of oppression.​ -/- . (shrink)

This paper has two goals: (1) to defend a particular response to the problem of resultant moral luck and (2) to defend the claim that we are only responsible for what we could have avoided. Cases of overdetermination threaten to undermine the claim that we are only responsible for what we could have avoided. To deal with this issue, I will motivate a particular way of responding to the problem of resultant moral luck. I defend the view that one's degree (...) of responsibility is immune to moral luck but the scope of events for which one is responsible is subject to moral luck. I will then argue that this view allows us to explain away certain intuitions about responsibility and overdetermination (as well as similar intuitions regarding Frankfurt Cases). As a result, the claim that we are only responsible for what we could have avoided becomes significantly more plausible. (shrink)

Strong claims have been made for emergence as a new paradigm for understanding science, consciousness, and religion. Tracing the past history and current definitions of the concept, Clayton assesses the case for emergent phenomena in the natural world and their significance for philosophy and theology. Complex emergent phenomena require irreducible levels of explanation in physics, chemistry and biology. This pattern of emergence suggests a new approach to the problem of consciousness, which is neither reducible to brain states nor proof of (...) a mental substance or soul. Although emergence does not entail classical theism, it is compatible with a variety of religious positions. Clayton concludes with a defence of emergentist panentheism and a Christian constructive theology consistent with the new sciences of emergence. (shrink)

In this chapter, we consider ethical and philosophical aspects of trust in the practice of medicine. We focus on trust within the patient-physician relationship, trust and professionalism, and trust in Western (allopathic) institutions of medicine and medical research. Philosophical approaches to trust contain important insights into medicine as an ethical and social practice. In what follows we explain several philosophical approaches and discuss their strengths and weaknesses in this context. We also highlight some relevant empirical work in the section on (...) trust in the institutions of medicine. It is hoped that the approaches discussed here can be extended to nursing and other topics in the philosophy of medicine. (shrink)

According to a traditional view, humans are superior to their non‐human terrestrial companions because they alone are “rational animals.” Although the traditional view is presupposed by our social and legal institutions, it has been called into question by modern science: Darwin himself claimed that humans differ in degree rather than in kind from animals, and recent discoveries in comparative animal cognition have seemed to confirm Darwin's assertion. Sustaining the traditional view in light of these discoveries calls out for a careful (...) comparison of the human mind with its precursors, the vertebrate mind and the mammalian mind. Psychological capacities shared across the animal kingdom are repurposed in humans, rendering humans uniquely capable of rationality. To be rational is to respond appropriately to value. Humans as such are not rational animals, but have the potential to become rational animals. This potential marks a morally relevant difference in kind between humans and non‐human animals. (shrink)

Holly Smith has recently argued that Subjective Deontological Moral Theories (SDM theories) cannot adequately account for agents’ duties to gather information. I defend SDM theories against this charge and argue that they can account for agents’ duties to inform themselves. Along the way, I develop some principles governing how SDM theories, and deontological moral theories in general, should assign ‘deontic value’ or ‘deontic weight’ to particular actions.

The paper offers five desiderata on a realist normative theory of politics: that it should avoid moralism, deontologism, transcendentalism, utopianism, and vanguardism. These desiderata argue for a theory that begins from values rooted in a people’s experience; that avoids prescribing a collective deontological constraint; that makes the comparison of imperfect regimes possible; that takes feasibility and sustainability into account; and that makes room for the claims of democracy. The paper argues, in the course of exploring the desiderata, that a neo-republican (...) philosophy of government does pretty well in satisfying them. (shrink)