Unmanaged recreation presents a challenge to both researchers and managers of outdoor recreation in the United States because it is shrouded in uncertainty resulting from disagreement over the definition of the problem, the strategies for resolving the problem, and the outcomes of management. Incomplete knowledge about recreation visitors’ values and relationships with one another, other stakeholders, and the land further complicate the problem. Uncertainty and social complexity make the unmanaged recreation issue a wicked problem. We describe the wickedness inherent in (...) unmanaged recreation and some of the implications of wickedness for addressing the problem for the Front Range of the Rocky Mountains in Colorado. Conclusions about the nature of the problem are based on a problem appraisal that included a literature review and interviews of key informants. Addressing wickedness calls for institutional changes that allow for and reward the use of trust building, inclusive communication, and genuinely collaborative processes. (shrink)

We study the structure of families of theories in the language of arithmetic extended to allow these families to refer to one another and to themselves. If a theory contains schemata expressing its own truth and expressing a specific Turing index for itself, and contains some other mild axioms, then that theory is untrue. We exhibit some families of true self-referential theories that barely avoid this forbidden pattern.

We construct a machine that knows its own code, at the price of not knowing its own factivity.

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

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)

A reading is offered of Carl Hempel’s and Thomas Kuhn’s positions on, and disagreements about, rationality in science that relates these issues to the debate between W.V. Quine and Rudolf Carnap on the analytic/synthetic distinction.

Elementary patterns of resemblance notate ordinals up to the ordinal of Pi^1_1-CA_0. We provide ordinal multiplication and exponentiation algorithms using these notations.

I argue that Hubert Dreyfus’ work on embodied coping, the intentional arc, solicitations and the background as well as his anti-representationalism rest on introspection. I denote with ‘introspection’ the methodological malpractice of formulating ontological statements about the conditions of possibility of phenomena merely based on descriptions. In order to illustrate the insufficiencies of Dreyfus’ methodological strategy in particular and introspection in general, I show that Heidegger, to whom Dreyfus constantly refers as the foundation of his own work, derives ontological statements (...) about the conditions of possibility of phenomena not merely from descriptions, but also from analyses. I further show that deriving ontological statements directly from descriptions entails implausible results. I do so by discussing representative cases. Based on these general methodological considerations, I show that Dreyfus’ work on action, skill and understanding is introspective. First, I demonstrate that Dreyfus’ influential claim that rules and representations do not govern skillful actions is the result of introspection, because it is merely founded on the absence of rules and representations in representative descriptions of skillful actions. Second, I show that Dreyfus’ work on embodied coping, the intentional arc, solicitations and the background is also based on introspection. These ontological structures are merely reifications of descriptions and are not further substantiated by analyses. (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)

Despite the frequency of stillbirths, the subsequent implications are overlooked and underappreciated. We present findings from comprehensive, systematic literature reviews, and new analyses of published and unpublished data, to establish the effect of stillbirth on parents, families, health-care providers, and societies worldwide. Data for direct costs of this event are sparse but suggest that a stillbirth needs more resources than a livebirth, both in the perinatal period and in additional surveillance during subsequent pregnancies. Indirect and intangible costs of stillbirth are (...) extensive and are usually met by families alone. This issue is particularly onerous for those with few resources. Negative effects, particularly on parental mental health, might be moderated by empathic attitudes of care providers and tailored interventions. The value of the baby, as well as the associated costs for parents, families, care providers, communities, and society, should be considered to prevent stillbirths and reduce associated morbidity. (shrink)

Anydomainofscientificresearchhasitssustainingorthodoxy. Thatis, research on a problem, whether in astronomy, physics, or biology, is con- ducted against a backdrop of broadly shared assumptions. It is these as- sumptionsthatguideinquiryandprovidethecanonofwhatisreasonable-- of what "makes sense." And it is these shared assumptions that constitute a framework for the interpretation of research results. Research on the problem of how we see is likewise sustained by broadly shared assump- tions, where the current orthodoxy embraces the very general idea that the business of the visual system is to (...) create a detailed replica of the visual world, and that it accomplishes its business via hierarchical organization and by operatingessentiallyindependently of other sensorymodalitiesas well as independently of previous learning, goals, motor planning, and motor execution. (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)

