Wright's _Truth and Objectivity_ seeks to systematise a variety of anti-realist positions. I argue that many objections to the system are avoided by transposing its talk of truth into talk of warrant. However, a problem remains about debates involving 'direction-of-fit'. -/- Dummett introduced 'anti-realism' as a philosophical view informed by mathematical intuitionism. Subsequently, the term has been associated with many debates, ancient and modern. _Truth and Objectivity_ proposes that truth admits of different characteristics; these various debates then concern which characteristics (...) truth has, in a given area. This pluralism of truth is at odds with deflationism. I find fault with Wright's argument against deflationism. However, transmission of warrant across the Disquotational Schema suffices to ground Wright's proposal, which survives as a pluralism of classes of warrant. -/- The two main debates concern whether truths are always knowable (Epistemic Constraint) and whether disagreements in an area must be down to some fault of one of those involved (Cognitive Command). I introduce Assertoric Constraint, relating to Epistemic Constraint, where truths cannot outstrip the availability of warrant for their assertion. I solve a structural problem by a comparison with a constitutive analysis of Moore's Paradox. The relativism of blameless disagreement is problematic. Wright's response invokes a sort of ignorance which he calls `Quandary'. I criticise this before proposing an alternative. -/- I agree with Wright that Dummett's original anti-realism does not belong among the positions which Wright seeks to systematise. However, two candidates show that the proposal suffers a weakness. Wright thinks Expressivism misguided, and implicitly rules out his earlier non-cognitivism about necessity. I argue that Expressivism has promise, and I endorse Wright's Cautious Man argument for non-cognitivism about necessity; both involve play with `direction-of-fit'. I conclude that this sort of anti-realist debate needs to be accommodated by the proposal. (shrink)

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often forcing constructions that add subsets to models are cited as evidence in favour of the latter. This paper informs this debate by analysing ways the Universist might interpret this discourse that seems (...) to necessitate the addition of subsets to V. We argue that despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We analyse extant interpretations of such talk, and analyse various tradeoffs in naturality that might be made. We conclude that the Universist has promising options for interpreting different forcing constructions. (shrink)

In the contemporary philosophy of set theory, discussion of new axioms that purport to resolve independence necessitates an explanation of how they come to be justified. Ordinarily, justification is divided into two broad kinds: intrinsic justification relates to how `intuitively plausible' an axiom is, whereas extrinsic justification supports an axiom by identifying certain `desirable' consequences. This paper puts pressure on how this distinction is formulated and construed. In particular, we argue that the distinction as often presented is neither well-demarcated nor (...) sufficiently precise. Instead, we suggest that the process of justification in set theory should not be thought of as neatly divisible in this way, but should rather be understood as a conceptually indivisible notion linked to the goal of explanation. (shrink)

Multiverse Views in set theory advocate the claim that there are many universes of sets, no-one of which is canonical, and have risen to prominence over the last few years. One motivating factor is that such positions are often argued to account very elegantly for technical practice. While there is much discussion of the technical aspects of these views, in this paper I analyse a radical form of Multiversism on largely philosophical grounds. Of particular importance will be an account of (...) reference on the Multiversist conception, and the relativism that it implies. I argue that analysis of this central issue in the Philosophy of Mathematics indicates that Radical Multiversism must be algebraic, and cannot be viewed as an attempt to provide an account of reference without a softening of the position. (shrink)

The increasing application of artificial intelligence (AI) to healthcare raises both hope and ethical concerns. Some advanced machine learning methods provide accurate clinical predictions at the expense of a significant lack of explainability. Alex John London has defended that accuracy is a more important value than explainability in AI medicine. In this article, we locate the trade-off between accurate performance and explainable algorithms in the context of distributive justice. We acknowledge that accuracy is cardinal from outcome-oriented justice because it helps (...) to maximize patients’ benefits and optimizes limited resources. However, we claim that the opaqueness of the algorithmic black box and its absence of explainability threatens core commitments of procedural fairness such as accountability, avoidance of bias, and transparency. To illustrate this, we discuss liver transplantation as a case of critical medical resources in which the lack of explainability in AI-based allocation algorithms is procedurally unfair. Finally, we provide a number of ethical recommendations for when considering the use of unexplainable algorithms in the distribution of health-related resources. (shrink)

