We provide a new interpretation of Zeno’s Paradox of Measure that begins by giving a substantive account, drawn from Aristotle’s text, of the fact that points lack magnitude. The main elements of this account are (1) the Axiom of Archimedes which states that there are no infinitesimal magnitudes, and (2) the principle that all assignments of magnitude, or lack thereof, must be grounded in the magnitude of line segments, the primary objects to which the notion of linear magnitude applies. Armed (...) with this account, we are ineluctably driven to introduce a highly constructive notion of (outer) measure based exclusively on the total magnitude of potentially infinite collections of line segments. The Paradox of Measure then consists in the proof that every finite or potentially infinite collection of points lacks magnitude with respect to this notion of measure. We observe that the Paradox of Measure, thus understood, troubled analysts into the 1880’s, despite their knowledge that the linear continuum is uncountable. The Paradox was ultimately resolved by Borel in his thesis of 1893, as a corollary to his celebrated result that every countable open cover of a closed line segment has a finite sub-cover, a result he later called the “First Fundamental Theorem of Measure Theory.” This achievement of Borel has not been sufficiently appreciated. We conclude with a metamathematical analysis of the resolution of the paradox made possible by recent results in reverse mathematics. (shrink)

ABSTRACT It has become standard to conceive of metalinguistic disagreement as motivated by a form of negotiation, aimed at reaching consensus because of the practical consequences of using a word with one content rather than another. This paper presents an alternative motive for expressing and pursuing metalinguistic disagreement. In using words with given criteria, we betray our location amongst social categories or groups. Because of this, metalinguistic disagreement can be used as a stage upon which to perform a social identity. (...) The ways in which metalinguistic disagreements motivated in this way diverge in character from metalinguistic negotiations are described, as are several consequences of the existence of metalinguistic disagreements motivated in this way. (shrink)

One of the most influential and controversial schools of 20th century Thomism—especially in North America—is the “River Forest School” or “River Forest Thomism”. And one of the most influential and controversial theses associated with that school is the thesis that metaphysics cannot be established as a distinct and autonomous science unless one has already proven the existence of a positively immaterial being. The purpose of this paper is to show that River Forest Thomism cannot and should not be reduced to (...) that controversial thesis. As such, rejection of the thesis cannot and should not constitute a rejection of the school. Indeed, as soon as we understand what River Forest Thomism was really about, it will become clear that all Thomists should be River Forest Thomists. (shrink)

Discussion of the relevance of grounding to substantiveness, theory-choice, and “location problems” in metaphysics.

Can there be grounding without necessitation? Can a fact obtain wholly in virtue of metaphysically more fundamental facts, even though there are possible worlds at which the latter facts obtain but not the former? It is an orthodoxy in recent literature about the nature of grounding, and in first-order philosophical disputes about what grounds what, that the answer is no. I will argue that the correct answer is yes. I present two novel arguments against grounding necessitarianism, and show that grounding (...) contingentism is fully compatible with the various explanatory roles that grounding is widely thought to play. (shrink)

It seems to be a common and intuitively plausible assumption that conversational implicatures arise only when one of the so-called conversational maxims is violated at the level of what is said. The basic idea behind this thesis is that, unless a maxim is violated at the level of what is said, nothing can trigger the search for an implicature. Thus, non-violating implicatures wouldn’t be calculable. This paper defends the view that some conversational implicatures arise even though no conversational maxim is (...) violated at the level of what is said. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this approach (...) can be extended to counterpossibles more generally. (shrink)

A counterpossible is a counterfactual with an impossible antecedent. Counterpossibles present a puzzle for standard theories of counterfactuals, which predict that all counterpossibles are semantically vacuous. Moreover, counterpossibles play an important role in many debates within metaphysics and epistemology, including debates over grounding, causation, modality, mathematics, science, and even God. In this article, we will explore various positions on counterpossibles as well as their potential philosophical consequences.

A supplemental document for "Metalinguistic Gradability".

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...) way of modelling logical possibility that makes room for both kinds of logical impossibility. Doing so has interesting implications for the relationship between logical possibility and other kinds of possibility (for example, metaphysical possibility) and implications for the necessity or contingency of the laws of logic. (shrink)

