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)

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

Significant associations have been found between specific human leukocyte antigen (HLA) alleles and organ transplant rejection, autoimmune disease development, and the response to infection. Traditional searches for disease associations have conventionally measured risk associated with the presence of individual HLA alleles. However, given the high level of HLA polymorphism, the pattern of amino acid variability, and the fact that most of the HLA variation occurs at functionally important sites, it may be that a combination of variable amino acid sites shared (...) by several alleles (shared epitopes) are better descriptors of the actual causative genetic variants. Here we describe a novel approach to genetic association analysis in which genes/proteins are broken down into smaller sequence features and then variant types defined for each feature, allowing for independent analysis of disease association with each sequence feature variant type. We have used this approach to analyze a cohort of systemic sclerosis patients and show that a sequence feature composed of specific amino acid residues in peptide binding pockets 4 and 7 of HLA-DRB1 explains much of the molecular determinant of risk for systemic sclerosis. (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)

While it is a point of agreement in contemporary republican political theory that property ownership is closely connected to freedom as non-domination, surprisingly little work has been done to elucidate the nature of this connection or the constraints on property regimes that might be required as a result. In this paper, I provide a systematic model of the boundaries within which republican property systems must sit and explore some of the wider implications that thinking of property in these terms may (...) have for republicans. The boundaries I focus on relate to the distribution of property and the application of types of property claims over particular kinds of goods. I develop this model from those elements of non-domination most directly related to the operation of a property regime: (a) economic independence, (b) limiting material inequalities, and (c) the promotion of common goods. The limits that emerge from this analysis support intuitive judgments that animate much republican discussion of property distribution. My account diverges from much orthodox republican theory, though, in challenging the primacy of private property rights in the realization of economic independence. The value of property on republican terms can be realized without private ownership of the means of production. (shrink)

Much contemporary debate on the nature of mechanisms centers on the issue of modulating negative causes. One type of negative causability, which I refer to as “causation by absence,” appears difficult to incorporate into modern accounts of mechanistic explanation. This paper argues that a recent attempt to resolve this problem, proposed by Benjamin Barros, requires improvement as it overlooks the fact that not all absences qualify as sources of mechanism failure. I suggest that there are a number of additional types (...) of effects caused by absences that need to be incorporated to account for the diversity of causal connections in the biological sciences. Furthermore, it is argued that recognizing natural variability in mechanisms, such as attenuation, leads to some interesting line-drawing issues for contemporary philosophy of mechanisms. (shrink)

ABSTRACT. May scientists rely on substantive, a priori presuppositions? Quinean naturalists say "no," but Michael Friedman and others claim that such a view cannot be squared with the actual history of science. To make his case, Friedman offers Newton's universal law of gravitation and Einstein's theory of relativity as examples of admired theories that both employ presuppositions (usually of a mathematical nature), presuppositions that do not face empirical evidence directly. In fact, Friedman claims that the use of such presuppositions is (...) a hallmark of "science as we know it." But what should we say about the special sciences, which typically do not rely on the abstruse formalisms one finds in the exact sciences? I identify a type of a priori presupposition that plays an especially striking role in the development of empirical psychology. These are ontological presuppositions about the type of object a given science purports to study. I show how such presuppositions can be both a priori and rational by investigating their role in an early flap over psychology's contested status as a natural science. The flap focused on one of the field's earliest textbooks, William James's Principles of Psychology. The work was attacked precisely for its reliance on a priori presuppositions about what James had called the "mental state," psychology's (alleged) proper object. I argue that the specific presuppositions James packed into his definition of the "mental state" were not directly responsible to empirical evidence, and so in that sense were a priori; but the presuppositions were rational in that they were crafted to help overcome philosophical objections (championed by neo-Hegelians) to the very idea that there can be a genuine science of mind. Thus, my case study gives an example of substantive, a priori presuppositions being put to use—to rational use—in the special sciences. In addition to evaluating James's use of presuppositions, my paper also offers historical reflections on two different strands of pragmatist philosophy of science. One strand, tracing back through Quine to C. S. Peirce, is more naturalistic, eschewing the use of a priori elements in science. The other strand, tracing back through Kuhn and C. I. Lewis to James, is more friendly to such presuppositions, and to that extent bears affinity with the positivist tradition Friedman occupies. (shrink)

