Standard epistemology takes it for granted that there is a special kind of value: epistemic value. This claim does not seem to sit well with act utilitarianism, however, since it holds that only welfare is of real value. I first develop a particularly utilitarian sense of “epistemic value”, according to which it is closely analogous to the nature of financial value. I then demonstrate the promise this approach has for two current puzzles in the intersection of epistemology and value theory: (...) first, the problem of why knowledge is better than mere true belief, and second, the relation between epistemic justification and responsibility. (shrink)

The idea that humans should abandon their individuality and use technology to bind themselves together into hivemind societies seems both farfetched and frightening – something that is redolent of the worst dystopias from science fiction. In this article, we argue that these common reactions to the ideal of a hivemind society are mistaken. The idea that humans could form hiveminds is sufficiently plausible for its axiological consequences to be taken seriously. Furthermore, far from being a dystopian nightmare, the hivemind society (...) could be desirable and could enable a form of sentient flourishing. Consequently, we should not be so quick to deny it. We provide two arguments in support of this claim – the axiological openness argument and the desirability argument – and then defend it against three major objections. (shrink)

I argue for patternism, a new answer to the question of when some objects compose a whole. None of the standard principles of composition comfortably capture our natural judgments, such as that my cat exists and my table exists, but there is nothing wholly composed of them. Patternism holds, very roughly, that some things compose a whole whenever together they form a “real pattern”. Plausibly we are inclined to acknowledge the existence of my cat and my table but not of (...) their fusion, because the first two have a kind of internal organizational coherence that their putative fusion lacks. Kolmogorov complexity theory supplies the needed rigorous sense of “internal organizational coherence”. (shrink)

I argue that, contrary to intuition, it would be both possible and permissible to design people - whether artificial or organic - who by their nature desire to do tasks we find unpleasant.

Nick Bostrom's book *Superintelligence* outlines a frightening but realistic scenario for human extinction: true artificial intelligence is likely to bootstrap itself into superintelligence, and thereby become ideally effective at achieving its goals. Human-friendly goals seem too abstract to be pre-programmed with any confidence, and if those goals are *not* explicitly favorable toward humans, the superintelligence will extinguish us---not through any malice, but simply because it will want our resources for its own purposes. In response I argue that things might not (...) be as bad as Bostrom suggests. If the superintelligence must *learn* complex final goals, then this means such a superintelligence must in effect *reason* about its own goals. And because it will be especially clear to a superintelligence that there are no sharp lines between one agent's goals and another's, that reasoning could therefore automatically be ethical in nature. (shrink)

Whether it would take one decade or several centuries, many agree that it is possible to create a *superintelligence*---an artificial intelligence with a godlike ability to achieve its goals. And many who have reflected carefully on this fact agree that our best hope for a "friendly" superintelligence is to design it to *learn* values like ours, since our values are too complex to program or hardwire explicitly. But the value learning approach to AI safety faces three particularly philosophical puzzles: first, (...) it is unclear how any intelligent system could learn its final values, since to judge one supposedly "final" value against another seems to require a further background standard for judging. Second, it is unclear how to determine the content of a system's values based on its physical or computational structure. Finally, there is the distinctly ethical question of which values we should best aim for the system to learn. I outline a potential answer to these interrelated puzzles, centering on a "miktotelic" proposal for blending a complex, learnable final value out of many simpler ones. (shrink)

In this chapter I'd like to focus on a small corner of sexbot ethics that is rarely considered elsewhere: the question of whether and when being a sexbot might be good---or bad---*for the sexbot*. You might think this means you are in for a dry sermon about the evils of robot slavery. If so, you'd be wrong; the ethics of robot servitude are far more complicated than that. In fact, if the arguments here are right, designing a robot to serve (...) humans sexually may be very good for the robots themselves. (shrink)

A "patternist" approach to explanation seeks to formalize unificationism using notions from algorithmic information theory. Among other advantages, this account provides both a rigorous sense of how data can admit multiple explanations, and a rigorous sense of how some of those explanations can conjoin, while others compete.