In ‘Excusing Mistakes of Law’, Gideon Yaffe sets out to ‘vindicate’ the claim ‘that mistakes of law never excuse’ by ‘identifying the truth that is groped for but not grasped by those who assert that ignorance of law is no excuse’. Yaffe does not offer a defence of the claim that mistakes of law never excuse. That claim, Yaffe argues, is false. Yaffe’s article is, rather, an effort to assess what plausible thought might be behind the idea that mistakes of (...) law often should not excuse. (Yaffe is interested in more than just the descriptive claim that in Anglo-American legal jurisdictions mistakes of law routinely do not, in fact, excuse.) More particularly, Yaffe is interested in what plausible normative justification there might be for this asymmetric pattern: -/- Asymmetry: False beliefs about non-legal facts often excuse, but false beliefs about the law rarely excuse. -/- Yaffe offers a complex argument in support of Asymmetry. This paper is organised around my reconstruction of Yaffe’s argument. I argue that Yaffe’s argument does not succeed, but that his argument provides a template for an argument that could succeed. (shrink)

Multiple states are at risk of becoming uninhabitable due to climate change, forcing their populations to flee. While the 1951 Refugee Convention provides the gold standard of international protection, it is only applied to a limited subset of people fleeing their countries, those who suffer persecution, which most people fleeing climate change cannot establish. While many journalists and non-lawyers freely use the term “climate refugees,” governments, and courts, as well as UNHCR and many refugee experts, have excluded most climate refugees (...) from the Convention as a matter of legal interpretation. In our 2015 paper, “Unable to Return in the 1951 Refugee Convention: Stateless Refugees and Climate Change”, we sought to reopen the debate on “climate refugees” by arguing that some climate refugees qualify under the 1951 Convention as it is currently written (even if they are not persecuted): those who are stateless and are unable to return to their country of origin because climate change has rendered it uninhabitable. Our interpretation, however, has been rejected by Goodwin-Gill and McAdam (2021) and by Foster and Lambert (2019), which explicitly responds to our paper. Here, we address and respond to their arguments, and develop a new supplementary one, drawing on the principle of systemic integration, as enshrined in Article 31(3)(c) of the Vienna Convention on the Law of Treaties. (shrink)

Reinhardt’s conjecture, a formalization of the statement that a truthful knowing machine can know its own truthfulness and mechanicalness, was proved by Carlson using sophisticated structural results about the ordinals and transfinite induction just beyond the first epsilon number. We prove a weaker version of the conjecture, by elementary methods and transfinite induction up to a smaller ordinal.

Buddhist philosophy asserts that human suffering is caused by ignorance regarding the true nature of reality. According to this, perceptions and thoughts are largely fabrications of our own minds, based on conditioned tendencies which often involve problematic fears, aversions, compulsions, etc. In Buddhist psychology, these tendencies reside in a portion of mind known as Store consciousness. Here, I suggest a correspondence between this Buddhist Store consciousness and the neuroscientific idea of stored synaptic weights. These weights are strong synaptic connections built (...) in through experience. Buddhist philosophy claims that humans can find relief from suffering through a process in which the Store consciousness is transformed. Here, I argue that this Buddhist 'transformation at the base' corresponds to a loosening of the learned synaptic connections. I will argue that Buddhist meditation practices create conditions in the brain which are optimal for diminishing the strength of our conditioned perceptual and behavioural tendencies. (shrink)

This paper analyzes a non-temporal interpretation of the adverb sempre “always” in European Portuguese and Italian, in which the adverb expresses persistence of the truth of a proposition over time and displays specific contextual constraints (TP-sempre). Despite an overlap in the contexts in which TP-sempre may occur in both languages, we provide data showing that its distribution is not exactly the same in European Portuguese and Italian. In view of these data, we propose that TP-sempre is a modal operator of (...) confirmation in both languages, but that it is more restricted in Italian in that it has a plan presupposition only in this language. (shrink)

The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

The National Center for Biomedical Ontology is now in its seventh year. The goals of this National Center for Biomedical Computing are to: create and maintain a repository of biomedical ontologies and terminologies; build tools and web services to enable the use of ontologies and terminologies in clinical and translational research; educate their trainees and the scientific community broadly about biomedical ontology and ontology-based technology and best practices; and collaborate with a variety of groups who develop and use ontologies and (...) terminologies in biomedicine. The centerpiece of the National Center for Biomedical Ontology is a web-based resource known as BioPortal. BioPortal makes available for research in computationally useful forms more than 270 of the world's biomedical ontologies and terminologies, and supports a wide range of web services that enable investigators to use the ontologies to annotate and retrieve data, to generate value sets and special-purpose lexicons, and to perform advanced analytics on a wide range of biomedical data. (shrink)

