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

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

Can an AGI create a more intelligent AGI? Under idealized assumptions, for a certain theoretical type of intelligence, our answer is: “Not without outside help”. This is a paper on the mathematical structure of AGI populations when parent AGIs create child AGIs. We argue that such populations satisfy a certain biological law. Motivated by observations of sexual reproduction in seemingly-asexual species, the Knight-Darwin Law states that it is impossible for one organism to asexually produce another, which asexually produces another, and (...) so on forever: that any sequence of organisms (each one a child of the previous) must contain occasional multi-parent organisms, or must terminate. By proving that a certain measure (arguably an intelligence measure) decreases when an idealized parent AGI single-handedly creates a child AGI, we argue that a similar Law holds for AGIs. (shrink)

A supplemental document for "Metalinguistic Gradability".

It is commonly held that retraction data, if they exist, show that assessment relativism is preferable to non-indexical contextualism. I argue that this is not the case. Whether retraction data have the suggested probative force depends on substantive questions about the proper treatment of tense and location. One’s preferred account in these domains should determine whether one accepts assessment relativism or non-indexical contextualism.

In the history of philosophy, the distinction between positive and negative predication has been collapsed. The collapse has caused us to search for a way through Parmenides’ gate: we have constructed scaffolding to see over its boundaries. Kant gave us the distinction between conceptual and non-conceptual knowledge; Hegel gave us determinate negation; Frege gave us the negation stroke; Husserl gave us bracketing and disappointment; G. Spencer-Brown gave us a calculus of distinction. Despite this, we find ourselves—alongside Wittgenstein— wondering how it (...) can be the case that we are able to think what is not the case. We are puzzled by the fact that we can think nothing without the thought lacking content. I suggest that this confusion is unnecessary. Throughout this work, I exercise the thought that the distinction between positive and negative predication is mistaken. I rather suggest that to think what is or is not the case necessarily depends upon an exemplar distinction that is experientially recognized and learned in the world. All the same, our capacity to understand natural distinction likewise depends upon our practical and pervasively conceptual capacities to express it in language. I conclude by suggesting that what makes positive and negative predication distinct is a fundamental unity in conceptual form through its capacity to play distinct functional roles in linguistic practice. (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)

This paper argues that higher-order doubt generates an epistemic dilemma. One has a higher-order doubt with regards to P insofar as one justifiably withholds belief as to what attitude towards P is justified. That is, one justifiably withholds belief as to whether one is justified in believing, disbelieving, or withholding belief in P. Using the resources provided by Richard Feldman’s recent discussion of how to respect one’s evidence, I argue that if one has a higher-order doubt with regards to P, (...) then one is not justified in having any attitude towards P. Otherwise put: No attitude towards the doubted proposition respects one’s higher-order doubt. I argue that the most promising response to this problem is to hold that when one has a higher-order doubt about P, the best one can do to respect such a doubt is to simply have no attitude towards P. Higher-order doubt is thus much more rationally corrosive than non-higher-order doubt, as it undermines the possibility of justifiably having any attitude towards the doubted proposition. (shrink)

Contrary to the popular assumption that linguistically mediated social practices constitute the normativity of action (Kiverstein and Rietveld, 2015; Rietveld, 2008a,b; Rietveld and Kiverstein, 2014), I argue that it is affective care for oneself and others that primarily constitutes this kind of normativity. I argue for my claim in two steps. First, using the method of cases I demonstrate that care accounts for the normativity of action, whereas social practices do not. Second, I show that a social practice account of (...) the normativity of action has unwillingly authoritarian consequences in the sense that humans act only normatively if they follow social rules. I suggest that these authoritarian consequences are the result of an uncritical phenomenology of action and the fuzzy use of “normative”. Accounting for the normativity of action with care entails a realistic picture of the struggle between what one cares for and often repressive social rules. (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)

Verteilungsgerechtigkeit befasst sich mit der Verteilung von Gütern innerhalb einer Gruppe, wobei verschiedene Verteilungsprinzipien und -ergebnisse als mögliche Ideale einer solchen Verteilung verhandelt werden. Diese normativen Ansätze sind oft rein verbal formuliert, wodurch ihre Anwendung auf unterschiedliche konkrete Verteilungssituationen, die hinsichtlich ihrer Gerechtigkeit beurteilt werden sollen, häufig schwer fällt. Eine Möglichkeit, fein abgestufte Gerechtigkeitsbeurteilungen verschiedener Verteilungen präzise erfassen zu können, besteht in der formalen Modellierung solcher Ideale durch Maße oder Indizes. Die Auswahl eines geeigneten Maßes, das ein gewisses Ideal abbilden (...) soll, muss ihrerseits eine Fundierung erfahren, was durch die Forderung von begründeten Axiomen erreicht werden kann, denen ein Maß genügen soll. In der vorliegenden Arbeit werden solche Axiome für Maße der Verteilungsgerechtigkeit am Beispiel von Bedarfsgerechtigkeit eingeführt. Ferner werden exemplarische Maße der Bedarfsgerechtigkeit vorgestellt. Damit wird für die Beurteilung und Modellierung von Maßen der Verteilungsgerechtigkeit eine erste diskutable Grundlage gelegt. (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)

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)

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

