Computation is central to contemporary mathematics. Many accept that we can acquire genuine mathematical knowledge of the Four Color Theorem from Appel and Haken's program insofar as it is simply a repetitive application of human forms of mathematical reasoning. Modern LLMs / DNNs are, by contrast, opaque to us in significant ways, and this creates obstacles in obtaining mathematical knowledge from them. We argue, however, that if a proof-checker automating human forms of proof-checking is attached to such machines, then we (...) can obtain apriori mathematical knowledge from them, even though the original machines are entirely opaque to us and the proofs they output are not human-surveyable. (shrink)

This paper argues that Frege's notoriously long commitment to Kant's thesis that Euclidean geometry is synthetic _a priori_ is best explained by realizing that Frege uses ‘intuition’ in two senses. Frege sometimes adopts the usage presented in Hermann Helmholtz's sign theory of perception. However, when using ‘intuition’ to denote the source of geometric knowledge, he is appealing to Hermann Cohen's use of Kantian terminology. We will see that Cohen reinterpreted Kantian notions, stripping them of any psychological connotation. Cohen's defense of (...) his modified Kantian thesis on the unique status of the Euclidean axioms presents Frege's own views in a much more favorable light. (shrink)

According to the decomposition thesis, perceptual experiences resolve without remainder into their different modality-specific components. Contrary to this view, I argue that certain cases of multisensory integration give rise to experiences representing features of a novel type. Through the coordinated use of bodily awareness—understood here as encompassing both proprioception and kinaesthesis—and the exteroceptive sensory modalities, one becomes perceptually responsive to spatial features whose instances couldn’t be represented by any of the contributing modalities functioning in isolation. I develop an argument for (...) this conclusion focusing on two cases: 3D shape perception in haptic touch and experiencing an object’s egocentric location in crossmodally accessible, environmental space. (shrink)

The problem of amodal perception is the problem of how we represent features of perceived objects that are occluded or otherwise hidden from us. Bence Nanay (2010) has recently proposed that we amodally perceive an object's occluded features by imaginatively projecting them into the relevant regions of visual egocentric space. In this paper, I argue that amodal perception is not a single, unitary capacity. Drawing appropriate distinctions reveals amodal perception to be characterized not only by mental imagery, as Nanay suggests, (...) but also by genuinely visual representations as well as beliefs. I conclude with some brief remarks on the role of object-directed bodily action in conferring a sense of unseen presence on an object's occluded features. (shrink)

Against the standard view that the Republic’s division of goods distinguishes between intrinsic and instrumental value, a growing number of scholars have correctly argued that goods possess value δι᾽ αὑτό in virtue of some of their causal effects. However, these scholars have not yet given a convincing and principled account of what it means to be valuable διὰ τὰ γιγνόμενα ἀπ’ αὐτοῦ such that some effects can contribute to the value a good has δι᾽ αὑτό. In this paper I offer (...) such an account. (shrink)

In the 5th century a number of sophists challenged the orthodox understanding of morality and claimed that practicing injustice was the best and most profitable way for an individual to live. Although a number of responses to sophistic immoralism were made, one argument, in fact coming from a pair of sophists, has not received the attention it deserves. According to the argument I call Immortal Repute, self-interested individuals should reject immorality and cultivate virtue instead, for only a virtuous agent can (...) win the sort of everlasting reputation that makes a life truly admirable and successful. (shrink)

The 2005 International Consensus Conference on Intersex resulted in a substantive revision of the lexicon and guidelines for treating intersex conditions. The speed with which the new treatment protocol has been adopted by healthcare practitioners and providers is considered unprecedented. However, a number of intersex people and advocacy groups have complained that the recommended revisions are inadequately informed by the testimony of intersex people. In this paper, I argue that such complaints are valid and that, despite the conference conveners stated (...) intention, the revisions perpetuate the epistemic injustice long endured by intersex people. By analyzing the Consensus Conference and its results as a failed attempt to redress the epistemic marginalization of intersex patients and advocacy groups, I am able to identify lingering institutional hurdles to cultivating the virtue of epistemic justice in biomedical practice. (shrink)

