An important objection to preference-satisfaction theories of well-being is that these theories cannot make sense of interpersonal comparisons of well-being. A tradition dating back to Harsanyi () attempts to respond to this objection by appeal to so-called extended preferences: very roughly, preferences over situations whose description includes agents’ preferences. This paper examines the prospects for defending the preference-satisfaction theory via this extended preferences program. We argue that making conceptual sense of extended preferences is less problematic than others have supposed, but (...) that even so extended preferences do not provide a promising way for the preference satisfaction theorist to make interpersonal well-being comparisons. Our main objection takes the form of a trilemma: depending on how the theory based on extended preferences is developed, either the result will be inconsistent with ordinary preference-satisfaction theory, or it will fail to recover sufficiently rich interpersonal well-being comparisons, or it will take on a number of other arguably odd and undesirable commitments. (shrink)

Population axiology is the study of the conditions under which one state of affairs is better than another, when the states of affairs in ques- tion may differ over the numbers and the identities of the persons who ever live. Extant theories include totalism, averagism, variable value theories, critical level theories, and “person-affecting” theories. Each of these the- ories is open to objections that are at least prima facie serious. A series of impossibility theorems shows that this is no coincidence: (...) it can be proved, for various sets of prima facie intuitively compelling desiderata, that no axiology can simultaneously satisfy all the desiderata on the list. One’s choice of population axiology appears to be a choice of which intuition one is least unwilling to give up. (shrink)

Decisions, whether moral or prudential, should be guided at least in part by considerations of the consequences that would result from the various available actions. For any given action, however, the majority of its consequences are unpredictable at the time of decision. Many have worried that this leaves us, in some important sense, clueless. In this paper, I distinguish between ‘simple’ and ‘complex’ possible sources of cluelessness. In terms of this taxonomy, the majority of the existing literature on cluelessness focusses (...) on the simple sources. I argue, contra James Lenman in particular, that these would-be sources of cluelessness are unproblematic, on the grounds that indifference-based reasoning is far less problematic than Lenman (along with many others) supposes. However, there does seem to be a genuine phenomenon of cluelessness associated with the ‘complex’ sources; here, indifference-based reasoning is inapplicable by anyone’s lights. This ‘complex problem of cluelessness’ is vivid and pressing, in particular, in the context of Effective Altruism. This motivates a more thorough examination of the precise nature of cluelessness, and the precise source of the associated phenomenology of discomfort in forced-choice situations. The latter parts of the paper make some initial explorations in those directions. (shrink)

This article is a critical survey of the debate over the value of the social discount rate, with a particular focus on climate change. The ma- jority of the material surveyed is from the economics rather than from the philosophy literature, but the emphasis of the survey itself is on founda- tions in ethical and other normative theory rather than highly technical details. I begin by locating the standard approach to discounting within the overall landscape of ethical theory, and explaining (...) the assumptions and simplifications that are needed in order to arrive at the model that is standard in the discounting literature. The article then covers the general theory of the Ramsey equation and its relationship to observed interest rates, arguments for and against a positive rate of pure time preference, the consumption elasticity of utility, and the effect of various sorts of uncertainty on the discount rate. Finally, it turns specifically to the ap- plication of this debate to the case of climate change, focussing on the recent controversy over the low discount rate used in the Stern Review of the Economics of Climate Change. (shrink)

An important objection to preference-satisfaction theories of well-being is that they cannot make sense of interpersonal comparisons. A tradition dating back to Harsanyi :434, 1953) attempts to solve this problem by appeal to people’s so-called extended preferences. This paper presents a new problem for the extended preferences program, related to Arrow’s celebrated impossibility theorem. We consider three ways in which the extended-preference theorist might avoid this problem, and recommend that she pursue one: developing aggregation rules that violate Arrow’s Independence of (...) Irrelevant Alternatives condition. (shrink)

