This article deals with the feeling of strangeness in the human being. When it comes to being human, it is traditionally understood as beings containing reasons and emotions. Thus, to better understand the feeling of the foreigner, its context is analyzed on the perspective of humean moral sentimentalism and on the intertwining, proposed by Husserl, between the intellectual and affective spheres. From these philosophers one can see the convergence between the intellectual and affective spheres, as well as between reason and (...) emotion. Therefore, contemporary emotional theories bring an explanatory gain for understanding the feeling of the foreigner in the face of new environments and cultures, as both cognitive and non-cognitive elements are perceived. Therefore, Goldie and Husserl contribute to the analysis of the foreigner's feeling of strangeness in its various peculiarities. (shrink)

We are subject with consciousness. For this we have to have self-consciousness so that consciousness can exist. In this way, there is the possibility of self-knowledge of one's own mental states. Thus, the article aims at investigating the possibility of self-knowledge of one's own mental states, their applicability and consequences in relation to Kantian moral theory. Therefore, it reflects on how self-knowledge of one's own mental states and the characteristics of Kantian moral theory occur. Finally, there is the possibility of (...) moral responsibility for one's own mental states related to Kantian morality and the method of self-knowledge of the very action of the moral agent. (shrink)

This article is about self-knowledge on one's own mental states. Considering human as rational beings, this study aims to problematize the position of subject in process of self-knowledge, as well as to realize the state of knowledge about self-knowledge. In this way, Richard Moran constitutes the method of transparency about the knowledge of one's own mental states. Such a method receives some criticism from the philosopher Quassim Cassam and the philosopher Brie-Gertler. In the same extent, both authors problematize some characteristics (...) of self-knowledge, in which criticism reaches some points studied by Brazilian philosophers, namely Paulo Farias, Waldomiro Silva Filho and André Abath. The latter two authors are based on Moran's methodology and thus constitute his reflections on conditions of daily life as well as the incomplete understanding of human beings. (shrink)

Some philosophers writing on the possibility of faultless disagreement have argued that the only way to account for the intuition that there could be disagreements which are faultless in every sense is to accept a relativistic semantics. In this article we demonstrate that this view is mistaken by constructing an absolutist semantics for a particular domain – aesthetic discourse – which allows for the possibility of genuinely faultless disagreements. We argue that this position is an improvement over previous absolutist responses (...) to the relativist's challenge and that it presents an independently plausible account of the semantics of aesthetic discourse. (shrink)

My essay will take as its point of departure the paragraph from Gershom Scholem’s “Reflections on Jewish Theology,” in which he depicts the modern religious experience as the one of the "void of God" or as "pious atheism". I will first argue that the "void of God" cannot be reduced to atheistic non-belief in the presence of God. Then, I will demonstrate the further development of the Scholemian notion of the ‘pious atheism’ in Derrida, especially in his Lurianic treatment of (...) Angelus Silesius, whose modern mysticism emerges in Derrida’s reading as the ‘almost-atheism’. The interesting feature of this development is that, while for Scholem, the ‘void of God’ is a predominantly negative experience, for Derrida, it becomes an affirmative model of modern – not just Jewish, but more generally, Abrahamic – religiosity which, on the one hand, touches upon atheistic non-belief in the divine presence here and now, yet, on the other, still insists on commemorating the ‘withdrawn God’ through his ‘traces.’ What, therefore, for Scholem, constitutes the ultimate cry of despair, best embodied in Kafka’s work – for Derrida, reveals the more positive face of the modern predicament in which God has absented himself in order to make room for the creaturely reality. And while Scholem envisages redemption as the full restoration of the divine presence – Derrida redefines redemption as the ‘pious’ work of deconstruction to be undertaken in the ‘almost-atheistic’ condition of irreversible separation between God and the world. (shrink)