This article attempts to elucidate the phenomenon of time and its relationship to consciousness. It defends the idea that time exists both as a psychological or illusory experience, and as an ontological property of spacetime that actually exists independently of human experience.

In this paper, I critically assess the enactive account of visual perception recently defended by Alva Noë (2004). I argue inter alia that the enactive account falsely identifies an object’s apparent shape with its 2D perspectival shape; that it mistakenly assimilates visual shape perception and volumetric object recognition; and that it seriously misrepresents the constitutive role of bodily action in visual awareness. I argue further that noticing an object’s perspectival shape involves a hybrid experience combining both perceptual and imaginative elements—an (...) act of what I call ‘make‐perceive’. (shrink)

In the 5th century a number of sophists challenged the orthodox understanding of morality and claimed that practicing injustice was the best and most profitable way for an individual to live. Although a number of responses to sophistic immoralism were made, one argument, in fact coming from a pair of sophists, has not received the attention it deserves. According to the argument I call Immortal Repute, self-interested individuals should reject immorality and cultivate virtue instead, for only a virtuous agent can (...) win the sort everlasting reputation that makes a life truly admirable and successful. (shrink)

Multisensory processing encompasses all of the various ways in which the presence of information in one sensory modality can adaptively influence the processing of information in a different modality. In Part I of this survey article, I begin by presenting a cartography of some of the more extensively investigated forms of multisensory processing, with a special focus on two distinct types of multisensory integration. I briefly discuss the conditions under which these different forms of multisensory processing occur as well as (...) their important perceptual consequences and interrelations. In Part II, I then turn to examining of some of the different possible ways in which the structure of conscious perceptual experience might also be characterized as multisensory. In addition, I discuss the significance of research on multisensory processing and multisensory consciousness for philosophical attempts to individuate the senses. (shrink)

The claim that all vagueness must be a feature of language or thought is the current orthodoxy. This is a claim about the “location” of vagueness. “Locating Vagueness” argues that this claim is false, largely by defending the possibility of borderline cases in the absence of language and thought. If the orthodoxy about the location of vagueness is false, then so too is any account of the “nature” of vagueness that implies that orthodoxy. So this paper concludes that various accounts (...) of the nature of vagueness are false. Among such accounts, so this paper argues, are the standard versions of supervaluationism and the standard versions of epistemicism. So I conclude that those accounts are false. Along the way, I present, and uncover ways to motivate, several heretical accounts of the nature of vagueness, including nonstandard versions of both supervaluationism and epistemicism. (shrink)

Although ethics is an essential component of undergraduate medical education, research suggests current medical ethics curricula face considerable challenges in improving students’ ethical reasoning. This paper discusses these challenges and introduces a promising new mode of graduate and professional ethics instruction for overcoming them. We begin by describing common ethics curricula, focusing in particular on established problems with current approaches. Next, we describe a novel method of ethics education and assessment for medical students that we have devised, the Medical Ethics (...) Bowl. Finally, we suggest pedagogical advantages to MEBs when compared to other ethics curricula. (shrink)

Replies for a symposium on Propositions.

The first part of this survey article presented a cartography of some of the more extensively studied forms of multisensory processing. In this second part, I turn to examining some of the different possible ways in which the structure of conscious perceptual experience might also be characterized as multisensory. In addition, I discuss the significance of research on multisensory processing and multisensory consciousness for philosophical debates concerning the modularity of perception, cognitive penetration, and the individuation of the senses.

Semantic externalism in contemporary philosophy of language typically – and often tacitly – combines two supervenience claims about idiolectical meaning (i.e., meaning in the language system of an individual speaker). The first claim is that the meaning of a word in a speaker’s idiolect may vary without any variation in her intrinsic, physical properties. The second is that the meaning of a word in a speaker’s idiolect may vary without any variation in her understanding of its use. I here show (...) that a conception of idiolectical meaning is possible that accepts the “anti-internalism” of the first claim while rejecting (what I shall refer to as) the “anti-individualism” of the second. According to this conception, externally constituted idiolectical meaning supervenes on idiolectical understanding. (shrink)