A pervasive thought in contemporary philosophy of mathematics is that in order to justify reflection principles, one must hold universism: the view that there is a single universe of pure sets. I challenge this kind of reasoning by contrasting universism with a Zermelian form of multiversism. I argue that if extant justifications of reflection principles using notions of richness are acceptable for the universist, then the Zermelian can use similar justifications. However, I note that for some forms of richness argument, (...) the status of reflection principles as axioms is left open for the Zermelian. (shrink)

The history of humankind is full of examples that indicate a constant desire to make human beings more moral. Nowadays, technological breakthroughs might have a significant impact on our moral character and abilities. This is the case of Virtual Reality (VR) technologies. The aim of this paper is to consider the ethical aspects of the use of VR in enhancing empathy. First, we will offer an introduction to VR, explaining its fundamental features, devices and concepts. Then, we will approach the (...) characterization of VR as an “empathy machine,” showing why this medium has aroused so much interest and why, nevertheless, we do not believe it is the ideal way to enhance empathy. As an alternative, we will consider fostering empathy-related abilities through virtual embodiment in avatars. In the conclusion, however, we will, we will examine some of the serious concerns related to the ethical relevance of empathy and will defend the philosophical case for a reason-guided empathy, also suggesting specific guidelines for possible future developments of empathy enhancement projects through VR embodied experiences. (shrink)

Zero provides a challenge for philosophers of mathematics with realist inclinations. On the one hand it is a bona fide cardinal number, yet on the other it is linked to ideas of nothingness and non-being. This paper provides an analysis of the epistemology and metaphysics of zero. We develop several constraints and then argue that a satisfactory account of zero can be obtained by integrating an account of numbers as properties of collections, work on the philosophy of absences, and recent (...) work in numerical cognition and ontogenetic studies. (shrink)

Often philosophers, logicians, and mathematicians employ a notion of intended structure when talking about a branch of mathematics. In addition, we know that there are foundational mathematical theories that can find representatives for the objects of informal mathematics. In this paper, we examine how faithfully foundational theories can represent intended structures, and show that this question is closely linked to the decidability of the theory of the intended structure. We argue that this sheds light on the trade-off between expressive power (...) and meta-theoretic properties when comparing first-order and second-order logic. (shrink)

Informal rigour is the process by which we come to understand particular mathematical structures and then manifest this rigour through axiomatisations. Structural relativity is the idea that the kinds of structures we isolate are dependent upon the logic we employ. We bring together these ideas by considering the level of informal rigour exhibited by our set-theoretic discourse, and argue that different foundational programmes should countenance different underlying logics (intermediate between first- and second-order) for formulating set theory. By bringing considerations of (...) perturbations in modal space to bear on the debate, we will suggest that a promising option for representing current set-theoretic thought is given by formulating set theory using quasi-weak second-order logic. These observations indicate that the usual division of structures into \particular (e.g. the natural number structure) and general (e.g. the group structure) is perhaps too coarse grained; we should also make a distinction between intentionally and unintentionally general structures. (shrink)

The chapter explores whether, or to what extent, recent work in experimental philosophy puts pressure on the idea that the concept of causation is ‘egalitarian’. Causal selection – where experimental subjects tend to rate the causal strength of (for example) a norm-violator more strongly than a non-norm-violator – is a well established phenomenon, and is in prima facie tension with an egalitarian conception of causation; it also, indirectly, puts prima facie pressure on the idea that causation is a worldly phenomenon (...) whose obtaining is independent of facts about norms. The chapter explores both the various psychological mechanisms and the broadly pragmatic approaches to explaining causal selection. It argues that the answer to the question whether or not the concept of causation is egalitarian is currently significantly empirically underdetermined, and suggests some avenues for further investigation. (shrink)

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement \varphi(a) in the first-order language of set theory is true in the set-theoretic universe V, then it is also true in a proper inner model W \subset A. A stronger principle, the ground-model reflection principle, asserts that any such \varphi(a) true in V is also true in some non-trivial ground model of the universe with respect to set forcing. These principles each express a form of width (...) reflection in contrast to the usual height reflection of the Lévy–Montague reflection theorem. They are each equiconsistent with ZFC and indeed \Pi_2-conservative over ZFC, being forceable by class forcing while preserving any desired rank-initial segment of the universe. Furthermore, the inner-model reflection principle is a consequence of the existence of sufficient large cardinals, and lightface formulations of the reflection principles follow from the maximality principle MP and from the inner-model hypothesis IMH. We also consider some questions concerning the expressibility of the principles. (shrink)