I argue that excessive reliance on the notion of “the badness of death” tends to lead theorists astray when thinking about healthcare prioritisation. I survey two examples: the confusion surrounding the “time-relative interests account” of the badness of death, and a confusion in the recent literature on cost-benefit analyses for family planning interventions. In both cases, the confusions in question would have been avoided if (instead of attempting to theorise in terms of the badness of death) theorists had forced themselves (...) first to write down an appropriate value function, and then focused on the question of how to maximize value. (shrink)

This chapter makes the case for strong longtermism: the claim that, in many situations, impact on the long-run future is the most important feature of our actions. Our case begins with the observation that an astronomical number of people could exist in the aeons to come. Even on conservative estimates, the expected future population is enormous. We then add a moral claim: all the consequences of our actions matter. In particular, the moral importance of what happens does not depend on (...) when it happens. That pushes us toward strong longtermism. We then address a few potential concerns, the first of which is that it is impossible to have any sufficiently predictable influence on the course of the long-run future. We argue that this is not true. Some actions can reasonably be expected to improve humanity’s long-term prospects. These include reducing the risk of human extinction, preventing climate change, guiding the development of artificial intelligence, and investing funds for later use. We end by arguing that these actions are more than just extremely effective ways to do good. Since the benefits of longtermist efforts are large and the personal costs are comparatively small, we are morally required to take up these efforts. (shrink)

Harsanyi claimed that his Aggregation and Impartial Observer Theorems provide a justification for utilitarianism. This claim has been strongly resisted, notably by Sen and Weymark, who argue that while Harsanyi has perhaps shown that overall good is a linear sum of individuals’ von Neumann-Morgenstern utilities, he has done nothing to establish any con- nection between the notion of von Neumann-Morgenstern utility and that of well-being, and hence that utilitarianism does not follow. The present article defends Harsanyi against the Sen-Weymark cri- (...) tique. I argue that, far from being a term with precise and independent quantitative content whose relationship to von Neumann-Morgenstern utility is then a substantive question, terms such as ‘well-being’ suffer (or suffered) from indeterminacy regarding precisely which quantity they refer to. If so, then (on the issue that this article focuses on) Harsanyi has gone as far towards defending ‘utilitarianism in the original sense’ as could coherently be asked. (shrink)

In carrying out cost-benefit or cost-effective analysis, a discount rate should be applied to some kinds of future benefits and costs. It is controversial, though, whether future health is in this class. I argue that one of the standard arguments for discounting (from diminishing marginal returns) is inapplicable to the case of health, while another (favouring a pure rate of time preference) is unsound in any case. However, there are two other reasons that might support a positive discount rate for (...) future health: one relating to uncertainty, and the other relating to the instrumental benefits of improved health. While the latter considerations could be modelled via a discount rate, they could alternatively be modelled more explicitly, in other ways; I briefly discuss which modelling method is preferable. Finally, I argue against the common claims that failing to discount future health would lead to paradox, and/or to inconsistency with the way future cash flows are treated. (shrink)

Drugs used to provide improvement of cognitive functioning have been shown to be effective in healthy individuals. It is sometimes assumed that the use of these drugs constitutes cheating in an academic context. We examine whether this assumption is ethically sound. Beyond providing the most up-to-date discussion of modafinil use in an academic context, this contribution includes an overview of the safety of modafinil use in greater depth than previous studies addressing the issue of cheating. Secondly, we emphasize two crucial, (...) but hitherto nearly overlooked, nuances to the issues: the potential for modafinil to decrease inequality and disadvantage in academic settings, and the fact that how modafinil is used dramatically impacts its effects on health, coercion, fairness, authenticity and effort. Finally, we explicitly defend the position that there are no qualitatively morally relevant differences between modafinil use and other enhancement modalities; any such differences are in degree,... (shrink)

Given the deep disagreement surrounding population axiology, one should remain uncertain about which theory is best. However, this uncertainty need not leave one neutral about which acts are better or worse. We show that as the number of lives at stake grows, the Expected Moral Value approach to axiological uncertainty systematically pushes one towards choosing the option preferred by the Total and Critical Level views, even if one’s credence in those theories is low.