Donald Davidson has long maintained that in order to be credited with the concept of objectivity – and, so, with language and thought – it is necessary to communicate with at least one other speaker. I here examine Davidson's central argument for this thesis and argue that it is unsuccessful. Subsequently, I turn to Robert Brandom's defense of the thesis inMaking It Explicit.I argue that, contrary to Brandom, in order to possess the concept of objectivity it is not necessary to (...) engage in the practice of interpersonal reasoning because possession of the concept is independently integral to the practice of intrapersonal reasoning. (shrink)

Trenton Merricks argues for and defends a novel version of primitivism about truth : being true is a primitive monadic but non-intrinsic property. This examination consists of the following triad: a critical discussion of Merricks’ argument for his view, a rejection of his objection against Paul Horwich’s minimalist theory of truth, and a direct objection against his view on the grounds that it entails being true is a mysterious and suspicious property. The conclusion is that Merricks’ primitivism should be rejected.

In a recent discussion, Trenton Merricks concludes that we cannot understand how God might miraculously bring it about that there will be the resurrection of the body. It is contended to the contrary, that it is not utterly mysterious how God might give us our bodies back.

In this paper I offer a counterexample to the so called vagueness argument against restricted composition. This will be done in the lines of a recent suggestion by Trenton Merricks, namely by challenging the claim that there cannot be a sharp cut-off point in a composition sequence. It will be suggested that causal powers which emerge when composition occurs can serve as an indicator of such sharp cut-off points. The main example will be the case of a heap. It seems (...) that heaps might provide a very plausible counterexample to the vagueness argument if we accept the idea that four grains of sand is the least number required to compose a heap—the case has been supported by W. D. Hart. My purpose here is not to put forward a new theory of composition, I only wish to refute the vagueness argument and point out that we should be wary of arguments of its form. (shrink)

Aristotelians traditionally motivate the doctrine of first (“prime”) matter by claiming that substantial change requires a subject. Without gainsaying that motivation, I propose another: first matter is a necessary postulate for the sort of unity proper to a substance. This motivation arises if one examines a claim that Patrick Toner and Robert Koons share: (TM′) the possession of emergent causal powers is necessary for substancehood. I first explain how TM′ represents the application of “Merricks’s Dictum” (“For a macrophysical object to (...) exist is to have causal powers”) to an Aristotelian framework. Next, I argue that, as Toner’s and Koons’s respective theories use TM′, it is incompatible with the denial that substances have substances as proper parts. In Toner’s hylomorphism, TM′ entails that an entity’s matter and form are independent substances. As part of Koons’s theory, TM′ implies that an entity’s elementary parts are substances. Happily, a hylomorphist need not accept TM′. For example, Aquinas rejects TM′ as incompatible with the doctrine of first matter. An ontology like Aquinas’s that includes first matter navigates the dialectical straight between the dualism and atomism. If she commits to first matter, the hylomorphist can deny that substances have substances as proper parts. (shrink)

Dans cet article, j'introduis premièrement l'une des plus célèbres objections dirigées à l’encontre de la théorie du bloc en croissance (GBT), communément appelée « l’objection épistémique », selon laquelle GBT ne fournirait aucune raison de croire que nous sommes situés dans le présent objectif – bien au contraire. Deuxièmement, j'exprime mon insatisfaction à l’égard des tentatives traditionnelles de répondre à cette objection (Merricks 2006, Forrest 2004, Correia & Rosenkranz 2018). Enfin, troisièmement, je présente ma propre solution à l'objection épistémique, basée (...) sur l'existence continue des particuliers nus. (shrink)