In discussions of the Aharonov-Bohm effect, Healey and Lyre have attributed reality to loops $\sigma_0$ (or hoops $[\sigma_0]$), since the electromagnetic potential $A$ is currently unmeasurable and can therefore be transformed. I argue that $[A]=[A+d\lambda]_{\lambda}$ and the hoop $[\sigma_0]$ are related by a meaningful duality, so that however one feels about $[A]$ (or any potential $A\in[A]$), it is no worse than $[\sigma_0]$ (or any loop $\sigma_0\in[\sigma_0]$): no ontological firmness is gained by retreating to the loops, which are just as flimsy (...) as the potentials. And one wonders how the unmeasurability of one entity can invest another with physical reality; would an eventual observation of $A$ dissolve $\sigma_0$, consigning it to a realm of incorporeal mathematical abstractions? The reification of loops rests on the potential's ''gauge dependence''; which in turn rests on its unmeasurability; which is too shaky and arbitrary a notion to carry so much weight. (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)

This paper brings new work to bear on the perennial question about Hobbes's atheism to show that as a debate about scepticism it is falsely framed. Hobbes, like fellow members of the Mersenne circle, Descartes and Gassendi, was no sceptic, but rather concerned to rescue physics and metaphysics from radical scepticism by exploring corporealism. In his early letter of November 1640, Hobbes had issued a provocative challenge to Descartes to abandon metaphysical dualism and subscribe to a ?corporeal God?; a provocation (...) to which the Frenchman angrily responded, but was perhaps importantly influenced. Hobbes's minimal realism was consonant with atheism, to which Descartes felt he was being forced. Moreover, Hobbes was unrelenting in his battle against Cartesian dualism, for which he saw Robert Boyle's experimental science as a surrogate. (shrink)

The article considers what arbitrary law-making is and what may count as arbitrary law-making in the field of migration policy. It contributes to the discussion of arbitrary law-making in relation to migration policy in two ways. First, it offers an analysis of arbitrariness, pointing out that rhetorical definitions abound – perhaps not surprisingly, given that migration is a highly-contested policy area – and argues for why transposing a conception developed in ethical theory to the law has high theoretical costs. An (...) alternative conception is described and found to be better equipped to deal with arbitrary law-making in migration policy. It is argued that if we want to understand how arbitrariness plays out in the field of migration law – which is necessary to find ways to hinder its spread by the adoption of specific law-making practices – we first need to distinguish arbitrariness from legitimate choices of legislators. Secondly, a typology of forms of arbitrariness is fleshed out in relation to contemporary migration policy. The policy area is here broadly construed to include not only naturalisation processes, but also migration, asylum and refugee policies and more generally border control. The examples are taken from a broad selection of countries. They have been chosen for illustrative purposes only. Keywords: arbitrariness, discretion, arbitrary power, forms of arbitrary power, borders, migration policy, citizenship policy. (shrink)

The Molyneux question asks: would a blind person, who knows spheres and cubes only from touch, be able to recognize these shapes visually immediately upon becoming sighted, without touching them? Molyneux himself answered no. Locke accepted Molyneux’s negative answer. But Locke’s answer appears inconsistent with the doctrine of common sensibles, according to which some ideas are given in more than one sense modality. Motivated by alleviating this tension, philosophers have put forth several interpretations of Locke’s views on shape perception. Here (...) I motivate a novel interpretation of Locke that can better resolve the tension. (shrink)

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

Kant uses ‘wish’ as a technical term to denote a strange species of desire. It is an instance in which someone wills an object that she simultaneously knows she cannot bring about. Or in more Kantian garb: it is an instance of the faculty of desire’s (or will’s) failing insofar as a desire (representation) cannot be the cause of the realization of its corresponding object in reality. As a result, Kant originally maintained it to be antithetical to morality, which deals (...) with ‘ought implies can’. However, Kant’s notion of wish is not static. On the contrary, I argue in this article that Kant re-evaluated the capacity to wish as (to some extent) causally efficacious and, further, of moral relevance. This re-evaluation has not been discussed in the literature, yet has been lurking in plain sight in a subtle but decisive shift evident in two versions of a footnote from the *Critique of the Power of Judgement* (KU). (shrink)