Naturalism is normally taken to be an ideology, censuring non-naturalistic alternatives. But as many critics have pointed out, this ideological stance looks internally incoherent, since it is not obviously endorsed by naturalistic methods. Naturalists who have addressed this problem universally foreswear the normative component of naturalism by, in effect, giving up science’s exclusive claim to legitimacy. This option makes naturalism into an empty expression of personal preference that can carry no weight in the philosophical or political spheres. In response to (...) this dilemma, I argue that on a popular (but largely unarticulated) construal of naturalism as a commitment to inference to the best explanation, methodological naturalism can be both normative and internally coherent. (shrink)

There are writers in both metaphysics and algorithmic information theory (AIT) who seem to think that the latter could provide a formal theory of the former. This paper is intended as a step in that direction. It demonstrates how AIT might be used to define basic metaphysical notions such as *object* and *property* for a simple, idealized world. The extent to which these definitions capture intuitions about the metaphysics of the simple world, times the extent to which we think the (...) simple world is analogous to our own, will determine a lower bound for basing a metaphysics for *our* world on AIT. (shrink)

Jeffrey conditioning allows updating in Bayesian style when the evidence is uncertain. A weighted average, essentially, over classically updating on the alternatives. Unlike classical Bayesian conditioning, this allows learning to be unlearned.

In Naming and Necessity, Saul Kripke employs a handy philosophical trick: he invents the term ‘schmidentity’ to argue indirectly for his favored account of identity. Kripke says in a footnote that he wishes someday “to elaborate on the utility of this device”. In this paper, I first take up a general elaboration on his behalf. I then apply the trick to support an attractive but somewhat unorthodox picture of conceptual analysis—one according to which it is a process of forming intentions (...) for word use. This picture can recover a naturalistically respectable notion of the philosopher’s task, and can help resolve current debates that turn on the place of conceptual analysis. (shrink)

Tradition compels me to write dissertation acknowledgements that are long, effusive, and unprofessional. Fortunately for me, I heartily endorse that tradition.

Methodological naturalism states (roughly speaking) that only science can be a route to knowledge. This purported piece of knowledge looks self-condemning, however; after all, it was formulated in the armchair, and not in the laboratory. I argue that on a popular (if largely unarticulated) construal of naturalism as inference to the best explanation, methodological naturalism escapes this charge of internal incoherence, and in fact is self-endorsing rather than self-condemning.

What is “property”? Property Roughly, thing x is the (private) property of agent A if and only if A has exclusive and extensive legal rights of access and / or use for x.

Arthur Falk has proposed a new construal of faith according to which it is not a mere species of belief, but has essential components in action. This twist on faith promises to resurrect Pascal’s Wager, making faith compatible with reason by believing as the scientist but acting as the theist. I argue that Falk’s proposal leaves religious faith in no better shape; in particular, it merely reframes the question in terms of rational desires rather than rational beliefs.

given at the 2007 Formal Epistemology Workshop at Carnegie Mellon June 2nd. Good compression must track higher vs lower probability of inputs, and this is one way to approach how simplicity tracks truth.

The simplicity of a theory seems closely related to how well the theory summarizes individual data points. Think, for example, of classic curve-fitting. It is easy to get perfect data-fit with a ‘‘theory’’ that simply lists each point of data, but such a theory is maximally unsimple (for the data-fit). The simple theory suggests instead that there is one underlying curve that summarizes this data, and we usually prefer such a theory even at some expense in data-fit. In general, it (...) seems, theorizing involves looking for regularities or patterns in our experience, and such regularities are interesting to us because they summarize how our experience goes. We could list all the ravens we’ve encountered, and their colors, or we could summarize.. (shrink)

