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)

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)

This essay presents an argument, which it calls the Bias Argument, with the dismaying conclusion that (almost) everyone should significantly reduce her confidence in (too many) philosophical beliefs. More precisely, the argument attempts to show that the most precious philosophical beliefs are biased, as the pervasive and permanent disagreement among the leading experts in philosophy cannot be explained by the differences between their evidence bases and competences. After a short introduction, the premises of the Bias Argument are spelled out in (...) the first part. The second part explains why the objections to the Bias Argument are not compelling. Even though the essay does not adopt the conclusion of the Bias Argument, partly because it seems to be self-defeating, the authors know no plausible way to refute its premises. Thus, the primary aim of the essay is to clarify why the aporetic situation of the Bias Argument arises. (shrink)

By means of the Rollback Argument, this paper argues that metaphysically robust probabilities are incompatible with a kind of control which can ensure that free actions are not a matter of chance. Our main objection to those (typically agent-causal) theories which both attribute a kind of control to agents that eliminates the role of chance concerning free actions and ascribe probabilities to options of decisions is that metaphysically robust probabilities should be posited only if they can have a metaphysical explanatory (...) role but probabilities can explain anything only if chance has a role. First, we reconstruct the Rollback Argument. Second, we criticize the standard ways of reconciling non-chancy control with metaphysically robust probabilities. Finally, we respond to those worries that are related to the thought experiment of the Rollback Argument. (shrink)

The interpretations of sustainability are varied. In most cases, the focus is on reinterpretations and transformations of human attitudes towards the natural environment and certain (unacceptable) social practices and conditions, i.e. the task would be to shape these spheres of human existence in the interests of sustainability. However, the creation and widespread use of the Internet is fundamentally changing human life that is no longer confined to the natural and social spheres. Web life, as a third sphere of human existence (...) created by the universal use of the Internet, is also a component of human condition, both in itself and through its interactions with the natural and social spheres. It is essential to take this into account: the sustainability of these “three spheres” should be addressed together. The continuous construction of web life can be decisive for the sustainability of the whole human existence. (shrink)

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

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)

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.

Although the free will debate of contemporary analytic philosophy lacks almost any kind of historical perspective, some scholars have pointed out a striking similarity between Stoic approaches to free will and Frankfurt’s well-known hierarchical theory. However, the scholarly agreement is only apparent because they disagree about the kind of similarity between the Stoic and the Frankfurtian theories. The main thesis of my paper is that so far, commentators have missed the crucial difference between the Stoics’ approach to free will and (...) Frankfurt’s, a difference that makes the former the superior approach. (shrink)

Ferenc Huoranszki argues for two main claims in the ninth chapter of Freedom of the Will: A Conditional Analysis (Huoranszki 2011). First, Huoranszki tries to show that libertarian restrictivism is false because self-determination in the libertarian sense is not necessary for our responsibility, even if motives, reasons or psychological characteristics can influence us relatively strongly to choose one or the other alternative. second, Huoranszki rejects the so-called manipulation argument.1 this is an argument for the conclusion that unless physical indeterminism is (...) true, nobody can be morally responsible because our behavior is never independent enough of our environment. Therefore, according to Huoranszki, neither libertarian self-determination nor physical indeterminism is required for moral responsibility. in my view, Huoranszki’s counterarguments do not defeat libertarian restrictivism. How- ever, they can force philosophers who defend this theory to modify or refine it. i analyze Huoranszki’s arguments against libertarian self-determination in the first part of my paper. in the second part, I briefly argue for one supervenience argument inspired by a similar objection made earlier (bács 2012). According to this modified argument, Huoranszki’s theory about abilities and responsibility would entail that if physical determinism is true then we are responsible for our ordinary actions only because we are able to do miraculous acts as well. if this objection is correct, Huoranszki’s compatibilism is unsuccessful. (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)

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)

