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)

In some circles, faith is said to be one of three theological virtues, along with hope and agape. But not everyone thinks faith is a virtue, theological or otherwise. Indeed, depending on how we understand it, faith may well conflict with the virtues. In this chapter we will focus on the virtue of humility. Does faith conflict with humility, or are they in concord? In what follows, we will do five things. First, we will sketch a theory of the virtue (...) of humility. Second, we will summarize a common view of faith, arguably held by Thomas Aquinas among others, and we will argue that Thomistic faith is not an intellectual virtue and that it conflicts with humility in the domain of inquiry. Third, we will plump for an older view of faith, one that predates Aquinas by at least 1500 years, Markan faith. Fourth, we will argue that Markan faith is an intellectual virtue and it is in concord with humility in the domain of inquiry. Fifth, we will argue that Markan faith, unlike Thomistic faith, is a personal virtue and that it is in concord with humility in the domain of personal relationships, both human-human and human-divine. (shrink)

An interview about realism conducted in English and translated into Persian by Reza Alizadeh Mamaghani.

Some remarks on the significance of Feyerabend's views on meaning and method.

What does it mean for an object to persist through time? Consider the statement, ‘My car is filthy, I need to wash it.’ Consider the response, ‘How did it get that way?’ The answer is that dirt, dust and other particles have collected on the car’s surface thus making it filthy. Its properties have changed. At one point in the car’s career, none of that dirt and grime existed on its surface and the car was said to be clean. The (...) fact is that for a car to get dirty, the extension of time is necessary. The standard view of identity is that each thing is entirely itself at any given time. So how can an object remain identical with itself over time, if it changes its properties? In many ways I have different properties now than those I had last week. But if I am different, how then can I be the same? The objective of this article is to answer the question of what it means to say that we and other things persist through time. First I’ll lay out two popular philosophical views of persistence through time, then I will present possible problems with both views. After that, I will outline another possible answer that lies outside of these views. Finally, I will providemy own answer. (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)

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)

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)

It is often assumed that the best explanation of why we should be moral must involve a substantive account of what there is reason to do and how this is related to what morality requires and recommends. In this paper I argue to the contrary that the best explanation of why we should be moral is neutral about the content of morality, and does not invoke an independent substantive account of what there is practical reason to do. I contend that (...) an act’s deontic status as recommended or required by morality is best understood as its being fitting for us to feel obligated to perform it, which essentially involves motivation to perform it. I argue, moreover, that our having reason to do something is a matter of its being fitting for us to be motivated to do it. Since an act’s being favored by morality conceptually entails the fittingness of our being motivated to perform it, and the fittingness of this motivation conceptually entails that there is reason to perform it, it is actually a conceptual truth that there are reasons to do what morality requires and recommends, whatever that turns out to be. I contend, finally, that this kind of account best explains why, although moral considerations are not always overriding, we necessarily have conclusive reasons to do what morality requires. I argue that an act counts as morally required only if the reasons to feel obligated to perform it are conclusive, which entails that it is unfitting to fail to be most strongly motivated to perform it. This, together with my account of the connection between fitting motives and practical reasons, entails that whatever considerations are weighty enough to make the act morally required are conclusive reasons to perform it. I believe that this conceptual account of reasons to be moral is important, because it removes the explanation of why we should be moral as a desideratum on normative ethical theories, which may significantly decrease the attractions of some and increase the attractions of others. (shrink)

This essay is a detailed study of William P. Alston’s view on the nature of Christian faith, which I assess in the context of three problems: the problem of the skeptical Christian, the problem of faith and reason, and the problem of the trajectory. Although Alston intended a view that would solve these problems, it does so only superficially. Fortunately, we can distinguish Alston’s view, on the one hand, from Alston’s illustrations of it, on the other hand. I argue that, (...) although Alston’s view only superficially solves these problems, Alston’s illustrations of it suggest a substantive way to solve them, a way that I sketch briefly. (shrink)

There are few notions in philosophy seen more clearly, and in parallel so laden with confusion, than that of space and time. The subjective nature of analyses is most likely to blame. As it stands, a universal agreement has not yet been reached. My position is simply that the mind, when passive, has no qualms with space and time itself, nor is it concerned with its principles. It is only when our passions are ignited, and our judgment is utilized, i.e. (...) when we begin to actively think about space and time, that the notion becomes confounded. Any further digression into semantics of the issue by trying to give a ‘say all end all’ explanation will always lead to a dead end. Both space and time are ideas of an infinite nature and can never be visited manifestly since the mind itself is undeniably finite. (shrink)