A central theme of Cheryl Misak’s important new history is that there are two markedly different strands of the pragmatist tradition. One pragmatism traces back to Peirce, she thinks, and it takes seriously the ideals of logical precision, truth, and objectivity. This tradition had its insights carried through later analytic philosophy by figures like C. I. Lewis, Quine, and Davidson, among others. The second pragmatism has its roots in James’s (allegedly) more subjectivistic outlook and after Dewey’s death was revived by (...) Goodman, Rorty, and other so-called “neo-pragmatists.”Misak recommends the Peircean strain because it is “committed to doing justice to the objective dimension of human inquiry” (Misak 2013: 3)... (shrink)

This essay narrates what I have learned from Søren Kierkegaard & John Dewey about teaching philosophy. It consists of three sections: 1) a Deweyan pragmatist’s translation of Kierkegaard’s religious insights on Christianity, as a way of life, into ethical insights on philosophy, as a way of life; 2) a brief description of the introductory course that I teach most frequently: Ethics, Happiness, & The Good Life; and 3) an exploration of three spiritual exercises from the course: a) self-cultivation by means (...) of writing in an Ethics Notebook, b) an “existential experiment” in which we practice one of Aristotle’s virtues for a week, and c) a 15-hour service-learning component. (shrink)

The traditional emphasis on the physics of the very small is questioned, and the suggestion made that a crucial test of contributions to the philosophy of science ought to be their applicability to areas which are more representative of the scientific enterprise. Life science is cited as just such an area. It is quantum physics, rather than biology, which nurtures anti-realism. The most respected anti-realism today is that provided by Bas C van Fraassen; and the persuasiveness of his "Constructive Empiricism" (...) is attested to by the failure of avowed realists, such as Ian Hacking, to distance themselves very far from van Fraassen's ideas. A detailed critique of van Fraassen is presented with particular attention paid to his ideas on scientific explanation - the question of whether good explanations are true explanations being one which tends to divide realist and anti-realist. The conclusion is reached that, while realism raises - and fails to answer - a number of philosophical questions, the anti-realism provided by Bas van Fraassen is no better at answering those questions. Moreover, it is argued, van Fraassen's ideas lack plausibility as a description of science and the attitudes of scientists - particularly when attention is shifted from physics to biology. Finally, a number of suggestions are made as to how the philosophical questions posed by realism might be answered in the future. (shrink)

Existence of state-supported academies of science is a distinctive feature of the fundamental-science organization in Ukraine. Their research staff is divided into two groups: (i) personal members (academicians and corresponding members) and the rest of the researchers. First-group members have numerous economic and status privileges. It is officially purported that personal members are scientifically qualified than their colleagues. We analyzed this hypothesis on the basis of international indicators of the scientifi c activity (numbers of publications in the international peer-reviewed journals (...) and citations in them). The indicators testify that there are no distinctions between representatives of both groups being of the same age and qualifi cation. A conclusion is made that the lifelong privileges of the first group are ill-founded. (shrink)

There are numerous theoretical reasons which are usually said to undermine the case for mental causation. But in recent years, Libet‘s experiment on readiness potentials (Libet, Wright, and Gleason 1982; Libet, Gleason, Wright, and Pearl 1983), and a more recent replication by a research team led by John Dylan Haynes (Soon, C.S., Brass, M., Heinze, H.J., and Haynes, J.-D. [2008]) are often singled out because they appear to demonstrate empirically that consciousness is not causally involved in our choices and actions. (...) In this paper, an alternative interpretation of these studies is offered; one which is in accordance both with the empirical evidence and also with the phenomenology of the will, demonstrating that the two opposing views of agency – both the ones that deny the reality of free will and the ones that affirm it – are equally compatible with the outcomes of these two experiments. On this basis, it is shown that the claim that the results on the timing of readiness potential tip the scales in favour of one or the other view cannot be justified - neither from a neurological, nor from a philosophical perspective. (shrink)

"In the programs of Logic and History of Philosophy in the FHUCE study and introduction to logic is always done on the basis of Western classical Greek tradition, and its development is still exclusively through Western culture. This presentation aims to provide a path parallel to the West is the tradition of Nyaya-Vaisesika schools, which arise in the S. V B.C. like a response to the anti-Vedic Buddhist nihilism, and reached an important technical development at the beginning of S. II (...) D.C. when you know the Nyāyasutras attributed to Aksapada Gautama, and are considered the founding text of Nyāya tradition of Indian philosophy. The great virtue of the achievement of these schools is that although the system has Vaisesika been described as "a synthesis between philosophy of nature, ethics and soteriology" , which also applies to school Nyāya in the latter we are also a great emphasis on epistemology and the rules must be observed in philosophical debates. In their synthesis, Nyāya -Vaisesika system gets his language and jargon will be adopted by all who wish to discuss logical issues in India (especially in discussions Vedanta / Buddhism) without the need to adopt such language should assume his ontological, moral and religious premises. (shrink)