Assessment of marine debris ingestion by sea turtles is important, especially to ensure their survival. From January to December 2011, 23 specimens of five species of sea turtleswere found dead or dying after being rehabilitated, along the coast of the municipality of Rio de Janeiro, Brazil. To detect the presence of marine debris in the digestive tract of these turtles, we conducted a postmortemexamination from the esophagus until the distal portion of the large intestine for each specimen. Of the total (...) number of turtles, 39% had ingested marine debris such as soft plastic, hard plastic, metal, polyethylene terephthalate (PET) bottle caps, human hair, tampons, and latex condoms. Five of the seven sea turtles species are found along the Brazilian coast, where they feed and breed. A large number of animals are exposed to various kinds of threats, including debris ingestion. (shrink)

In this paper we sketch a new version of aesthetic expressivism. We argue that one advantage of this view is that it explains various putative norms on the formation and revision of aesthetic judgement. We begin by setting out our proposed explananda and a sense in which they can be understood as governing the correct response to putative higher-order evidence in aesthetics. We then summarise some existing discussions of expressivist attempts to explain these norms, and objections raised to them. This (...) will allow us to identify the pitfalls that a good expressivist explanation needs to avoid. Finally, we sketch our preferred version of aesthetic expressivism which includes as a crucial part a hypothesis concerning the distinctive expressive function of aesthetic practice. We then consider how this theory can explain the putative aesthetic norms whilst avoiding the previous objections. (shrink)

Are the circumstances in which moral testimony serves as evidence that our judgement-forming processes are unreliable the same circumstances in which mundane testimony serves as evidence that our mundane judgement-forming processes are unreliable? In answering this question, we distinguish two possible roles for testimony: (i) providing a legitimate basis for a judgement, (ii) providing (‘higher-order’) evidence that a judgement-forming process is unreliable. We explore the possibilities for a view according to which moral testimony does not, in contrast to mundane testimony (...) play role (i), but can play role (ii). We argue that standard motivations for rejecting this hybrid position are unpersuasive but suggest that a more compelling reason might be found in considering the social nature of morality. (shrink)

Indeterminacy in its various forms has been the focus of a great deal of philosophical attention in recent years. Much of this discussion has focused on the status of vague predicates such as ‘tall’, ‘bald’, and ‘heap’. It is determinately the case that a seven-foot person is tall and that a five-foot person is not tall. However, it seems difficult to pick out any determinate height at which someone becomes tall. How best to account for this phenomenon is, of course, (...) a controversial matter. For example, some (such as Sorensen (2001) and Williamson (2002)) maintain that there is a precise height at which someone becomes tall and such apparent cases of indeterminacy merely reflects our ignorance of this fact. Others maintain that there is some genuine – and not merely epistemic – indeterminacy present is such cases and offer various accounts of how best to account for it. Supervaluationists (such as Keefe (2008)), for example, claim that the indeterminacy with respect to vague terms lies in their not having a single definite extension. Rather, each term is associated with a range of possible precise extensions or precisifications such that it is semantically unsettled which is the correct extension. One precisification of ‘tall’ might allow that anyone over five feet ten inches is tall, whereas another would only allow those over six foot to qualify; but no precisification will take someone who is five foot to be tall, and someone who is seven foot will count as tall on all precisifications. Thus – while someone who is seven foot will be determinately tall and someone who is five foot determinately not so – it will be indeterminate whether someone who stands at five foot eleven inches is tall. -/- Yet, it is important to stress that putative cases of indeterminacy are not limited to vague predicates of this kind. Philosophers have invoked indeterminacy in discussions of topics as diverse as moral responsibility (Bernstein (forthcoming)), identity over time (Williams (2014)), and the status of the future (Barnes and Cameron (2009)). In this paper, we focus on two areas where discussion of various kinds of indeterminacy has been commonplace: physics and fiction. We propose a new model for understanding indeterminacy across these domains and argue that it has some notable advantages when compared to earlier accounts. Treating physics and fiction cases univocally also indicates an interesting connection between indeterminacy in these two areas. (shrink)