The cumulative impact of enhancement technologies may alter the human species in the very long-term future. In this article, I will start showing how radical genetic enhancements may accelerate the conversion into a novel species. I will also clarify the concepts of ‘biological species’, ‘transhuman’ and ‘posthuman’. Then, I will summarize some ethical arguments for creating a transhuman or posthuman species with a substantially higher level of well-being than the human one. In particular, I will present what I shall call (...) the Principle of the Best Interests of Posthumanity, which states that the enhancement of the human and transhuman species must be directed towards the creation of a posthuman existence that is substantially more valuable than its predecessors. I suggest that human extinction may be considered, within that principle, as one of the best interests of posthumanity. Finally, I will develop three objections that make that principle unattractive and that show that pursuing a full-blown programme of posthuman evolution is ethically flawed. (shrink)

Set-theoretic and category-theoretic foundations represent different perspectives on mathematical subject matter. In particular, category-theoretic language focusses on properties that can be determined up to isomorphism within a category, whereas set theory admits of properties determined by the internal structure of the membership relation. Various objections have been raised against this aspect of set theory in the category-theoretic literature. In this article, we advocate a methodological pluralism concerning the two foundational languages, and provide a theory that fruitfully interrelates a `structural' perspective (...) to a set-theoretic one. We present a set-theoretic system that is able to talk about structures more naturally, and argue that it provides an important perspective on plausibly structural properties such as cardinality. We conclude the language of set theory can provide useful information about the notion of mathematical structure. (shrink)

The neuroscience of ethics is allegedly having a double impact. First, it is transforming the view of human morality through the discovery of the neurobiological underpinnings that influence moral behavior. Secondly, some neuroscientific findings are radically challenging traditional views on normative ethics. Both claims have some truth but are also overstated. In this article, the author shows that they can be understood together, although with different caveats, under the label of ‘neurofoundationalism’. Whereas the neuroscientific picture of human morality is undoubtedly (...) valuable if we avoid neuroessentialistic portraits, the empirical disruption of normative ethics seems less plausible. The neuroscience of morality, however, is providing relevant evidence that any empirically-informed ethical theory needs to critically consider. Although neuroethics is not going to bridge the is-ought divide, it may establish certain facts that require us to rethink the way we achieve our ethical aspirations. (shrink)

We explain and explore class-theoretic potentialism—the view that one can always individuate more classes over a set-theoretic universe. We examine some motivations for class-theoretic potentialism, before proving some results concerning the relevant potentialist systems (in particular exhibiting failures of the $\mathsf {.2}$ and $\mathsf {.3}$ axioms). We then discuss the significance of these results for the different kinds of class-theoretic potentialists.

A truthmaker for a proposition P is exact if it contains nothing irrelevant to P. What are the exact truthmakers for necessitated propositions? This paper makes progress on this issue by showing how to extend Fine’s truthmaker semantics for intuitionistic logic to an exact truthmaker semantics for intuitionistic modal logic. The project is of interest also to the classical logician: while all distinctively classical theorems may be true, they differ from the intuitionistic ones in how they are made true. This (...) sheds new light on the status of the T and B axioms. (shrink)

The Problem of Iterated Ground is to explain what grounds truths about ground: if Γ grounds φ, what grounds that Γ grounds φ? This paper develops a novel solution to this problem. The basic idea is to connect ground to explanatory arguments. By developing a rigorous account of explanatory arguments we can equip operators for factive and non-factive ground with natural introduction and elimination rules. A satisfactory account of iterated ground falls directly out of the resulting logic: non- factive grounding (...) claims, if true, are zero-grounded in the sense of Fine. (shrink)

I systematically defend a novel account of the grounds for identity and distinctness facts: they are all uniquely zero‐grounded. First, this Null Account is shown to avoid a range of problems facing other accounts: a relation satisfying the Null Account would be an excellent candidate for being the identity relation. Second, a plenitudinist view of relations suggests that there is such a relation. To flesh out this plenitudinist view I sketch a novel framework for expressing real definitions, use this framework (...) to give a definition of identity, and show how the central features of the identity relation can be deduced from this definition. (shrink)

In this article, I survey some philosophical attitudes to talk concerning `the' universe of sets. I separate out four different strands of the debate, namely: (i) Universism, (ii) Multiversism, (iii) Potentialism, and (iv) Pluralism. I discuss standard arguments and counterarguments concerning the positions and some of the natural mathematical programmes that are suggested by the various views.

