Logical reasoning is not only a component of religious faith (cf., for instance, the "Golden rule"), but, in addition, the religious faith itself can be conceived as a logical pragmatic function applied to sentences and their meanings. Pragmatic role of religious faith is shown on the examples of the analogy of seed and spoken word (e.g., Mt 13:3-23) and on the degrees of faith described in the episode about Nicodemus (John 3). Pragmatics adds (different grades of) perseverance to the correctness (...) of reasoning and to the truth-preservation of the consequence relation. Correspondingly, religious faith is described by formally defined model and satisfaction relation, which are applied to and examined on the text of John 3. (shrink)

Popular culture continues fuelling public imagination with things, human and non-human, that we might beco-me or confront. Besides robots, other significant tropes in popular fiction that generated images include non-human humans and cyborgs, wired into his-torically varying sociocultural realities. Robots and artificial intelligence are re-defining the natural order and its hierar-chical structure. This is not surprising, as natural order is always in flux, shaped by new scientific discoveries, especially the reading of the genetic code, that reveal and redefine relationships between (...) life forms. However, for the first time, a new, artificial, species is being introduced into the existing diagrams, and, for the first time, it appears to hybridise the anthro-pocentric natural world order. (shrink)

A first-order logic of belief with identity is proposed, primarily to give an account of possible de re contradictory beliefs, which sometimes occur as consequences of de dicto non-contradictory beliefs. A model has two separate, though interconnected domains: the domain of objects and the domain of appearances. The satisfaction of atomic formulas is defined by a particular S-accessibility relation between worlds. Identity is non-classical, and is conceived as an equivalence relation having the classical identity relation as a subset. A tableau (...) system with labels, signs, and suffixes is defined, extending the basic language $\mathscr{L}_{\mathbf{QB}}$ by quasiformulas (to express the denotations of predicates). The proposed logical system is paraconsistent since $\phi \wedge \neg\phi$ does not ``explode'' with arbitrary syntactic consequences. (shrink)

Recently in this journal, Jessica Morley and colleagues (AI & SOC 2023 38:411–423) review AI ethics and education, suggesting that a cultural shift is necessary in order to prepare students for their responsibilities in developing technology infrastructure that should shape ways of life for many generations. Current AI ethics guidelines are abstract and difficult to implement as practical moral concerns proliferate. They call for improvements in ethics course design, focusing on real-world cases and perspective-taking tools to immerse students in challenging (...) situations with relatable personal, social and environmental implications. The present paper considers the ACTWith model of moral cognition for use in such training contexts. Morley and colleagues' paper and contemporary literature are reviewed. Whistleblowing as a source for relatable case studies is discussed, and the purpose of ethics education considered. The ACTWith model is introduced, and correlations with contemporaries noted. The ACTWith model has been successfully employed in a broad range of technology ethics courses in the Netherlands and South Korea. Illustrations are offered. Correlations with contemporary efforts are drawn in the context of software engineering. Summary discussion considers strengths and limitations of the ACTWith program. Overall, the paper emphasizes training high-level moral reasoning through guided inquiry education informing lifetime professional practice, and indicates an outstanding need for teachers able to do the job. (shrink)

Few notions are more central to Aquinas’s thought than those of matter and form. Although he invokes these notions in a number of different contexts, and puts them to a number of different uses, he always assumes that in their primary or basic sense they are correlative both with each other and with the notion of a “hylomorphic compound”—that is, a compound of matter (hyle) and form (morphe). Thus, matter is an entity that can have form, form is an entity (...) that can be had by matter, and a hylomorphic compound is an entity that exists when the potentiality of some matter to have form is actualized.1 What is more, Aquinas assumes that the matter of a hylomorphic compound explains certain of its general characteristics, whereas its form explains certain of its more specific characteristics. Thus, the matter of a bronze statue explains the fact that it is bronze, whereas its form explains the fact that it is a statue. Again, the matter of a human being explains the fact that it is a material object, whereas its form explains the specific type of material object it is (namely, human). My aim in this chapter is to provide a systematic introduction to Aquinas’s primary or basic notions of matter and form. To accomplish this aim, I focus on the two main theoretical contexts in which he deploys them—namely, his theory of change and his theory of individuation. In both contexts, as we shall see, Aquinas appeals to matter and form to account for relations of sameness and difference holding between distinct individuals. (shrink)