The analogy between gustatory taste and critical or aesthetic taste plays a recurring role in the history of aesthetics. Our interest in this article is in a particular way in which gustatory judgments are frequently thought to be analogous to critical judgments. It appears obvious to many that to know how a particular object tastes we must have tasted it for ourselves; the proof of the pudding, we are all told, is in the eating. And it has seemed just as (...) obvious to many philosophers that aesthetic judgment requires first-person experience. In this article we argue that, despite its initial appeal, the claim that gustatory and critical judgments are analogous in this way is mistaken. The two sorts of judgments are, as a matter of fact, similar in their epistemology, but earlier theorists have got things entirely backward—neither gustatory judgment nor aesthetic judgment requires first-hand acquaintance with their objects. Our particular focus in this article is on arguing that first-person experience is not required to know how an item of food or drink tastes. In fact, there are a wide variety of ways in which we can acquire this knowledge. (shrink)

This paper responds to comments and criticisms by Stefan Brandt and Eva-Maria Jung, directed at the book "Know-how as Competence. A Rylean Responsibilist Account".

[This is an edited version of a keynote talk at the conference on Neural Information Processing Systems (NeurIPS) on November 28, 2022, with some minor additions and subtractions.] -/- There has recently been widespread discussion of whether large language models might be sentient or conscious. Should we take this idea seriously? I will break down the strongest reasons for and against. Given mainstream assumptions in the science of consciousness, there are significant obstacles to consciousness in current models: for example, their (...) lack of recurrent processing, a global workspace, and unified agency. At the same time, it is quite possible that these obstacles will be overcome in the next decade or so. I conclude that while it is somewhat unlikely that current large language models are conscious, we should take seriously the possibility that successors to large language models may be conscious in the not-too-distant future. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

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

There is a difference between merely thinking that P and really grasping that P. For example, Jackson's (1982) black-and-white Mary cannot (before leaving her black-and-white room) fully grasp what it means to say that fire engines are red, but she can perfectly well entertain the thought that fire engines are red. The contrast between merely thinking and grasping is especially salient in the context of certain moral decisions. For example, an individual who grasps the plight of starving children thanks to (...) evocative images seems much more likely to donate for the children's benefit than someone who is merely told about their plight. This paper offers a phenomenal account of grasping according to which grasping a content (whether a proposition or concept) consists in one's thoughts about the content being constituted by phenomenal experiences of constituents of the content. This account improves on earlier phenomenal accounts of grasping (Bourget 2017a, 2018) by allowing for partial grasping and generalizing to concepts. The paper also addresses objections to phenomenal accounts of grasping, including the objection that recent developments in AI technology show that consciousness is irrelevant to grasping and understanding. (shrink)

Lipsey and Lancaster's "general theory of second best" is widely thought to have significant implications for applied theorizing about the institutions and policies that most effectively implement abstract normative principles. It is also widely thought to have little significance for theorizing about which abstract normative principles we ought to implement. Contrary to this conventional wisdom, I show how the second-best theorem can be extended to myriad domains beyond applied normative theorizing, and in particular to more abstract theorizing about the normative (...) principles we should aim to implement. I start by separating the mathematical model used to prove the second-best theorem from its familiar economic interpretation. I then develop an alternative normative-theoretic interpretation of the model, which yields a novel second best theorem for idealistic normative theory. My method for developing this interpretation provides a template for developing additional interpretations that can extend the reach of the second-best theorem beyond normative theoretical domains. I also show how, within any domain, the implications of the second-best theorem are more specific than is typically thought. I conclude with some brief remarks on the value of mathematical models for conceptual exploration. (shrink)

What are the philosophical views of contemporary professional philosophers? We surveyed many professional philosophers in order to help determine their views on 30 central philosophical issues. This article documents the results. It also reveals correlations among philosophical views and between these views and factors such as age, gender, and nationality. A factor analysis suggests that an individual's views on these issues factor into a few underlying components that predict much of the variation in those views. The results of a metasurvey (...) also suggest that many of the results of the survey are surprising: philosophers as a whole have quite inaccurate beliefs about the distribution of philosophical views in the profession. (shrink)