We argue that C. Darwin and more recently W. Hennig worked at times under the simplifying assumption of an eternal biosphere. So motivated, we explicitly consider the consequences which follow mathematically from this assumption, and the infinite graphs it leads to. This assumption admits certain clusters of organisms which have some ideal theoretical properties of species, shining some light onto the species problem. We prove a dualization of a law of T.A. Knight and C. Darwin, and sketch a decomposition result (...) involving the internodons of D. Kornet, J. Metz and H. Schellinx. A further goal of this paper is to respond to B. Sturmfels’ question, “Can biology lead to new theorems?”. (shrink)

This is a protocol for a Cochrane Review (Intervention). The objectives are as follows: -/- The main aim of this review will be to assess the effects of changing practitioner empathy or patient expectations for all conditions. The main objective is to conduct a systematic review of randomised trials where the intervention involves manipulating either (a) practitioner empathy or (b) patient expectations, or (c) both.

This paper employs a case study from the history of neuroscience—brain reward function—to scrutinize the inductive argument for the so-called ‘Heuristic Identity Theory’ (HIT). The case fails to support HIT, illustrating why other case studies previously thought to provide empirical support for HIT also fold under scrutiny. After distinguishing two different ways of understanding the types of identity claims presupposed by HIT and considering other conceptual problems, we conclude that HIT is not an alternative to the traditional identity theory so (...) much as a relabeling of previously discussed strategies for mechanistic discovery. (shrink)

Wall, G. Locke's attack on innate knowledge.--Harris, J. Leibniz and Locke on innate ideas.--Greenlee, D. Locke's idea of idea.--Aspelin, G. Idea and perception in Locke's essay.--Greenlee, D. Idea and object in the essay.--Mathews, H. E. Locke, Malebranche and the representative theory.--Alexander, P. Boyle and Locke on primary and secondary qualities.--Ayers, M. R. The ideas of power and substance in Locke's philosophy.--Allison, H. E. Locke's theory of personal identity.--Kretzmann, N. The main thesis of Locke's semantic theory.--Woozley, A. D. Some remarks (...) on Locke's account of knowledge.--Laudan, L. The nature and sources of Locke's views on hypotheses. (shrink)

The revised and polished version of Inwood’s 2011 Carl Newell Jackson at Harvard University, Ethics after Aristotle surveys the ethical teachings of the original “neo-Aristotelians,” namely those self-identified (although not always named) members of the Peripatetic school from the time of Theophrastus (fl. 300 BCE) until that of Alexander of Aphrodisias (fl. 200 CE). An initial chapter surveys the sorts of problems in Aristotle’s ethical corpus which would generate subsequent debate amongst members of the Peripatetic school. Chapter Two examines (...) the views of “Magnus,” the name which Inwood gives to the anonymous 3rd century author of the Magna Moralia (which Inwood takes to be pseudo-Aristotle), and those of Strato of Lampsacus, Lycon, and Hieronymus, 3rd century heads of the Peripatetic school, all of whom show the influences of Epicureanism in their re-articulations of Aristotelian positions. Chapter Three, entitled “The Turning Point,” finds in the work of Critolaus—head of the Peripatetic school in the middle of the 2nd century BCE—a move away from the centrality of activity within Aristotelian ethical thought, which Critolaus instead replaces with the notion of possessing specific goods, namely those of the body, the soul, and what is external. The same chapter argues that at approximately the same historical point Cicero, in the character of Piso in De finibus, articulated an account of Peripatetic ethics that was far more faithful to 4th century Aristotelianism. The final two chapters focus on neo-Aristotelian ethical philosophizing within a new and explicitly Roman cultural setting. (shrink)

SUMMARY. The works of Alexander of Aphrodisias were written a few decades after the publication of the most successful -astrology hand- book in antiquity, Ptolemy's Tetrabiblos Syntaxis, which attempts to naturalize astrology, i.e. to make it agree with Aristotelian theory of science. A comparison of the doctrines between the Tetrabiblos and some passages of Alexander'p works on fate demostrates a noteworthy con¬vergere of the two scholars, and probably a dependence of the lasi great greek Aristotle's exegete on the (...) theories of Ptolemaic astrology, at least in reference to three points: theory of fate; justification of de- vining as a technical and naturai conjecture about man's fate; ana¬lysis of the stars' influence on the sublunary world in physical and phi¬losophical terms. (shrink)