This essay suggests that the U.S.-American Pragmatist tradition could be fruitfully reconstructed by way of a dialogue with Latin American Liberation Philosophy. More specifically, I work to establish a common ground for future comparative work by: 1) gathering and interpreting Enrique Dussel’s scattered comments on Pragmatism, 2) showing how the concept of liberation already functions in John Dewey’s Pragmatism, and 3) suggesting reasons for further developing this inter-American philosophical dialogue and debate.

Dieses Buch bietet eine grundlegende Einführung in die wichtigsten Aspekte der Vermittlung und des Erwerbs von mathematischer Modellierungskompetenz im Schulkontext. In den letzten Jahren hat sich unter anderem anhand der Covid-19 Pandemie mehr denn je gezeigt, wie Mathematik im Allgemeinen und das mathematische Modellieren im Speziellen zum Verständnis globaler Herausforderungen und Möglichkeiten zu ihrer Bewältigung beiträgt. Deshalb sollte die mathematische Modellierungskompetenz eine zentrale Rolle im Schulunterricht spielen. Dies kann auch zur Vermittlung eines ganzheitlichen Bildes der Mathematik beitragen. Doch der Prozess (...) von Vermittlung und Erwerb einer solchen Kompetenz ist komplex und mit vielfältigen Schwierigkeiten verbunden. Angesichts dieser Ausgangslage fasst das Buch Geschichte und Definition der Modellierungskompetenz im Mathematikunterricht zusammen, stellt die damit verbundenen Ziele und Perspektiven dar, veranschaulicht theoretische Hintergrundüberlegungen, stellt Modellierungsaufgaben und passende Lernumgebungen vor und weist auf notwendige Teilkompetenzen und mögliche Hindernisse beim Erwerb von Modellierungskompetenz hin. Letztendlich wird damit auch der Anspruch der Vermittlung eines ganzheitlichen Bildes der Mathematik im Schulunterricht angesprochen. Als Zusammenfassung der wichtigsten Aspekte des mathematischen Modellierungskompetenz im Schulkontext richtet sich das Buch an Mathematikdidaktiker*innen und Lehrkräfte aller Schulformen. (shrink)

Der Diskurs um den doxastischen Voluntarismus behandelt die Frage, ob es möglich ist, einen Glaubenszustand intentional und mehr oder minder spontan herbeizuführen. Dabei sind historisch verschiedenste Positionen verhandelt worden. Es soll nicht versucht werden, eine Antwort auf die Frage nach der Möglichkeit zu liefern; vielmehr sollen methodische Überlegungen zur Klärung der Frage in den Fokus gerückt werden. Es wird gezeigt, dass die eigentliche Frage präzisierungsbedürftig ist. Exemplarisch wird ein ausgewählter Präzisierungsversuch aus dem zeitgenössischen Diskurs kritisch beleuchtet und ihm wird ein (...) Verständnis der Frage entgegengesetzt, das die Diskussion um die Möglichkeit eines doxastischen Voluntarismus in einen neuen Rahmen einbetten kann. (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)