We have begun work on two separate but related ontologies for the study of neurological diseases. The first, the Neurological Disease Ontology (ND), is intended to provide a set of controlled, logically connected classes to describe the range of neurological diseases and their associated signs and symptoms, assessments, diagnoses, and interventions that are encountered in the course of clinical practice. ND is built as an extension of the Ontology for General Medical Sciences — a high-level candidate OBO Foundry ontology that (...) provides a set of general classes that can be used to describe general aspects of medical science. ND is being built with classes utilizing both textual and axiomatized definitions that describe and formalize the relations between instances of other classes within the ontology itself as well as to external ontologies such as the Gene Ontology, Cell Ontology, Protein Ontology, and Chemical Entities of Biological Interest. In addition, references to similar or associated terms in external ontologies, vocabularies and terminologies are included when possible. Initial work on ND is focused on the areas of Alzheimer’s and other diseases associated with dementia, multiple sclerosis, and stroke and cerebrovascular disease. Extensions to additional groups of neurological diseases are planned. The second ontology, the Neuro-Psychological Testing Ontology (NPT), is intended to provide a set of classes for the annotation of neuropsychological testing data. The intention of this ontology is to allow for the integration of results from a variety of neuropsychological tests that assay similar measures of cognitive functioning. Neuro-psychological testing is an important component in developing the clinical picture used in the diagnosis of patients with a range of neurological diseases, such as Alzheimer’s disease and multiple sclerosis, and following stroke or traumatic brain injury. NPT is being developed as an extension to the Ontology for Biomedical Investigations. (shrink)

This paper proposes a specific approach to understanding the nature of technology that encompasses the entire field of technological praxis, from the making of primitive tools to using the Internet. In that approach, technology is a specific form of human agency that yields to (an imperfect) realization of human control over a technological situation—that is, a situation not governed to an end by natural constraints but by specific human aims. The components of such technological situations are a given collection of (...) natural or artificial beings, humans, human aims, and situation-bound tools. By performing technological situation analysis, the essential form of tool making, the complex system of relationships between science and technology, technological practices with and without machines, the finiteness or imperfectness of any technology, and engineering (i.e., the possibility of the creation of technological situations) can be considered. For a better characterization of the approach to technology, the paper also presents a comparison of other philosophies of technology. Following Feenberg’s comparative analysis, the so-called fundamental question of the philosophy of technology is formulated, its two sides are identified, and it is applied for clarification of our position within philosophy of technology. In our approach, all human praxis can be considered to be technological; more precisely, every human activity has a technological aspect or dimension. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

Lakatos constructed his major contribution to the philosophy of science, the methodology of scientific research programmes (MSRP), in the late sixties and early seventies in England, after he had already become estranged from the Popperian philosophy of science. In this paper, we attempt to show that the MSRP was motivated by his philosophical and political ideas from the forties and fifties in Hungary, when he was imbued with the communist ideology and was influenced by the philosophy of Georg Lukács. From (...) this point of view, the MSRP can be considered to be a special representation of Lakatos' earlier political values and practice in the field of history and philosophy of science. (shrink)

The paper argues for the necessity of building up a philosophy of the Internet and proposes a version of it, an «Aristotelian» philosophy of the Internet. First, an overview of the recent trends in the Internet research is presented. This train of thoughts leads to a proposal of understanding the nature of the Internet in the spirit of the Aristotelian philosophy i. e., to conceive the Internet as the Internet, as a totality of its all aspects, as a whole entity. (...) For this purpose, the Internet is explained in four (easily distinguishable, but obviously connected) contexts: we regard it as a system of technology, as an element of communication, as a cultural medium and as an independent organism. Based on these investigations we conclude that the Internet is the medium of a new mode of human existence created by late modern man; a mode that is built on earlier (i. e., natural, and social) spheres of existence and yet it is markedly different from them. We call this newly formed existence web-life. Finally using two enlightening cultural-historical analogies (the reformation of knowledge and the formation of web-life) several fundamental characteristics of the web-life is presented. (shrink)

This chapter argues that mental fictionalism can only be a successful account of our ordinary folk-psychological practices if it can in some way preserve its original function, namely its explanatory aspect. A too strong commitment to the explanatory role moves fictionalism unacceptably close to the realist or eliminativist interpretation of folk psychology. To avoid this, fictionalists must degrade or dispense with this explanatory role. This motivation behind the fictionalist movement seems to be rather similar to that of Sellars when he (...) came up with the Myth of Jones, his proto-theory of mental concepts. He was faced with the problem of preserving the explanatory status of mental concepts without turning them into proper theoretical entities. By introducing the Sellarsian proto-theory of concepts related to the mental and outlining its main points, this chapter aims to provide a critique of the two versions of mental fictionalism that are arguably the strongest: Adam Toon’s prop-oriented pretence theory and Tamás Demeter’s expressive storyism. (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)

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)

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)

