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)

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 many different ways to talk about the world. Some ways of talking are more expressive than others—that is, they enable us to say more things about the world. But what exactly does this mean? When is one language able to express more about the world than another? In my dissertation, I systematically investigate different ways of answering this question and develop a formal theory of expressive power, translation, and notational variance. In doing so, I show how these investigations (...) help to clarify the role that expressive power plays within debates in metaphysics, logic, and the philosophy of language. (shrink)

This article describes my ongoing attempts to more successfully engage the full linguistic repertoires and cultural identities of undergraduate students at a “Hispanic Serving Institution” (HSI) in South Texas by teaching a bilingual Introduction to Latin American Philosophy course in the “Language, Philosophy, and Culture” area of Texas’ General Education Core Curriculum. By uncovering the diverse identities, worldviews, and languages of those who were historically excluded from the Eurocentric discipline of philosophy through the conquest and colonization of the Americas, Latin (...) American philosophers offer us new ways of thinking and living by challenging Anglocentric language, philosophy, and culture. As part of the new B3 (Bilingual, Bicultural, and Biliterate) vision of the University of Texas Rio Grande Valley, the course is designed to draw upon the richly varied bilingualisms and biliteracies of predominantly Latinx students in order to help them honor, theorize, and cultivate their bicultural identities by “philosophizing in tongues” rather than being forced to assimilate to the monolingual and monocultural ideology that prevails across both mainstream Anglophone philosophy and the system of higher education in the United States of America. (shrink)

Our paper examines Gloria Anzaldúa’s critical appropriation of Mexican philosophical sources, especially in the writing of Borderlands/La Frontera. We demonstrate how Anzaldúa developed a transnational Philosophy of Mexicanness, effectively contributing to what has been recently characterized as the “multi-generational project to pursue philosophy from and about Mexican circumstances” (Vargas). More specifically, we recover “La Mexicana en la Chicana” by paying careful attention to Anzaldúa’s Mexican sources, both those she explicitly cites and those we have discovered while conducting archival research using (...) the Gloria Evangelina Anzaldúa Papers from the Benson Latin American Collection at the University of Texas at Austin. The three sections of our paper: 1) define the terms Mexican and philosophy in conversation with Anzaldúa’s work, 2) examine the Mexican philosophical sources that Anzaldúa cites in Borderlands/La Frontera, and 3) present the other major Mexican philosophical influences on Anzaldúa that we have found in her archive. The eight Mexican philosophical sources we discuss here include: José Vasconcelos (1882-1959), Miguel León-Portilla (1926-2019), Juana Armanda Alegría (1938- ), Octavio Paz (1914-1998), Samuel Ramos (1897-1959), Rosario Castellanos (1925-1974), Sor Juana Inés de La Cruz (1648-1695), and Jorge Carrión (1913-2005). (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)

Joint attention is a social-cognitive phenomenon in which two or more agents direct their attention together towards the same object. Definitions range from this rather broad conception to more specific definitions which require that, in addition, attention be directed to the same aspect of that object and that agents need to be mutually aware of their jointly attending. Joint attention is an important coordination mechanism in joint action. The capacity for engaging in joint attention, in particular in the sense of (...) this narrower definition, is frequently taken to indicate the presence of theory of mind in the participating agents, and is also implicated in the development of theory of mind. However, the prominence of sensorimotor components in establishing and sustaining episodes of joint attention — e.g., eye and head movements, pointing and vocalizations — suggests that sensorimotor approaches to social interaction may be well-placed to account for important parts of joint attention without invoking theory-of-mind abilities, and may therefore provide a valuable alternative to approaches emphasizing theory of mind. In particular, sensorimotor accounts may explain aspects of joint attention through the dynamics and regularities in the sensorimotor processes that coordinate the activities of the agents. (shrink)

Wie kann es gelingen, dem wissenschaftlichen Streben in der Psychologie eine Ordnung zu geben? In dem Buch werden zwei Perspektiven eingenommen: Zunächst blickt die Philosophie auf die Möglichkeit einer theoretischen Psychologie in Hinsicht auf anthropologische und wissenschaftstheoretische Voraussetzungen, dann die Experimentalpsychologie auf die Möglichkeit guter Theoriebildung. Der dritte Teil des Buches ist der Versuch einer Synthese, in dem der philosophisch-psychologische Perspektivenpluralismus als Programm vorgeschlagen wird, die Richtungen, in die der Fortschritt der Disziplin erfolgt, kritisch zu begleiten.

