Direct neurological and especially imaging-driven investigations into the structures essential to naturally occurring cognitive systems in their development and operation have motivated broadening interest in the potential for artificial consciousness modeled on these systems. This first paper in a series of three begins with a brief review of Boltuc’s (2009) “brain-based” thesis on the prospect of artificial consciousness, focusing on his formulation of h-consciousness. We then explore some of the implications of brain research on the structure of consciousness, finding limitations (...) in biological approaches to the study of consciousness. Looking past these limitations, we introduce research in artificial consciousness designed to test for the emergence of consciousness, a phenomenon beyond the purview of the study of existing biological systems. (shrink)

We compare the definition of virtue in philosophy with the definition and operationalization of virtue in psychology. We articulate characteristics that virtue is presented as possessing in the perennial western philosophical tradition. Virtues are typically understood as (a) dispositional (b) deep-seated (c) habits (d) that contribute to flourishing and (e) that produce activities with the following three features: they are (f) done well, (g) not done poorly, and (h) in accordance with the right motivation and reason. We form a definition (...) from these characteristics and defend our exclusion of some other characteristics from the definition. Using our definition as a rubric, we evaluate conceptions of virtue in psychology, showing how many fall short at operationalizing at least one component of the philosophical notion of virtue. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

John P. Burgess is the John N. Woodhull Professor of Philosophy at Princeton University. He obtained his Ph.D. from the Logic and Methodology program at the University of California at Berkeley under the supervision of Jack H. Silver with a thesis on descriptive set theory. He is a very distinguished and influential philosopher of mathematics. He has written several books: A Subject with No Object (with G. Rosen, Oxford University Press, 1997), Computability and Logic (with G. Boolos and R. (...) class='Hi'>Jeffrey, 5th ed., Cambridge University Press, 2007), Fixing Frege (Princeton University Press, 2005), Mathematics, Models, and Modality (Cambridge University Press, 2007), Philosophical Logic (Princeton University Press, 2009), Truth (with A. G. Burgess, Princeton University Press, 2011), Saul Kripke: Puzzles & Mysteries (Polity Press, 2012), Rigor & Structure (Oxford University Press, 2015), and Set Theory (Cambridge Elements, Forthcoming). In this interview, Professor Burgess talks about how his interests in mathematics and philosophy developed and relate to each other. He then answers questions about specific themes of his philosophical work, with a focus on issues pertaining to philosophy of mathematics. (shrink)

It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible world, (3) (...) some entities existing in the actual world do not exist in every possible world. Since these principles seem to be true, the paper is a refutation of the Frege-Russell definition. The paper does more. It shows that the contradictory of the Frege-Russell definition follows even when principles 2 and 3 are replaced by one considerably weaker principle. The ideas contained in the paper are related to two earlier objections to the definition. The first, sometimes attributed to the mathematician, C. S. Keyser, is that existence of the numbers as defined implies the existence of infinitely many particulars in each possible world. The second is, in effect, an idea which is said to have led Whitehead to reject the definition of number to which he had subscribed in Principia Mathematica. Whitehead is supposed to have said that he could not believe that the number two changes every “time twins are born”. The mathematician H. Jeffreys expressed similar ideas [Philos. of Sci. 5 (1938), 434–451]. One of the merits of the author’s work is that it refutes the Frege-Russell definition without the need to take sides on controversial points presupposed by the Keyser and Whitehead objections. The objections made by the author are therefore not to be identified with the Keyser and Whitehead objections. Even if the author’s work is to be regarded as a refinement and integration of previous ideas, it is nevertheless a contribution—not only because the basic points are well worth repeating but also because the refinements are logically significant improvements and because the author has stated them clearly and concisely in the idiom of contemporary philosophy. (shrink)

Crupi et al. propose a generalization of Bayesian confirmation theory that they claim to adequately deal with confirmation by uncertain evidence. Consider a series of points of time t0, . . . , ti, . . . , tn such that the agent’s subjective probability for an atomic proposition E changes from Pr0 at t0 to . . . to Pri at ti to . . . to Prn at tn. It is understood that the agent’s subjective probabilities change for (...) E and no logically stronger proposition, and that the agent updates her subjective probabilities by Jeffrey conditionalization. For this specific scenario the authors propose to take the difference between Pr0 and Pri as the degree to which E confirms H for the agent at time ti , C0,i. This proposal is claimed to be adequate, because. (shrink)