Whether or not quantum physics can account for molecular structure is a matter of considerable controversy. Three of the problems raised in this regard are the problems of molecular structure. We argue that these problems are just special cases of the measurement problem of quantum mechanics: insofar as the measurement problem is solved, the problems of molecular structure are resolved as well. In addition, we explore one consequence of our argument: that claims about the reduction or emergence of molecular structure (...) cannot be settled independently of the choice of a particular resolution to the measurement problem. Specifically, we consider how three standard putative solutions to the measurement problem inform our under- standing of a molecule in isolation, as well as of chemistry’s relation to quantum physics. (shrink)

Conventional wisdom has it that truth is always evaluated using our actual linguistic conventions, even when considering counterfactual scenarios in which different conventions are adopted. This principle has been invoked in a number of philosophical arguments, including Kripke’s defense of the necessity of identity and Lewy’s objection to modal conventionalism. But it is false. It fails in the presence of what Einheuser (2006) calls c-monsters, or convention-shifting expressions (on analogy with Kaplan’s monsters, or context-shifting expressions). We show that c-monsters naturally (...) arise in contexts, such as metalinguistic negotiations, where speakers entertain alternative conventions. We develop an expressivist theory—inspired by Barker (2002) and MacFarlane (2016) on vague predications and Einheuser (2006) on counterconventionals—to model these shifts in convention. Using this framework, we reassess the philosophical arguments that invoked the conventional wisdom. (shrink)

Kant and Fichte developed the concept of a worldview as a way of reflecting on experience as a whole. But what does it mean to form a worldview? And what role did it play in the German Idealist tradition? This paper seeks to answer these questions through a detailed analysis of the form of a philosophical worldview and its historical portent, both of which remain unexplored in the literature. The dearth of attention is partially to blame on Kant’s desultory development (...) of it, as well as its place in Fichte’s understudied lectures on religion. In this paper, I first reconstruct Kant’s conception as the starting point and then trace it to Fichte who went on to evolve it further. Fichte endorses the basic conceptual shape pioneered by Kant, namely, a reflective process of positing an idea and then checking the coherence of necessary judgments relative to it. However, Fichte came to realize that its philosophical function needed expanding. Beyond recognizing the possibility for alternative worldviews, Fichte further fleshed out how worldview creation could lead to human flourishing. The common feature between both thinkers is that the formation of a worldview aims to turn philosophy into a life-orienting exercise. (shrink)

This is an introduction to the volume "Explanation Beyond Causation: Philosophical Perspectives on Non-Causal Explanations", edited by A. Reutlinger and J. Saatsi (OUP, forthcoming in 2017). -/- Explanations are very important to us in many contexts: in science, mathematics, philosophy, and also in everyday and juridical contexts. But what is an explanation? In the philosophical study of explanation, there is long-standing, influential tradition that links explanation intimately to causation: we often explain by providing accurate information about the causes of the (...) phenomenon to be explained. Such causal accounts have been the received view of the nature of explanation, particularly in philosophy of science, since the 1980s. However, philosophers have recently begun to break with this causal tradition by shifting their focus to kinds of explanation that do not turn on causal information. The increasing recognition of the importance of such non-causal explanations in the sciences and elsewhere raises pressing questions for philosophers of explanation. What is the nature of non-causal explanations - and which theory best captures it? How do non-causal explanations relate to causal ones? How are non-causal explanations in the sciences related to those in mathematics and metaphysics? This volume of new essays explores answers to these and other questions at the heart of contemporary philosophy of explanation. The essays address these questions from a variety of perspectives, including general accounts of non-causal and causal explanations, as well as a wide range of detailed case studies of non-causal explanations from the sciences, mathematics and metaphysics. (shrink)

Grounding and explanation are said to be intimately connected. Some even maintain that grounding just is a form of explanation. But grounding and explanation also seem importantly different—on the face of it, the former is ‘worldy’ or ‘objective’ while the latter isn’t. In this paper, we develop and respond to an argument to the effect that there is no way to fruitfully address this tension that retains orthodox views about grounding and explanation but doesn’t undermine a central piece of methodology, (...) namely that explanation is a guide to ground. (shrink)

Kant’s claim that we must postulate the immortality of the soul is polarizing. While much attention has been paid to two standard arguments in its defense (one moral-psychological, the other rational), I contend that a favorite argument of Kant’s from the apogee of his critical period, namely, the teleological argument, deserves renewed attention. This paper reconstructs it and exhibits what makes it unique (though not necessarily superior) in relation to the other arguments. In particular, its form (as third-personal or descriptive, (...) beginning from observations) and related force of assent (as a subjectively universal reflective judgment) set it apart from the other arguments. My goal is to establish that any engagement with Kant’s immortality postulate must include equal consideration of the teleological argument in order to be complete. (shrink)