Amazon Book Review Series of “Wild Wise Weird”.

Malcolm’s English-Latin Leviathan is a marvelous technical accomplishment. My issues are with his contextualization, seeing Leviathan primarily as an advice book for Hobbes’s teenage pupil, the future Charles II. Malcolm’s localization involves minimalizing Leviathan's remoter sources, so the European Republic of Letters, for which Hobbes so painstakingly translated his works into Latin, is almost entirely missing, along with current European traditions of Hobbes scholarship. Is this very British Hobbes truly credible, or do we need a more European Hobbes to account (...) for the complexity of Leviathan? (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)

Sumantra Ghoshal’s condemnation of “bad management theories” that were “destroying good management practices” has not lost any of its salience, after a decade. Management theories anchored in agency theory (and neo-classical economics generally) continue to abet the financialization of society and undermine the functioning of business. An alternative approach (drawn from a more classic institutional, new ecological, and refocused ethical approaches) is reviewed.

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 Ontology for Biomedical Investigations (OBI) is an ontology that provides terms with precisely defined meanings to describe all aspects of how investigations in the biological and medical domains are conducted. OBI re-uses ontologies that provide a representation of biomedical knowledge from the Open Biological and Biomedical Ontologies (OBO) project and adds the ability to describe how this knowledge was derived. We here describe the state of OBI and several applications that are using it, such as adding semantic expressivity to (...) existing databases, building data entry forms, and enabling interoperability between knowledge resources. OBI covers all phases of the investigation process, such as planning, execution and reporting. It represents information and material entities that participate in these processes, as well as roles and functions. Prior to OBI, it was not possible to use a single internally consistent resource that could be applied to multiple types of experiments for these applications. OBI has made this possible by creating terms for entities involved in biological and medical investigations and by importing parts of other biomedical ontologies such as GO, Chemical Entities of Biological Interest (ChEBI) and Phenotype Attribute and Trait Ontology (PATO) without altering their meaning. OBI is being used in a wide range of projects covering genomics, multi-omics, immunology, and catalogs of services. OBI has also spawned other ontologies (Information Artifact Ontology) and methods for importing parts of ontologies (Minimum information to reference an external ontology term (MIREOT)). The OBI project is an open cross-disciplinary collaborative effort, encompassing multiple research communities from around the globe. To date, OBI has created 2366 classes and 40 relations along with textual and formal definitions. The OBI Consortium maintains a web resource providing details on the people, policies, and issues being addressed in association with OBI. (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)

Reason and emotion are often cast as opposites. Yet emotion comes in a wide array of manifestations and has a variety of relations with its supposed opposite. Understanding emotion better is key to grasping how jurisprudence casts the relation between psychology and judicial decision making. Jurisprudents disagree on whether and when (lack of) emotion is a problem for decision makers in the justice system. The aim of this paper is to shed light on unarticulated assumptions in mainstream legal theory concerning (...) this disagreement. The paper plots the different positions jurisprudents hold concerning the role of emotion in judicial decision making, regardless of where they stand on matters such the nature of law. The paper substantiates the claim that legal theorists often take an irrationalist approach to emotion but occasionally develop an alternative account that is closer to a cognitivist approach, the prime example of which is the claim that equity requires practical reasoning. Emotions are then cast as skills to be appreciated. The paper concludes that jurisprudence adopts a simplistic view of emotion. The study of the role of emotion has been hampered by the tendency to view emotions reductively. My classificatory effort warrants the conclusion that lack of emotion – understood as a skill in cognitivist terms – constitutes a problem for justice. (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)

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)

Schwarz pursues a primordial theme by Freudian means, extrapolating from the psychogenesis of a person to the psychogenesis of a nation. He thus associates monarchy with culture in its infancy, displaying infantile narcisism and meglomania. But as perhaps the best worst case, Pharaonic Egypt, demonstrates, meglomania and narcissism expresssed in colossi, grandiose claims of the king that would shame even the gods, are more likely a sign of weakness than strength. And classical republicanism continues to maintain a monarchical element, now (...) transferred to presidents. (shrink)