Constitutivists hope to locate the foundations of ethics in the nature of action. They hope to find norms that are constitutive of agency. Recently David Enoch has argued that even if there are such norms, they cannot provide the last word when it comes to normativity, since they cannot tell us whether we have reason to be agents rather than shmagents. I argue that the force of the shmagency objection has been considerably overestimated, because philosophers on both sides of the (...) debate have failed to grasp the true source of the authority of agency’s constitutive norm. Some constitutivists believe that this authority is rooted in the inescapability of agency. Yet agency is not, in fact, inescapable. What actually grounds the authority of agency’s constitutive norm is the fact that there is no standpoint outside of agency from which we can intelligibly ask normative questions. (shrink)

How is practical reasoning related to ethical reasoning? The most common view is that they are identical: practical reasoning just is ethical reasoning. I criticize this view and then propose an alternative account of the relation between ethical thought and practical thought: ethical reasoning is reasoning about sound practical reasoning. I argue that this account of the relation between ethics and practical reasoning explains various phenomena that more familiar views leave unexplained. It also entails that the philosophy of action bears (...) heavily on ethical inquiry. (shrink)

Reasons are considerations that figure in sound reasoning. This is considered by many philosophers to be little more than a platitude. I argue that it actually has surprising and far-reaching metanormative implications. The view that reasons are linked to sound reasoning seems platitudinous only because we tend to assume that soundness is a normative property, in which case the view merely relates one normative phenomenon (reasons) to another (soundness). I argue that soundness is also a descriptive phenomenon, one we can (...) pick out with purely descriptive terms, and that the connection between normative reasons and sound reasoning therefore provides the basis for a reductive account of reasons. Like all proposed reductions, this one must confront some version of G. E. Moore’s open question argument. I argue that a reductive view rooted in the idea that reasons figure in sound reasoning is well-equipped to meet the open question challenge head on. (shrink)

When we make ethical claims, we invoke a kind of objective authority. A familiar worry about our ethical practices is that this invocation of authority involves a mistake. This worry was perhaps best captured by John Mackie, who argued that the fabric of the world contains nothing so queer as objective authority and thus that all our ethical claims are false. Kantians such as Christine Korsgaard and David Velleman offer accounts of the objectivity of ethics that do without the controversial (...) realist assumptions which gives rise to Mackie’s skepticism. They contend that our ethical claims correctly invoke objective authority not by corresponding to some normative pocket of the fabric of reality, but rather by expressing commitments that are inescapable. This Kantian strategy is often advertised as an alternative to traditional but “boring” metaethics. Its proponents promise to vindicate our ethical practices without entangling us in familiar metanormative disputes about the metaphysics, epistemology and semantics of ethics. In this paper, I argue that the Kantian strategy cannot make good on this promise. Considered as an attempt to sidestep traditional metaethics, it lacks the resources to produce the desired normative conclusions. The outlook for the Kantian strategy becomes more promising, though, if we pair it with one of two familiar metanormative theories: expressivism or reductionism. The resulting metaethically-loaded versions of the Kantian strategy can deliver the promised conclusions, but only by plunging straight into the quagmire of traditional metaethics. And there all of the familiar objections to expressivism and reductionism await. (shrink)

Constitutivists seek to locate the metaphysical foundations of ethics in nonnormative facts about what is constitutive of agency. For most constitutivists, this involves grounding authoritative norms in the teleological structure of agency. Despite a recent surge in interest, the philosophical move at the heart of this sort of constitutivism remains underdeveloped. Some constitutivists—Foot, Thomson, and Korsgaard (at least in her recent *Self-Constitution*)—adopt a broadly Aristotelian approach. They claim that the functional nature of agency grounds normative judgments about agents in much (...) the same way that the functional natures of artifacts and bodily organs ground normative judgments about those kinds of things. I argue that the neo-Aristotelian conclusions about goodness which follow so straightforwardly from teleological premises are not genuinely normative. Functions are not by their very nature normatively significant. Other constitutivists—notably J. David Velleman and Paul Katsafanas—eschew Aristotelian talk of functions in favor of an approach based on the idea that agency has a constitutive aim. Velleman and Katsafanas both claim that aims are normatively significant. I argue that the fact that agency has a constitutive aim is merely a fact about the motives that produce and regulate actions. And so we are still left with a gap between the teleological and the normative. I conclude by suggesting that constitutivists have failed to find a way to bridge this gap not because none exists, but rather because they have been looking in the wrong place. The constitutivist project can be salvaged, but only if it is supplemented with a reductive metanormative account of reasons for action, an account that links reasons to sound or successful practical reasoning. (shrink)