Artificial intelligence (AI) and machine learning (ML) models have undoubtedly become useful tools in science. In general, scientists and ML developers are optimistic – perhaps rightfully so – about the potential that these models have in facilitating scientific progress. The philosophy of AI literature carries a different mood. The attention of philosophers remains on potential epistemological issues that stem from the so-called “black box” features of ML models. For instance, Eamon Duede (2023) argues that opacity in deep learning models (...) (DLMs) is epistemically problematic in the context of justification, though not in the context of discovery. -/- In this paper, I aim to show that a similar epistemological concern is echoed in the epistemology of imagination literature. It is traditionally held that, given its black box features, reliance on the imagination is epistemically problematic in the context of justification, though not in the context of discovery. The constraints-based approach to the imagination answers the epistemological concern by providing an account of how we can rely on the imagination in the context of justification by way of constraints. I argue by analogy that a similar approach can be applied to the opaque DLM case. Ultimately, my goal is to explore just how far this analogy extends, and whether a constraints-based approach to opaque DLMs can answer the epistemological concern surrounding their black box features in the context of justification. -/- (Note that this paper is IN PROGRESS and UNPUBLISHED). (shrink)

Ontological pluralism is the view that there are different fundamental ways of being. Trenton Merricks has recently raised three objections to combining pluralism with a generic way of being enjoyed by absolutely everything there is: first, that the resulting view contradicts the pluralist’s core intuition; second, that it is especially vulnerable to the charge—due to Peter van Inwagen—that it posits a difference in being where there is simply a difference in kind; and, third, that it is in tension with various (...) historically influential motivations for pluralism. I reply to each of these objections in turn. My replies will help to bring out the true nature of the pluralist’s basic commitments. (shrink)

In this paper, I first introduce one of the most prominent objections against the Growing Block Theory of time (GBT), the so-called ‘epistemic objection’, according to which GBT provides no way of knowing that our time is the objective present and, therefore, leads at best to absolute skepticism about our temporal location, at worst to the quasi-certainty that we are located in the objective past. Secondly, I express my dissatisfaction regarding the various traditional attempts to address this objection, especially Merricks (...) (2006), Forrest (2004) and Correia and Rosenkranz (2018). Thirdly, I show that the passage of time leads to an anti-essentialist picture of natural kinds. Finally, I develop my own solution to the epistemic objection, based on the continued existence of bare particulars. (shrink)

Monism about being says that there is one way to be. Pluralism about being says that there are many ways to be. Recently, Trenton Merricks and David Builes have offered arguments against Pluralism. In this paper, I show how Pluralists who appeal to the relative naturalness of quantifiers can respond to these arguments.

Ted Sider argues that nihilism about objects is incompatible with the metaphysical possibility of gunk and takes this point to show that nihilism is flawed. I shall describe one kind of nihilism able to answer this objection. I believe that most of the things we usually encounter do not exist. That is, I take talk of macroscopic objects and macroscopic properties to refer to sets of fundamental properties, which are invoked as a matter of linguistic convention. This view is a (...) kind of nihilism : it rules out the existence of objects; that is, from an ontological point of view, there are no objects. But unlike the moderate nihilism of Mark Heller, Peter van Inwagen and Trenton Merricks that claims that most objects do not exist, I endorse a radical nihilism according to which there are no objects in the world, but only properties instantiated in spacetime. As I will show, radical nihilism is perfectly compatible with the metaphysical possibility of gunk. It is also compatible with the epistemic possibility that we actually live in a gunk world. The objection raised by Ted Sider only applies to moderate nihilism that admits some objects in its ontology. (shrink)

It is widely thought that Atemporalism—the view that, because God is “outside” of time, he does not foreknow anything —constitutes a unique solution to the problem of freedom and foreknowledge. However, as I argue here, in order for Atemporalism to escape certain worries, the view must appeal to the dependence of God’s timeless knowledge on our actions. I then argue that, because it must appeal to such dependence, Atemporalism is crucially similar to the recent sempiternalist accounts proposed by Trenton Merricks, (...) Philip Swenson, and Jonathan Westphal, and I conclude by briefly sketching some implications of this result. (shrink)