Isaiah Berlin famously attacked a view he called historical inevitability. He believed that a causal view of history entails the adoption of an extreme deterministic position – a kind of determinism which would rule out the possibility of free will, turning moral responsibility a notion void of meaning. His thesis was also based on the assumption that historians are not just chroniclers of the past but need to engage in moral judgments; therefore should determinism hold true of our world, our (...) moral language – and consequently much of our historical language – would need to undergo serious revision. In this brief article we look in some detail at the arguments offered by Berlin in support of his thesis and offer criticism. (shrink)

The late tenth century siddha and scholar Ratnākaraśānti, also known as the Mahāsiddha Śāntipa, was renowned as the author of both philosophical śāstras and commentaries on tantra. Typically, these are considered separate spheres of activity. However, Ratnākaraśānti’s approach, building on the tradition of scholarship associated with the Mahāvairocanābhisaṃbodhitantra and the Guhyasamājatantra, as well as on Yogācāra analysis and Buddhist pramāṇa theory, is highly syncretic. This paper is a study of Ratnākaraśānti’s commentaries that highlights his synthesis of the exoteric and esoteric (...) streams of Buddhist discourse, with particular emphasis on the nondual nature of reflexive awareness (svasaṃvitti, rang rig), or 'luminosity' (prakāśa, gsal ba), which serves as the conceptual bridge between sūtra and tantra. (shrink)

The A-theory of time is plagued by certain standard armchair problems: the presentism–eternalism dilemma, the problem of truth-makers, the alleged impossibility of cross-temporal relations, and the problem of temporary intrinsics. These challenges supposedly force A-theories to make incredible claims. I argue that these challenges are not deep antinomies in common sense, but rest on avoidable mistakes. Then I present a new A-theory that shows what’s possible once we move past the old problems. On this proposal, time’s passing is a metaphysically (...) fundamental aspect of reality. I take this to mean that there are fundamental facts like: four hours passed from 8am today until noon. This A-theory also posits fundamental facts about the state of the universe at a time, and about cross-temporal relationships. The proposed metaphysical package attractively articulates our common sense, pre-relativistic conception of time. (shrink)

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

Appearing for the first time in English, Art and the Working Class is the work of Alexander Bogdanov, a revolutionary polymath and co-founder, with Vladimir Lenin, of the Bolshevik faction of the Russian Social Democratic Labor Party. Bogdanov was a strong proponent of the arts, co-founding the Proletarian Culture (Proletkult) organization to provide political and artistic education to workers. In this book, Bogdanov discusses the origins of art, its class characteristics, and how it might be created within a revolutionary (...) socialist context. (shrink)

In this paper, we consider two different attempts to make an end run around the experimentalist challenge to the armchair use of intuitions: one due to Max Deutsch and Herman Cappelen, contending that philosophers do not appeal to intuitions, but rather to arguments, in canonical philosophical texts; the other due to Joshua Knobe, arguing that intuitions are so stable that there is in fact no empirical basis for the experimentalist challenge in the first place. We show that a closer attention (...) to philosophical practices reveal, in turn, that we cannot make sense of these philosophical texts as arguments all the way down; and that our methods are so sensitive to error that even a modest amount of instability is enough to raise deep methodological concerns. (shrink)