I examine what the mathematical theory of random structures can teach us about the probability of Plenitude, a thesis closely related to David Lewis's modal realism. Given some natural assumptions, Plenitude is reasonably probable a priori, but in principle it can be (and plausibly it has been) empirically disconfirmed—not by any general qualitative evidence, but rather by our de re evidence.

Christine Overall has argued that miracles, if they exist, would be an evil committed by God and therefore disprove the existence of God. However, her notion of a miracle as an intervention presupposes a view about the relation between God and creation that posits God as an ‘outsider.’ Such a view has not been held by all theists. It was not held by Thomas Aquinas. I show that Aquinas ’s conception is not susceptible to Overall’s criticisms. The upshot is that (...) theists should avoid any view of God as an ‘outsider,’ if they wish to avoid Overall’s criticisms. (shrink)

The ultimate goal of research into computational intelligence is the construction of a fully embodied and fully autonomous artificial agent. This ultimate artificial agent must not only be able to act, but it must be able to act morally. In order to realize this goal, a number of challenges must be met, and a number of questions must be answered, the upshot being that, in doing so, the form of agency to which we must aim in developing artificial agents comes (...) into focus. This chapter explores these issues, and from its results details a novel approach to meeting the given conditions in a simple architecture of information processing. (shrink)

Aristotle (384-322 BC) was an ancient Greek philosopher, pupil of Plato, and tutor of Alexander the Great. His works span the topics of biology, metaphysics, mind, logic, language, science, epistemology, ethics, and politics. Aristotle held that there are many divine beings, but a supremely divine being is the first cause of the universe and the goodness of all other beings. This divine being plays a fundamental explanatory role in Aristotle’s thought.

Th ere is much controversy surrounding the nature of the relation between fictional individuals and possible individuals. Some have argued that no fictional individual is a possible individual; others have argued that (some) fictional individuals just are (merely) possible individuals. In this paper, I off er further grounds for believing the theory of fictional individuals defended by Amie Thomasson,viz., Artifactualism, by arguing that her view best allows one to make sense of this puzzling relation. More specifically, when we realize that (...) the view allows for an identification of merely possible individuals with fictional individuals, we seethat the utility, and hence the level of credence lent to Artifactualism, is increased. After arguing for this thesis, I respond to three of the most pressing worries. (shrink)

What degrees of belief does Sleeping Beauty's evidence support? That depends.

Both continental and analytic traditions have tended to associate Hegel’s idealism with metaphysics and therefore as divorced from and even pernicious to reality. Hence, contemporary Hegel studies have tended to concentrate on discrete elements of his philosophy while attempting to avoid its metaphysical dimensions and their systematic pretensions. I seek to show that rather than dwelling in abstraction, Hegel’s metaphysics, as presented in his Logics, recount the thought determinations through which being comes to be grounded and thus, scientifically knowable as (...) nature. Such categorical determining is essentially linguistic, taking place through the grammatical forms of judgment (Urteil) and their outcome in the syllogism. The centrality of these grammatical forms reveals the anthropological goal of Hegel’s metaphysics, where the fully determined copula of judgment presents itself as the object of natural science, for us. (shrink)

Greek tragedy, in Hegel’s Phenomenology of Spirit, represents the performative realization of binary political difference, for example, “private versus public,” “man versus woman” or “nation versus state.” On the other hand, Roman comedy and French Revolutionary Terror, in Hegel, can be taken as radical expressions of political in-difference, defined as a state where all mediating structures of association and governance have collapsed into a world of “bread and circuses.” In examining the dialectical interplay between binary, tragic difference and comedic, terrible (...) in-difference, the paper arrives at hypothetical conclusions regarding how these political forms may be observed today. (shrink)

