In this paper, we argue that Midjourney—a generative AI program that transforms text prompts into images—should be understood not as an agent or a tool, but as a new type of artistic medium. We first examine the view of Midjourney as an agent, considering whether it could be seen as an artist or co-author. This perspective proves unsatisfactory, as Midjourney lacks intentionality and mental states. We then explore the notion of Midjourney as a tool, highlighting its unpredictability and the limited (...) fine-grained control users have over its outputs, which sets it apart from traditional artistic tools. We propose that creating images with Midjourney parallels a gardener's interaction with natura naturans—nature's autonomous generative processes. Similarly, Midjourney acts as machina naturans, where users engage with its dynamic recalcitrance to influence, but not fully control, the creative process. This approach presents Midjourney as an artistic medium shaped by its inherent unpredictability. (shrink)

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

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

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

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

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

Our paradigms of aesthetic value condition the philosophical questions we pose and hope to answer about it. Theories of aesthetic value are typically individualistic, in the sense that the paradigms they are designed to capture, and the questions to which they are offered as answers, center the individual’s engagement with aesthetic value. Here I offer some considerations that suggest that such individualism is a mistake and sketch a communitarian way of posing and answering questions about the nature of aesthetic value.

This is an opinionated guide to the literature on epistemic dilemmas. It discusses seven kinds of situations where epistemic dilemmas appear to arise; dilemmic, dilemmish, and non-dilemmic takes on them; and objections to dilemmic views along with dilemmist’s replies to them.

This article articulates and assesses an imperatival approach to the foundations of mathematics. The core idea for the program is that mathematical domains of interest can fruitfully be viewed as the outputs of construction procedures. We apply this idea to provide a novel formalisation of arithmetic and set theory in terms of such procedures, and discuss the significance of this perspective for the philosophy of mathematics.

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