This commentary offers a coherent reading of the papers presented in the special issue ‘Exclusion, Engagement, and Empathy: Reflections on Public Participation in Medicine and Technology’. Focusing on intellectual self-trust it adds a further perspective on the harmful epistemic consequences of social exclusion for individual agents in healthcare contexts. In addition to some clarifications regarding the concepts of ‘intellectual self-trust’ and ‘social exclusion’ the commentary also examines in what ways empathy, engagement and participatory sense-making could help to avoid threats to (...) intellectual self-trust that arise form being excluded from participation in communicative practices in the context of healthcare. (shrink)

While the problem of the philosophical significance of Riemann's theorem on conditionally convergent series has been discussed in detail for some time, specific versions of it have appeared in the literature very recently, over which there have been widespread disagreements. I argue that such discrepancies can be clarified by introducing a rather conventional type of composition rule for the treatment of some infinite systems (as well as supertasks) while analysing and clarifying the role of the concept of continuity by stripping (...) it of the excesses that its application by the Leibnizian tradition has led to. The conclusion reached is that the indeterminacy associated with conditional convergence has a clear philosophical significance, but no fundamental ontological significance. (shrink)

It is standard in set theory to assume that Cantor's Theorem establishes that the continuum is an uncountable set. A challenge for this position comes from the observation that through forcing one can collapse any cardinal to the countable and that the continuum can be made arbitrarily large. In this paper, we present a different take on the relationship between Cantor's Theorem and extensions of universes, arguing that they can be seen as showing that every set is countable and that (...) the continuum is a proper class. We examine several principles based on maximality considerations in this framework, and show how some (namely Ordinal Inner Model Hypotheses) enable us to incorporate standard set theories (including ZFC with large cardinals added). We conclude that the systems considered raise questions concerning the foundational purposes of set theory. (shrink)

In this paper we provide an ontological analysis of so-called “artifactual functions” by deploying a realizable-centered approach to artifacts which we have recently developed within the framework of the upper ontology Basic Formal Ontology (BFO). We argue that, insofar as material artifacts are concerned, the term “artifactual function” can refer to at least two kinds of realizable entities: novel intentional dispositions and usefactual realized entities. They inhere, respectively, in what we previously called “canonical artifacts” and “usefacts”. We show how this (...) approach can help to clarify functions in BFO, whose current elucidation includes reference to the term “artifact”. In our framework, having an artifactual function implies being an artifact, but not vice versa; in other words, there are artifacts that lack an artifactual function. (shrink)

Artifacts remain nebulous entities, notwithstanding their relevance to various domains such as engineering, art and archeology. In this paper we investigate the interconnection between artifacts and realizable entities, as illustrated by dispositions, functions, and roles within the framework of the upper ontology Basic Formal Ontology (BFO). More concretely, we propose the notions of canonical artifact (something that is intentionally produced for some purpose) and usefact (something that is intended to be used for some non-original purpose) which can correspond to various (...) usages of the term “artifact”. We also characterize them in terms of intentional realizable entities and novel realizable entities: material canonical artifacts and material usefacts can be analyzed in terms of novel intentional realizable entities and a special kind of non-novel intentional realizable entities, respectively. (shrink)

The Continuum Hypothesis featured top of Hilbert's list of 23 problems in 1900. Today, we still consider the question, with various programmes pulling in different directions. This conceptual diversity raises a puzzle: In what sense do we disagree when we talk about it? A standard assumption takes it that the content of our thought about classes and the Continuum Hypothesis has not changed. Assuming a moderate view of how content is determined, I reject this assumption but also argue that whilst (...) the Continuum Hypothesis can have different content for different agents, it can also be determinate for certain programmes. In particular, I suggest that there is a fault line between those who think there are uncountable sets and recent countabilist programmes. (shrink)

The prospect of human genetic enhancement requires an institutional response, and probably the creation of new institutions. The governance of genetic enhancement technologies, moreover, needs to be global in scope. In this article, I analyze the debate on the global governance of human genetic enhancement. I begin by offering a philosophical justification for the need to adopt a global framework for governance of technologies that would facilitate the improvement of non-pathological genetic traits. I then summarize the main concrete proposals that (...) have recently emerged to govern genome editing at the global level. Finally, I develop some impediments that limit the impetus for global governance of genetic enhancement. (shrink)