This thesis develops a detailed account of the emergence of for all practical purposes continuous, quasi-classical world histories from the discontinuous, stochastic micro dynamics of Minimal Bohmian Mechanics (MBM). MBM is a non-relativistic quantum theory. It results from excising the guiding equation from standard Bohmian Mechanics (BM) and reinterpreting the quantum equilibrium hypothesis as a stochastic guidance law for the random actualization of configurations of Bohmian particles. On MBM, there are no continuous trajectories linking up individual configurations. Instead, individual configurations (...) are actualized independently of each other, carving out the decoherence-induced branching structure of the universal wave function. Yet, by contrast to the Everett interpretation, branches of the universal wave function are not actualized in parallel, i.e. all at the same time. Rather, world branches, on MBM, are actualized sequentially. -/- For an introduction to MBM, the transition from BM to MBM is described, and their empirical equivalence is established. I present the conditions under which MBM can be classified as a primitive ontology (PO) theory, regarded as crucial for the acceptance of a theory as Bohmian by many proponents of BM. While rendering MBM compatible with the PO approach, it must not fall prey to the problem of communication, arising from the two-space reading of BM. -/- The issue of temporal solipsism, identified by Bell as a serious problem for his “Everett (?) theory” – the historic predecessor of MBM – is discussed. I argue that Barbour’s time capsule approach does not provide a satisfactory solution. In particular, his adopting a more than minimal psychophysical parallelism between brain processes and experience of macroscopic change is argued to be reasonable in light of our current best neuroscience, yet problematic for theories relying solely on time capsules, understood as highly structured, individual, internally static configurations. As a solution, I introduce worlds, and world histories, as key concepts in providing a link between MBM’s micro dynamics and macroscopic phenomena. Worlds, other than time capsules, are coarse-grained regions in phase- or configuration space, defined as sets of possible micro states satisfying a relation of sufficient similarity from a macroscopic perspective, with respect to a given micro state. Hence, worlds may overlap. -/- I argue that worlds thus construed are a reasonable option for replacing the disjoint macro regions of phase space, resulting from the usual way of partitioning phase space in the standard framework of Boltzmannian statistical mechanics. This move solves the issue of discontinuous change of macro variables upon the micro state crossing the boundary between different macro regions. -/- I adapt this move for MBM’s discontinuous micro dynamics in configuration space. Issues revolving around the microscopic-macroscopic distinction, particle identity, impenetrability and haecceity in light of the desideratum of particle number conservation, etc., are discussed. I provide a detailed explanation of how overlapping worlds in MBM form world histories, thereby linking up macroscopically distinct worlds. Thus, the problem of temporal solipsism is resolved in a way that is compatible with a more than minimal psychophysical parallelism. (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)

The paradox of hedonism is the idea that making pleasure the only thing that we desire for its own sake can be self-defeating. Why would this be true? In this paper, I survey two prominent explanations, then develop a third possible explanation, inspired by Joseph Butler's classic discussion of the paradox. The existing accounts claim that the paradox arises because we are systematically incompetent at predicting what will make us happy, or because the greatest pleasures for human beings are found (...) in certain special goods which hedonists cannot enjoy. On the account that I develop, the paradox is a consequence of a theory about the nature of pleasure, together with a view about the requirements of rational belief. Which of these explanations is correct, I argue, bears on central questions about how to understand the nature and extent of the paradox. (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)

Can an agent's intelligence level be negative? We extend the Legg-Hutter agent-environment framework to include punishments and argue for an affirmative answer to that question. We show that if the background encodings and Universal Turing Machine (UTM) admit certain Kolmogorov complexity symmetries, then the resulting Legg-Hutter intelligence measure is symmetric about the origin. In particular, this implies reward-ignoring agents have Legg-Hutter intelligence 0 according to such UTMs.

‘Ecopoiesis: A Manifesto for Ecological Civilization’ contains the main provisions related to a new type of civilization, which should replace the industrial civilization, which has actually exhausted the potential of its development and has become the leading force for the destruction of humans and the living environment. A Manifesto for Ecological Civilization is the basis of the scenario for the development of culture and various public institutions, recognizing the potential of people to control their own destiny, to take effective steps (...) to preserve life on earth. (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)

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)

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 argue that embodied understanding and conceptual-representational understanding interact through schematic structure. I demonstrate that common conceptions of these two kinds of understanding, such as developed by Wheeler (2005, 2008) and Dreyfus (2007a, b, 2013), entail a separation between them that gives rise to significant problems. Notably, it becomes unclear how they could interact; a problem that has been pointed out by Dreyfus (2007a, b, 2013) and McDowell (2007) in particular. I propose a Kantian strategy to close the gap between (...) them. I argue that embodied and conceptual-representational understanding are governed by schemata. Since they are governed by schemata, they can interact through a structure that they have in common. Finally, I spell out two different ways to conceive of the schematic interaction between them—a close, grounding relationship and a looser relationship that allows for a minimal interaction, but preserves the autonomy of both forms of understanding. (shrink)