A central area of current philosophical debate in the foundations of mathematics concerns whether or not there is a single, maximal, universe of set theory. Universists maintain that there is such a universe, while Multiversists argue that there are many universes, no one of which is ontologically privileged. Often model-theoretic constructions that add sets to models are cited as evidence in favour of the latter. This paper informs this debate by developing a way for a Universist to interpret talk that (...) seems to necessitate the addition of sets to V. We argue that, despite the prima facie incoherence of such talk for the Universist, she nonetheless has reason to try and provide interpretation of this discourse. We present a method of interpreting extension-talk (V-logic), and show how it captures satisfaction in `ideal' outer models and relates to impredicative class theories. We provide some reasons to regard the technique as philosophically virtuous, and argue that it opens new doors to philosophical and mathematical discussions for the Universist. (shrink)

Epistemologists often appeal to the idea that a normative theory must provide useful, usable, guidance to argue for one normative epistemology over another. I argue that this is a mistake. Guidance considerations have no role to play in theory choice in epistemology. I show how this has implications for debates about the possibility and scope of epistemic dilemmas, the legitimacy of idealisation in Bayesian epistemology, uniqueness versus permissivism, sharp versus mushy credences, and internalism versus externalism.

I provide an examination and comparison of modal theories for underwriting different non-modal theories of sets. I argue that there is a respect in which the `standard' modal theory for set construction---on which sets are formed via the successive individuation of powersets---raises a significant challenge for some recently proposed `countabilist' modal theories (i.e. ones that imply that every set is countable). I examine how the countabilist can respond to this issue via the use of regularity axioms and raise some questions (...) about this approach. I argue that by comparing them with the `standard' uncountabilist theory, a new approach that brings in arbitrariness rather than the strict controls of forcing is desirable. (shrink)

Let mathematical justification be the kind of justification obtained when a mathematician provides a proof of a theorem. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I argue that Gettier cases are possible (and indeed actual) in mathematical (...) reasoning. By analysing these cases, I suggest that the Gettier phenomenon indicates some upshots for actual mathematical practice. (shrink)

Simulation theory, the modern incarnation of skeptic philosophy, suggests our reality may be the result of a detailed computer simulation. Various prominent researchers and intellectuals have deduced a probability that our reality is a computer simulation, including Nick Bostrom, David Kipping, Elon Musk, and Neil deGrasse Tyson. Herein we argue that no sensible probability can be quantified.

Prior research found correlations between reflection test performance and philosophical tendencies among laypeople. In two large studies (total N = 1299)—one pre-registered—many of these correlations were replicated in a sample that included both laypeople and philosophers. For example, reflection test performance predicted preferring atheism over theism and instrumental harm over harm avoidance on the trolley problem. However, most reflection-philosophy correlations were undetected when controlling for other factors such as numeracy, preferences for open-minded thinking, personality, philosophical training, age, and gender. Nonetheless, (...) some correlations between reflection and philosophical views survived this multivariate analysis and were only partially confounded with either education or self-reported reasoning preferences. Unreflective thinking still predicted believing in God whereas reflective thinking still predicted believing that (a) proper names like ‘Santa’ do not necessarily refer to entities that actually exist and (b) science does reveal the fundamental nature of the world. So some robust relationships between reflection and philosophical tendencies were detected even among philosophers, and yet there was clearly more to the link between reflection and philosophy. To this end, demographic and metaphilosophical hypotheses are considered. (shrink)

We begin by showing that every theory of the value of uncertain prospects must have one of three unpalatable properties. _Reckless_ theories recommend giving up a sure thing, no matter how good, for an arbitrarily tiny chance of enormous gain; _timid_ theories permit passing up an arbitrarily large potential gain to prevent a tiny increase in risk; _non-transitive_ theories deny the principle that, if A is better than B and B is better than C, then A must be better than (...) C. Having set up this trilemma, we study its horns. Non-transitivity has been much discussed; we focus on drawing out the costs and benefits of recklessness and timidity when it comes to axiology, decision theory, and normative uncertainty. (shrink)

This article argues that there can be epistemic dilemmas: situations in which one faces conflicting epistemic requirements with the result that whatever one does, one is doomed to do wrong from the epistemic point of view. Accepting this view, I argue, may enable us to solve several epistemological puzzles.

Subjects of ectogenesis—human beings that are developing in artificial wombs (AWs)—share the same moral status as newborns. To demonstrate this, I defend two claims. First, subjects of partial ectogenesis—those that develop in utero for a time before being transferred to AWs—are newborns (in the full sense of the word). Second, subjects of complete ectogenesis—those who develop in AWs entirely—share the same moral status as newborns. To defend the first claim, I rely on Elizabeth Chloe Romanis’s distinctions between fetuses, newborns and (...) subjects of ectogenesis. For Romanis, the subject of partial ectogenesis ‘is neither a fetus nor a baby’ but is, instead, a ‘new product of human reproduction’. In this essay, I begin by, expanding upon Romanis’s argument that subjects of partial ectogenesis are not fetuses while arguing that those subjects are newborns. Next, I show that the distinction that Romanis draws between subjects of partial ectogenesis and newborns needs to be revised. The former is a kind of the latter. This leads us to an argument that shows why different moral statuses cannot be justifiably assigned to subjects of partial ectogenesis and subjects of complete ectogenesis, respectively. As subjects of partial ectogenesis share the same moral status as newborns, it follows that subjects of complete ectogenesis share the same moral status as newborns as well. I conclude by considering implications that this essay may have for the research and development of AW technology and conceptual links between a subject’s moral status and birth. (shrink)

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

Philosophers often characterize discourse in general as aiming at some sort of convergence (in beliefs, plans, dispositions, feelings, etc.), and many views about aesthetic discourse in particular affirm this thought. I argue that a convergence norm does not govern aesthetic discourse. The conversational dynamics of aesthetic discourse suggest that typical aesthetic claims have directive force. I distinguish between dynamic and illocutionary force and develop related theories of each for aesthetic discourse. I argue that the illocutionary force of aesthetic utterances is (...) typically invitational because its dynamic force is influenced by a ‘communal’ norm. I draw on dynamic pragmatics to develop a formal account of this dynamic force that explains why invitation has pride of place in aesthetic conversation. It turns out that the end of aesthetic discourse is not convergence but a distinctive form of community, a kind of harmony of individuality, that is compatible with aesthetic disagreement. If this is right, then convergence theories of aesthetic and normative discourse, and of conversation in general, need to be revised. (shrink)

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

A theory of aesthetic value should explain what makes aesthetic value good. Current views about what makes aesthetic value good privilege the individual’s encounter with aesthetic value—listening to music, reading a novel, writing a poem, or viewing a painting. What makes aesthetic value good is its benefit to the individual appreciator. But engagement with aesthetic value is often a social, participatory matter: sharing and discussing aesthetic goods, imitating aesthetic agents, dancing, cooking, dining, or making music together. This article argues that (...) we should understand aesthetic value in a way that centers these social forms of aesthetic engagement. To this end, the article argues that there is a social practice of aesthetic valuing, characterized as a participatory practice governed by the value of aesthetic community, which engages us in the social development of our capacities for discretionary valuing and volitional openness. Current theories of aesthetic value have trouble capturing the character of the practice of aesthetic valuing, and this motivates a novel communitarian theory of aesthetic value: aesthetic value is what is worthy of engagement in the social practice of aesthetic valuing. (shrink)

Much of the discussion of set-theoretic independence, and whether or not we could legitimately expand our foundational theory, concerns how we could possibly come to know the truth value of independent sentences. This paper pursues a slightly different tack, examining how we are ignorant of issues surrounding their truth. We argue that a study of how we are ignorant reveals a need for an understanding of set-theoretic explanation and motivates a pluralism concerning the adoption of foundational theory.

Epistemologists spend a great deal of time thinking about how we should respond to our evidence. They spend far less time thinking about the ways that evidence can be acquired in the first place. This is an oversight. Some ways of acquiring evidence are better than others. Many normative epistemologies struggle to accommodate this fact. In this article I develop one that can and does. I identify a phenomenon – epistemic feedback loops – in which evidence acquisition has gone awry, (...) with the result that even beliefs based on the evidence are irrational. Examples include evidence acquired under the influence of confirmation bias and evidence acquired under the influence of cognitively penetrated experiences caused by implicit bias. I then develop a theoretical framework which enables us to understand why beliefs that are the outputs of epistemic feedback loops are irrational. Finally, I argue that many popular approaches to epistemic normativity may need to be abandoned on the grounds that they cannot comfortably explain feedback loops. The scope of this last claim is broad: it includes almost all contemporary theories of justified/rational belief and of the epistemology of cognitive penetration. (shrink)

I argue against inferentialism about logic. First, I argue against an analogy between logic and chess, before considering a more basic objection to stipulating inference rules as a way of establishing the meaning of logical constants. The objectionthe Mushroom Omelette Objectionis that stipulative acts are partly constituted by logical notions, and therefore cannot be used to explain logical thought. I then argue that the same problem also attaches to following existing conventional rules, since either those rules have logical contents, or (...) following those conventional rules is done for logical reasons. Lastly, I compare this argument with other arguments found in Quine’s early work, and consider two attempts to reply to Quine. (shrink)

Are interpersonal affordances a distinct type of affordance, and if so, what is it that differentiates them from other kinds of affordances? In this paper, I show that a hard distinction between interpersonal affordances and other affordances is warranted and ethically important. The enactivist theory of participatory sense-making demonstrates that there is a difference in coupling between agent-environment and agent-agent interactions, and these differences in coupling provide a basis for distinguishing between the perception of environmental and interpersonal affordances. Building further (...) on this foundation for understanding interpersonal affordances, I argue that in line with some enactivist work on social cognition, interpersonal affordances ought to be considered as those that are afforded by agents and are recognized as such. Given this distinction, I also make the point that because our social conventions establish persons as more than mere agents, the direct perception of interpersonal affordances may also involve seeing others as embodied selves. Distinguishing between types of affordances thus also matters ethically: there can be harms done when an agent is not perceived as an agent, and there can be harms done when an agent is not perceived as a self. (shrink)

Philosophy is a reflective activity. So perhaps it is unsurprising that many philosophers have claimed that reflection plays an important role in shaping and even improving our philosophical thinking. This hypothesis seems plausible given that training in philosophy has correlated with better performance on tests of reflection and reflective reasoning has correlated with demonstrably better judgments in a variety of domains. This article reviews the hypothesized roles of reflection in philosophical thinking as well as the empirical evidence for these roles. (...) This reveals that although there are fairly reliable links between reflection and philosophical judgment among both laypeople and philosophers, the role of reflection in philosophical thinking may nonetheless depend in part on other factors, some of which have yet to be determined. So progress in research on reflection in philosophy may require further innovation in experimental methods and psychometric validation of philosophical measures. (shrink)

Non-representational approaches to cognition have struggled to provide accounts of long-term planning that forgo the use of representations. An explanation comes easier for cognitivist accounts, which hold that we concoct and use contentful mental representations as guides to coordinate a series of actions towards an end state. One non-representational approach, ecological-enactivism, has recently seen several proposals that account for “high-level” or “representation-hungry” capacities, including long-term planning and action coordination. In this paper, we demonstrate the explanatory gap in these accounts that (...) stems from avoiding the incorporation of long-term intentions, as they play an important role both in action coordination and perception on the ecological account. Using recent enactive accounts of language, we argue for a non-representational conception of intentions, their formation, and their role in coordinating pre-reflective action. We provide an account for the coordination of our present actions towards a distant goal, a skill we call distal engagement. Rather than positing intentions as an actual cognitive entity in need of explanation, we argue that we take them up in this way as a practice due to linguistically scaffolded attitudes towards language use. (shrink)

Accounts of aesthetic valuing emphasize two constraints on the formation of aesthetic belief. We must form our own aesthetic beliefs by engaging with aesthetic value first-hand (the acquaintance principle) and by using our own capacities (the autonomy principle). But why? C. Thi Nguyen’s proposal is that aesthetic valuing has an inverted structure. We often care about inquiry and engagement for the sake of having true beliefs, but in aesthetic engagement this is flipped: we care about arriving at good aesthetic beliefs (...) for the sake of the values that arise in the process of doing so. The engagement is the point, so we must use our own capacities in first-hand encounters. Here I challenge Nguyen’s account. I argue that it misconstrues the value of aesthetic belief; it conflicts with restrictions on aesthetic testimony; and it has trouble harnessing engagement-value for a theory of aesthetic value. A better approach emphasizes the social character of aesthetic valuing. On this view, aesthetic valuing is a social practice structured around the collaborative exercise and improvement of certain special capacities. The autonomy and acquaintance principles tell us to engage these capacities in forming our aesthetic beliefs. Understood aright, and contrary to consensus, these rules are identical. (shrink)

Contemporary philosophical attitudes toward beauty are hard to reconcile with its importance in the history of philosophy. Philosophers used to allow it a starring role in their theories of autonomy, morality, or the good life. But today, if beauty is discussed at all, it is often explicitly denied any such importance. This is due, in part, to the thought that beauty is the object of “disinterested pleasure”. In this paper I clarify the notion of disinterest and develop two general strategies (...) for resisting the emphasis on it, in the hopes of getting a clearer view of beauty’s significance. I present and discuss several literary depictions of the encounter with beauty that motivate both strategies. These depictions illustrate the ways in which aesthetic experience can be personally transformative. I argue that they present difficulties for disinterest theories and suggest we abandon the concept of disinterest to focus instead on the special kind of interest beauty fuels. I propose a closer look at the Platonic thought that beauty is the object of love. (shrink)

Recently, I argued that human subjects in artificial wombs ‘share the same moral status as newborns’ and so, deserve the same treatment and protections as newborns. This thesis rests on two claims: subjects of partial ectogenesis—those that develop in utero for at time before being transferred to AWs—are newborns and subjects of complete ectogenesis—those who develop in AWs entirely—share the same moral status as newborns. In response, Elizabeth Chloe Romanis argued that the subject in an AW is ‘a unique human (...) entity…rather than a fetus or a newborn’. She provides four lines of response to my essay. First, she argues that I have ‘misconstrued’ what birth is. Once we correct that error, it becomes clear that subjects of partial ectogenesis have not been born. Second, she argues that my claims imply that non-implanted embryos ‘would also be “born”’. But that is absurd. Third, she claims I fail to ‘meaningfully respond’ to distinctions she draws between subjects of ectogenesis and neonates. Finally, she criticises my essay for focusing on subjects of AWs rather than focusing on pregnant persons. I respond to each of these charges. In doing so, I reaffirm that some subjects of ectogenesis are newborns and all subjects of ectogenesis—even those that have not been born—share the same moral status as newborns. (shrink)

Analytic moral philosophers have generally failed to engage in any substantial way with the cultural history of morality. This is a shame, because a genealogy of morals can help us accomplish two important tasks. First, a genealogy can form the basis of an epistemological project, one that seeks to establish the epistemic status of our beliefs or values. Second, a genealogy can provide us with functional understanding, since a history of our beliefs, values or institutions can reveal some inherent dynamic (...) or pattern which may be problematically obscured from our view. In this paper, I try to make good on these claims by offering a sketchy genealogy of emancipatory values, or values which call for the liberation of persons from systems of dominance and oppression. The real history of these values, I argue, is both epistemologically vindicatory and functionally enlightening. (shrink)

How should we pursue aesthetic value, or incorporate it into our lives, if we want to? Is there an ideal of aesthetic life? Philosophers have proposed numerous answers to the analogous question in moral philosophy, but the aesthetic question has received relatively little attention. There is, in essence, a single view, which is that one should develop a sensibility that would give one sweeping access to aesthetic value. I challenge this view on two grounds. First, it threatens to undermine our (...) "aesthetic love", or the meaningful attachments we form with aesthetic items, e.g., poems, paintings, songs, or items of design and dress. Second, it fails to accommodate the motivational character of our encounter with beauty, which can diminish our desire to pursue the wider world of aesthetic value. I conclude that whatever the aesthetic ideal is, it must reconcile our desire to broaden our access to aesthetic value with our desire to maintain and cultivate our meaningful aesthetic attachments. I motivate the alternative thought that having style is the aesthetic ideal. (shrink)

This paper details the ways that gender structures our senses of agency on an enactive framework. While it is common to discuss how gender influences higher, narrative levels of cognition, as with the formulation of goals and in considerations about our identities, it is less clear how gender structures our more immediate, embodied processes, such as the minimal sense of agency. While enactivists often acknowledge that gender and other aspects of our socio-cultural situatedness shape our cognitive processes, there is little (...) work on how this shaping takes place. In order to provide such an account, I will first look at the minimal and narrative senses of agency (Gallagher 2012), a distinction that draws from work on minimal and narrative selves (Zahavi 2010). Next I will explain the influence of the narrative sense of agency on the minimal sense of agency through work on intention-formation (Pacherie 2007). After a discussion of the role of gender in the narrative sense of agency, I’ll expand on work by Haslanger (2012) and Young (1980) to offer three ways in which gender influences the minimal sense of agency, showing the effect that gender has on how we perceive our possibilities for interaction in a phenomenologically immediate, pre-reflective manner. (shrink)

A pervasive and influential argument appeals to trivial truths to demonstrate that the aim of inquiry is not the acquisition of truth. But the argument fails, for it neglects to distinguish between the complexity of the sentence used to express a truth and the complexity of the truth expressed by a sentence.

The ethical issues related to the possible future creation of machines with general intellectual capabilities far outstripping those of humans are quite distinct from any ethical problems arising in current automation and information systems. Such superintelligence would not be just another technological development; it would be the most important invention ever made, and would lead to explosive progress in all scientific and technological fields, as the superintelligence would conduct research with superhuman efficiency. To the extent that ethics is a cognitive (...) pursuit, a superintelligence could also easily surpass humans in the quality of its moral thinking. However, it would be up to the designers of the superintelligence to specify its original motivations. Since the superintelligence may become unstoppably powerful because of its intellectual superiority and the technologies it could develop, it is crucial that it be provided with human-friendly motivations. This paper surveys some of the unique ethical issues in creating superintelligence, and discusses what motivations we ought to give a superintelligence, and introduces some cost-benefit considerations relating to whether the development of superintelligent machines ought to be accelerated or retarded. (shrink)

The study of active matter systems demonstrates how interactions might co-constitute agential dynamics. Active matter systems are comprised of self-propelled independent entities which, en masse, take part in complex and interesting collective group behaviors at a far-from-equilibrium state (Menon, 2010 ; Takatori & Brady, 2015 ). These systems are modelled using very simple rules (Vicsek at al. 1995), which reveal the interactive nature of the collective behaviors seen from humble to highly complex entities. Here I show how the study of (...) active matter systems supports two related proposals regarding interaction and agency. First, I argue that the study of interactive dynamics in these systems evidences the utility of treating interaction as an ontological category (Longino, 2021 ) and challenges methodological individualism as the received explanatory primitive in the study of agency. Second, the methods used to research active matter systems demonstrate how a minimal approach to agency can scale up in studying interactive agential dynamics in more complex systems. The examples of coordination dynamics (Kelso, 2001 ) and participatory sense-making (De Jaegher & Di Paolo, 2007 ) are provided to show how understanding agency requires us to look beyond the individuals to the interactive agential dynamics that can guide, scaffold, or constrain their activity. (shrink)

What is it for a person to have style? Philosophers working in action theory, ethics, and aesthetics are surprisingly quiet on this question. I begin by considering whether theories of artistic style shed any light on it. Many philosophers, artists, and art historians are attracted to some version of the view that artistic style is the expression of personality. I clarify this view and argue that it is implausible for both artistic style and, suitably modified, personal style. In fact, both (...) theories of style crack along the same line, which suggests that they can indeed be mutually illuminating. I articulate and defend a view of personal style according to which, roughly, having style is a matter of expressing one’s ideals. I show how this illuminates the widely neglected value of personal style and propose a new, analogous theory of individual artistic style: artistic style is the expression of the ideals the artist has for her art. (shrink)

It has long been thought that observing distinctive traces of quantum gravity in a laboratory setting is effectively impossible, since gravity is so much weaker than all the other familiar forces in particle physics. But the quantum gravity phenomenology community today seeks to do the (effectively) impossible, using a challenging novel class of `tabletop' Gravitationally Induced Entanglement (GIE) experiments, surveyed here. The hypothesized outcomes of the GIE experiments are claimed by some (but disputed by others) to provide a `witness' of (...) the underlying quantum nature of gravity in the non-relativistic limit, using superpositions of Planck-mass bodies. We inspect what sort of achievement it would possibly be to perform GIE experiments, as proposed, ultimately arguing that the positive claim of witness is equivocal. Despite various sweeping arguments to the contrary in the vicinity of quantum information theory or given low-energy quantum gravity, whether or not one can claim to witness the quantum nature of the gravitational field in these experiments decisively depends on which out of two legitimate modelling paradigms one finds oneself in. However, by situating GIE experiments in a tradition of existing experiments aimed at making gravity interestingly quantum in the laboratory, we argue that, independently of witnessing or paradigms, there are powerful reasons to perform the experiments, and that their successful undertaking would indeed be a major advance in physics. (shrink)

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