Let's suppose you think that there are no uncountable sets. Have you adopted a restrictive position? It is certainly tempting to say yes---you've prohibited the existence of certain kinds of large set. This paper argues that this intuition can be challenged. Instead, I argue that there are some considerations based on a formal notion of restrictiveness which suggest that it is restrictive to hold that there are uncountable sets.

Der Erfolg von Maßnahmen zur Eindämmung der COVID-19-Pandemie ist abhängig vom Vertrauen der Öffentlichkeit in wissenschaftliche Experten. Zwar ist Vertrauen als Einstellung gegenüber Experten im Zusammenhang mit der Pandemie bereits viel Aufmerksamkeit zuteilgeworden, allerdings meist in Bezug auf das Vertrauen, das Laien Äußerungen wie Behauptungen und Mitteilungen entgegenbringen, die ihnen das Wissen der Experten zugänglich machen sollen. Dieser Aufsatz stellt dagegen eine andere Art der Äußerung in den Mittelpunkt: die Empfehlung. Im Zusammenhang mit der Pandemie haben Forderungen gegenüber der Politik (...) wissenschaftsbasiert zu verfahren zugenommen. Gleichzeitig sind Politikerinnen und Politiker aber nicht das Sprachrohr der Wissenschaft, sondern übernehmen Verantwortung für eine wissenschaftsbasierte Gesundheitspolitik, unter anderem indem sie Bürgerinnen und Bürgern bestimmte Handlungen empfehlen. Damit erhebt die Politik allerdings den Anspruch, dass Bürgerinnen nicht nur glauben sollten, was ihnen von den Experten gesagt wird, sondern auch, dass sie tun sollten, was von ihnen im Rahmen der Maßnahmen verlangt wird. Ziel dieses Aufsatzes ist es daher zu zeigen, dass Empfehlungen eine Konzeption von Vertrauen erfordert, die sich vom Vertrauen im Kontext von Mitteilungen und Behauptungen stark unterscheidet. Es geht nicht nur darum, diese Art von Vertrauen genauer zu spezifizieren, sondern auch darum zu erklären, unter welchen Voraussetzungen es vernünftig ist, wissenschaftsbasierten Empfehlungen der Politik mit Vertrauen zu begegnen. Dazu gehe ich folgendermaßen vor: In Abschnitt 1 analysiere ich zunächst den Sprechakt des Empfehlens. Das dadurch gewonnene Grundverständnis von empfehlenden Sprechakten untersuche ich dann im Kontext von Empfehlungen wissenschaftlicher Experten während der Covid-19-Pandemie (Abschnitt 2) und plädiere dann dafür, dass eine Analyse der an eine breite Öffentlichkeit gerichteten Empfehlungen am besten bei Äußerungen von Politikern ansetzen muss, die sich auf das kompetente Urteil wissenschaftlicher Expertinnen und Experten beziehen (Abschnitt 3). In Abschnitt 4 diskutiere ich dann die Gründe, die ein Hörer haben könnte, eine solche Empfehlung anzunehmen, bevor ich in den Abschnitten 5 und 6 die für Empfehlungen relevante Form des Vertrauens herausarbeite. Abschnitt 7 diskutiert die Auffassung, dass Vertrauen in wissenschaftsbasierte Empfehlungen nur durch die Anerkennung der Sprecherin im Sinne einer guten Ratgeberin als rationale Einstellung ausgewiesen werden kann, bevor ich abschließend argumentiere, dass diese Rationalitätsbedingungen im Kontext der COVID-19-Pandemie nur schwer einzulösen waren. (shrink)

Wilhelm has recently shown that widely accepted principles about immediate ground are inconsistent with some principles of propositional identity. This note responds to this inconsistency by developing two ground-theoretic accounts of propositional individuation. On one account some of the grounding principles are incorrect; on the other account, the principles of propositional individuation are incorrect.