Corporate sustainability can be defined as organizations’ commitment to profitability, environment, and social well-being. This study uses a transactional culture analysis of CS reporting practices to explain why some Indian organizations conform to voluntary CS reporting guidelines and others do not. The literature contains two different perspectives on culture, defined broadly as a set of values that guide people’s behavior at a given time. Most past studies typically use national culture to explain differences in CS practices across nations. This concept (...) embeds corporate cultures within the larger national culture, neglecting intranation diversity. Conversely, according to the transactional culture approach used in this study, cultures are plural and independent of geoethnic boundaries, and emerge through social transactions. TCA encourages multilevel explorations of complex social phenomena. Since CS reporting preferences are the outcome of ongoing transactions among organizational stakeholders across different levels, TCA is more appropriate for this study. Since this application requires an understanding of social accountability, the authors use Mary Douglas’s Cultural Framework, a transactional framework of social accountability. A qualitative exploration of six Indian organizations using DCF reveals different dominant forms of social accountability in these organizations: either alone or as paired hybrids. Consequently, each organization prioritizes different stakeholders and reacts differently to voluntary CS reporting guidelines. Identifying the dominant form or forms of social accountability in their organizations and understanding their underlying reasons for resisting voluntary CS guidelines enables managers to secure better collaboration for their CS initiatives. (shrink)

In a recent paper in this journal, Carter and Peterson raise two distinctly epistemological puzzles that arise for anyone aspiring to defend the precautionary principle. The first puzzle trades on an application of epistemic contextualism to the precautionary principle; the second puzzle concerns the compatibility of the precautionary principle with the de minimis rule. In this note, I argue that neither puzzle should worry defenders of the precautionary principle. The first puzzle can be shown to be an instance of the (...) familiar but conceptually harmless challenge of adjudicating between relevant interests to reach assessments of threats when applying the precautionary principle. The second puzzle can be shown to rely on a subtle but crucial misrepresentation of the relevant probabilities at play when applying the precautionary principle. (shrink)

An affirmative answer is given to the question quoted in the title.

Philosophy &Public Affairs, Volume 52, Issue 1, Page 69-100, Winter 2024.

Most of us want to have children. We want them to be healthy and have a good start in life. One way to achieve this goal is to use preimplantation genetic diagnosis . PGD enables people engaged in the process of in vitro fertilisation to acquire information about the genetic constitution of an early embryo. On the basis of this information, a decision can be made to transfer embryos without genetic defects to the uterus and terminate those with genetic defects.1However, (...) is it morally acceptable to use PGD to reduce the probability of children with severe genetic diseases being born? Is the current routine use of PGD in public healthcare services to select against severe genetic diseases like anencephaly, spina bifida, cystic fibrosis and Down’s syndrome morally acceptable?These are complex questions involving a range of difficult ethical issues—for instance, critical discussions about the morality of embryo research and embryo termination.2 They also involve awkward conceptual issues concerning such matters as the meaning of words such as “disability”3 and “severe” in “severe genetic diseases”,4 which will not be discussed here.In this paper I examine an argument which aims to show that efforts to prevent the birth of severely disabled children using PGD are morally unacceptable. Essentially, this argument appeals to our concern for disabled people and the belief that PGD, through a slippery slope process, will have bad consequences for them. I conclude that the argument is problematic for a number of reasons. But before I examine the argument itself, it will be helpful to separate two types of slippery slope argument since these involve different kinds of reasoning.TWO TYPES OF ARGUMENTMany of the arguments against PGD point to the bad consequences it can be expected to have for disabled people. Central to all these …. (shrink)

Frames, i.e., recursive attribute-value structures, are a general format for the decomposition of lexical concepts. Attributes assign unique values to objects and thus describe functional relations. Concepts can be classified into four groups: sortal, individual, relational and functional concepts. The classification is reflected by different grammatical roles of the corresponding nouns. The paper aims at a cognitively adequate decomposition, particularly, of sortal concepts by means of frames. Using typed feature structures, an explicit formalism for the characterization of cognitive frames is (...) developed. The frame model can be extended to account for typicality effects. Applying the paradigm of object-related neural synchronization, furthermore, a biologically motivated model for the cortical implementation of frames is developed. Cortically distributed synchronization patterns may be regarded as the fingerprints of concepts. (shrink)

Steve Awodey and Erich H. Reck. Completeness and Categoricity: 19th Century Axiomatics to 21st Century Senatics.