Reflectivists consider reflective reasoning crucial for good judgment and action. Anti-reflectivists deny that reflection delivers what reflectivists seek. Alas, the evidence is mixed. So, does reflection confer normative value or not? This paper argues for a middle way: reflection can confer normative value, but its ability to do this is bound by such factors as what we might call epistemic identity: an identity that involves particular beliefs—for example, religious and political identities. We may reflectively defend our identities’ beliefs rather than (...) reflect open-mindedly to adopt whatever beliefs cohere with the best arguments and evidence. This bounded reflectivism is explicated with an algorithmic model of reflection synthesized from philosophy and science that yields testable predictions, psychometric implications, and realistic metaphilosophical suggestions—for example, overcoming motivated reflection may require embracing epistemic identity rather than veiling it (à la Rawls 1971). So bounded reflectivism should be preferred to views offering anything less. (shrink)

I develop a broadly reliabilist theory of non-ideal epistemic rationality and argue that if it is correct we should reject the recently popular idea that the standards of non-ideal epistemic rationality are mere social conventions.

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

The notion of more truth, or of more truth and less falsehood, is central to epistemology. Yet, I argue, we have no idea what this consists in, as the most natural or obvious thing to say—that more truth is a matter of a greater number of truths, and less falsehood is a matter of a lesser number of falsehoods—is ultimately implausible. The issue is important not merely because the notion of more truth and less falsehood is central to epistemology, but (...) because an implicit, false picture of what this consists in underpins and gives shape to much contemporary epistemology. (shrink)