La pandemia de la COVID-19 ha recordado la importancia de prevenir y planificarse ante eventos altamente desastrosos para la salud comunitaria. Varios fenómenos emergentes suponen amenazas prospectivas para la Salud Pública. Sin embargo, el carácter mayormente futuro de problemas como la resistencia antibiótica, el impacto del cambio climático en la salud o la bioingeniería de patógenos genera dificultades de análisis. ¿Cuáles son los desafíos éticos y epistemológicos que suscitan los problemas futuros para la Salud Pública? ¿Cómo deben abordarse los problemas (...) morales de escenarios futuros, potencialmente catastróficos? En este artículo se defiende la necesidad de adoptar enfoques éticos anticipativos desde la ética de la Salud Pública. En primer lugar, se argumentará que el abordaje de estos problemas futuros requiere reflexionar sobre el futuro como problema ético y epistémico. En segundo lugar, se analizarán las características de la incipiente ética anticipatoria en los ámbitos de la ética de la tecnología y la bioética. En tercer lugar, se defenderá la aplicación de metodologías de previsión y anticipación en debates sobre la ética de la Salud Pública. Finalmente, se ofrecerán algunas reflexiones para fortalecer los análisis normativos anticipativos a fin de prevenir y atajar de antemano los efectos adversos de las futuras crisis sanitarias. (shrink)

La pandemia de la COVID-19 ha levantado sospechas de edadismo y gerontofobia en diversas prácticas de racionamiento sanitario. La edad es un criterio de triaje controvertido. En este artículo se esclarece la relevancia ética de la edad dentro de los sistemas de triaje, analizando particularmente su rol dentro de los principios de equidad y de eficiencia. La equidad requiere dar más oportunidades a aquellos que han cumplido menos ciclos vitales. La eficiencia tiene en cuenta la edad de manera subrepticia al (...) tratar de maximizar los beneficios a corto plazo (salvar vidas) y a largo plazo (salvar años de vida). Finalmente, la edad no debe ser la última ratio de las decisiones de triaje, aunque es una variable a tener en cuenta debido a su presencia implícita en principios fundamentales de priorización. The COVID-19 pandemic has raised suspicions of ageism and gerontophobia in various health rationing practices. Age is a controversial triage criterion. This article clarifies the ethical relevance of age within triage systems, particularly its role within the principles of fairness and efficiency. Fairness requires giving more opportunities to those who have completed fewer life cycles. Efficiency takes age into account surreptitiously when trying to maximize short-term (saving lives) and long-term (saving years of life) benefits. Finally, age should not be the final rationale in triage decisions, although it is a variable to be taken into account because of its implicit presence in fundamental principles of prioritization. (shrink)

This paper evaluates the proof-theoretic definition of ground developed by Poggiolesi in a range of recent publications and argues that her proposed definition fails. The paper then outlines an alternative approach where logical consequence relations and the logical operations are defined in terms of ground.

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)

The relevance of analytic metaphysics has come under criticism: Ladyman & Ross, for instance, have suggested do discontinue the field. French & McKenzie have argued in defense of analytic metaphysics that it develops tools that could turn out to be useful for philosophy of physics. In this article, we show first that this heuristic defense of metaphysics can be extended to the scientific field of applied ontology, which uses constructs from analytic metaphysics. Second, we elaborate on a parallel by French (...) & McKenzie between mathematics and metaphysics to show that the whole field of analytic metaphysics, being useful not only for philosophy but also for science, should continue to exist as a largely autonomous field. (shrink)

The semeiotic of Charles Sanders Peirce is irreducibly triadic, positing that a sign mediates between the object that determines it and the interpretant that it determines. He eventually holds that each sign has two objects and three interpretants, standardizing quickly on immediate and dynamical for the objects but experimenting with a variety of names for the interpretants. The two most prominent terminologies are immediate/dynamical/final and emotional/energetic/logical, and scholars have long debated how they are related to each other. This paper seeks (...) to shed new light on the matter by reviewing the numerous manuscript drafts where Peirce develops the latter nomenclature while attempting to introduce his pragmatism to a general audience. It then goes on to examine an additional set of interpretants, intentional/effectual/communicational, and shows that the three different trichotomies can be understood as complementary, rather than redundant or conflicting. (shrink)

Grounding is bicollective if it is possible for some truths δ,δ,... to be grounded in the some truths γ,γ,... without its being the case that each δi is grounded in some subcollection of γ,γ,.... In this paper I show how to do develop a hypergraph-theoretic account of bicollective ground, taking the notion of immediate ground as basic. I also indicate how bicollective ground helps with formulating mathematical structuralism.