This brief reply to McCain and Poston's chapter problematizes both their objections to my chapter on experience justifying belief and their version of epistemological coherentism.

In The Problems of Philosophy, Bertrand Russell presents a justification of induction based on a principle he refers to as “the principle of induction”. Owing to the ambiguity of the notion of probability, the principle of induction may be interpreted in two different ways. If interpreted in terms of the subjective interpretation of probability, the principle of induction may be known a priori to be true. But it is unclear how this should give us any confidence in our use of (...) induction, since induction is applied to the external world outside our minds. If the principle is interpreted in light of the objective interpretation of induction, it cannot be known to be true a priori, since it applies to frequencies that occur in the world outside the mind, and these cannot be known without recourse to experience. Russell’s principle of induction therefore fails to provide a satisfactory justification of induction. (shrink)

Reprinted in Philosophy of Religion: An Anthology, Wadsworth, 2013, 6th edition, eds. Michael Rea and Louis Pojman. In this essay, I argue that the moral skepticism objection to what is badly named "skeptical theism" fails.

Rational argument doesn't often change minds. I explore the reasons why the usual processes of argument seldom convince people on the other side.

Alan Musgrave is one of the foremost contemporary defenders of scientific realism. He is also one of the leading exponents of Karl Popper’s critical rationalist philosophy. In this paper, my main focus will be on Musgrave’s realism. However, I will emphasize epistemological aspects of realism. This will lead me to address aspects of his critical rationalism as well.

This is an introduction to the position of scientific realism, which outlines a number of core doctrines of scientific realism, and indicates a number of optional and non-core doctrine. It also sketches the basic argument for scientific realism, known as the success argument.

The burden of research ethics review falls not just on researchers, but on those who serve on research ethics committees (RECs). With the advent of automated text analysis and generative artificial intelligence, it has recently become possible to teach models to support human judgment, for example by highlighting relevant parts of a text and suggesting actionable precedents and explanations. It is time to consider how such tools might be used to support ethics review and oversight. This commentary argues that with (...) a suitable strategy of engagement, artificial intelligence can be used in a variety of ways that can genuinely support RECs and manage their workload and improve the quality of review. It would be wiser to take an active role in the development of AI tools for ethics review, rather than to adopt ad hoc tools after the fact. (shrink)

Reprinted in Philosophy of Religion: An Anthology, Wadsworth 2015, 6th edition, eds Michael Rea and Louis Pojman. What is propositional faith? At a first approximation, we might answer that it is the psychological attitude picked out by standard uses of the English locution “S has faith that p,” where p takes declarative sentences as instances, as in “He has faith that they’ll win”. Although correct, this answer is not nearly as informative as we might like. Many people say that there (...) is a more informative answer. They say that, at the very least, propositional faith requires propositional belief. More precisely, they say that faith that p requires belief that p or that it must be partly constituted by belief that p. This view is common enough; call it the Common View. I have two main aims in this paper: (i) to exhibit the falsity of the Common View and the paucity of reasons for it, and (ii) to sketch a more accurate and comprehensive account of what propositional faith is. (shrink)

The proposition that digital innovations can put people in charge of their health has been accompanied by prolific talk of empowerment. In this paper we consider ethical challenges and opportunities of trying to achieve justice and empowerment using digital health initiatives. The language of empowerment can misleadingly suggest that by using technology, people can control their health and take responsibility for health outcomes to a greater degree than is realistic or fair. Also, digital health empowerment often primarily reaches people who (...) already have high technological and health literacy, leaving others behind. We critically investigate whether the concept of health empowerment could be re-engineered to mean something different, namely the process of improving the health literacy and access of those who least possess it, in line with recent proposals for conceptual engineering in the service of justice. We settle on the weaker conclusion that underlying ethical values including justice should be used to interpret the existing concept of empowerment. To conclude, we take a high-level view of various strategies for achieving the ethical value associated with digital health empowerment. (shrink)

This is the original English version of the introduction to Ciencia, Realidad y Racionalidad (University of Cauca Press, 2015), which is a collection of my essays translated into Spanish by Juan Carlos Aguirre Garcia.