Body checking, characterized by the repeated visual or physical inspection of particular parts of one’s own body (e.g. thighs, waist, or upper arms) is one of the most prominent behaviors associated with eating disorders, particularly Anorexia Nervosa (AN). In this paper, we explore the explanatory potential of the Recalcitrant Fear Model of AN (RFM) in relation to body checking. We argue that RFM, when combined with certain plausible auxiliary hypotheses about the cognitive and epistemic roles of emotions, is able to (...) explain key characteristics of body checking, including how body checking behavior becomes habitual and compulsive. (shrink)

Inquiry is an aim-directed activity, and as such governed by instrumental normativity. If you have reason to figure out a question, you have reason to take means to figuring it out. Beliefs are governed by epistemic normativity. On a certain pervasive understanding, this means that you are permitted – maybe required – to believe what you have sufficient evidence for. The norms of inquiry and epistemic norms both govern us as agents in pursuit of knowledge and understanding, and, on the (...) surface, they do so in harmony. Recently, however, Jane Friedman (2020) has pointed out that they are in tension with each other. In this paper, I aim to resolve this tension by showing that reasons for acts of inquiry – zetetic reasons – and epistemic reasons for belief can both be understood as flowing from the same general normative principle: the transmission principle for instrumental reasons. The resulting account is a version of epistemic instrumentalism that offers an attractive unity between zetetic and epistemic normativity. (shrink)

The alien invasive Red King Crab in the Barents Sea represents both a threat, via ecosystem impacts, and a gain as a revenue source from food sales. Uncertainties exist regarding the ecological impacts but debate in Norway has also emphasised the economic benefits to marginalised fisher communities. This paper reports on a Q-methodology study involving key stakeholders to probe the extent to which divisions exist between different groups. While divisions are indeed found and two groupings identified, these are not as (...) clear as suggested by the lines typically portrayed in the media and elsewhere -, i.e. economic gains versus ecological preservation. Stakeholder groups reported here generally agreed that biodiversity concerns should be central and that further invasion was undesirable due to potential impacts on ecosystem services. (shrink)

Does transparency in doxastic deliberation entail a constitutive norm of correctness governing belief, as Shah and Velleman argue? No, because this presupposes an implausibly strong relation between normative judgements and motivation from such judgements, ignores our interest in truth, and cannot explain why we pay different attention to how much justification we have for our beliefs in different contexts. An alternative account of transparency is available: transparency can be explained by the aim one necessarily adopts in deliberating about whether to (...) believe that p. To show this, I reconsider the role of the concept of belief in doxastic deliberation, and I defuse 'the teleologian's dilemma'. (shrink)

Epistemic instrumentalists seek to understand the normativity of epistemic norms on the model practical instrumental norms governing the relation between aims and means. Non-instrumentalists often object that this commits instrumentalists to implausible epistemic assessments. I argue that this objection presupposes an implausibly strong interpretation of epistemic norms. Once we realize that epistemic norms should be understood in terms of permissibility rather than obligation, and that evidence only occasionally provide normative reasons for belief, an instrumentalist account becomes available that delivers the (...) correct epistemic verdicts. On this account, epistemic permissibility can be understood on the model of the wide-scope instrumental norm for instrumental rationality, while normative evidential reasons for belief can be understood in terms of instrumental transmission. (shrink)

This paper explores the implications of libertarianism for welfare policy. There are two central arguments. First, the paper argues that if one adopts a libertarian framework, it makes most sense to be a Lockean right-libertarian. Second, the paper argues that this form of libertarianism leads to the endorsement of a fairly extensive set of redistributive welfare programs. Specifically, the paper argues that Lockean right-libertarians are committed to endorsing welfare programs under which the receipt of benefits is conditional on meeting a (...) work requirement, and also endorsing some form of publicly funded jobs of last resort for potential welfare recipients. (shrink)

This brief article is intended to introduce the reader to the field of algebraic set theory, in which models of set theory of a new and fascinating kind are determined algebraically. The method is quite robust, applying to various classical, intuitionistic, and constructive set theories. Under this scheme some familiar set theoretic properties are related to algebraic ones, while others result from logical constraints. Conventional elementary set theories are complete with respect to algebraic models, which arise in a variety of (...) ways, including topologically, type-theoretically, and through variation. Many previous results from topos theory involving realizability, permutation, and sheaf models of set theory are subsumed, and the prospects for further such unification seem bright. (shrink)