Modern philosophy recognizes two major ethical theories: deontology, which encourages adherence to rules and fulfillment of duties or obligations; and consequentialism, which evaluates morally significant actions strictly on the basis of their actual or anticipated outcomes. Both involve the systematic application of universal abstract principles, reflecting the culturally dominant paradigm of technical rationality. Professional societies promulgate codes of ethics with which engineers are expected to comply, while courts and the public generally assign liability to engineers primarily in accordance with the (...) results of their work, whether intended or unintended. A third option, prominent in ancient philosophy, has reemerged recently: virtue ethics, which recognizes that sensitivity to context and practical judgment are indispensable in particular concrete situations, and therefore rightly focuses on the person who acts, rather than the action itself. Beneficial character traits—i.e., virtues—are identified within a specific social practice in light of the internal goods that are unique to it. This paper proposes a comprehensive framework for implementing virtue ethics within engineering. (shrink)

Emerging reprogenetic technologies may radically change how humans reproduce in the not-so-distant future. One foreseeable consequence of disruptive innovations in the procreative domain is an increase in the reproductive autonomy of intended parents. Regarding the prospective parental liberty of enhancing non-health–related traits of the offspring, one controversy has particularly dominated the literature. Does parents' choice of genetically enhancing the traits of their descendants compromise children's future personal autonomy? In this article, I will analyse the main arguments which posit that reprogenetic (...) enhancement could be at odds with the child's future autonomy. I will argue that these objections are ill-founded. Moreover, I will present other arguments that show that reprogenetic technologies can enhance the autonomy of future children. Autonomy enhancement is a plausible and pro tanto desirable application of emerging reprogenetic technologies. (shrink)

The trolley problem is one of the liveliest research frameworks in experimental ethics. In the last decade, social neuroscience and experimental moral psychology have gone beyond the studies with mere text-based hypothetical moral dilemmas. In this article, I present the rationale behind testing the actual behaviour in more realistic scenarios through Virtual Reality and summarize the body of evidence raised by the experiments with virtual trolley scenarios. Then, I approach the argument of Ramirez and LaBarge (2020), who claim that the (...) virtual simulation of the Footbridge version of the trolley dilemma is an unethical research practice, and I raise some objections to it. Finally, I provide some reflections about the means and ends of trolley-like scenarios and other sacrificial dilemmas in experimental ethics. (shrink)

Tackling climate change is one of the most demanding challenges of humanity in the 21st century. Still, the efforts to mitigate the current environmental crisis do not seem enough to deal with the increased existential risks for the human and other species. Persson and Savulescu have proposed that our evolutionarily forged moral psychology is one of the impediments to facing as enormous a problem as global warming. They suggested that if we want to address properly some of the most pressing (...) problems that cause catastrophic harm to our existence, we should enhance our moral behavior by biomedical means. The objective of this paper is, precisely, to reflect on whether a Moral Bio-Enhancement (henceforth MBE) program would be a viable option to confront the climate emergency. To meet this goal, I will propose the Ultimate Mostropic (hereafter UM) thought experiment, a hypothetical situation where we have already discovered the UM, an available, safe (without any deleterious secondary effects), extremely cheap and effective pill to enhance our cognitive, affective and motivational abilities related to morality. After briefly presenting the main argument of Persson and Savulescu regarding MBE and climate change, I will point out some of the difficulties that make MBE a daunting but exciting philosophical and scientific debate. In order to overcome these complications, I will describe the UM thought experiment, which involves two scenarios of the MBE program: (a) the state-driven, compulsory and universal enterprise, and (b) the initiative of voluntary individuals. I will show that the shortcomings of MBE programs through the UM in both scenarios make Persson and Savulescu’s proposal a not appealing pathway to mitigate climate change. In the final section, I will suggest that an inaccurate attribution of responsibilities underlies their proposal and that the collective inaction problem should be redirected primarily through a reinforcement of the political nature of the solutions. (shrink)

Peirce is best known as the founder of pragmatism, but his dissatisfaction with how others understood and appropriated it prompted him to rename his own doctrine “pragmaticism” and to compose several variants of his original maxim defining it, as well as numerous restatements and elaborations. This paper presents an extensive selection of such formulations, followed by analysis and commentary demonstrating that for Peirce the ultimate meaning of an intellectual concept is properly expressed as a conditional proposition about the deliberate, self-controlled (...) conduct of its interpreters, not the law-governed behavior of its object. (shrink)