The four volume work of which this book is a part has been praised as one of the great monuments of theoretical scholarship in sociology of the century. The praise has come largely from the older generation of students of Parsons and Merton. A great deal of dispraise has come from Alexander's own generation. Alan Sica's (1983) brilliant, biting review of Volume I speaks for many of Alexander's peers. Volume II is likely to be even more controversial. This (...) volume begins the substantive task of the text, the reinterpretation of the 'theoretical logic' of the classical sociologists, a reinterpretation governed by the intention of transcending the errors and limitations of the 'presuppositional' reasoning of the classical thinkers. For Alexander's sociological audience the second volume is the beginning of what really counts, and Volume II is indeed quite a different affair from the first, 'philosophical' volume: the prose tightens, and the air of getting down to work is palpable. (shrink)

In this paper we discuss how Causal Decision Theory should be modified to handle a class of problematic cases involving deterministic laws. Causal Decision Theory, as it stands, is problematically biased against your endorsing deterministic propositions (for example it tells you to deny Newtonian physics, regardless of how confident you are of its truth). Our response is that this is not a problem for Causal Decision Theory per se, but arises because of the standard method for assessing the truth of (...) certain counterfactuals. The truth of deterministic laws is `modally fragile' on the standard semantics for counterfactuals: if determinism is true and you were to do otherwise, the laws would be different. We provide two ways of avoiding this problem: 1) supplement the standard semantics for counterfactuals with impossible worlds, or 2) introduce rigid designators into the description of problematic decision situations. We argue that both of these approaches are well-motivated and can be readily incorporated into Lewisian Causal Decision Theory. (shrink)

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)

Do famous athletes have special obligations to act virtuously? A number of philosophers have investigated this question by examining whether famous athletes are subject to special role model obligations (Wellman 2003; Feezel 2005; Spurgin 2012). In this paper we will take a different approach and give a positive response to this question by arguing for the position that sport and gaming celebrities are ‘ambassadors of the game’: moral agents whose vocations as rule-followers have unique implications for their non-lusory lives. According (...) to this idea, the actions of a game’s players and other stakeholders—especially the actions of its stars—directly affect the value of the game itself, a fact which generates additional moral reasons to behave in a virtuous manner. We will begin by explaining the three main positions one may take with respect to the question: moral exceptionalism, moral generalism, and moral exemplarism. We will argue that no convincing case for moral exemplarism has thus far been made, which gives us reason to look for new ways to defend this position. We then provide our own ‘ambassadors of the game’ account and argue that it gives us good reason to think that sport and game celebrities are subject to special obligations to act virtuously. (shrink)

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

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)

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)

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)

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)

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)

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)

A number of bioethicists have been critical of the power of the family to “veto” a patient’s decision to posthumously donate her organs within opt-in systems of organ procurement. One major objection directed at the family veto is that when families veto the decision of their deceased family member, they do something wrong by violating or failing to respect the autonomy of that deceased family member. The goal of this paper is to make progress on answering this objection. I do (...) this in two stages. First, I argue that the most plausible interpretation of what happens when a person registers as an organ donor in an opt-in system is that she gives her consent to the state to posthumously remove her organs for transplantation purposes. Call this the Authorization Account. Second, given the Authorization Account, I argue by analogy that when families veto an individual’s decision to donate and the individual’s organs are not in the end removed, neither the doctors nor the family violate the individual’s autonomy in any morally objectionable sense. Call this the Nonremoval Thesis. I argue that since the Nonremoval Thesis is true, we do not violate or fail to respect the autonomy of registered donors when we fail to remove their organs because their family has objected. (shrink)

This paper investigates the emotional import of literary devices deployed in fiction. Reflecting on the often-favored approach in the analytic tradition that locates fictional characters, events, and narratives as sources of readers’ emotions, I attempt to broaden the scope of analysis by accounting for how literary devices trigger non-cognitive emotions. I argue that giving more expansive consideration to literary devices by which authors present content facilitates a better understanding of how fiction engages emotion. In doing so, I also explore the (...) somatic dimension of reading fiction. (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)

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)

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)

Otto Neurath’s empiricist methodology of economics and his contributions to politi- cal economy have gained increasing attention in recent years. We connect this research with contemporary debates regarding the epistemological status of thought experiments by reconstructing Neurath’s utopias as linchpins of thought experiments. In our three reconstructed examples of different uses of utopias/dystopias in thought experiments we employ a reformulation of Häggqvist’s model for thought experiments and we argue that: (1) Our reformulation of Häggqvist’s model more adequately complies with many (...) uses of thought experiments, especially with the open-ended discussions of utopias and dys- topias in thought experiments. (2) As a strict logical empiricist, Neurath is committed to a strictly empiricist account of thought experiments. John Norton’s empiricist argument view can indeed account for the justifications of empirical beliefs and genuine discoveries targeted by scientific utopianism in three distinct (yet connected) ways, all of which Neur- ath already contemplated: (2.I) Dealing with utopias and thought experiments on a regular basis increases creativity and inventiveness. (2.II) Particular ways of presenting knowl- edge facilitate scientific discovery and social progress. (2.III) The use of utopias in thought experiments can prompt conceptual change and allow access to new phenomena. We con- clude by highlighting that, even though thought experiments support a positive attitude for exploring new social possibilities, Neurath points out that active decisions are unavoidable. The exploration of alternatives and the awareness of a need for decisions in policy discus- sion avert a technocratic outlook in social science. (shrink)

We call for a new philosophical conception of models in physics. Some standard conceptions take models to be useful approximations to theorems, that are the chief means to test theories. Hence the heuristics of model building is dictated by the requirements and practice of theory-testing. In this paper we argue that a theory-driven view of models can not account for common procedures used by scientists to model phenomena. We illustrate this thesis with a case study: the construction of one of (...) the first comprehensive model of superconductivity by London brothers in 1934. Instead of theory-driven view of models, we suggest a phenomenologically-driven one. (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)

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)

Pattern-based reasons are reasons for action deriving not from the features of our own actions, but from the features of the larger patterns of action in which we might be participating. These reasons might relate to the patterns of action that will actually be carried out, or they might relate to merely hypothetical patterns. In past work, I have argued that accepting merely hypothetical pattern-based reasons, together with a plausible account of how to weigh these reasons, can lead to disastrous (...) consequences. However, in this article, I argue that this problem is not limited to hypothetical pattern-based reasons: it turns out that there are analogous issues for reasons deriving from actual patterns. I then suggest that we can avoid this problem by adopting a different account of the weight of pattern-based reasons. (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)

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)

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.

What is the highest good actually good for in Kant’s third Critique? While there are well-worked out answers to this question in the literature that focus on the highest good’s practical importance, this paper argues that there is an important function for the highest good that has to do exclusively with contemplation. This important function becomes clear once one notices that coherent [konsequent] thinking, for Kant, was synonymous with "bündiges" thinking, and that both are connected with the highest good in (...) the third Critique’s moral proof for God’s existence. I show that the original meaning of "bündig," which is from the carpentry trade and has been forgotten, illuminates the stakes of the highest good in Kant’s system. For us, as proverbial carpenters of reason, coherence is essential for the intellectual activity of constructing a philosophical worldview in his transcendental idealism. I motivate the reading further by showing how this function can neatly reconstruct Kant’s proof for God’s existence in the third Critique. I conclude by sketching Kant’s reasons for why the project of creating a coherent worldview grounded in the highest good is worth the labor costs. (shrink)

In his recent article entitled ‘Can We Believe the Error Theory?’ Bart Streumer argues that it is impossible (for anyone, anywhere) to believe the error theory. This might sound like a problem for the error theory, but Streumer argues that it is not. He argues that the un-believability of the error theory offers a way for error theorists to respond to several objections commonly made against the view. In this paper, we respond to Streumer’s arguments. In particular, in sections 2-4, (...) we offer several objections to Streumer’s argument for the claim that we cannot believe the error theory. In section 5, we argue that even if Streumer establishes that we cannot believe the error theory, this conclusion is not as helpful for error theorists as he takes it to be. (shrink)

In this paper, I explore a fundamental but under-appreciated distinction between two ways of understanding the desire-satisfaction theory of well-being. According to proactive desire satisfactionism, a person is benefited by the acquisition of new satisfied desires. According to reactive desire satisfactionism, a person can be benefited only by the satisfaction of their existing desires. I first offer an overview of this distinction. I then canvass several ways of developing a general formulation of desire satisfactionism that would capture the reactive view, (...) and argue that all come with significant costs. (shrink)

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)