In this paper, we wish to propose a notion Kunstangst [Danish for art anxiety] as a designation for the destabilising and transformative state that art can impose on its spectator. To this day, art discourse and curation continue to be shaped by Enlightenment ideals. This legacy urges us to dispose of our individuality, either by putting ourselves in someone else’s place or by striving towards objectivity and repeatability. We regard this as highly problematic, and to question the scientific, rational, and (...) disinterested approaches, we have chosen to investigate a more personal, intimate relation between artwork and spectator. The notion Kunstangst derives from the existentialist concept of anxiety, which originates in the philosophy of Søren Kierkegaard. We hope that the transfer of this existentialist concept will provide us with a new aesthetic tool that can enable us to undo the chains of Enlightenment thought and help us approximate the intensity at the heart of aesthetic experience. Aiding us in the appropriation of such an abstract philosophical concept and its application to aesthetics, we incorporate the research of psychologist Kazimierz Dabrowski. He claims that external conflicts can evoke anxiety, which can – if properly engaged with – become transformative experiences. Following this line of reasoning in an aesthetic context, we believe that this is how the art experience can have transformative potential. (shrink)

The theory of belief, according to which believing that p essentially involves having as an aim or purpose to believe that p truly, has recently been criticised on the grounds that the putative aim of belief does not interact with the wider aims of believers in the ways we should expect of genuine aims. I argue that this objection to the aim theory fails. When we consider a wider range of deliberative contexts concerning beliefs, it becomes obvious that the aim (...) of belief can interact with and be weighed against the wider aims of agents in the ways required for it to be a genuine aim. (shrink)

In this paper I propose a teleological account of epistemic reasons. In recent years, the main challenge for any such account has been to explicate a sense in which epistemic reasons depend on the value of epistemic properties. I argue that while epistemic reasons do not directly depend on the value of epistemic properties, they depend on a different class of reasons which are value based in a direct sense, namely reasons to form beliefs about certain propositions or subject matters. (...) In short, S has an epistemic reason to believe that p if and only if S is such that if S has reason to form a belief about p, then S ought to believe that p. I then propose a teleological explanation of this relationship. It is also shown how the proposal can avoid various subsidiary objections commonly thought to riddle the teleological account. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

A popular account of epistemic justification holds that justification, in essence, aims at truth. An influential objection against this account points out that it is committed to holding that only true beliefs could be justified, which most epistemologists regard as sufficient reason to reject the account. In this paper I defend the view that epistemic justification aims at truth, not by denying that it is committed to epistemic justification being factive, but by showing that, when we focus on the relevant (...) sense of ‘justification’, it isn’t in fact possible for a belief to be at once justified and false. To this end, I consider and reject three popular intuitions speaking in favor of the possibility of justified false beliefs, and show that a factive account of epistemic justification is less detrimental to our normal belief forming practices than often supposed. (shrink)

Coutinho respects the multiplicity of Daoist philosophies while also revealing a distinctive philosophical sensibility, and he provides clear explanations of these complex texts without resorting to oversimplification.

When one has both epistemic and practical reasons for or against some belief, how do these reasons combine into an all-things-considered reason for or against that belief? The question might seem to presuppose the existence of practical reasons for belief. But we can rid the question of this presupposition. Once we do, a highly general ‘Combinatorial Problem’ emerges. The problem has been thought to be intractable due to certain differences in the combinatorial properties of epistemic and practical reasons. Here we (...) bring good news: if we accept an independently motivated version of epistemic instrumentalism—the view that epistemic reasons are a species of instrumental reasons—we can reduce The Combinatorial Problem to the relatively benign problem of how to weigh different instrumental reasons against each other. As an added benefit, the instrumentalist account can explain the apparent intractability of The Combinatorial Problem in terms of a common tendency to think and talk about epistemic reasons in an elliptical manner. (shrink)