Should we make significant sacrifices to ever-so-slightly lower the chance of extremely bad outcomes, or to ever-so-slightly raise the chance of extremely good outcomes? *Fanaticism* says yes: for every bad outcome, there is a tiny chance of extreme disaster that is even worse, and for every good outcome, there is a tiny chance of an enormous good that is even better. I consider two related recent arguments for Fanaticism: Beckstead and Thomas's argument from *strange dependence on space and time*, and (...) Wilkinson's *Indology* argument. While both arguments are instructive, neither is persuasive. In fact, the general principles that underwrite the arguments (a *separability* principle in the first case, and a *reflection* principle in the second) are *inconsistent* with Fanaticism. In both cases, though, it is possible to rehabilitate arguments for Fanaticism based on restricted versions of those principles. The situation is unstable: plausible general principles tell *against* Fanaticism, but restrictions of those same principles (with strengthened auxiliary assumptions) *support* Fanaticism. All of the consistent views that emerge are very strange. (shrink)

Reading the Phenomenology onto-grammatically means interpreting its constitutive forms of consciousness as grammatical iterations of the speculative proposition, where the subject-object relations can be read as dialogical encounters between subject and predicate, where the predicate “talks back”, creating a discursive space of hermeneutical ambiguity and openness, at play in the copula. The article begins with a brief presentation of Hegel’s general theory of language, as it pertains to the distinction between the linguistic sign (Zeichen) and the word (Wort), drawn from (...) his later writings, before applying these grammatical terms to the ontological reading of the speculative sentence, as presented in the Preface to the Phenomenology and discussed by Jere Surber. Then, the article puts its dialogical insights into practice, examining how the onto-grammatical reading of the speculative sentence plays out in the Phenomenology’s famous "lordship and bondage" (aka "master/slave") dialectic. (shrink)

Different forms and transformations of philosophy in the modern world are analyzed according to the view of the Croatian philosopher Vanja Sutlić (1925-1989). A key aspect is the "realization of philosophy" in "work science", which encompasses the entire "world of work" established in modern times. This universal and real science is also an important precondition for "historical thinking". The uniformity of this science, problematized by Sutlić, can be found today in refined logical and semantic structures, which allow for a renewed (...) and richer articulation of philosophical concepts than was traditionally possible. (shrink)

Bioethische Themen im Neuen Grundgesetz von Ungarn.

In this chapter, data concerning the development of principal aspects of vision is reviewed. First, the development of colour vision and luminance perception is discussed. Relevant data accumulated so far indicates that perception of colour and luminance is present by 6-9 months of age. The presence of typical color illusions at this age suggests that the phenomenal character of color experience is comparable to that of adults well before the first birthday. Thus it seems plausible that color perception develops on (...) the grounds of genetically preprogrammed maturation, in which perceptual learning and plasticity play a limited role. This claim also seems to be supported by case studies of newly sighted patients. On the other hand, perceptual integration of edges and forms in the visual environment as well as the development of binocular vision, and the perception of ambiguous figures seem to depend crucially on early perceptual learning. Both developmental and clinical data indicate a more significant involvement of perceptual learning in such mid-level and higher level perceptual phenomena. (shrink)

People with the kind of preferences that give rise to the St. Petersburg paradox are problematic---but not because there is anything wrong with infinite utilities. Rather, such people cannot assign the St. Petersburg gamble any value that any kind of outcome could possibly have. Their preferences also violate an infinitary generalization of Savage's Sure Thing Principle, which we call the *Countable Sure Thing Principle*, as well as an infinitary generalization of von Neumann and Morgenstern's Independence axiom, which we call *Countable (...) Independence*. In violating these principles, they display foibles like those of people who deviate from standard expected utility theory in more mundane cases: they choose dominated strategies, pay to avoid information, and reject expert advice. We precisely characterize the preference relations that satisfy Countable Independence in several equivalent ways: a structural constraint on preferences, a representation theorem, and the principle we began with, that every prospect has a value that some outcome could have. (shrink)