Artificial intelligence has historically been conceptualized in anthropomorphic terms. Some algorithms deploy biomimetic designs in a deliberate attempt to effect a sort of digital isomorphism of the human brain. Others leverage more general learning strategies that happen to coincide with popular theories of cognitive science and social epistemology. In this paper, I challenge the anthropomorphic credentials of the neural network algorithm, whose similarities to human cognition I argue are vastly overstated and narrowly construed. I submit that three alternative supervised learning (...) methods—namely lasso penalties, bagging, and boosting—offer subtler, more interesting analogies to human reasoning as both an individual and a social phenomenon. Despite the temptation to fall back on anthropomorphic tropes when discussing AI, however, I conclude that such rhetoric is at best misleading and at worst downright dangerous. The impulse to humanize algorithms is an obstacle to properly conceptualizing the ethical challenges posed by emerging technologies. (shrink)

Does the Ship of Theseus present a genuine puzzle about persistence due to conflicting intuitions based on “continuity of form” and “continuity of matter” pulling in opposite directions? Philosophers are divided. Some claim that it presents a genuine puzzle but disagree over whether there is a solution. Others claim that there is no puzzle at all since the case has an obvious solution. To assess these proposals, we conducted a cross-cultural study involving nearly 3,000 people across twenty-two countries, speaking eighteen (...) different languages. Our results speak against the proposal that there is no puzzle at all and against the proposal that there is a puzzle but one that has no solution. Our results suggest that there are two criteria—“continuity of form” and “continuity of matter”— that constitute our concept of persistence and these two criteria receive different weightings in settling matters concerning persistence. (shrink)

In this article I reply to Jon Robson's objections to my argument that God does not contain any possible worlds. I had argued that ugly possible worlds clearly compromise God's beauty. Robson argues that I failed to show that possible worlds can be subject to aesthetic evaluation, and that even if they were it could be the case that ugliness might contribute to God's overall beauty. In reply I try to show that possible worlds are aesthetically evaluable by (...) arguing that possible worlds are maximally rich representations of possible events. I further argue that nothing in God's being can be aesthetically non-evaluable since God must be maximal beauty – a beauteous maximality which needs no ugliness. Finally I show in what sense Christ's heavenly scars can be beautiful. (shrink)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

Inspired by Rudolf Carnap's Der Logische Aufbau Der Welt, David J. Chalmers argues that the world can be constructed from a few basic elements. He develops a scrutability thesis saying that all truths about the world can be derived from basic truths and ideal reasoning. This thesis leads to many philosophical consequences: a broadly Fregean approach to meaning, an internalist approach to the contents of thought, and a reply to W. V. Quine's arguments against the analytic and the a (...) priori. Chalmers also uses scrutability to analyze the unity of science, to defend a conceptual approach to metaphysics, and to mount a structuralist response to skepticism. Based on the 2010 John Locke lectures, Constructing the World opens up debate on central philosophical issues involving language, consciousness, knowledge, and reality. This major work by a leading philosopher will appeal to philosophers in all areas. This entry contains uncorrected proofs of front matter, chapter 1, and first excursus. (shrink)

A discussion of three central ideas in action theory; trying to act, doing or acting, one's action causing further consequences.

The unpleasantness of pain motivates action. Hence many philosophers have doubted that it can be accounted for purely in terms of pain’s possession of indicative representational content. Instead, they have explained it in terms of subjects’ inclinations to stop their pains, or in terms of pain’s imperative content. I claim that such “noncognitivist” accounts fail to accommodate unpleasant pain’s reason-giving force. What is needed, I argue, is a view on which pains are unpleasant, motivate, and provide reasons in virtue of (...) possessing content that is indeed indicative, but also, crucially, evaluative. (shrink)

This paper concentrates on a particular sort of case where it’s plausible that epistemic requirements can conflict: cases where an agent’s higher-order evidence supports doubting her reliability in reacting to her ordinary evidence. Conflicting epistemic requirements can be seen as generating epistemic dilemmas. The paper examines two ways that people have sought to recognize conflicting requirements without allowing them to generate epistemic dilemmas: separating epistemic norms into two different varieties, and positing rational indeterminacy in cases where principles conflict. It argues (...) that these views incur costs, and that the sense in which they avoid dilemmas does not gain them an advantage over a view that simply recognizes dilemmas as a natural outgrowth of agents’ rational reflection on their own thinking. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