We are agents: we can deliberate about what to do, and then act on the basis of that deliberation. We are also capable of normative self-governance: we can identify and respond to reasons as reasons. Many theorists believe that these two capacities are intimately connected. On the basis of this connection they conclude that practical reasoning must be carried out under the guise of a justification. This paper explores two strategies for avoiding that conclusion. The first, which just denies the (...) connection between agency and normative self-governance, is rejected as too costly, since it leaves the normative significance of agency unexplained. The second, which suggests that we can respond to a consideration as a reason without representing it as a reason, seems more promising, but it requires a reductive account of reasons for action. The upshot is that metaethics and action theory are entwined in ways that few have recognized. (shrink)

The article reflects on where AI is headed and the world along with it, considering trust, ethics and safety. Implicit in artificial thinking and doomsday appraisals is the engineered divorce from reality of sublime human embodiment. Jeffrey White, Dietrich Brandt, Jan Soeffner, and Larry Stapleton, four scholars associated with AI & Society, address these issues, and more, in the following exchange.

Many philosophers believe that Robert Nozick's experience machine argument poses an insurmountable obstacle to hedonism as a theory of well-being. After an initial attempt to demonstrate that the persuasiveness of this argument rests on a key ambiguity, I argue that the intuitions to which the thought experiment appeals are not nearly as clear as many philosophers suppose they are. I believe that a careful consideration of the origin of those intuitions -- especially in light of the so-called "paradox of hedonism" (...) -- reveals that they can, in fact, fit quite comfortably into a hedonistic theory of well-being. (shrink)

It seems like people have character traits that explain a good deal of their behavior. Call a theory character realism just in case it vindicates this folk assumption. Recently, Christian Miller has argued that the way to reconcile character realism with decades of psychological research is to adopt metaphysical reductivism about character traits. Some contemporary psychological theories of character and virtue seem to implicitly endorse such reductivism; others resist reduction of traits to finer-grained mental components or processes; and still others (...) remain silent on the metaphysics of traits. In this paper we argue that character realists do not have to, and in fact should not, be reductivists. We introduce a theoretical dilemma for reductivist character realism. Then we explain how nonreductivists can meet the standards for empirical adequacy laid out by Miller and others. Further, we argue, hylomorphic nonreductivism avoids the theoretical dilemma that threatens reductivism. It also fits nicely the major commitments of recent models of virtue in psychology. Thus, character realists should not be reductivists. (shrink)

I begin by defending Heinrich Gustav Hotho’s foundational edition of the Lectures on Aesthetics (LA) contra Gethmann-Siebert and others who argue for a non-systematic view of Hegel’s aesthetics generally and music specifically. I defend Hegel against the common conceit that his comprehension of music was somehow deficient and introduce the Hegelian idea of absolute agency as performative in art and music. Reference to Kant’s transcendental aesthetics then allows us to grasp how, in Hegel, meaningful tones arise from the vibratory oscillation (...) between selfhood’s presiding unity and its temporal self-positing. I then trace back further elements of musical architecture, such as rhythm, harmony and melody to the temporal oscillation arising from within selfhood. The fundamental ambiguity within temporal oscillation is the source of meaningfulness in music, the feeling that its experience is meaningful without telling us exactly what that meaning is. Meaningfulness forms the absolute Ur-Ton of beautiful music, which arises as determinate tones within selfhood and resonates into the soul of the listener. The temporal vanishing of musical tones within a compositional framework is a pre-linguistic expression of meaning, performative of the ambiguous oscillation between the human and the divine. (shrink)

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

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

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

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

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

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