This paper presents a novel understanding of the notion of calculability. In Gricean frameworks, calculability is defined in terms of how speakers can infer an implicature. The relevant inferences must e.g. be based on maxims of conversation or cooperation principles. Meanwhile, I suggest to define calculability in terms of when, or under which conditions, speakers can infer an implicature. An implicature is calculable if hearers can infer its existence even supposing that the implicature is not semantically encoded. This approach avoids (...) familiar challenges, including recently prominent challenges from pragmatic particularism. (shrink)

Elselijn Kingma argues that, in cases of mammalian placental pregnancy, the foster (roughly, the post-implantation embryo/foetus) is part of the gravida (the pregnant organism). But she does not consider the possibility of proper overlap. I show that this generates a number of serious problems for her argument and trace the oversight to a quite general issue within the literature on biological individuality. Doing so provides an opportunity to pull apart and clarify the relations between some importantly distinct questions concerning organismality (...) and organismic parthood, and to identify the implications that this has for those who want to draw on this literature when making metaphysical or mereological arguments. (shrink)

Kant’s accounts of the Highest Good and the moral argument for God and immortality are central features of his philosophy. But both involve lingering puzzles. In this entry, we first explore what the Highest Good is for Kant and the role it plays in a complete account of ethical life. We then focus on whether the Highest Good involves individuals only, or whether it also connects with Kant’s doctrines about the moral progress of the species. In conclusion, we look into (...) three ways of articulating the moral argument for God and immorality that take our commitment to the Highest Good as their point of departure. (shrink)

Rational agents face choices, even when taking seriously the possibility of determinism. Rational agents also follow the advice of Causal Decision Theory (CDT). Although many take these claims to be well-motivated, there is growing pressure to reject one of them, as CDT seems to go badly wrong in some deterministic cases. We argue that deterministic cases do not undermine a counterfactual model of rational deliberation, which is characteristic of CDT. Rather, they force us to distinguish between counterfactuals that are relevant (...) and ones that are irrelevant for the purposes of deliberation. We incorporate this distinction into decision theory to develop ‘Selective Causal Decision Theory’, which delivers the correct recommendations in deterministic cases while respecting the key motivations behind CDT. (shrink)

The modern Everett interpretation of quantum mechanics describes an emergent multiverse. The goal of this paper is to provide a perspicuous characterisation of how the multiverse emerges making use of a recent account of (weak) ontological emergence. This will be cashed out with a case study that identifies decoherence as the mechanism for emergence. The greater metaphysical clarity enables the rebuttal of critiques due to Baker (2007) and Dawid and Th\'ebault (2015) that cast the emergent multiverse ontology as incoherent; responses (...) are also offered to challenges to the Everettian approach from Maudlin (2010) and Monton (2013). (shrink)

In this paper, we analyse how GPS-based navigation systems are transforming some of our intellectual virtues and then suggest two strategies to improve our practices regarding the use of such epistemic tools. We start by outlining the two main approaches in virtue epistemology, namely virtue reliabilism and virtue responsibilism. We then discuss how navigation systems can undermine five epistemic virtues, namely memory, perception, attention, intellectual autonomy, and intellectual carefulness. We end by considering two possible interlinked ways of trying to remedy (...) this situation: [i] redesigning the epistemic tool to improve the epistemic virtues of memory, perception, and attention; and [ii] the cultivation of cognitive diligence for wayfinding tasks scaffolding intellectual autonomy and carefulness. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But there (...) is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

The prescriptive force of methodological rules rests, I argue, on the acceptance of scientific theories; that of the most general methodological rules rests on theories in the philosophy of science, which differ from theories in the several sciences only in generality and abstraction. I illustrate these claims by reference to methodological disputes in social science and among philosophers of science. My conclusions substantiate those of Laudan except that I argue for the existence of transtheoretical goals common to all scientists and (...) concrete enough actually to have bearing on methodology. And I argue that Laudan is committed to such goals himself, willy nilly. (shrink)

A common objection to the very idea of conceptual engineering is the topic continuity problem: whenever one tries to “reengineer” a concept, one only shifts attention away from one concept to another. Put differently, there is no such thing as conceptual revision: there’s only conceptual replacement. Here, I show that topic continuity is compatible with conceptual replacement. Whether the topic is preserved in an act of conceptual replacement simply depends on what is being replaced (a conceptual tool or a conceptual (...) role) and what the topic under discussion is. Thus, the topic continuity problem only arises from a failure to specify these two things. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the (...) interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