Decision theorists widely accept a stochastic dominance principle: roughly, if a risky prospect A is at least as probable as another prospect B to result in something at least as good, then A is at least as good as B. Recently, philosophers have applied this principle even in contexts where the values of possible outcomes do not have the structure of the real numbers: this includes cases of incommensurable values and cases of infinite values. But in these contexts the usual (...) formulation of stochastic dominance is wrong. We show this with several counterexamples. Still, the motivating idea behind stochastic dominance is a good one: it is supposed to provide a way of applying dominance reasoning in the stochastic context of probability distributions. We give two new formulations of stochastic dominance that are more faithful to this guiding idea, and prove that they are equivalent. (shrink)

Linguists often advert to what are sometimes called linguistic intuitions. These intuitions and the uses to which they are put give rise to a variety of philosophically interesting questions: What are linguistic intuitions – for example, what kind of attitude or mental state is involved? Why do they have evidential force and how might this force be underwritten by their causal etiology? What light might their causal etiology shed on questions of cognitive architecture – for example, as a case study (...) of how consciously inaccessible subpersonal processes give rise to conscious states, or as a candidate example of cognitive penetrability? What methodological issues arise concerning how linguistic intuitions are gathered and interpreted – for example, might some subjects' intuitions be more reliable than others? And what bearing might all this have on philosophers' own appeals to intuitions? This paper surveys and critically discusses leading answers to these questions. In particular, we defend a ‘mentalist’ conception of linguistics and the role of linguistic intuitions therein. (shrink)

How should a group with different opinions (but the same values) make decisions? In a Bayesian setting, the natural question is how to aggregate credences: how to use a single credence function to naturally represent a collection of different credence functions. An extension of the standard Dutch-book arguments that apply to individual decision-makers recommends that group credences should be updated by conditionalization. This imposes a constraint on what aggregation rules can be like. Taking conditionalization as a basic constraint, we gather (...) lessons from the established work on credence aggregation, and extend this work with two new impossibility results. We then explore contrasting features of two kinds of rules that satisfy the constraints we articulate: one kind uses fixed prior credences, and the other uses geometric averaging, as opposed to arithmetic averaging. We also prove a new characterisation result for geometric averaging. Finally we consider applications to neighboring philosophical issues, including the epistemology of disagreement. (shrink)

Romantic psychology is first specified in counter-distinction to Enlightenment-informed faculty-psychology, whose scientific paradigm is fundamentally materialistic and mechanistic. Romantic psychology is then presented through Fr. Schlegel’s theory and practice of the literary fragment. In the fragment, we discover selfhood that is self-positing, powered by electro-chemical forces and enlivened by the stimulating Other. Romantic psychology determines the self as an ironic system, complete and yet organically open to other selves. It is phenomenological in nature and its contemporary legacy can be found (...) in psychoanalysis and psychoanalytical hermeneutics. (shrink)

There is a traditional theistic doctrine, known as the doctrine of divine simplicity, according to which God is an absolutely simple being, completely devoid of any metaphysical complexity. On the standard understanding of this doctrine—as epitomized in the work of philosophers such as Augustine, Anselm, and Aquinas—there are no distinctions to be drawn between God and his nature, goodness, power, or wisdom. On the contrary, God is identical with each of these things, along with anything else that can be predicated (...) of him intrinsically. (shrink)

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (shrink)

Famous results by David Lewis show that plausible-sounding constraints on the probabilities of conditionals or evaluative claims lead to unacceptable results, by standard probabilistic reasoning. Existing presentations of these results rely on stronger assumptions than they really need. When we strip these arguments down to a minimal core, we can see both how certain replies miss the mark, and also how to devise parallel arguments for other domains, including epistemic “might,” probability claims, claims about comparative value, and so on. A (...) popular reply to Lewis's results is to claim that conditional claims, or claims about subjective value, lack truth conditions. For this strategy to have a chance of success, it needs to give up basic structural principles about how epistemic states can be updated—in a way that is strikingly parallel to the commitments of the project of dynamic semantics. (shrink)