This essay examines Gloria Anzaldúa’s critical appropriation of two Mexican philosophers in the writing of Borderlands/La Frontera: Samuel Ramos and Octavio Paz. We argue that although neither of these authors is cited in her seminal work, Anzaldúa had them both in mind through the writing process and that their ideas are present in the text itself. Through a genealogical reading of Borderlands/La Frontera, and aided by archival research, we demonstrate how Anzaldúa’s philosophical vision of the “new mestiza” is a critical (...) continuation of the broader tradition known as la filosofía de lo mexicano, which flourished during a golden age of Mexican philosophy (1910–1960). Our aim is to open new directions in Latinx and Latin American philosophy by presenting Anzaldúa’s Borderlands/La Frontera as a profound scholarly encounter with two classic works of Mexican philosophy, Ramos’ Profile of Man and Culture in Mexico and Paz’s The Labyrinth of Solitude. (shrink)

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

This article examines Gloria Anzaldúa’s critical appropriation of Mexican philosophical sources, especially in the writing of Borderlands/La Frontera. We argue that Anzaldúa effectively contributed to la filosofía de lo mexicano by developing an Inter-American Philosophy of Mexicanness. 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 at the Benson Latin American Collection at (...) the University of Texas at Austin. The eight Mexican philosophical sources we examine and discuss here are: 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)

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

The paper argues for the necessity of building up a philosophy of the internet and proposes a version of it, an ‘Aristotelian’ philosophy of the internet. First, a short overview of some recent trends in the internet research is presented. This train of thoughts leads to a proposal of understanding the nature of the internet in the spirit of the Aristotelian philosophy i.e., to conceive “the internet as the internet”, as a totality of its all aspects, as a whole entity. (...) For this purpose, the internet is explained in four – easily distinguishable, but obviously connected – contexts: we regard it as a system of technology, as an element of communication, as a cultural medium and as an independent organism. Based on these investigations we conclude that the internet is the medium of a new mode of human existence created by late modern man; a mode that is built on earlier (i.e., natural, and social) spheres of existence and yet it is markedly different from them. We call this newly formed existence web-life. (shrink)

This is the second part of a two-part series on the logic of hyperlogic, a formal system for regimenting metalogical claims in the object language (even within embedded environments). Part A provided a minimal logic for hyperlogic that is sound and complete over the class of all models. In this part, we extend these completeness results to stronger logics that are sound and complete over restricted classes of models. We also investigate the logic of hyperlogic when the language is enriched (...) with hyperintensional operators such as counterfactual conditionals and belief operators. (shrink)

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

The hard problem of induction is to argue without begging the question that inductive inference, applied properly in the proper circumstances, is conducive to truth. A recent theorem seems to show that the hard problem has a deductive solution. The theorem, provable in ZFC, states that a predictive function M exists with the following property: whatever world we live in, M ncorrectly predicts the world’s present state given its previous states at all times apart from a well-ordered subset. On the (...) usual model of time a well-ordered subset is small relative to the set of all times. M’s existence therefore seems to provide a solution to the hard problem. My paper argues for two conclusions. First, the theorem does not solve the hard problem of induction. More positively though, it solves a version of the problem in which the structure of time is given modulo our choice of set theory. (shrink)

The medical use of computing and information and communication technologies (ICTs) has a history of several decades, but the emergence of the internet, and especially the web and social media, created a new situation. As a result, currently the term eHealth is widely used – and the usage of the internet (and mobile) “technologies” in healthcare (among the patients and professionals, too) tends to be usual practice. There are more and more signs of the institutionalization of this new sub-disciplinary field (...) of medicine, such as social organizations, healthcare institutes, scientific journals, regular conferences, etc. In this paper, collecting the most relevant developments we will try to characterize this state of affairs in the field. Moreover, as it is well-known, the use of the internet has an enormous impact on society, social systems and subsystems, and even on the everyday life of people. This extended practice also influences medicine and healthcare as social subsystems, and fundamentally transforms some of their characteristics. In this paper, we try to show several important dimensions of these changes. (shrink)

If the total state of the universe is encodable by a real number, Hardin and Taylor have proved that there is a solution to one version of the problem of induction, or at least a solution to a closely related epistemological problem. Is this philosophical application of the Hardin-Taylor result modest enough? The paper advances grounds for doubt. [A longer and more detailed sequel to this paper, 'Proving Induction', was published in the Australasian Journal of Logic in 2011.].