Near the end of 'Naming the Colours', Lewis (1997) makes an interesting claim about the relationship between linguistic and mental content; we are typically unable to read the content of a belief off the content of a sentence used to express that belief or vice versa. I call this view autonomism. I motivate and defend autonomism and discuss its importance in the philosophy of mind and language. In a nutshell, I argue that the different theoretical roles that mental and linguistic (...) content play suggest these kinds of content should be understood as sensitive to different things. (shrink)

It is commonly claimed that the universality of critical phenomena is explained through particular applications of the renormalization group. This article has three aims: to clarify the structure of the explanation of universality, to discuss the physics of such RG explanations, and to examine the extent to which universality is thus explained. The derivation of critical exponents proceeds via a real-space or a field-theoretic approach to the RG. Building on work by Mainwood, this article argues that these approaches ought to (...) be distinguished: while the field-theoretic approach explains universality, the real-space approach fails to provide an adequate explanation. (shrink)

I like the view that the fundamental facts are logically simple, not complex. However, some universal generalizations and negations may appear fundamental, because they cannot be explained by logically simple facts about particulars. I explore a natural reply: those universal generalizations and negations are true because certain logically simple facts—call them —are the fundamental facts. I argue that this solution is only available given some metaphysical frameworks, some conceptions of metaphysical explanation and fundamentality. It requires a ‘fitting’ framework, according to (...) which metaphysical theories explain the aptness of representations in terms of how things are fundamentally. Fitting frameworks conceive of the fundamental facts as those that are metaphysically ‘real’; call them the ‘facts-in-reality’. Moreover, we must take as primary a plural notion of the facts-in-reality, not the singular notion of a fact-in-reality. By contrast, a metaphysics that grounds facts is incompatible with my strategy for keeping the fundamental facts logically simple. (shrink)

The recent literature abounds with accounts of the semantics and pragmatics of so-called predicates of personal taste, i.e. predicates whose application is, in some sense or other, a subjective matter. Relativism and contextualism are the major types of theories. One crucial difference between these theories concerns how we should assess previous taste claims. Relativism predicts that we should assess them in the light of the taste standard governing the context of assessment. Contextualism predicts that we should assess them in the (...) light of the taste standard governing the context of use. We show in a range of experiments that neither prediction is correct. People have no clear preferences either way and which taste standard they choose in evaluating a previous taste claim crucially depends on whether they start out with a favorable attitude towards the object in question and then come to have an unfavorable attitude or vice versa. We suggest an account of the data in terms of what we call hybrid relativism. (shrink)

It is widely held that counterfactuals, unlike attitude ascriptions, preserve the referential transparency of their constituents, i.e., that counterfactuals validate the substitution of identicals when their constituents do. The only putative counterexamples in the literature come from counterpossibles, i.e., counterfactuals with impossible antecedents. Advocates of counterpossibilism, i.e., the view that counterpossibles are not all vacuous, argue that counterpossibles can generate referential opacity. But in order to explain why most substitution inferences into counterfactuals seem valid, counterpossibilists also often maintain that counterfactuals (...) with possible antecedents are transparency‐preserving. I argue that if counterpossibles can generate opacity, then so can ordinary counterfactuals with possible antecedents. Utilizing an analogy between counterfactuals and attitude ascriptions, I provide a counterpossibilist‐friendly explanation for the apparent validity of substitution inferences into counterfactuals. I conclude by suggesting that the debate over counterpossibles is closely tied to questions concerning the extent to which counterfactuals are more like attitude ascriptions and epistemic operators than previously recognized. (shrink)

In chapter 3 of Wittgenstein on Rules and Private Language, Kripke’s Wittgenstein offers a “sceptical solution" to the sceptical paradox about meaning developed in chapter 2 (according to which there are no facts in virtue of which ascriptions of meaning such as “Jones means addition by ‘+’” can be true). Although many commentators have taken the sceptical solution to be broadly analogous to non-factualist theories in other domains, such as non-cognitivism or expressivism in metaethics, the nature of the sceptical solution (...) has not been well-understood. The main aim of this paper is to advance our understanding of the nature of the non-factualism about meaning proposed in the sceptical solution. It attempts to outline some desiderata that should be respected by interpretations of the sceptical solution and considers two objections raised against it in Barry Stroud’s paper “Wittgenstein on Meaning, Understanding and Community". It attempts to correct misconstruals of the sceptical solution that have been promulgated by Davidson and some of his followers and suggests that the sceptical solution developed by Kripke’s Wittgenstein is best viewed as a form of quasi-realism about meaning. It ends by outlining what it takes to be the most pressing challenges facing the sceptical solution. (shrink)