ABSTRACT: Why would someone concerned with heresy, who defined it as private opinion that flew in the face of doctrine sanctioned by the public person, harbor such a detailed interest in heterodoxy? Hobbes's religious beliefs ultimately remain a mystery, as perhaps they were meant to: the private views of someone concerned to conform outwardly to what his church required of him, and thereby avoid to heresy, while maintaining intellectual autonomy. The hazard of Hobbes's particular catechism is that he and his (...) supporters could never avoid the suspicion of insincerity. His preparedness to believe whatever the prince demanded of him smacked of heresy in the more usual sense, despite elaborate biblical exegesis designed to prove his orthdoxy. Undoubtedly he realized it even as he wrote the last lines of Leviathan, expressing the hope that "I cannot think it will be condemned at this time, either by the Publique Judge of Doctrine, or by any that desires the continuance of Publique Peace/7 Indicating an intention to return to science, he continued, "I hope the Novelty will as much please, as in the Doctrine of this Artificiall Body it useth to Offend" (Lev, Rev. and conclusion, 491). (shrink)

In his 2022 article ‘A puzzle about the fixity of the past’, Lampert argues that standard views concerning knowledge and the semantics of ‘actually’ conflict with a widely held principle concerning the fixity of the past. I show that his attempt to establish the conflict fails, as it rests on the implicit assumption that a past mental state or utterance involving a modal indexical must have the same content across worlds with a shared past, when in fact it must, given (...) its character, differ in content. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical interpretation of the (...) connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

We propose a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which combines both epistemic modality and constraints on discourse structure. We argue that the felicitous use of these modal particles requires that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, where p* is incompatible with the proposition modified by afinal/alla fine, and that the interlocutors share knowledge of a previous (...) epistemic attitude toward p*. We analyze two main cases, that of plan-related propositions and that of propositions without plans. We also discuss the connections between truth unpersistence and evidentiality. (shrink)

Lampert and Waldrop have recently presented a puzzle about moral responsibility and logical truth, in which they derive a contradiction from three apparently plausible principles: (A) no one is responsible for any logical truth; (B) if no one is responsible for something, then no one is responsible for what it strictly implies; and (C) someone is responsible for something. They argue that, in response, we must give up (B)—a principle that plays a key role in arguments for incompatibilism. In this (...) paper, I argue that this response is mistaken, and that the lesson to be drawn lies elsewhere. For the puzzle also rests on a conception of logical truth according to which there are contingent logical truths. And, given this conception, (A) is false—for reasons independent of (B). So the import here concerns, not a connection between responsibility and the debate over incompatibilism, but a connection between responsibility and the debate over the correct conception of logical truth: one can hold on to (A), or hold on to the relevant conception of logical truth, but not both. (shrink)

This paper provides a semantic analysis of the particles afinal (European Portuguese) and alla fine (Italian) in terms of the notion of truth unpersistence, which can be situated at the intersection of epistemic modality and discourse structure. In the analysis proposed, the particles are propositional operators and require that the truth of a proposition p* fail to persist through a temporal succession of epistemic states, this proposition being incompatible with the prejacent, and that the interlocutors share knowledge of a previous (...) epistemic attitude toward p*. We analyze two main cases (plan-related and non plan-related propositions) and also show that these particles are indexical to one (or more) epistemic agent(s) and allow for shifts in perspective. (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)

Jennifer Nagel (2010) has recently proposed a fascinating account of the decreased tendency to attribute knowledge in conversational contexts in which unrealized possibilities of error have been mentioned. Her account appeals to epistemic egocentrism, or what is sometimes called the curse of knowledge, an egocentric bias to attribute our own mental states to other people (and sometimes our own future and past selves). Our aim in this paper is to investigate the empirical merits of Nagel’s hypothesis about the psychology involved (...) in knowledge attribution. (shrink)

Do we live in a computer simulation? I will present an argument that the results of a certain experiment constitute empirical evidence that we do not live in, at least, one type of simulation. The type of simulation ruled out is very specific. Perhaps that is the price one must pay to make any kind of Popperian progress.

Mark Jago has presented a dilemma for truthmaker non-maximalism—the thesis that some but not all truths require truthmakers. The dilemma arises because some truths that do not require truthmakers by the non-maximalist’s lights (e.g., that Santa Claus does not exist) are necessitated by truths that do (e.g., that Barack Obama knows that Santa Claus does not exist). According to Jago, the non-maximalist can supply a truthmaker for such a truth only by conceding the primary motivation for the view: that it (...) allows one to avoid positing strange ‘negative’ entities without adopting a non-standard account of the necessary features of ordinary things. In this paper, I sketch out and defend two plausible non-maximalist proposals that evade Jago’s dilemma. (shrink)