This chapter examines how epistemic norms could be social norms, with a reliance on work on the philosophy and social science of social norms from Bicchieri (on the one hand) and Brennan, Eriksson, Goodin and Southwood (on the other hand). We explain how the social ontology of social norms can help explain the rationality of epistemic cooperation, and how one might begin to model epistemic games.

Pain asymbolia is a rare condition caused by brain damage, usually in adulthood. Asymbolics feel pain but appear indifferent to it, and indifferent also to visual and verbal threats. How should we make sense of this? Nikola Grahek thinks asymbolics’ pains are abnormal, lacking a component that make normal pains unpleasant and motivating. Colin Klein thinks that what is abnormal is not asymbolics’ pains, but asymbolics: they have a psychological deficit making them unresponsive to unpleasant pain. I argue that an (...) illuminating account requires elements of both views. Asymbolic pains are indeed abnormal, but they are abnormal because asymbolics are. I agree with Klein that asymbolics are incapable of caring about their bodily integrity; but I argue against him that, if this is to explain not only their indifference to visual and verbal threat, but also their indifference to pain, we must do the following: (i) take asymbolics’ lack of bodily care not as an alternative to, but as an explanation of their pains’ missing a component, and (ii) claim that the missing component consists in evaluative content. Asymbolia, I conclude, reveals not only that unpleasant pain is composite, but that its ‘hedomotive component’ is evaluative. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

In this paper I explore the relationship between the idea of possible worlds and the notion of the beauty of God. I argue that there is a clear contradiction between the idea that God is utterly and completely beautiful on the one hand and the notion that He contains within himself all possible worlds on the other. Since some of the possible worlds residing in the mind of the deity are ugly, their presence seems to compromise God's complete and utter (...) beauty. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

According to dispositionalism about modality, a proposition <p> is possible just in case something has, or some things have, a power or disposition for its truth; and <p> is necessary just in case nothing has a power for its falsity. But are there enough powers to go around? In Yates (2015) I argued that in the case of mathematical truths such as <2+2=4>, nothing has the power to bring about their falsity or their truth, which means they come out both (...) necessary and not possible. Combining this with axiom (T), it is easy to derive a contradiction. I suggested that dispositionalists ought to retreat a little and say that <p> is possible just in case either p, or there is a power to bring it about that p, grounding the possibility of mathematical propositions in their truth rather than in powers. Vetter’s (2015) has the resources to provide a response to my argument, and in her (2018) she explicitly addresses it by arguing for a plenitude of powers, based on the idea that dispositions come in degrees, with necessary properties a limiting case of dispositionality. On this view there is a power for <2+2=4>, without there being a power to bring about its truth. In this paper I argue that Vetter’s case for plenitude does not work. However, I suggest, if we are prepared to accept metaphysical causation, a case can be made that there is indeed a power for <2+2=4>. (shrink)

I argue that the two-dimensional hyperintensions of epistemic topic-sensitive two-dimensional truthmaker semantics provide a compelling solution to the access problem. I countenance an abstraction principle for epistemic hyperintensions based on Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory. I apply, further, modal rationalism in modal epistemology to solve the access problem. Epistemic possibility and hyperintensionality, i.e. conceivability, can be a guide to metaphysical possibility and hyperintensionality, when (i) epistemic worlds or epistemic hyperintensional states are interpreted as being (...) centered metaphysical worlds or hyperintensional states, i.e. indexed to an agent, when (ii) the epistemic (hyper-)intensions and metaphysical (hyper-)intensions for a sentence coincide, i.e. the hyperintension has the same value irrespective of whether the worlds in the argument of the functions are considered as epistemic or metaphysical, and when (iii) sentences are said to consist in super-rigid expressions, i.e. rigid expressions in all epistemic worlds or states and in all metaphysical worlds or states. I argue that (i) and (ii) obtain in the case of the access problem. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

From religion to philosophy to science, all human systems of definition are formed by human brains. The nature and limits of the human brain are the nature and limits of those systems. This essay shows how the human brain works normally then unusually, and what this reveals about the limits of human knowledge. There are many conditions and instances where the brain processes information unusually, including mental disorders, physical events, and drug use. This essay focuses on the neurological events called (...) mystical experiences. (shrink)