The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science shapes our concept of models; ways of modeling the pursuit of scientific knowledge; the relationship between our concept of models and our concept of science. The book also discusses models and scientific explanations; models in the semantic view of theories; (...) the applicability of mathematical models to the real world and their effectiveness; the links between models and inferences; and models as a means for acquiring new knowledge. It analyzes different examples of models in physics, biology, mathematics and engineering. Written for researchers and graduate students, it provides a cross-disciplinary reference guide to the notion and the use of models and inferences in science. (shrink)

This document presents the Bonn PRINTEGER Consensus Statement: Working with Research Integrity—Guidance for research performing organisations. The aim of the statement is to complement existing instruments by focusing specifically on institutional responsibilities for strengthening integrity. It takes into account the daily challenges and organisational contexts of most researchers. The statement intends to make research integrity challenges recognisable from the work-floor perspective, providing concrete advice on organisational measures to strengthen integrity. The statement, which was concluded February 7th 2018, provides guidance on (...) the following key issues: § 1. Providing information about research integrity§ 2. Providing education, training and mentoring§ 3. Strengthening a research integrity culture§ 4. Facilitating open dialogue§ 5. Wise incentive management§ 6. Implementing quality assurance procedures§ 7. Improving the work environment and work satisfaction§ 8. Increasing transparency of misconduct cases§ 9. Opening up research§ 10. Implementing safe and effective whistle-blowing channels§ 11. Protecting the alleged perpetrators§ 12. Establishing a research integrity committee and appointing an ombudsperson§ 13. Making explicit the applicable standards for research integrity. (shrink)

Incompatibilists believe free will is impossible if determinism is true, and they often claim that this view is supported by ordinary intuitions. We challenge the claim that incompatibilism is intuitive to most laypersons and discuss the significance of this challenge to the free will debate. After explaining why incompatibilists should want their view to accord with pretheoretical intuitions, we suggest that determining whether incompatibilism is in fact intuitive calls for empirical testing. We then present the results of our studies, which (...) put significant pressure on the claim that incompatibilism is intuitive. Finally, we consider and respond to several potential objections to our approach. (shrink)

This paper discusses three relevant logics that obey Component Homogeneity - a principle that Goddard and Routley introduce in their project of a logic of significance. The paper establishes two main results. First, it establishes a general characterization result for two families of logic that obey Component Homogeneity - that is, we provide a set of necessary and sufficient conditions for their consequence relations. From this, we derive characterization results for S*fde, dS*fde, crossS*fde. Second, the paper establishes complete sequent calculi (...) for S*fde, dS*fde, crossS*fde. Among the other accomplishments of the paper, we generalize the semantics from Bochvar, Hallden, Deutsch and Daniels, we provide a general recipe to define containment logics, we explore the single-premise/single-conclusion fragment of S*fde, dS*fde, crossS*fdeand the connections between crossS*fde and the logic Eq of equality by Epstein. Also, we present S*fde as a relevant logic of meaninglessness that follows the main philosophical tenets of Goddard and Routley, and we briefly examine three further systems that are closely related to our main logics. Finally, we discuss Routley's criticism to containment logic in light of our results, and overview some open issues. (shrink)

Die Übernahme des KI-Unternehmens DeepMind durch Google für rund eine halbe Milliarde US-Dollar signalisierte vor einem Jahr, dass von der KI-Forschung vielversprechende Ergebnisse erwartet werden. Spätestens seit bekannte Wissenschaftler wie Stephen Hawking und Unternehmer wie Elon Musk oder Bill Gates davor warnen, dass künstliche Intelligenz eine Bedrohung für die Menschheit darstellt, schlägt das KI-Thema hohe Wellen. Die Stiftung für Effektiven Altruismus (EAS, vormals GBS Schweiz) hat mit der Unterstützung von Experten/innen aus Informatik und KI ein umfassendes Diskussionspapier zu den Chancen (...) und Risiken der künstlichen Intelligenz verfasst und geht darin auf aktuelle, mittel- und langfristige Herausforderungen im Bereich der KI-Entwicklung ein. (shrink)