We present a game mechanic called pseudo-visibility for games inhabited by non-player characters (NPCs) driven by reinforcement learning (RL). NPCs are incentivized to pretend they cannot see pseudo-visible players: the training environment simulates an NPC to determine how the NPC would act if the pseudo-visible player were invisible, and penalizes the NPC for acting differently. NPCs are thereby trained to selectively ignore pseudo-visible players, except when they judge that the reaction penalty is an acceptable tradeoff (e.g., a guard might accept (...) the penalty in order to protect a treasure because losing the treasure would hurt even more). We describe an RL agent transformation which allows RL agents that would not otherwise do so to perform some limited self-reflection to learn the training environments in question. (shrink)

One shortcoming of the chain rule is that it does not iterate: it gives the derivative of f(g(x)), but not (directly) the second or higher-order derivatives. We present iterated differentials and a version of the multivariable chain rule which iterates to any desired level of derivative. We first present this material informally, and later discuss how to make it rigorous (a discussion which touches on formal foundations of calculus). We also suggest a finite calculus chain rule (contrary to Graham, Knuth (...) and Patashnik's claim that "there's no corresponding chain rule of finite calculus"). (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)

We provide an intuitive motivation for the hyperreal numbers via electoral axioms. We do so in the form of a Socratic dialogue, in which Protagoras suggests replacing big-oh complexity classes by real numbers, and Socrates asks some troubling questions about what would happen if one tried to do that. The dialogue is followed by an appendix containing additional commentary and a more formal proof.

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)

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)

A supplemental document for "The Logic of Hyperlogic. Part A: Foundations".

We consider an extended notion of reinforcement learning in which the environment can simulate the agent and base its outputs on the agent's hypothetical behavior. Since good performance usually requires paying attention to whatever things the environment's outputs are based on, we argue that for an agent to achieve on-average good performance across many such extended environments, it is necessary for the agent to self-reflect. Thus weighted-average performance over the space of all suitably well-behaved extended environments could be considered a (...) way of measuring how self-reflective an agent is. We give examples of extended environments and introduce a simple transformation which experimentally seems to increase some standard RL agents' performance in a certain type of extended environment. (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)

Scientific realists don’t standardly discriminate between, say, biology and fundamental physics when deciding whether the evidence and explanatory power warrant the inclusion of new entities in our ontology. As such, scientific realists are committed to a lush rainforest of special science kinds (Ross, 2000). Viruses certainly inhabit this rainforest – their explanatory power is overwhelming – but viruses’ properties can be explained from the bottom up: reductive explanations involving amino acids are generally available. However, reduction has often been taken to (...) lead to a metaphysical downgrading, so how can viruses keep their place in the rainforest? 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 trout and turkeys, but philosophically gerrymandered objects like trout-turkeys do not qualify. (shrink)

While small group discussion is invaluable to the philosophy classroom, I think it can be improved. In this paper I present a method that I have developed to better facilitate active learning in the spirit of a philosopher within a Socratic community. My method is to form what I call a “philosophical think tank,” which takes the form of a small group that persists for the duration of the semester in order to overcome deficiencies that can arise if groups are (...) determined anew with each class meeting. After presenting the technique, I offer an overview of results, possible issues, and ideas for future development. (shrink)

In 2011, Hibbard suggested an intelligence measure for agents who compete in an adversarial sequence prediction game. We argue that Hibbard’s idea should actually be considered as two separate ideas: first, that the intelligence of such agents can be measured based on the growth rates of the runtimes of the competitors that they defeat; and second, one specific (somewhat arbitrary) method for measuring said growth rates. Whereas Hibbard’s intelligence measure is based on the latter growth-rate-measuring method, we survey other methods (...) for measuring function growth rates, and exhibit the resulting Hibbard-like intelligence measures and taxonomies. Of particular interest, we obtain intelligence taxonomies based on Big-O and Big-Theta notation systems, which taxonomies are novel in that they challenge conventional notions of what an intelligence measure should look like. We discuss how intelligence measurement of sequence predictors can indirectly serve as intelligence measurement for agents with Artificial General Intelligence (AGIs). (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, 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)