Libertarian self-ownership views in the tradition of Locke, Nozick, and the left-libertarians have supposed that we enjoy very powerful deontological protections against infringing upon our property. Such a conception makes sense when we are focused on property that is very important to its owner, such as a person’s kidney. However, this stringency of our property rights is harder to credit when we consider more trivial infringements such as very mildly toxic pollution or trivial risks such having planes fly overhead. Maintaining (...) that our rights against all infringements are very powerful threatens to implausibly make such pollution and trivial risk broadly impermissible. This paper suggests that self-ownership views have tended to inappropriately conflate the seriousness of different types of infringements and that treating all infringements so seriously is implausible because it would make too much impermissible. I consider several ways to avoid this result within a self-ownership framework and conclude that the best approach is to allow that the strength of the protection against infringements should be tied to the seriousness of the harm of the infringement. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical validity, (...) and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...) and relation between epistemic mathematical modality and metaphysical mathematical modality. The discrepancy between the modal systems governing the parameters in the two-dimensional intensional setting provides an explanation of the difference between the metaphysical possibility of absolute decidability and our knowledge thereof. I also advance a topic-sensitive epistemic two-dimensional truthmaker semantics, if hyperintensional approaches are to be preferred to possible worlds semantics. I examine the relation between two-dimensional hyperintensional states and epistemic set theory, providing two-dimensional hyperintensional formalizations of the modal logic of ZFC, large cardinal axioms, $\Omega$-logic, and the Epistemic Church-Turing Thesis. (shrink)

In the pure powers ontology (PPO), basic physical properties have wholly dispositional essences. PPO has clear advantages over categoricalist ontologies, which suffer from familiar epistemological and metaphysical problems. However, opponents argue that because it contains no qualitative properties, PPO lacks the resources to individuate powers, and generates a regress. The challenge for those who take such arguments seriously is to introduce qualitative properties without reintroducing the problems that PPO was meant to solve. In this paper, I distinguish the core claim (...) of PPO: (i) basic physical properties have dispositional essences, from a hitherto unnoticed assumption: (ii) the dispositional essences of basic physical properties exclusively involve type-causal relations to other basic physical properties. I reject (ii), making room for a structuralist ontology in which all basic physical properties are pure powers, individuated by their places in a causal structure that includes not only other powers, but also physically realized qualitative properties such as shapes, patterns and structures. Such qualities individuate pure powers in the way that non-mental input and output properties individuate realized mental properties in functionalist theories of mind, except that here it is basic physical powers that are individuated by relations to realized non-powers. I distinguish one Platonic and two Aristotelian version of this theory, and argue that the Aristotelian versions require that grounding is not always a relative fundamentality relation, because the powers ground the qualities that individuate them. By considering ontic structural realism, I argue that symmetric grounding is the best way to make sense of relational individuation in structuralist ontologies, and is therefore no additional commitment of the one proposed here. (shrink)

Does the capacity to think require the capacity to sense? A lively debate on this topic runs throughout the history of philosophy and now animates discussions of artificial intelligence. Many have argued that AI systems such as large language models cannot think and understand if they lack sensory grounding. I argue that thought does not require sensory grounding: there can be pure thinkers who can think without any sensory capacities. As a result, the absence of sensory grounding does not entail (...) that large language models cannot think or understand. I also consider to what extent quasi-sensory grounding can at least boost the performance of a language model. (shrink)

This essay provides a novel account of iterated epistemic states. The essay argues that states of epistemic determinacy might be secured by countenancing iterated epistemic states on the model of fixed points in the modal $\mu$-calculus. Despite the epistemic indeterminacy witnessed by the invalidation of modal axiom 4 in the sorites paradox -- i.e. the KK principle: $\square$$\phi$ $\rightarrow$ $\square$$\square$$\phi$ -- a hyperintensional epistemic $\mu$-automaton permits fixed points to entrain a principled means by which to iterate epistemic states and account (...) thereby for necessary conditions on self-knowledge. The hyperintensional epistemic $\mu$-calculus is applied to the iteration of the epistemic states of a single agent instead of the common knowledge of a group of agents, and is thus a novel contribution to the literature. (shrink)