Much public policy analysis requires us to place a monetary value on the bad- ness of a premature human death. Currently dominant approaches to determining this ‘value of a life’ focus exclusively on the ‘self-regarding’ value of life — that is, the value of a person’s life to the person whose death is in question — and altogether ignore effects on other people. This procedure would be justified if, as seems intuitively plausible, other-regarding effects were negligible in comparison with self-regarding (...) ones. I argue that in the light of the issue of overpopulation, that intuitively plausible condition is at best highly questionable. Unless the world is in fact underpopulated, the social disvalue of a premature death is likely to be significantly lower than the current estimates. (shrink)

Rights-based approaches and consequentialist approaches to ethics are often seen as being diametrically opposed to one another. In one sense, they are. In another sense, however, they can be reconciled: a ‘global’ form of consequentialism might supply consequentialist foundations for a derivative morality that is non-consequentialist, and perhaps rights-based, in content. By way of case study to illustrate how this might work, I survey what a global consequentialist should think about a recent dispute between Jeff McMahan and Henry Shue on (...) the morality and laws of war. (shrink)

Every day, thousands of polls, surveys, and rating scales are employed to elicit the attitudes of humankind. Given the ubiquitous use of these instruments, it seems we ought to have firm answers to what is measured by them, but unfortunately we do not. To help remedy this situation, we present a novel approach to investigate the nature of attitudes. We created a self-transforming paper survey of moral opinions, covering both foundational principles, and current dilemmas hotly debated in the media. This (...) survey used a magic trick to expose participants to a reversal of their previously stated attitudes, allowing us to record whether they were prepared to endorse and argue for the opposite view of what they had stated only moments ago. The result showed that the majority of the reversals remained undetected, and a full 69% of the participants failed to detect at least one of two changes. In addition, participants often constructed coherent and unequivocal arguments supporting the opposite of their original position. These results suggest a dramatic potential for flexibility in our moral attitudes, and indicates a clear role for self-attribution and post-hoc rationalization in attitude formation and change. (shrink)

This paper summarizes (in German) recent tendencies in the philosophy of the life sciences.

This paper offers a more comprehensive and accurate picture of Edmund Husserl’s semiotics. I not only clarify, as many have already done, Husserl’s theory of signs from the 1901 Logical Investigations, but also examine how he transforms that element of his philosophy in the 1913/14 Revisions to the Sixth Logical Investigation. Specifically, the paper examines the evolution of two central tenets of Husserl’s semiotics. I first look at how he modifies his classification of signs. I disclose why he revised his (...) 1901 distinction between indicators and expressions, instead claiming in 1913/14 that the divisions should be drawn between indicators, signals, and categorial signs. Second, I elucidate why Husserl overturned his conclusion from the Investigations, that signs execute their signitive operations in three steps, because he recognizes that categorial signs and their meant object are experienced all at once. By exploring the transformation of these two tenets of Husserl’s semiotics, we will see that he conceived of the First Investigation only as a starting or jumping off point for future analyses of signitive experience, rather than as his final account. This analysis will further reveal novel insights about Husserl’s understanding of intersubjectivity, passivity, and temporality. (shrink)

In my fourth year, I completed a research paper critically analyzing writing on Endurance and Perdurance by testing these theories of how objects persist through change with Einstein’s Relativity to present a thesis. I then compared these metaphysical accounts of persistence for how well they conform to applied physical principles of Special Relativity.

We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in functional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S , all definable sets of reals are (...) Lebesgue measurable, suggesting that Connes views a theory as being “virtual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnerable to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace −∫ (featured on the front cover of Connes’ magnum opus) and the Hahn–Banach theorem, in Connes’ own framework. We also note an inaccuracy in Machover’s critique of infinitesimal-based pedagogy. (shrink)