Some contextually sensitive expressions are such that their context independent conventional meanings need to be in some way supplemented in context for the expressions to secure semantic values in those contexts. As we’ll see, it is not clear that there is a paradigm here, but ‘he’ used demonstratively is a clear example of such an expression. Call expressions of this sort supplementives in order to highlight the fact that their context independent meanings need to be supplemented in context for them (...) to have semantic values relative to the context. Many philosophers and linguists think that there is a lot of contextual sensitivity in natural language that goes well beyond the pure indexicals and supplementives like ‘he’. Constructions/expressions that are good candidates for being contextually sensitive include: quantifiers, gradable adjectives including “predicates of personal taste”, modals, conditionals, possessives and relational expressions taking implicit arguments. It would appear that in none of these cases does the expression/construction in question have a context independent meaning that when placed in context suffices to secure a semantic value for the expression/construction in the context. In each case, some sort of supplementation is required to do this. Hence, all these expressions are supplementives in my sense. For a given supplementive, the question arises as to what the mechanism is for supplementing its conventional meanings in context so as to secure a semantic value for it in context. That is, what form does the supplementation take? The question also arises as to whether different supplementives require different kinds of supplementation. Let us call an account of what, in addition to its conventional meaning, secures a semantic value for a supplementive in context a metasemantics for that supplementive. So we can put our two questions thus: what is the proper metasemantics for a given supplementive; and do all supplementives have the same metasemantics? In the present work, I sketch the metasemantics I formulated for demonstratives in earlier work. Next, I briefly consider a number of other supplementives that I think the metasemantics I propose plausibly applies to and explain why I think that. Finally, I consider the prospects for extending the account to all supplementives. In so doing, I take up arguments due to Michael Glanzberg to the effect that supplementives are governed by two different metasemantics and attempt to respond to them. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

The article re-visits the different scholarly approaches to Hegel's end-of-art scenario, and then proposes a new reading whereby ending and finitude are presented as essential features of beautiful art. The first and most determinant of art's endings is the death of the Christly art object, not representations of Christ, but the actual death of (the son of) God himself as the last classical artwork. The death of God represents the last word in Greco-Roman art, the accomplishment of the beautiful individuality (...) and its failure to present the Absolute in a singular, naturally infected, lively, human (made) form. The ending of art brings about a new form of the sacred: the representational language of revelatory religion. The ongoing production of modern artistic forms is a feature of actuality ("Wirklichkeit") and as such is condemned to an infinite approximation of what has been. Such actuality nonetheless "ends" in the ironic discourse of contemporary artistic expression, which Hegel qualifies as a "Vereitelung". The final realization of the beautiful art form, as a human-informed singularity embodying absolute content, may well be the Encyclopedia of Philosophical Sciences, whose performative iteration takes place in the form of "worship" practiced in the modern, state university. (shrink)

That believing truly as a matter of luck does not generally constitute knowing has become epistemic commonplace. Accounts of knowledge incorporating this anti-luck idea frequently rely on one or another of a safety or sensitivity condition. Sensitivity-based accounts of knowledge have a well-known problem with necessary truths, to wit, that any believed necessary truth trivially counts as knowledge on such accounts. In this paper, we argue that safety-based accounts similarly trivialize knowledge of necessary truths and that two ways of responding (...) to this problem for safety, issuing from work by Williamson and Pritchard, are of dubious success. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

“There are no gaps in logical space,” David Lewis writes, giving voice to sentiment shared by many philosophers. But different natural ways of trying to make this sentiment precise turn out to conflict with one another. One is a *pattern* idea: “Any pattern of instantiation is metaphysically possible.” Another is a *cut and paste* idea: “For any objects in any worlds, there exists a world that contains any number of duplicates of all of those objects.” We use resources from model (...) theory to show the inconsistency of certain packages of combinatorial principles and the consistency of others. (shrink)