The legal reasons that bind a judge and the moral reasons that bind all persons can sometimes pull in different directions. There is perhaps no starker example of such judicial dilemmas than in criminal sentencing. Particularly where mandatory minimum sentences are triggered, a judge can be forced to impose sentences that even the judge regards as “immensely cruel, if not barbaric.” Beyond those directly harmed by overly harsh laws, some courts have recognized that “judges who, forced to participate in such (...) inhumane acts, suffer a loss of dignity and humanity as well.” When faced with such a judicial dilemma—a powerful tension between the judge’s legal and moral reasons—the primary question is what a judge can do to resolve it. We argue that the two standard responses—sacrificing morality to respect the law (“legalism”), or sacrificing the law to respect morality (“moralism”)—are unsatisfying. Instead, this Article defends an underexplored third response: rather than abandoning one ideal to maximally promote the other, we argue that judges should seek to at least minimally satisfy the demands of both. Judges should, in other words, look for and employ what we dub Satisficing Options. These are actions that enjoy sufficient support from both the legal reasons and the moral reasons, and thus are both legally and morally permissible—even if the acts in question would not strictly count as optimal by the lights of the law or morality. This common sensical response to the problem is not only underappreciated in the literature, but also has great practical import. Focusing on the sentencing context, this Article demonstrates that judicial dilemmas can be systematically resolved, mitigated or avoided through a range of concrete strategies that on their own or in conjunction can constitute Satisficing Options: these strategies include seeking out legally permitted but morally preferable interpretations of the law, expressing condemnation of unjust laws in dicta, and seeking assistance or cooperation from other actors to help defendants facing substantively unjust mandatory sentences. While these strategies can at times also go too far, we argue that in certain contexts they can be sufficiently defensible on both legal and moral grounds to be a justifiable response to judicial dilemmas. This Article thus provides both a novel theoretical framework for understanding the justification of judicial responses to unjust laws, as well as a practical a menu of options which judges can use to guide their responses to the judicial dilemmas that they are increasingly likely to encounter within our criminal justice system. (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)

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)

Before committing suicide, Othello says, "Speak of me as I am; . . . speak of one who loved not wisely, but too well." Thinking of his love for Desdemona, we are not likely to agree with his assessment that he loved her "too well," especially if loving well is supposed to require some kind of dependability or concern for her well-being; we would be loath even to grant that he loved her "too much." Othello's love for his wife seems, (...) rather, to have been firmly subordinated to his love for his honor. Perhaps, then, his statement could be saved by saying that it was his honor that he loved too well, and that in devoting himself so completely to it, he did not love wisely. He needed a better way of coordinating his two concerns, one that wouldn't give him cause for regret—a way of loving well that was also wise. (shrink)

Inductive logic would be the logic of arguments that are not valid, but nevertheless justify belief in something like the way in which valid arguments would. Maybe we could describe it as the logic of “almost valid” arguments. There is a sort of transitivity to valid arguments. Valid arguments can be chained together to form arguments and such arguments are themselves valid. One wants to distinguish the “almost valid” arguments by noting that chains of “almost valid” arguments are weaker than (...) the links that form them. But it is not clear that this is so. I have an apparent counterexample the claim. Though: as is typical in these sorts of situations, it is hard to tell where the problem lies. (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 paper advocates for the introduction of poetic inquiry in Nigerian universities as a powerful approach to decolonizing research and reclaiming indigenous ways of knowing. It highlights the need to challenge outdated colonial concepts of higher education that have suppressed poetry and other indigenous forms of exploration and understanding. It argues that the incorporation of poetic inquiry in Nigerian universities can create inclusive and transformative spaces that foster social justice, cultural affirmation, and knowledge decolonization. The paper draws on literature on (...) decolonial and critical pedagogy to argues that poetic inquiry enables researchers to engage with alternative modes of expression and challenge dominant Western-centric paradigms. It underscores the social and political implications of embracing poetry as a means of reimagining narratives and reshaping power dynamics within academia and society at large. By validating and honouring indigenous knowledge systems, poetic inquiry promotes self-determination and cultural revitalization while bridging the gap between academia and the wider community. The paper offers recommendations on how Poetic Inquiry may be integrated into the curriculum of Nigerian universities. (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)

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)

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)

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

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 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)

In the study of modal and nonclassical logics, translations have frequently been employed as a way of measuring the inferential capabilities of a logic. It is sometimes claimed that two logics are “notational variants” if they are translationally equivalent. However, we will show that this cannot be quite right, since first-order logic and propositional logic are translationally equivalent. Others have claimed that for two logics to be notational variants, they must at least be compositionally intertranslatable. The definition of compositionality these (...) accounts use, however, is too strong, as the standard translation from modal logic to first-order logic is not compositional in this sense. In light of this, we will explore a weaker version of this notion that we will call schematicity and show that there is no schematic translation either from first-order logic to propositional logic or from intuitionistic logic to classical logic. (shrink)

Academics do not only teach but they also research. Research cannot be up-taken unless there is a means of dissemination. One of the ways of research report dissemination is the conference. The academic conference is an opportunity for scholars to assemble and engage in conversations that aim at improving the practice of teaching and learning. It provides a forum for the sharing of ideas and experiences that enhance education and, by extension, human life. One of the challenges that academics face (...) is rarely what to present at conferences, but how to present for impact. This paper justifies conference attendance and proposes strategies for the reengineering of conference presentations for national development. (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)

A biologically unavoidable sequence is an infinite gender sequence which occurs in every gendered, infinite genealogical network satisfying certain tame conditions. We show that every eventually periodic sequence is biologically unavoidable (this generalizes König's Lemma), and we exhibit some biologically avoidable sequences. Finally we give an application of unavoidable sequences to cellular automata.

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.

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)

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)