According to the recent Perceptual Confidence view, perceptual experiences possess not only a representational content, but also a degree of confidence in that content. The motivations for this view are partly phenomenological and partly epistemic. We discuss both the phenomenological and epistemic motivations for the view, and the resulting account of the interface between perceptual experiences and degrees of belief. We conclude that, in their present state of development, orthodox accounts of perceptual experience are still to be favoured over the (...) perceptual confidence view. (shrink)

The proposal on offer is a radical form of egalitarianism. Under it, each citizen receives the same income, regardless of profession or indeed whether he or she works or not. This proposal is bad for two reasons. First, it is inefficient. It would eliminate nearly all incentive to work, thereby shrinking national income and leaving all citizens poorly off (albeit equally poorly off). I illustrate this inefficiency via an indifference curve analysis. Second, the proposal would be regarded as unjust by (...) almost everyone. The empirical work on justice makes this plain. Equal pay for equal work is desirable; equal pay no matter what is something else entirely. It is an idea not likely to find adherents. (shrink)

In this paper, I propose a solution to the problem of singular propositions and non-present objects within the view of presentism- that is, how can we refer to past objects if presentism claims only objects in the present exist and that objects outside of the present do not exist, if an object does not exist, how can we refer to it? I will propose that past objects which once did exist have had a lasting effect on the present which allows (...) us, in the present, to refer to those objects indirectly. These effects, which exist in the present and cannot come to be without a cause, allow us to refer to the past object as the cause of those effects. The effect of the past object on the present means that the cause (the past object) has not entirely gone out of existence allowing us to refer to the cause or the past object in the present. (shrink)

The work of Thomas White represents a systematic attempt to combine the best of the new science of the seventeenth century with the best of Aristotelian tradition. This attempt earned him the criticism of Hobbes and the praise of Leibniz, but today, most of his attempts to navigate between traditions remain to be explored in detail. This paper does so for his ontology of accidents. It argues that his criticism of accidents in the category of location as entities over (...) and above substances was likely aimed at Francisco Suárez, and shows how White’s worries about the analysis of location were linked with his broader cosmological views. White rejects real qualities, but holds that the quantity of a substance is somehow distinct from its bearer. This reveals a common ground with some of his scholastic interlocutors, but lays bare a deep disagreement with thinkers like Descartes on the nature of matter. (shrink)

This is an edited transcription of Thomas S. Kuhn’s “Does Knowledge ‘Grow’?”.

I consider the ‘inferentialist’ thesis that whenever a mental state rationally justifies a belief it is in virtue of inferential relations holding between the contents of the two states. I suggest that no good argument has yet been given for the thesis. I focus in particular on Williamson (2000) and Ginsborg (2011) and show that neither provides us with a reason to deny the plausible idea that experience can provide non-inferential justification for belief. I finish by pointing out some theoretical (...) costs and tensions associated with endorsing inferentialism. (shrink)

Standard decision theory, or rational choice theory, is often interpreted to be a theory of instrumental rationality. This dissertation argues, however, that the core requirements of orthodox decision theory cannot be defended as general requirements of instrumental rationality. Instead, I argue that these requirements can only be instrumentally justified to agents who have a desire to have choice dispositions that are stable over time and across different choice contexts. Past attempts at making instrumentalist arguments for the core requirements of decision (...) theory fail due to a pervasive assumption in decision theory, namely the assumption that the agent’s preferences over the objects of choice – be it outcomes or uncertain prospects – form the standard of instrumental rationality against which the agent’s actions are evaluated. I argue that we should instead take more basic desires to be the standard of instrumental rationality. But unless agents have a desire to have stable choice dispositions, according to this standard, instrumental rationality turns out to be more permissive than orthodox decision theory. (shrink)