This essay fills in some historical, conceptual, and pedagogical gaps that appear in the most visible and recent professional efforts to “revive” Philosophy as a Way of Life (PWOL). I present “American Philosophy and Self-Culture” as an advanced undergraduate seminar that broadens who counts in and what counts as philosophy by immersing us in the lives, writings, and practices of seven representative U.S.-American philosophers of self-culture, community-building, and world-changing: Benjamin Franklin (1706–1790), Frederick Douglass (1818–1895), William Ellery Channing (1780–1842), Henry David (...) Thoreau (1817–1862), Margaret Fuller (1810-1850), Henry Bugbee (1915–1999), and Gloria Anzaldúa (1942–2004). Students enter the class with preconceptions about who philosophers are, what they do, how they write, and the languages in which they write. Students walk out with new senses of self, place, and language that emerge through new ways of seeing, doing, and writing philosophy. (shrink)

Technology is a specific form of human agency that yields to (an imperfect) realization of human control over a technological situation-that is, a situation not governed to an end by natural constraints but by specific human aims. In this view, technology can be considered the only way of producing artificial beings. However, all technology is finite by nature, which means that sooner or later, all technology will fail, break down, and go wrong. The fate of all technologies and artificial beings (...) produced by technologies is finitude. Human beings are artificial beings, in this way human existence is also finite. (shrink)

Based on recent trends in philosophy of science, in philosophy of technology, and in technosience studies it can be concluded that the following formula expresses a significant relationship of the relevant disciplines: science is equal to technology plus philosophy. In order to disclose the meaning of this relationship first of all we have to characterize a kind of philosophy of technology. In this view, the human rule over technological situations and the creation/use of tools play a fundamental role. The tools (...) are created by interpretation, and any technological praxis is situation-bound. The characteristics of sciences are very different – or even the opposite – ones: in sciences we want to reach a situation-free knowledge. Scientific knowledge is not situation-bound, it is universally valid. The question is: how can we use the situation-bound technological praxis for building up of situation-free scientific knowledge? It can be shown that a specific application of philosophical principles and ideas makes this possible. Philosophy can create worlds from situations. Consequently, following certain prescriptions of both technology and philosophy, we can perform a scientific praxis. In this paper, some historical and philosophical arguments will be presented to show this interrelatedness, the most fundamental relationships between science, technology, and philosophy. (shrink)

Inspired by recent progress in multi-agent Reinforcement Learning (RL), in this work we examine the collective intelligent behaviour of theoretical universal agents by introducing a weighted mixture operation. Given a weighted set of agents, their weighted mixture is a new agent whose expected total reward in any environment is the corresponding weighted average of the original agents' expected total rewards in that environment. Thus, if RL agent intelligence is quantified in terms of performance across environments, the weighted mixture's intelligence is (...) the weighted average of the original agents' intelligences. This operation enables various interesting new theorems that shed light on the geometry of RL agent intelligence, namely: results about symmetries, convex agent-sets, and local extrema. We also show that any RL agent intelligence measure based on average performance across environments, subject to certain weak technical conditions, is identical (up to a constant factor) to performance within a single environment dependent on said intelligence measure. (shrink)

Human existence is being transformed. Its structure, many thousand years old, seems to be changing: built on the natural and the social, there is a third form of existence: web-life. Man is now the citizen of three worlds and its nature is being formed by the relations of natural, social and web-life. We regard as our main goal the study of web-life, which has developed as the result of Internet use.

I propose an approach to liar and Curry paradoxes inspired by the work of Roger Swyneshed in his treatise on insolubles (1330-1335). The keystone of the account is the idea that liar sentences and their ilk are false (and only false) and that the so-called ''capture'' direction of the T-schema should be restricted. The proposed account retains what I take to be the attractive features of Swyneshed's approach without leading to some worrying consequences Swyneshed accepts. The approach and the resulting (...) logic (called ''Swynish Logic'') are non-classical, but are consistent and compatible with many elements of the classical picture including modus ponens, modus tollens, and double-negation elimination and introduction. It is also compatible with bivalence and contravalence. My approach to these paradoxes is also immune to an important kind of revenge challenge that plagues some of its rivals. (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.