The Doctrine of Microphysical Supervenience states that microphysical duplicates cannot differ in their intrinsic properties. According to Merricks :59–71, 1998a, Objects and persons, Oxford University Press, 2001), however, this thesis is false, since microphysical duplicates can differ with respect to the intrinsic property of consciousness. In my view, Merricks’ argument is plausible, and extant attempts to reject it are problematic. However, the argument also threatens to make consciousness appear mysterious, by implying that consciousness facts fail to be microphysically determined and (...) that there can be brute and inexplicable differences in consciousness between material things. The paper therefore develops an account that can respect the soundness of Merricks’ argument while avoiding these problematic consequences. At the heart of the proposal is the idea that consciousness can be microphysically grounded despite failing to microphysical supervene. The proposed view also has the interesting consequence that consciousness is an intrinsic property despite depending on extrinsic factors for its instantiation. (shrink)

Whether Nietzsche’s genealogical critique of morality is best understood as an internal or as an external critique remains a matter of controversy. On the internalist interpretation (Ridley, Owen, Merrick ), the genealogical enterprise takes as its starting point the perspective being criticized, gradually revealing it to be untenable ‘from within.’ On the externalist interpretation (Leiter, and arguably Geuss, Williams, and Janaway ), this constraint is lifted; the starting point of the critique need not be the perspective being criticized, but (...) may be that of someone who already suspects the latter to be untenable. According to a common objection to ‘external critique’ interpretations, the limited-scope objection, since an external critique to a value-system could only work on an audience whose members were predisposed to abandon that system of values, ‘external critique’ interpretations impose a severe limitation on the transformative potential of Nietzsche’s project. ‘Internal critique’ interpretations, by contrast, can seem hard to reconcile with the polemical character of On the Genealogy of Morality (which lends the book its subtitle, Eine Streitschrift) and with Nietzsche’s frequent remarks to the effect his works were addressing a particular, ‘higher,’ kind of individual. -/- The overarching goal in this paper is to call into question the usefulness of the ‘internal-external’ or ‘immanent-transcendent’ dichotomy for understanding Nietzsche’s genealogical critique. I argue that the apparent usefulness of the distinction between external and internal critiques when approaching Nietzsche’s works rests on the assumption that any critique of values must itself be grounded on values that function as evaluative-critical standards. If the assumption is right, then one of two things, either the values that are deployed as standards coincide with those that are the target of critique, in which case the critique is internal, or they are not (etc.). Thus the assumption is liable to render us forgetful of a third possibility, that of a critical strategy that does not work by deploying (internal or external) values as standards of critical assessment, but by revealing something about the nature of value, and more precisely about the origin of any individual’s commitments to their values. -/- On the view that I defend, one of the crucial steps of Nietzsche’s genealogical method is to bring his reader to realize that any individual’s commitment to their values is expressive of and rooted in their commitment to preserve their way of life. Realizing this does not require that the reader abandon their own values. But it does require that they acknowledge that were they committed to a relevantly different way of life, they would subscribe to different values. And this, in turn, suffices to bring about a transformation in their understanding of and relationship to those commitments through the further realization that it is ultimately always up to them to undertake the project of taking distance from and ‘re-evaluating’ those values. (shrink)

The topic of this paper is whether there is metaphysical vagueness. It is shown that it is important to distinguish between the general phenomenon of indeterminacy and the more narrow phenomenon of vagueness (the phenomenon that paradigmatically rears its head in sorites reasoning). Relatedly, it is important to distinguish between metaphysical indeterminacy and metaphysical vagueness. One can wish to allow metaphysical indeterminacy but rule out metaphysical vagueness. As is discussed in the paper, central argument against metaphysical vagueness, like those of (...) Gareth Evans and Mark Sainsbury, would if successful rule out metaphysical indeterminacy. One way to argue specifically against the possibility of metaphysical vagueness might be thought to be to argue for a specific theory of the nature of vagueness according to which vagueness is a semantic phenomenon. But it is shown that there are complications also pertaining to arguments with that structure. Toward the end of the paper, I discuss Trenton Merricks’ well-known argument against a semantic view on vagueness and for a metaphysical view. (shrink)