Counterfactual scepticism holds that most ordinary counterfactuals are false. The main argument for this view appeals to a ‘chance undermines would’ principle: if ψ would have some chance of not obtaining had ϕ obtained, then ϕ □→ ψ is false. This principle seems to follow from two fairly weak principles, namely, that ‘chance ensures could’ and that ϕ □→ ψ and ϕ ⋄→ ¬ ψ clash. Despite their initial plausibility, I show that these principles are independently problematic: given some modest (...) closure principles, they entail absurdities. Moreover, on the most promising strategy for saving these principles, they do not, in the relevant sense, entail the chance-undermines-would principle. Instead, they entail a principle that only supports counterfactual indeterminism, the view that most ordinary counterfactuals are chancy, that is, not settled true. I demonstrate this by developing an indeterminist semantics that vindicates the clash and chance-ensures-could principles but not the chance-undermines-would principle. This view, I argue, offers a better account of our credal and linguistic judgements than counterfactual scepticism. (shrink)

In the Critique of Pure Reason, Kant states that ideas give us the rule for organizing experience and ideals serve as archetypes or standards against which one can measure copies. Further, he states that ideas and ideals can be practical. Understanding how precisely these concepts should function presents a challenging and understudied philosophical puzzle. I offer a reconstruction of how ideas and ideals might be practical in order to uphold, to my mind, a conceptually worthy distinction. A practical idea, I (...) argue, is best understood as a reference to the categorical imperative (and its various formulations), which guides conduct directly as a rule. A practical ideal, by contrast, I think is a substrate that serves two functions: one that (a) helps us gauge moral deficiencies and another that (b) reveals the potential for moral improvement. In response to well-grounded sceptical concerns, I argue that ideals are indirectly practical in that they ground the possibility to recognise moral states of affairs and be moral in the first place. (shrink)

There are two families of influential and stubborn puzzles that many theories of aboutness (intentionality) face: underdetermination puzzles and puzzles concerning representations that appear to be about things that do not exist. I propose an approach that elegantly avoids both kinds of puzzle. The central idea is to explain aboutness (the relation supposed to stand between thoughts and terms and their objects) in terms of relations of co-aboutness (the relation of being about the same thing that stands between the thoughts (...) and terms themselves). (shrink)

In this paper, I will discuss what I will call “skeptical pragmatic invariantism” as a potential response to the intuitions we have about scenarios such as the so-called bank cases. SPI, very roughly, is a form of epistemic invariantism that says the following: The subject in the bank cases doesn’t know that the bank will be open. The knowledge ascription in the low standards case seems appropriate nevertheless because it has a true implicature. The goal of this paper is to (...) show that SPI is mistaken. In particular, I will show that SPI is incompatible with reasonable assumptions about how we are aware of the presence of implicatures. Such objections are not new, but extant formulations are wanting for reasons I will point out below. One may worry that refuting SPI is not a worthwhile project given that this view is an implausible minority position anyway. To respond, I will argue that, contrary to common opinion, other familiar objections to SPI fail and, thus, that SPI is a promising position to begin with. (shrink)

Fine is widely thought to have refuted the simple modal account of essence, which takes the essential properties of a thing to be those it cannot exist without exemplifying. Yet, a number of philosophers have suggested resuscitating the simple modal account by appealing to distinctions akin to the distinction Lewis draws between sparse and abundant properties, treating only those in the former class as candidates for essentiality. I argue that ‘sparse modalism’ succumbs to counterexamples similar to those originally posed by (...) Fine, and fails to capture paradigmatic instances of essence involving abundant properties and relations. (shrink)

Many philosophers of science are ontologically committed to a lush rainforest of special science entities ), but are often reticent about the criteria that determine which entities count as real. On the other hand, the metaphysics literature is much more forthcoming about such criteria, but often links ontological commitment to irreducibility. We argue that the irreducibility criteria are in tension with scientific realism: for example, they would exclude viruses, which are plausibly theoretically reducible and yet play a sufficiently important role (...) in scientific accounts of the world that they should be included in our ontology. In this paper, we show how the inhabitants of the rainforest can be inoculated against the eliminative threat of reduction: by demonstrating that they are emergent. According to our account, emergence involves a screening off condition as well as novelty. We go on to demonstrate that this account of emergence, which is compatible with theoretical reducibility, satisfies common intuitions concerning what should and shouldn't count as real: viruses are emergent, as are trouts and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