Although he is best known as the founder of pragmatism, the name that Charles Sanders Peirce prefers to use for his comprehensive system of thought is "synechism" because the principle of continuity is its central thesis. This paper arranges and summarizes numerous quotations and citations from his voluminous writings to formalize and explicate his distinctive mathematical conceptions of hyperbolic and topical continuity, both of which are derived from the direct observation of time as their paradigmatic manifestation, and then apply them (...) in normative science and metaphysics, especially logic as semeiotic and cosmology. The resulting conclusion is that the intelligibility of the universe is plausibly explained by conceiving it as one immense sign, a vast inferential process: a semiosic continuum whose connected constituent signs are indefinite until deliberately marked off, with God the Creator as its overall dynamical object in the infinite past and God completely revealed as its overall final interpretant in the infinite future. (shrink)

In this short article, my aim is to introduce readers to some debates about religious freedom and constitutional law in the United States. I highlight a few of the enduring questions debated by political philosophers and legal scholars. For example, does the Constitution require special religious exemptions for citizens whose religious convictions put them at odds with otherwise neutral and legitimate state pol- icy? Should the Constitution be interpreted as supporting a strict secularism or a multicultural egalitarian liberal position? What (...) are the limits to religious freedom? To illustrate how these and related questions are debated I consider some recent work on religious freedom jurisprudence in the United States. (shrink)

This paper discusses reconciliation as a strategy to heal social wounds caused by dictatorial regimes or deep economic crises. The paper treats two such examples: The failed attempts of the Icelandic government to reach a deal with the UK and the Netherlands about the repayment of debts incurred by the bankrupt Landsbanki Íslands and the prosecution of Mr. Geir Haarde, formerly Prime Minister of Iceland. It is argued that although reconciliation strategies have in some cases been partially successful, it can (...) be counterproductive to prefer moral aspirations or goals, such as rebuilding trust after serious political, social or economic disintegration, to strictly legal ways of dealing with individual cases. As the case with Mr. Haarde shows, the endeavor to achieve moral goals using legal means can backfire in unexpected ways. (shrink)

This article explores the nature and theoretical import of a hitherto neglected class of fictions which we term ‘self-involving interactive fictions’. SIIFs are interactive fictions, but they differ from standard examples of interactive fictions by being, in some important sense, about those who consume them. In order to better understand the nature of SIIFs, and the ways in which they differ from other fictions, we focus primarily on the most prominent example of the category: video-game fictions. We argue that appreciating (...) the self-involving nature of video-game fictions is key to understanding various otherwise puzzling phenomena concerning the ways in which consumers respond to them. Video-game fictions are, however, far from being the only extant example of this class; and we suggest that the recent philosophical interest in video games would be better focused on the wider class of self-involving interactive fictions. (shrink)

Although the impact of so-called “sponsorship bias” has been the subject of increased attention in the philosophy of science, what exactly constitutes its epistemic wrongness is still debated. In this paper, I will argue that neither evidential accounts nor social–epistemological accounts can fully account for the epistemic wrongness of sponsorship bias, but there are good reasons to prefer social–epistemological to evidential accounts. I will defend this claim by examining how both accounts deal with a paradigm case from medical epistemology, recently (...) discussed in a paper by Bennett Holman. I will argue that evidential accounts cannot adequately capture cases of sponsorship bias that involve the manufacturing of certainty because of their neutrality with respect to the role of non-epistemic values in scientific practice. If my argument holds, it further highlights the importance of integrating social and ethical concerns into epistemological analysis, especially in applied contexts. One can only properly grasp sponsorship bias as an epistemological problem if one resists the methodological tendency to analyze social, ethical, and epistemological issues in isolation from each other. (shrink)

How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...) epistemicists, supervaluationists, and theorists of metaphysical vagueness like Barnes and Williams (2010) can interpret the framework.  We will also present a complete axiomatization of the logic we recommend to both epistemicists and local supervaluationists. . (shrink)

Although Peirce frequently insisted that continuity was a core component of his philosophical thought, his conception of it evolved considerably during his lifetime, culminating in a theory grounded primarily in topical geometry. Two manuscripts, one of which has never before been published, reveal that his formulation of this approach was both earlier and more thorough than most scholars seem to have realized. Combining these and other relevant texts with the better-known passages highlights a key ontological distinction: a collection is bottom-up, (...) such that the parts are real and the whole is an ens rationis, while a continuum is top-down, such that the whole is real and the parts are entia rationis. Accordingly, five properties are jointly necessary and sufficient for Peirce’s topical continuum: rationality, divisibility, homogeneity, contiguity, and inexhaustibility. (shrink)