Mark Schroeder has recently presented apparent counterexamples to the standard account of the distinction between the right and the wrong kinds of reasons. We argue that these examples appear to refute the standard account only because they blur the distinction between two kinds of reasoning: reasoning about whether to intend or believe that p and reasoning about whether to take up the question of whether to intend or believe that p.

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

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

The differences between the theories of hearing held by Aristotle and by Alexander of Aphrodisias are explored. Alexander appears to have a more systematic approach which avoids the dilemma faced by Aristotle in deciding whether the hearing process constitutes a time-taking kinesis or an instantaneous energeia.

In the Philosophy of Nature, Hegel describes at length and in detail the particular workings of animal digestion and excretion, referring to the empirical research of his day (Berzelius, Spallanzani, Traviranus). By becoming engaged in the scientific disputes and insights of the time—regarding, for example, the mechanical versus chemical nature of digestion, immediate digestive assimilation and the chemical composition of feces—Hegel arrives at the novel idea that what the animal excretes as superfluous is its own particular entanglement with inorganic otherness. (...) The animal’s subsequent feeling of triumph and satisfaction constitutes the affirmation of individual purposiveness, a form of immediate ideality that Hegel presents as animal subjectivity. (shrink)

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

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

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

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

The comprehension of anaphoric relations may be guided not only by discourse, but also syntactic information. In the literature on online processing, however, the focus has been on audible pronouns and descriptions whose reference is resolved mainly on the former. This paper examines one relation that both lacks overt exponence, and relies almost exclusively on syntax for its resolution: adjunct control, or the dependency between the null subject of a non-finite adjunct and its antecedent in sentences such as Mickey talked (...) to Minnie before ___ eating. Using visual world eyetracking, we compare the time course of interpreting this null subject and overt pronouns (Mickey talked to Minnie before he ate). We show that when control structures are highly frequent, listeners are just as quick to resolve reference in either case. When control structures are less frequent, reference resolution based on structural information still occurs upon hearing the non-finite verb, but more slowly, especially when unaided by structural and referential predictions. This may be due to increased difficulty in recognizing that a referential dependency is necessary. These results indicate that in at least some contexts, referential expressions whose resolution depends on very different sources of information can be resolved approximately equally rapidly, and that the speed of interpretation is largely independent of whether or not the dependency is cued by an overt referring expression. (shrink)

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

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

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

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

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

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

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

Nick Bostrom’s recently patched ‘‘simulation argument’’ (Bostrom in Philos Q 53:243–255, 2003; Bos- trom and Kulczycki in Analysis 71:54–61, 2011) purports to demonstrate the probability that we ‘‘live’’ now in an ‘‘ancestor simulation’’—that is as a simulation of a period prior to that in which a civilization more advanced than our own—‘‘post-human’’—becomes able to simulate such a state of affairs as ours. As such simulations under consid- eration resemble ‘‘brains in vats’’ (BIVs) and may appear open to similar objections, the (...) paper begins by reviewing objections to BIV-type proposals, specifically those due a presumed mad envatter. In counter example, we explore the motivating rationale behind current work in the development of psychologically realistic social simula- tions. Further concerns about rendering human cognition in a computational medium are confronted through review of current dynamic systems models of cognitive agency. In these models, aspects of the human condition are repro- duced that may in other forms be considered incomputable, i.e., political voice, predictive planning, and consciousness. The paper then argues that simulations afford a unique potential to secure a post-human future, and may be nec- essary for a pre-post-human civilization like our own to achieve and to maintain a post-human situation. Long-s- tanding philosophical interest in tools of this nature for Aristotle’s ‘‘statesman’’ and more recently for E.O. Wilson in the 1990s is observed. Self-extinction-level threats from State and individual levels of organization are compared, and a likely dependence on large-scale psychologically realistic simulations to get past self-extinction-level threats is projected. In the end, Bostrom’s basic argument for the conviction that we exist now in a simulation is reaffirmed. (shrink)