This paper develops and motivates a unification theory of metaphysical explanation, or as I will call it, Metaphysical Unificationism. The theory’s main inspiration is the unification account of scientific explanation, according to which explanatoriness is a holistic feature of theories that derive a large number of explananda from a meager set of explanantia, using a small number of argument patterns. In developing Metaphysical Unificationism, I will point out that it has a number of interesting consequences. The view offers a novel (...) conception of metaphysical explanation that doesn’t rely on the notion of a “determinative” or “explanatory” relation; it allows us to draw a principled distinction between metaphysical and scientific explanations; it implies that naturalness and fundamentality are distinct but intimately related notions; and perhaps most importantly, it re-establishes the unduly neglected link between explanation and understanding in the metaphysical realm. A number of objections can be raised against the view, but I will argue that none of these is conclusive. The upshot is that Metaphysical Unificationism provides a powerful and hitherto overlooked alternative to extant theories of metaphysical explanation. (shrink)

Predication is an indisputable part of our linguistic behavior. By contrast, the metaphysics of predication has been a matter of dispute ever since antiquity. According to Plato—or at least Platonism, the view that goes by Plato’s name in contemporary philosophy—the truths expressed by predications such as “Socrates is wise” are true because there is a subject of predication (e.g., Socrates), there is an abstract property or universal (e.g., wisdom), and the subject exemplifies the property.1 This view is supposed to be (...) general, applying to all predications, whether the subject of predication is a person, a planet, or a property.2 Despite the controversy surrounding the metaphysics of predication, many theistic philosophers—including the majority of contemporary analytic theists—regard Platonism as extremely attractive. At the same time, however, such philosophers are also commonly attracted to a form of traditional theism that has at its core the thesis that God is an absolutely independent.. (shrink)

We prove a representation theorem for preference relations over countably infinite lotteries that satisfy a generalized form of the Independence axiom, without assuming Continuity. The representing space consists of lexicographically ordered transfinite sequences of bounded real numbers. This result is generalized to preference orders on abstract superconvex spaces.

Obsessive-compulsive disorder is a commonly occurring neuropsychiatric condition characterized by bothersome intrusive thoughts and urges that frequently lead to repetitive dysfunctional behaviours such as excessive handwashing. There are well-documented alterations in cerebral function which appear to be closely related to the manifestation of these symptoms. Controlled studies of cognitive-behavioural therapy techniques utilizing the active refocusing of attention away from the intrusive phenomena of OCD and onto adaptive alternative activities have demonstrated both significant improvements in clinical symptoms and systematic changes in (...) the pathological brain circuitry associated with them. Careful investigation of the relationships between the experiential and putative neurophysiological processes involved in these changes can offer useful insights into volitional aspects of cerebral function. (shrink)

Could space consist entirely of extended regions, without any regions shaped like points, lines, or surfaces? Peter Forrest and Frank Arntzenius have independently raised a paradox of size for space like this, drawing on a construction of Cantor’s. I present a new version of this argument and explore possible lines of response.

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

Linguists, particularly in the generative tradition, commonly rely upon intuitions about sentences as a key source of evidence for their theories. While widespread, this methodology has also been controversial. In this paper, I develop a positive account of linguistic intuition, and defend its role in linguistic inquiry. Intuitions qualify as evidence as form of linguistic behavior, which, since it is partially caused by linguistic competence (the object of investigation), can be used to study this competence. I defend this view by (...) meeting two challenges. First, that intuitions are collected through methodologically unsound practices, and second, that intuition cannot distinguish between the contributions of competence and performance systems. (shrink)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

The counterpart theorist has a problem: there is no obvious way to understand talk about actuality in terms of counterparts. Fara and Williamson have charged that this obstacle cannot be overcome. Here I defend the counterpart theorist by offering systematic interpretations of a quantified modal language that includes an actuality operator. Centrally, I disentangle the counterpart relation from a related notion, a ‘representation relation’. The relation of possible things to the actual things they represent is variable, and an adequate account (...) of modal language must keep track of the way it is systematically shifted by modal operators. I apply my account to resolve several puzzles about counterparts and actuality. In technical appendices, I prove some important logical results about this ‘representational’ counterpart system and its relationship to other modal systems. (shrink)