Are the real numbers rich enough to measure intelligence? We generalize a result of Alexander and Hutter about the so-called Legg-Hutter intelligence measures of reinforcement learning agents. Using the generalized result, we exhibit a paradox: in one particular version of the Legg-Hutter intelligence measure, certain agents all have intelligence 0, even though in a certain sense some of them outperform others. We show that this paradox disappears if we vary the Legg-Hutter intelligence measure to be hyperreal-valued rather than real-valued.

The branching time analysis grounds the possibilities entailed by temporal indeterminism in a branching temporal structure. I construct a spatial analog of the branching time analysis – the branching space analysis – according to which the possibilities entailed by spatial indeterminism are grounded in branching spatial structure. The construction proceeds in such a way as to show the analogies between the branching space and branching time analyses. I argue that the two views are a package. In particular: the theoretical virtues (...) of the one are theoretical virtues of the other and so if one ought to be accepted, then the other should also be accepted. And: if one ought to be denied, then the other ought to be denied as well. Thus, the branching space analysis functions either as a counterexample to the reductive strategy embodied in the branching time analysis or as a reasonable extension of it – as a lesson learned from it. (shrink)

Development economist Hernando de Soto Polar has effectively advocated for property rights in the Third World, as his ideas have influenced the policies of the World Bank, International Monetary Fund and United Nations Development Programme. He envisions land titling as a means of lifting the poor out of poverty. I argue that his classical liberal interpretations of property and the good life are dangerously naive. One can see the dangers of de Soto’s imperialist and one-dimensional vision after considering the cultural (...) destruction that results from his brand of development in pastoral Kenya. Also, this article demands a reframing of standardized development approaches. It argues that the conventional view is prone to creating unstable, culturally hegemonic relationships between the government and entrepreneurs, and the people of the land. Asymmetrical lawfare is another nondemocratic feature of de Soto’s development. This article emphasizes that Kenyan pastoralists are not inherently vulnerable people but that they have been rendered vulnerable by society. Lastly, the United Nations Declaration on the Rights of Indigenous Peoples (UNDRIP) is the basis for an alternative to de Soto’s development design. UNDRIP was a hard-fought legal protection for the world’s indigenous peoples that makes human dignity central to development. The Global North and Global South produce differing visions of development. This article points to Kenya as an example of how the Global North’s vision has fundamentally failed because it disenfranchises pastoralists—the very people policymakers and policy supporters claim it is intended to benefit. (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)

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.].

Undoubtedly the Penrose-Hameroff Orch OR model may be considered as a good theory for describing information processing mechanisms and holistic phenomena in the human brain, but it doesn’t give us satisfactory explanation of human perception. In this work a new approach explaining our perception is introduced, which is in good agreement with Orch OR model and other mainstream science theories such as string theory, loop quantum gravity and holographic principle. It is shown that human perception cannot be explained in the (...) terms of elementary particles and we should introduce new indivisible holistic objects with geometry based on smooth infinitesimal analysis - elastic membranes. The example of such a membrane is our Universe which is an indivisible whole. It is shown that our perception may be considered as the result of elastic oscillations of two dimensional (2D) elastic membranes with closed topology embedded in our bodies. Only one elastic membrane responsible for its perceptions will correspond to the selected organism, but there may be other membranes, even at the cell level. In other words, reality may be considered as the process of time evolution of holistic energetically very weak macro objects - elastic membranes with the geometry based on smooth infinitesimal analysis. An embedded membrane in this multidimensional world will look different for the external and internal observers: from the outside it will look like a material object with smooth infinitesimal geometry, while from the inside our Universe-like space-time fabric. When interacting with elementary particles and other membranes, a membrane will transform their energy into its elastic energy (a new form of energy) - the energy of stretching of the infinitesimal segments. The theory postulates that these elastic deformations will not be observable from the point of view of the internal observer. Heisenberg’s uncertainty principle will work in this physics only from the point of view of the internal observer. For the external observer each embedded elastic membrane may be stretched and even a very small region will become observable. For example, living organisms play the role of internal observers of the Universe, and at the same time they serve as external observers for 2D membranes embedded into our Universe. We can observe our 2D self-membranes through our perceptions, which are encoded in elastic oscillations of the elastic membrane. According to the theory, elastic membranes occupy energetically favorable positions around microtubules involved into Orch OR. The theory not only gives us a really multidimensional holistic picture of reality, but it also provides us with a new method for understanding such phenomena as perception, self-awareness and will. (shrink)