Recent research into the nature of self in artificial and biological systems raises interest in a uniquely determining immutable sense of self, a “metaphysical ‘I’” associated with inviolable personal values and moral convictions that remain constant in the face of environmental change, distinguished from an object “me” that changes with its environment. Complementary research portrays processes associated with self as multimodal routines selectively enacted on the basis of contextual cues informing predictive self or world models, with the notion of the (...) constant, per-vasive and invariant sense of self associated with a multistable attractor set aiming to ensure personal integrity against threat of disintegrative change. This paper proposes that an immutable sense of self emerges as a global attractor which can be described as a project ideal self-situation embodied in frontal medial processes during more or less normal adolescent development, and that thereafter serves to orient agency in the more or less free development of embodied potentials over the life course in effort to realize project conditions, phenomenally identified with the felt pull towards this end as purpose of and source of meaning in life. So oriented, life-long self-development aims to embody solutions to problems at different timescales depending on this embodied purpose, ultimately in the service of evolutionary processes securing organism populations against threats of disintegrative change over timespans far beyond that of the individual. After characterizing the target sense of self, research circling this target is briefly surveyed. Self as global project and developmental neural correlates are proposed. Then, the paper discusses some implications for research in biological and artificial systems. Building from earlier work in cognitive neurorobotics, discussion affirms the value of reinforcement rituals including prayer in metaphysical self-development, considers implications for value alignment and rights associated with free will in the context of artificial intelligence and robot religion, and concludes by emphasizing the importance of self-development toward project ideals as source of meaning in life in the current social-political environment. (shrink)

In the 1980s and early 1990s, the normativity of meaning was thought to be more-or-less 'incontestable.' But in the last 25 years, many philosophers of mind and language have contested it in several seemingly different ways. This, however, is somewhat illusory. There is an unappreciated commonality among most anti-normativist arguments, and this commonality, I argue, poses a problem for anti-normativism. The result, however, is not a wholesale rejection of anti-normativism. Rather, an insight from the anti-normativist position can be harnessed to (...) reveal an unappreciated position in the normativity of meaning debate. (shrink)

Edward Wilson wrote in Consilience that “Human history can be viewed through the lens of ecology as the accumulation of environmental prostheses” (1999 p 316), with technologies mediating our collective habitation of the Earth and its complex, interdependent ecosystems. Wilson emphasized the defining characteristic of complex systems, that they undergo transformations which are irreversible. His view is now standard, and his central point bears repeated emphasis, today: natural systems can be broken, species—including us—can disappear, ecosystems can fail, and technological prostheses (...) potentiate rather than ameliorate disaster when the fragilities that they introduce into our evolutionary co-dependencies with natural systems, and with each other, are under-appreciated. (shrink)

3 Abstract This paper is about modeling morality, with a proposal as to the best 4 way to do it. There is the small problem, however, in continuing disagreements 5 over what morality actually is, and so what is worth modeling. This paper resolves 6 this problem around an understanding of the purpose of a moral model, and from 7 this purpose approaches the best way to model morality.

Creationism is the conjunction of the following theses: (i) fictional individuals (e.g. Sherlock Holmes) actually exist; (ii) fictional names (e.g., 'Holmes') are at least sometimes genuinely referential; (iii) fictional individuals are the creations of the authors who first wrote (or spoke, etc.) about them. CA Creationism is the conjunction of (i) - (iii) and the following thesis: (iv) fictional individuals are contingently existing abstracta; they are non-concrete artifacts of our world and various other possible worlds. TakashiYagisawa has recently provided a (...) number of arguments designed to show that Creationism is unjustified. I here critically examine three of his challenges to CA Creationism. I argue that each fails to undermine this version of Creationism. (shrink)

Hegel's take on mental illness, as presented in the Subjective Spirit chapter of his Encyclopedia, is explored through his diagnosis of the romantic poet/philosopher Novalis, whose yearning (Sehnsucht) becomes a pathological condition where subjective negativity turns inward, creating a pathological condition of Gemüt. The mental condition manifests itself physiologically. Sehnsucht becomes Schwindsucht (consumption) bringing about the death of Novalis.

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

The paper examines Hegel's views on Reinhold, from his earliest appreciation to his final remarks in the Encyclopedia. Ultimately, Reinhold's theory of representation helps Hegel see that the Late Enlightenment opposition between faith and reasoning is anchored in the language of representation. The speculative language of Hegelian Science is necessary in order to overcome the modern dilemma.

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