Is it possible for an individual that has gone out of being to come back into being again? The English Aristotelian, Thomas White, argued that it is not. Thomas Hobbes disagreed, and used the case of the Ship of Theseus to argue that individuals that have gone out of being may come back into being again. This paper provides the first systematic account of their arguments. It is doubtful that Hobbes has a consistent case against White. Still his (...) criticism may have prompted White to clarify his views on identity over time in his later work. (shrink)

Enactivist (Embodied, Embedded, etc.) approaches in cognitive science and philosophy of mind are sometimes, though not always, conjoined with an anti-representational commitment. A weaker anti-representational claim is that ascribing representational content to internal/sub-personal processes is not compulsory when giving psychological explanations. A stronger anti-representational claim is that the very idea of ascribing representational content to internal/sub-personal processes is a theoretical confusion. This paper criticises some of the arguments made by Hutto & Myin (2013, 2017) for the stronger anti-representational claim and (...) suggests that the default Enactivist view should be the weaker non-representational position. (shrink)

Introduction to the Inaugural Issue of the Erasmus Journal for Philosophy and Economics.

Abstract: One of the institutional highlights of the encounter between Austrian “wissen¬schaftliche Philosophie” and French “philosophie scientifique” in the first half of the 20th century was the “First International Congress for Unity of Science” that took place 1935 in Paris. In my contribution I deal with an episode of the philosophical mega-event whose protagonist was the American philosopher and semiotician Charles William Morris. At the Paris congress he presented his programme of a comprehensive, practice-oriented scientific philosophy and, in a more (...) elaborated version he published it two years later in Logical Positivism, Pragmatism and Scientific Empiricism (Morris 1937). Morris aimed at a synthesis of formalism, pragmatism, and traditional empiricism that combined the virtues of these accounts while avoided their shortocmings. The core of approach was a comprehensive theory of the concept of meaning. Through an analysis of the concept of meaning he sought to sort out the existing differences and the options for a possible future rapprochment between logical empiricism and pragmatism. Against the overly narrow logical empiricist understanding of philosophy as the syntax of the language of science Morris argued for a “scientific pragmatism” that comprised four levels: (1) Philosophy as Logic of Science, (2) Philosophy as Clarification of Meaning (Peirce), (3) Philosophy as Empirical Axiology (Dewey), and (4) Philosophy as Empirical Cosmology (Whitehead). (shrink)

The Repugnant Conclusion served an important purpose in catalyzing and inspiring the pioneering stage of population ethics research. We believe, however, that the Repugnant Conclusion now receives too much focus. Avoiding the Repugnant Conclusion should no longer be the central goal driving population ethics research, despite its importance to the fundamental accomplishments of the existing literature.

In recent years an increasing number of psychologists have begun to explore the prevalence, causes and effects of ordinary people’s intuitions about moral realism. Many of these studies have lacked in construct validity, i.e., they have failed to measure moral realism. My aim in this paper accordingly is to motivate and guide methodological improvements. In analysis of prominent existing measures, I develop general recommendations for overcoming ten prima facie serious worries about research on folk moral realism. G1 and G2 require (...) studies’ answer choices to be as metaethically comprehensive as methodologically feasible. G3 and G4 prevent fallacious inferences from intuitions about related debates. G5 and G6 limit first-order moral and epistemic influences. G7 address studies’ instructions. And G8 and G9 suggest tests of important psychological presuppositions. (shrink)

Este ensayo presenta una descripción de los escritos inéditos de Jacques Derrida sobre Marx y Louis Althusser en la década de 1970, y un estudio de conceptos como ideología, diferencia sexual, reproducción, violencia, dominación o hegemonía en perspectiva deconstructiva. Se trata de pensar en una otra economía, más allá de la economía del cuerpo propio. El artículo fue publicado en el Volumen 7 de la Revista Demarcaciones, "a 25 años de Espectros de Marx.".