This paper explores spatial justice in urban environments through immersive art and design, focusing on Amsterdam and Houston. It presents a case study from the Venice Biennale 2023, showcasing art's potential in fostering inclusive urban spaces. The study delves into the socio-political complexities of urban areas, highlighting often-ignored liminal spaces and their tensions and possibilities. Immersive art emerges as a transformative medium, capable of challenging and reshaping perceptions of space, and addressing systemic socio-economic disparities. Adopting a transdisciplinary approach, the research (...) combines insights from various fields to enrich discussions on spatial justice and inspire urban transformations. By examining liminal spaces and the 'phygital' nexus, the paper challenges conventional urban narratives and advocates for more inclusive and equitable urban strategies. (shrink)

The paper briefly reviews the main formulations of the incommensurability thesis by Feyerabend and Kuhn, as well as the main criticisms leveled against it. The question is then raised of whether there is a "phenomenon" of incommensurability that has been "discovered". It is argued that there is no such phenomenon.

Opening remarks delivered at "Incommensurability (and related matters)" conference, Hanover, June 1999.

We argue that Michael Peterson's and William Hasker's attempts to show that God and gratuitous evil are compatible constitute miserable failures. We then sketch Peter van Inwagen's attempt to do the same and conclude that, to date, no one has shown his attempt a failure.

This is a short introductory discussion of the idea of incommensurability as it is used in the philosophy of science.

I argue for a type of relativism that allows different people to have conflicting accurate representations of the world. This is contrary to the view of most Anglo-American philosophers, who would, with Paul Boghossian in Fear of Knowledge, deny that “there are many radically different, yet ‘equally valid’ ways of knowing the world.” My argument is not a metaphysical argument about the ultimate nature of the outside world, but a psychological argument about the mental processes of representation. The argument starts (...) from a few principles of naïve (or folk) psychology, but is later extended to apply to mechanisms that do not have a “psychology.” Finally, I briefly discuss the anti-relativist impulse in philosophy, with particular reference to Boghossian’s example of non-scientific beliefs regarding Lakota origins. I argue that both we and the Lakotas have good reason to reject such beliefs while still remaining relativists. Being a relativist does not mean that you get to believe whatever you like. (shrink)

Can faith be valuable and, if so, under what conditions? We know of no theory-neutral way to address this question. So, we offer a theory of relational faith, and we supplement it with a complementary theory of relational faithfulness. We then turn to relationships of mutual faith and faithfulness with an eye toward exhibiting some of the ways in which, on our theory, faith and faithfulness can be valuable and disvaluable. We then extend the theory to other manifestations of faith (...) and faithfulness, propose a way to unify them under a theory of faith and faithfulness simpliciter, and explain how they can be neo-Aristotelian virtues and vices. We close with our solution to the value problem and avenues for further research. (shrink)

According to our understanding of the everyday physical world, observable phenomena are underpinned by persistent objects that can be reidentified across time by observation of their distinctive properties. This understanding is reflected in classical mechanics, which posits that matter consists of persistent, reidentifiable particles. However, the mathematical symmetrization procedures used to describe identical particles within the quantum formalism have led to the widespread belief that identical quantum particles lack either persistence or reidentifiability. However, it has proved difficult to reconcile these (...) assertions with the fact that identical particles are routinely assumed to be reidentifiable in particular circumstances. For example, when two electrons move through a bubble chamber, each is said to generate a sequence of bubbles that is caused by one and the same particle. Moreover, neither of these assertions accounts for the mathematical form of the symmetrization procedures used to describe identical particles within the quantum framework, leaving open theoretical possibilities other than bosonic and fermionic behavior, such as paraparticles, which do not appear to be realized in nature. Here we propose the novel idea that both persistence and nonpersistence models must be employed in order to fully account for the behaviour of identical particles. Thus, identical particles are neither persistent nor nonpersistent. We prove the viability of this viewpoint by showing how Feynman's and Dirac's symmetrization procedures arise through a synthesis of a quantum treatment of these models, and by showing how reidentifiability emerges in a context-dependent manner. We further show that the persistence and nonpersistence models satisfy the key characteristics of Bohr's concept of complementarity, and thereby propose that the behavior of identical particles is a manifestation of a persistence-nonpersistence complementarity, analogous to Bohr's wave-particle complementarity for individual particles. Finally, we construct a precise parallel between these two complementarities, and detail their conceptual similarities and dissimilarities. (shrink)