How do adults acquire the right to parent a child? Luara Ferracioli says adults get this right by morally committing to a particular child. In Ferracioli's defense of this view, she claims it can accommodate worries about whether ambivalent gestating parents count as moral parents (they should) and whether it licenses parental proliferation (it should not). Here, I argue these worries are more worrisome than Ferracioli lets on.

"Ethical thought has no chance of being everything it seems." Bernard Williams offered this cryptic remark in Ethics and the Limits of Philosophy, and in this chapter I argue that understanding it is the key to understanding Williams' skepticism about moral theory and about systematization in ethics. The difficulty for moral philosophy, Williams believed, is that ethics looks one way to embodied, active agents, but looks entirely different when considered from the standpoint of theory. This, in turn, means that following (...) a moral theory is a sure route to practical alienation. I argue that once we see it for what it is, we can see that Williams own skepticism undermines his later attempts to vindicate Truthfulness. Moreover, given the pervasiveness of reflective practical alienation in ordinary life, it leaves us with a difficult question: what would a non-alienated ethical existence even look like for us? (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

I give an informal presentation of the evolutionary game theoretic approach to the conventions that constitute linguistic meaning. The aim is to give a philosophical interpretation of the project, which accounts for the role of game theoretic mathematics in explaining linguistic phenomena. I articulate the main virtue of this sort of account, which is its psychological economy, and I point to the casual mechanisms that are the ground of the application of evolutionary game theory to linguistic phenomena. Lastly, I consider (...) the objection that the account cannot explain predication, logic, and compositionality. (shrink)