In recent years, metaphysics has undergone what some describe as a revolution: it has become standard to understand a vast array of questions as questions about grounding, a metaphysical notion of determination. Why should we believe in grounding, though? Supporters of the revolution often gesture at what I call the Argument from Explanatoriness: the notion of grounding is somehow indispensable to a metaphysical type of explanation. I challenge this argument and along the way develop a “reactionary” view, according to which (...) there is no interesting sense in which the notion of grounding is explanatorily indispensable. I begin with a distinction between two conceptions of grounding, a distinction which extant critiques of the revolution have usually failed to take into consideration: grounding qua that which underlies metaphysical explanation and grounding qua metaphysical explanation itself. Accordingly, I distinguish between two versions of the Argument from Explanatoriness: the Unexplained Explanations Version for the first conception of grounding, and the Expressive Power Version for the second. The paper’s conclusion is that no version of the Argument from Explanatoriness is successful. (shrink)

The Question of Iterated Grounding (QIG) asks what grounds the grounding facts. Although the question received a lot of attention in the past few years, it is usually discussed independently of another important issue: the connection between metaphysical explanation and the relation or relations that supposedly “back” it. I will show that once we get clear on the distinction between metaphysical explanation and the relation(s) backing it, we can distinguish no fewer than four questions lumped under QIG. I will also (...) argue that given some plausible assumptions about what it would take for a relation to back metaphysical explanation, many salient views about grounding allow us to give “easy” answers to these questions—easy in the sense that we can straightforwardly derive them from the respective conception of grounding without getting into the sorts of complexities that typically inform answers to QIG. The paper's main upshot is that we cannot expect to make much progress on QIG without first addressing the difficult issue of how exactly grounding is related to metaphysical explanation. (shrink)

“Pragmatic encroachers” about knowledge generally advocate two ideas: (1) you can rationally act on what you know; (2) knowledge is harder to achieve when more is at stake. Charity Anderson and John Hawthorne have recently argued that these two ideas may not fit together so well. I extend their argument by working out what “high stakes” would have to mean for the two ideas to line up, using decision theory.

Some hold that the lesson of Russell’s paradox and its relatives is that mathematical reality does not form a ‘definite totality’ but rather is ‘indefinitely extensible’. There can always be more sets than there ever are. I argue that certain contact puzzles are analogous to Russell’s paradox this way: they similarly motivate a vision of physical reality as iteratively generated. In this picture, the divisions of the continuum into smaller parts are ‘potential’ rather than ‘actual’. Besides the intrinsic interest of (...) this metaphysical picture, it has important consequences for the debate over absolute generality. It is often thought that ‘indefinite extensibility’ arguments at best make trouble for mathematical platonists; but the contact arguments show that nominalists face the same kind of difficulty, if they recognize even the metaphysical possibility of the picture I sketch. (shrink)

The Problem of Overlappers is a puzzle about what makes it the case, and how we can know, that we have the parts we intuitively think we have. In this paper, I develop and motivate an overlooked solution to this puzzle. According to what I call the self-making view it is within our power to decide what we refer to with the personal pronoun ‘I’, so the truth of most of our beliefs about our parts is ensured by the very (...) mechanism of self-reference. Other than providing an elegant solution to the Problem of Overlappers, the view can be motivated on independent grounds. It also has wide-ranging consequences for how we should be thinking about persons. Among other things, it can help undermine an influential line of argument against the permissibility of elective amputation. After a detailed discussion and defence of the self-making view, I consider some objections to it. I conclude that none of these objections is persuasive and we should at the very least take seriously the idea that we are to some extent self-made. (shrink)

Many philosophers embrace grounding, supposedly a central notion of metaphysics. Grounding is widely assumed to be irreflexive, but recently a number of authors have questioned this assumption: according to them, it is at least possible that some facts ground themselves. The primary purpose of this paper is to problematize the notion of self-grounding through the theoretical roles usually assigned to grounding. The literature typically characterizes grounding as at least playing two central theoretical roles: a structuring role and an explanatory role. (...) Once we carefully spell out what playing these roles includes, however, we find that any notion of grounding that isn’t irreflexive fails to play these roles when they are interpreted narrowly, and is redundant for playing them when they are interpreted more broadly. The upshot is that no useful notion of grounding can allow a fact to ground itself. (shrink)