According to the Christian doctrine of bodily resurrection, human persons will have an embodied existence in eternity. Many Christian materialists, especially Lynne Rudder Baker, Trenton Merricks, and Kevin Corcoran, argue that the doctrine of bodily resurrection creates serious problems for substance dualism (dualism). These critiques argued that bodily resurrection is made trivial by dualism, that dualism makes it difficult if not impossible to explain why we need to be embodied, or that dualism should be rejected as bodily resurrection is better (...) accounted for by a materialist view. As of yet, there has been no systematic analysis of these arguments in the literature. This paper fills that gap and argues that each of these objections to dualism fail. In making these arguments I make use of neo-Aristotelian metaphysics to provide a theory of embodiment for substance dualism. Accordingly, the body is a complex structural mode of the soul. The essence of the soul is the internal efficient cause and teleological guide of the functions and structure of the body. As such, the body is an ensouled physical structure, not a mere physical machine, but has both physical and non-physical aspects. (shrink)

Revisionary ontologists are making a comeback. Quasi-nihilists, like Peter van Inwagen and Trenton Merricks, insist that the only composite objects that exist are living things. Unrestriced universalists, like W.V.O. Quine, David Lewis, Mark Heller, and Hud Hudson, insist that any collection of objects composes something, no matter how scattered over time and space they may be. And there are more besides. The result, says Eli Hirsch, is that many commonsense judgments about the existence or identity of highly visible physical objects (...) are a priori necessarily false. In a “last ditch effort” to bring revisionary ontologists back to their senses, Hirsch marshalls what he calls the Argument from Charity. We can be sure that there are tables and chairs and that there are no fusions of Plato’s nose and the Eiffel Tower, says Hirsch, because these commonsense platitudes are a logical consequence of the well-known principle of interpretive charity applied to natural languages, like English. In what follows, I assess the Argument from Charity. My conclusion is that if this is the best we can do to save revisionary ontologists, they are surely lost forever. (shrink)

In May 2010, philosophers, family and friends gathered at the University of Notre Dame to celebrate the career and retirement of Alvin Plantinga, widely recognized as one of the world's leading figures in metaphysics, epistemology, and the philosophy of religion. Plantinga has earned particular respect within the community of Christian philosophers for the pivotal role that he played in the recent renewal and development of philosophy of religion and philosophical theology. Each of the essays in this volume engages with some (...) particular aspect of Plantinga's views on metaphysics, epistemology, or philosophy of religion. Contributors include Michael Bergman, Ernest Sosa, Trenton Merricks, Richard Otte, Peter VanInwagen, Thomas P. Flint, Eleonore Stump, Dean Zimmerman and Nicholas Wolterstorff. The volume also includes responses to each essay by Bas van Fraassen, Stephen Wykstra, David VanderLaan, Robin Collins, Raymond VanArragon, E. J. Coffman, Thomas Crisp, and Donald Smith. (shrink)

There is currently debate between deflationists and anti-deflationists about the ontology of persisting objects. Some deflationists think that disputes between, for example, four-dimensionalists (e.g. Ted Sider and David Lewis) and quasi-nihilists (e.g. Peter Van Inwagen and Trenton Merricks) are merely verbal disputes. Anti-deflationists deny this. Eli Hirsch is a deflationist who maintains that many ontological disputes are merely verbal. Theodore Sider maintains that the disputes are not merely verbal. Hirsch and Sider are thus engaged in a metaontological dispute. In this (...) paper, I argue that Hirsch's metaontological dispute with Sider is, by Hirsch's own lights, itself merely verbal. I conclude that the mere verbalness of his metaontological dispute with Sider suggests that Hirsch's account of what makes a dispute merely verbal may be problematic. (shrink)

It is a common view that if composition as identity is true, then so is mereological universalism (the thesis that all objects have a mereological fusion). Various arguments have been advanced in favour of this: (i) there has been a recent argument by Merricks, (ii) some claim that Universalism is entailed by the ontological innocence of the identity relation, (or that ontological innocence undermines objections to universalism) and (iii) it is entailed by the law of selfidentity. After a preliminary introduction (...) to the competing theories of persistence (necessary for a discussion of Merricks’ argument) I examine each in turn and demonstrate how they fail. I conclude that the prejudice that if composition as identity is true then Universalism is true, is unwarranted. Thus one motivation for believing Universalism is lost and those who believe composition as identity should now be receptive to some form of restricted composition. (shrink)