Glasgow's conception of the doctrine of ethical egoism - that everyone ought to promote his own interest - is mistaken. Ethical egoism rightly understood holds no such doctrine or normative principle, and regards the promotion of one's own interest neither a "duty" nor an "ought." Everyone does in fact promote his own interests.

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)

In 1937 Joan Robinson proposed that “when capitalism is rightly understood, the rate of interest will be set at zero and the major evils of capitalism will disappear”. A permanent zero rate would abolish capitalist profit except in limited cases, leaving nearly all output to be claimed by labour as wages. It would allow capital to be allocated on the basis of prospective social benefit rather than short-term profitability and a collateral basis that favours the wealthy. It would remove some (...) of the economic pressure to use resources unsustainably. So why not do this? I argue that the few available philosophical arguments for positive interest rates are unsatisfactory. Those who want a just and sustainable form of capitalism should target net zero for the interest rate. (shrink)

A fundamental question asked in modal logic is whether a given theory is consistent. But consistent with what? A typical way to address this question identifies a choice of background knowledge axioms (say, S4, D, etc.) and then shows the assumptions codified by the theory in question to be consistent with those background axioms. But determining the specific choice and division of background axioms is, at least sometimes, little more than tradition. This paper introduces generic theories for propositional modal logic (...) to address consistency results in a more robust way. As building blocks for background knowledge, generic theories provide a standard for categorical determinations of consistency. We argue that the results and methods of this paper help to elucidate problems in epistemology and enjoy sufficient scope and power to have purchase on problems bearing on modalities in judgement, inference, and decision making. (shrink)

Introduction -- What is personal responsibility? -- Ordinary language -- Common conceptions -- What do philosophers mean by responsibility? -- Personally responsible for what? -- What do philosophers think? part I -- Causes -- Capacity -- Control -- Choice versus brute luck -- Second-order attitudes -- Equality of opportunity -- Deservingness -- Reasonableness -- Reciprocity -- Equal shares -- Combining criteria -- What do philosophers think? part II -- Utility -- Self-respect -- Autonomy -- Human flourishing -- Natural duties and (...) special obligations -- A matter of perspectives -- Combining values -- What do politicians think? -- A brief typology -- International comparisons -- Welfare reform -- Healthcare reform -- Rights and responsibilities -- On the responsibilities of politicians -- What do ordinary people think? -- Why ask? -- Attitudes to welfare claimants -- When push comes to shove -- Perceptions and reality -- Further international comparisons -- The trouble with opinion surveys -- Four contemporary issues in focus -- Unemployment -- Health -- Drug abuse -- Personal debt and financial rewards -- So how do we decide? -- Getting the public involved -- Citizens juries -- Answering some potential criticisms. (shrink)

In a recent article forthcoming in *Mind*, Leech (2020) presents a challenge for essentialist accounts of metaphysical modality: why should it be that essences imply corresponding necessities? Leech’s main focus is to argue that one cannot overcome the challenge by utilizing an account of essence in terms of generalized identity due to Correia and Skiles (2019), on pain of circularity. In this reply, we will show how to use identity-based essentialism to bridge ‘epistemic’ and ‘explanatory’ understandings of this alleged essence-to-necessity (...) gap without circularity, Leech’s arguments notwithstanding. We do so by first presenting a novel proof that generalized identities imply corresponding necessities. We then propose several substantive identity-based explanations of how it is, exactly, that essences imply necessities. -/- . (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)

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)

In recent decades, Western philosophy, including personalism, has had to face the question of how to respect the otherness of the personal Other, a challenge issued most famously by Emmanuel Levinas. In his Totality and Infinity, Levinas's conclusions about alterity are stark. The Other is beyond all conceptualization and precedes my activity as a subject. It is the Other who founds my own independent subjectivity as an "I."1 These are indeed radical conclusions, but they raise the question, Does the very (...) term Other itself fully capture the alterity Levinas wishes to do justice to? The term Other (autrui) has a certain unavoidable generality and abstractness to it. Any person who is not myself, the world's population minus one, can be referred to by this term. Yet the Other is always richly distinguished in each case, for each Other is unique. I will argue that the personalist philosophy of Dietrich von Hildebrand reveals that the alterity of the Other rests on the more fundamental uniqueness of the content of our personhood. This content, which is a value, is disclosed in love, and it is indicated in the personal name. It is the name that, better than the term Other, captures the alterity of the personal Other. (shrink)