After being nominated by Martin Luther King, Jr. for the Nobel Peace Prize, the “gentle and fearless” Vietnamese Buddhism monk Thich Nhat Hanh established a worldwide movement called the Order of Interbeing, which deals with major human conflicts with ancient Buddhist teachings. By drawing from original Buddhist texts, Hanh has created an authentic type of religious activism based on mindfulness of our connectedness that has real potential for peace, because of its twin focus on resolution and prevention. In this paper, (...) I discuss how the Order has come into existence, its framework, its cause, how it educates its members, and how effectively it is creating a culture of peace by examining the history of the Order, reading Hanh’s wisdom books and poetry, analyzing its structure, and interviewing a local Sangha on their mystical experiences. I argue that Thich Nhat Hanh’s engaged Buddhism has the potential to make a significant impact on mankind. (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)

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)

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)

This dissertation examines the theory of perceptual cognition laid out by the 7th century Buddhist scholar, Dharmakīrti, in his magnum opus, the Pramāṇavārttika. Like most theories of perception, both ancient and modern, the sensory cognition of ordinary objects is a topic of primary concern. Unlike other theorists, however, Dharmakīrti advances a technical definition of “perception” as a cognition which is both nonconceptual and non-erroneous. Dharmakīrti’s definition of perception is thereby deliberately inclusive of three additional types of “perceptual” cognition, in addition (...) to veridical sensory awareness: the nonconceptual mental apprehension of an immediately-preceding cognition (“mental perception”), the vivid appearance of soteriologically efficacious objects of contemplative practice (“yogic perception”), and the sheer unmediated presence of the contents of cognition—whatever these might be—to the cognizing mind (“reflexive awareness”). Through the logical examination of what it means to be aware of an object, Dharmakīrti demonstrates that the awareness of an object is just the awareness of a phenomenal form or cognitive image produced by that object. Pursuing this analysis further, however, Dharmakīrti argues that the very notion of an object of cognition that exists “externally” or outside the mind is incoherent. Additionally, Dharmakīrti maintains that the phenomenological structure of subject and object—that is, the “first-personal” sense of one’s own cognitions as pertaining to oneself (“for-me-ness”), together with the inseparably concomitant sense that the objects of cognition exist “out there” in an extramental world—is strictly a form of cognitive error. Therefore, because ordinary sensory cognition is inherently structured by this subject-object duality, ordinary sensory cognition must in the final analysis be understood as erroneous. According to Dharmakīrti, in other words, ultimately only the nondual “luminosity” of reflexive awareness is genuinely perceptual, because only reflexive awareness is undistorted by nature. In this way, Dharmakīrti’s epistemology provides a theoretical foundation for the advanced nondual contemplative practices of Indian and Tibetan Buddhism, particularly Mahāmudrā and rDzogs chen. (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.

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)

Katherine Dormandy aims both to classify possible modes of relating faith to epistemic norms in terms of three broad viewpoints: evidentialism, epistemological partialism, and anti-epistemological partialism. I advance two related claims: first, her categorization flattens the epistemological terrain by treating epistemic norms that operate at different levels as if they operated on the same level and thereby distorts the views she categorizes under Anti-Epistemological Partiality; and second, when rightly described, the noetic conflict involved in this view can be understood as (...) waged between epistemic norms of different types and function. To advance this claim, I examine Pascal’s conception of faith. For Pascal, we require first principles to establish an interpretive framework for understanding the universe and interpreting evidence, but outside of statements whose negations are self-contradictory, we cannot distinguish between “natural” principles and fantasies; faith is then understood as a relation to the Divine that allows the believer to receive, through grace, more accurate first principles. Faith therefore has a special cognitive status: (a) it has the right to influence how we interpret the world, including our epistemic norms and how to accommodate apparently disconfirming evidence, and (b) it is resilient to being reinterpreted in ways that would hinder it from fulfilling this function of stabilizing our epistemic situation—in the manner, for example, that such functioning would be hindered by negative beliefs concerning whether God exists, is good, and is faithful. The Pascalian believer is therefore involved in a much more subtle type of struggle than one between evidence and belief. Her conflict is waged between evidence and the interpretive framework through which she understands the world, including that evidence. I use the example of Job as a paradigm of how such a believer responds to apparently disconfirming evidence, treating doubt as grounds for frankly asking, or even demanding, God to answer one’s doubts, for the sake of his justice and love. (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)

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)