Nanay (2017) argues for unconscious mental imagery, inter alia based on the assumption that successful performance in imagery tasks requires the manipulation of mental imagery. I challenge this assumption with the help of results presented in Shepard and Metzler (1971), Zeman et al. (2010), and Keogh and Pearson (2018). The studies suggest that imagery tasks can be successfully performed by means of cognitive/propositional strategies which do not rely on imagery.

Information technology (IT) is continuously making astounding progress in technical efficiency. The time, space, material and energy needed to provide a unit of IT service have decreased by three orders of magnitude since the first personal computer (PC) was sold. However, it seems difficult for society to translate IT’s efficiency progress into progress in terms of individual, organizational or socio-economic goals. In particular it seems to be difficult for individuals to work more efficiently, for organizations to be more productive and (...) for the socio-economic system to be more sustainable by using increasingly efficient IT. This article provides empirical evidence and potential explanations for this problem. Many counterproductive effects of IT can be explained economically by rebound effects. Beyond that, we conclude that the technological determinism adopted by decision-makers is the main obstacle in translating IT’s progress into non-technical goals. (shrink)

I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system which (...) undermines the metaphysical seriousness of this structuralism. Homotopy type theory adds to CST a distinctive theory of identity between sets, which arguably allows its objects to be seen as ante rem structures. I examine the prospects for such a view, and address many other interpretive problems as they arise. (shrink)

In this issue, Elizabeth Shaw and Gulzaar Barn offer a number of replies to my arguments in ‘Criminal Rehabilitation Through Medical Intervention: Moral Liability and the Right to Bodily Integrity’, Journal of Ethics. In this article I respond to some of their criticisms.

The paper addresses an exegetical puzzle that is raised by Kant's distinction between opining (Meinen), believing (Glauben), and knowing (Wissen). In presenting his moral arguments, Kant often points out that belief, as he conceives of it, has a unique feature: it requires non-epistemic justification. Yet Kant's official formulation of the tripartite distinction runs counter to this claim. It describes Belief in terms of a set of two features, each of which also pertains to either opinion or knowledge. My aim in (...) this paper is to propose a novel interpretation of Kant’s distinction which dissolves this exegetical puzzle. (shrink)

Description Logics are nowadays widely accepted as formalisms which provide reasoning facilities which allow us to discover inconsistencies in ontologies in an automatic fashion. Where ontologies are developed in modular fashion, they allow changes in one module to propogated through the system of ontologies automatically in a way which helps to maintain consistency and stability. For this feature to be utilized effectively, however, requires that domain ontologies be represented in a normalized form.

This paper accomplishes two goals. First, I elucidate Edmund Husserl’s theory of inauthentic judgments from his 1890 “On the Logic of Signs (Semiotic).” It will be shown how inauthentic judgments are distinct from other signitive experiences, in such a manner that when Husserl seeks to account for them, he is forced to revise the general structure of his philosophy of meaning and in doing so, is also able to realize novel insights concerning the nature of signification. Second, these conclusions are (...) revealed to be the foundation of Husserl’s pure logical grammar, found in the 1901 “Fourth Logical Investigation.” In his analysis of inauthentic judgments, Husserl already recognized, albeit in a problematic way and for entirely different reasons, many of the central tenets of the 1901 work concerning categoremata and syncategoremata, matter and form, and the isomorphism between them. (shrink)

This paper explores how current United States policies for funding nonreproductive cloning are justified and argues against that justification. I show that a common conceptual framework underlies the national prohibition on the use of public funds for cloning research, which I call the simple argument. This argument rests on two premises: that research harming human embryos is unethical and that embryos produced via fertilization are identical to those produced via cloning. In response to the simple argument, I challenge the latter (...) premise. I demonstrate there are important ontological differences between human embryos (produced via fertilization) and clone embryos (produced via cloning). After considering the implications my argument has for the morality of publicly funding cloning for potential therapeutic purposes and potential responses to my position, I conclude that such funding is not only ethically permissible, but also humane national policy. (shrink)