Achieving space domain awareness requires the identification, characterization, and tracking of space objects. Storing and leveraging associated space object data for purposes such as hostile threat assessment, object identification, and collision prediction and avoidance present further challenges. Space objects are characterized according to a variety of parameters including their identifiers, design specifications, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, processes, operational statuses, and associated persons, organizations, or nations. The Space Object Ontology provides a consensus-based realist framework (...) for formulating such characterizations in a computable fashion. Space object data are aligned with classes and relations in the Space Object Ontology and stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space domain awareness and the needs of spacecraft operators. This paper presents the core of the Space Object Ontology, discusses its advantages over other approaches to space object classification, and demonstrates its ability to combine diverse sets of data from multiple sources within an expandable framework. Finally, we show how the ontology provides benefits for enhancing and maintaining longterm space domain awareness. (shrink)

Could it be true that even though we as a group ought to do something, you as an individual ought not to do your part? And under what conditions, in particular, could this happen? In this article, I discuss how a certain kind of case, introduced by David Copp, illustrates the possibility that you ought not to do your part even when you would be playing a crucial causal role in the group action. This is because you may have special (...) agent-relative reasons against participating that are not shared by the group as a whole. I defend the claim that these are indeed cases in which you ought not to do your part in what the group ought to do. I then argue that we can expect these cases to produce a troubling kind of rational conflict. (shrink)

The willful ignorance doctrine says defendants should sometimes be treated as if they know what they don't. This book provides a careful defense of this method of imputing mental states. Though the doctrine is only partly justified and requires reform, it also demonstrates that the criminal law needs more legal fictions of this kind. The resulting theory of when and why the criminal law can pretend we know what we don't has far-reaching implications for legal practice and reveals a pressing (...) need for change. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

Modeling mechanisms is central to the biological sciences – for purposes of explanation, prediction, extrapolation, and manipulation. A closer look at the philosophical literature reveals that mechanisms are predominantly modeled in a purely qualitative way. That is, mechanistic models are conceived of as representing how certain entities and activities are spatially and temporally organized so that they bring about the behavior of the mechanism in question. Although this adequately characterizes how mechanisms are represented in biology textbooks, contemporary biological research practice (...) shows the need for quantitative, probabilistic models of mechanisms, too. In this paper we argue that the formal framework of causal graph theory is well-suited to provide us with models of biological mechanisms that incorporate quantitative and probabilistic information. On the ba-sis of an example from contemporary biological practice, namely feedback regulation of fatty acid biosynthesis in Brassica napus, we show that causal graph theoretical models can account for feedback as well as for the multi-level character of mechanisms. However, we do not claim that causal graph theoretical representations of mechanisms are advantageous in all respects and should replace common qualitative models. Rather, we endorse the more balanced view that causal graph theoretical models of mechanisms are useful for some purposes, while being insufficient for others. (shrink)

Skeptical invariantists maintain that the expression “knows” invariably expresses an epistemically extremely demanding relation. This leads to an immediate challenge. The knowledge relation will hardly if ever be satisfied. Consequently, we can rarely if ever apply “knows” truly. The present paper assesses a prominent strategy for skeptical invariantists to respond to this challenge, which appeals to loose talk. Based on recent developments in the theory of loose talk, I argue that such appeals to loose talk fail. I go on to (...) present a closely related, more promising response strategy, which combines assumptions about the dynamics of pragmatic presuppostions from Blome-Tillmann (2014) with an appeal to conversational exculpature, a phenomenon recently studied by Hoek (2018, 2019). (shrink)

When we think about ethics, we normally focus on a particular sort of agent: the individual person. Some philosophers have argued that we should rethink the limits of what counts as an ethically relevant unit of agency by expanding outward, and claiming that groups of people can have normative reasons for action. In this paper, I explore whether we can go in the other direction. Are there sub‐personal beings who count as agents with their own reasons for action? In particular, (...) might the temporal parts of persons, beings like “me‐in‐my‐twenties,” be thought of as normative agents? This idea, I argue, has deep attractions, and deep, but surmountable, challenges. And if we do accept this idea, I argue, this can indirectly help to support the case for thinking that groups can have reasons for action. (shrink)