This is a co-authored dialogue which explores epistemological and metaphysical questions raised by a social constructivist approach to science.

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 reflection on paradox vis-a-vis truth in the context of religion. The discussion directly pertains to the Jewish context. But the issues are quite general.

¿La ciencia otorga conocimiento de la realidad? En este artículo ofrezco una respuesta positiva a esta pregunta. Rechazo la pretensión anti-realista según la cual somos incapaces de adquirir conocimiento de la realidad; al contrario, apoyo la visión realista que afirma que la ciencia produce conocimiento del mundo externo. Pero: ¿cuál mundo es ese? Algunos sostienen que la ciencia conduce a la superación de nuestra visión del mundo dada por el sentido común. El sentido común es la “metafísica de la edad (...) de piedra” que debe rechazarse como la teoría falsa de nuestros primitivos ancestros. Contra tales eliminativistas acerca del sentido común, planteo que la ciencia conserva y explica la experiencia del mundo dada por el sentido común. Aunque la ciencia puede llevar a la superación de creencias profundamente arraigadas, el sentido común refleja un nivel de experiencia más básico y duradero. Las creencias del sentido común son creencias bien confirmadas que se justifican por su papel en la acción práctica exitosa de la vida diaria. El sentido común otorga una base sólida sobre la cual establecer el enfoque realista a la ciencia. -/- . (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)

This is a collection of my essays in the philosophy of science which have been translated into Spanish.

Critical notice of Images of Science by P. M. Churchland and C. A. Hooker.

This book presents a critical analysis of the semantic incommensurability thesis of Thomas Kuhn and Paul Feyerabend. In putting forward the thesis of incommensurability, Kuhn and Feyerabend drew attention to complex issues concerning the phenomenon of conceptual change in science. They raised serious problems about the semantic and logical relations between the content of theories which deploy unlike systems of concepts. Yet few of the more extreme claims associated with incommensurability stand scrutiny. The argument of this book is as follows. (...) The terms of theories with different concepts diverge semantically and the vocabularies of such theories may not be fully intertranslatable. Given the possibility of referential overlap between the terms of conceptually divergent theories, it does not follow that the content of such theories is incomparable. Nor, given the distinction between understanding a language and translation from one language into another, does it follow that the proponents of mutually untranslatable theories are unable to communicate. Neither is it the case that the shift between conceptually divergent theories involves a discontinuous transition between theories which have no common reference or that refer to distinct worlds of their own making. The semantic differences resulting from conceptual variance may be embraced within a thoroughly realist framework on which they are construed as diverse linguistic relations to a fixed and independent reality. -/- The book, which was originally published in 1994, has now been re-issued in the Routledge Revivals series. -/- . (shrink)

Agent-centered constraints on harming hold that some harmful upshots of our conduct cannot be justified by its generating equal or somewhat greater benefits. In this paper I argue that all plausible theories of agent-centered constraints on harming are undermined by the likelihood that our actions will have butterfly effects, or cause cascades of changes that make the world dramatically different than it would have been. Theories that impose constraints against only intended harming or proximally caused harm have unacceptable implications for (...) choices between more and less harmful ways of securing greater goods. This leaves as plausible only theories that impose constraints against causing some unintended distal harms. But, I argue, given the distal harms our actions are likely to cause through their butterfly effects, these theories entail that any way of sustaining our lives is overwhelmingly likely to involve unjustified killing, and that we are therefore morally required either to allow ourselves to waste away or kill ourselves. (shrink)

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)

I raise two challenges for theological determinism. The first challenge concerns the accounts of human moral responsibility available to them. The second challenge concerns the responses to the problem of evil available to them. We will also see that the two challenges converge in an interesting way.

Fodor claims that cognitive modules can be thought of as constituting a psychological natural kind in virtue of their possession of most or all of nine specified properties. The challenge to this considered here comes from synaesthesia. Synaesthesia is a type of cross-modal association: input to one sensory modality reliably generates an additional sensory output that is usually generated by the input to a distinct sensory modality. The most common form of synaesthesia manifests Fodor's nine specified properties of modularity, and (...) hence, according to Segal (1997), it should be understood as involving an extra module. Many psychologists believe that synaesthesia involves a breakdown in modularity. After outlining how both theories can explain the manifestation of the nine alleged properties of modularity in synaesthesia, I discuss the two concepts of function which initially motivate the respective theories. I argue that only a teleological concept of function is properly able to adjudicate between the two theories. The upshot is a further application of so-called externalist considerations to mental phenomena. (shrink)