I review five explicit attempts throughout the history of quantum mechanics to invoke dispositional notions in order to solve the quantum paradoxes, namely: Margenau’s latencies, Heisenberg’s potentialities, Popper’s propensity interpretation of probability, Nick Maxwell’s propensitons, and the recent selective propensities interpretation of quantum mechanics. I raise difficulties and challenges for all of them, but conclude that the selective propensities approach nicely encompasses the virtues of its predecessors. I elaborate on some of the properties of the type of propensities (...) that I claim to be successful for quantum mechanics, and finish by briefly sketching out ways in which similar notions can be read into some of the other well-known interpretations of quantum mechanics. (shrink)

The possible-worlds semantics for modality says that a sentence is possibly true if it is true in some possible world. Given classical prepositional logic, one can easily prove that every consistent set of propositions can be embedded in a ‘maximal consistent set’, which in a sense represents a possible world. However the construction depends on the fact that standard modal logics are finitary, and it seems false that an infinite collection of sets of sentences each finite subset of which is (...) intuitively ‘possible’ in natural language has the property that the whole set is possible. The argument of the paper is that the principles needed to shew that natural language possibility sentences involve quantification over worlds are analogous to those used in infinitary modal logic. (shrink)

This is a chapter of the planned monograph "Out of Nowhere: The Emergence of Spacetime in Quantum Theories of Gravity", co-authored by Nick Huggett and Christian Wüthrich and under contract with Oxford University Press. (More information at www<dot>beyondspacetime<dot>net.) This chapter introduces causal set theory and identifies and articulates a 'problem of space' in this theory.

We begin by showing that every theory of the value of uncertain prospects must have one of three unpalatable properties. _Reckless_ theories recommend giving up a sure thing, no matter how good, for an arbitrarily tiny chance of enormous gain; _timid_ theories permit passing up an arbitrarily large potential gain to prevent a tiny increase in risk; _non-transitive_ theories deny the principle that, if A is better than B and B is better than C, then A must be better than (...) C. Having set up this trilemma, we study its horns. Non-transitivity has been much discussed; we focus on drawing out the costs and benefits of recklessness and timidity when it comes to axiology, decision theory, and normative uncertainty. (shrink)

The term “posthuman” has been used in very different senses by different authors.2 I am sympathetic to the view that the word often causes more confusion than clarity, and that we might be better off replacing it with some alternative vocabulary.

The Sleeping Beauty problem is test stone for theories about self-locating belief, i.e. theories about how we should reasons when data or theories contain indexical information. Opinion on this problem is split between two camps, those who defend the "1/2 view" and those who advocate the "1/3 view". I argue that both these positions are mistaken. Instead, I propose a new "hybrid" model, which avoids the faults of the standard views while retaining their attractive properties. This model _appears_ to violate (...) Bayesian conditionalization, but I argue that this is not the case. By paying close attention to the details of conditionalization in contexts where indexical information is relevant, we discover that the hybrid model is in fact consistent with Bayesian kinematics. If the proposed model is correct, there are important lessons for the study of self-location, observation selection theory, and anthropic reasoning. (shrink)

Depersonalization disorder (DPD) is a psychiatric condition in which there is a pervasive change in the quality of subjective experience, in the absence of psychosis. The core complaint is a persistent and disturbing feeling that experience of oneself and the world has become empty, lifeless, and not fully real. A greatly reduced emotional responsivity, or “de-affectualization,” is frequently described. This article examines the phenomenology and neurobiology of DPD with a particular emphasis on the emotional aspects. It is argued that the (...) study of DPD may provide valuable insights into the relationship between emotion, experience, and identity. (shrink)

The Doomsday argument purports to show that the risk of the human species going extinct soon has been systematically underestimated. This argument has something in common with controversial forms of reasoning in other areas, including: game theoretic problems with imperfect recall, the methodology of cosmology, the epistemology of indexical belief, and the debate over so-called fine-tuning arguments for the design hypothesis. The common denominator is a certain premiss: the Self-Sampling Assumption. We present two strands of argument in favor of this (...) assumption. Through a series of thought experiments we then investigate some bizarre prima facie consequences – backward causation, psychic powers, and an apparent conflict with the Principal Principle. (shrink)

The standard topological representation of a Boolean algebra via the clopen sets of a Stone space requires a nonconstructive choice principle, equivalent to the Boolean Prime Ideal Theorem. In this article, we describe a choice-free topological representation of Boolean algebras. This representation uses a subclass of the spectral spaces that Stone used in his representation of distributive lattices via compact open sets. It also takes advantage of Tarski’s observation that the regular open sets of any topological space form a Boolean (...) algebra. We prove without choice principles that any Boolean algebra arises from a special spectral space X via the compact regular open sets of X; these sets may also be described as those that are both compact open in X and regular open in the upset topology of the specialization order of X, allowing one to apply to an arbitrary Boolean algebra simple reasoning about regular opens of a separative poset. Our representation is therefore a mix of Stone and Tarski, with the two connected by Vietoris: the relevant spectral spaces also arise as the hyperspace of nonempty closed sets of a Stone space endowed with the upper Vietoris topology. This connection makes clear the relation between our point-set topological approach to choice-free Stone duality, which may be called the hyperspace approach, and a point-free approach to choice-free Stone duality using Stone locales. Unlike Stone’s representation of Boolean algebras via Stone spaces, our choice-free topological representation of Boolean algebras does not show that every Boolean algebra can be represented as a field of sets; but like Stone’s representation, it provides the benefit of a topological perspective on Boolean algebras, only now without choice. In addition to representation, we establish a choice-free dual equivalence between the category of Boolean algebras with Boolean homomorphisms and a subcategory of the category of spectral spaces with spectral maps. We show how this duality can be used to prove some basic facts about Boolean algebras. (shrink)

This article provides an algebraic study of the propositional system $\mathtt {InqB}$ of inquisitive logic. We also investigate the wider class of $\mathtt {DNA}$ -logics, which are negative variants of intermediate logics, and the corresponding algebraic structures, $\mathtt {DNA}$ -varieties. We prove that the lattice of $\mathtt {DNA}$ -logics is dually isomorphic to the lattice of $\mathtt {DNA}$ -varieties. We characterise maximal and minimal intermediate logics with the same negative variant, and we prove a suitable version of Birkhoff’s classic variety (...) theorems. We also introduce locally finite $\mathtt {DNA}$ -varieties and show that these varieties are axiomatised by the analogues of Jankov formulas. Finally, we prove that the lattice of extensions of $\mathtt {InqB}$ is dually isomorphic to the ordinal $\omega +1$ and give an axiomatisation of these logics via Jankov $\mathtt {DNA}$ -formulas. This shows that these extensions coincide with the so-called inquisitive hierarchy of [9].1. (shrink)

In some situations a number of agents each have the ability to undertake an initiative that would have significant effects on the others. Suppose that each of these agents is purely motivated by an altruistic concern for the common good. We show that if each agent acts on her own personal judgment as to whether the initiative should be undertaken, then the initiative will be undertaken more often than is optimal. We suggest that this phenomenon, which we call the unilateralist’s (...) curse, arises in many contexts, including some that are important for public policy. To lift the curse, we propose a principle of conformity, which would discourage unilateralist action. We consider three different models for how this principle could be implemented, and respond to an objection that could be raised against it. (shrink)

Active materials are self-propelled non-living entities which, in some circumstances, exhibit a number of cognitively interesting behaviors such as gradient-following, avoiding obstacles, signaling and group coordination. This has led to scientific and philosophical discussion of whether this may make them useful as minimal models of cognition (Hanczyc, 2014; McGivern, 2019). Batterman and Rice (2014) have argued that what makes a minimal model explanatory is that the model is ultimately in the same universality class as the target system, which underpins why (...) it exhibits the same macrobehavior. We appeal to recent research in basal cognition (Lyon et al., 2021) to establish appropriate target systems and essential features of cognition as a target of modeling. Looking at self-propelled oil droplets, a type of active material, we do not find that organization alone indicates that these systems exhibit the essential features of cognition. We then examine the specific behaviors of oil droplets but also fail to find that these demonstrate the essential features of cognition. Without a universality class, Batterman & Rice’s account of the explanatory power of minimal models simply does not apply to cognition. However, we also want to stress that it is not intended to; cognition is not the same type of behavioral phenomena as those found in physics. We then look to the minimal cognition methodology of Beer (1996, 2020a, b) to show how active materials can be explanatorily valuable regardless of their cognitive status because they engage in specific behaviors that have traditionally been expected to involve internal representational dynamics, revealing misconceptions about the cognitive underpinnings of certain, specific behaviors in target systems where such behaviors are cognitive. Further, Beer’s models can also be genuinely explanatory by providing dynamical explanations. (shrink)

This paper attempts to provide, through a reading of Derrida's Rogues, an account of the political phenomenon where regimes of sovereignty are resisted in the name of the very values — freedom, democracy and human rights, for example — they purport to stand for. To Derrida, sovereignty must simultaneously conform to a logic of both self-identity and of unconditionality. However, the unconditionality that makes sovereignty possible will always threaten and exceed it, something that other accounts like Agamben's try implicitly to (...) deny. In the end, for Derrida, our present political challenge is to recognize, and even affirm, the way the unconditionality of sovereignty is turned against itself. Sovereignty, then, is most effectively dealt with not by imagining a world in which it will no longer occur, nor by simple opposition, but by committing to the very logic of sovereignty itself. (shrink)

In 1995 Visser, van Benthem, de Jongh, and Renardel de Lavalette introduced NNIL-formulas, showing that these are exactly the formulas preserved under taking submodels of Kripke models. In this article we show that NNIL-formulas are up to frame equivalence the formulas preserved under taking subframes of frames, that NNIL-formulas are subframe formulas, and that subframe logics can be axiomatized by NNIL-formulas. We also define a new syntactic class of ONNILLI-formulas. We show that these are the formulas preserved in monotonic images (...) of frames and that ONNILLI-formulas are stable formulas as introduced by Bezhanishvili and Bezhanishvili in 2013. Thus, ONNILLI is a syntactically defined set of formulas axiomatizing all stable logics. This resolves a problem left open in 2013. (shrink)

In a recent paper in this journal, Ken Olum attempts to refute the Doomsday argument by appealing to the self-indication assumption, the idea that your very existence gives you reason to think that there are many observers. In contrast to earlier refutation attempts that use this strategy, Olum confronts and try to counter some of the objections that have been made against SIA. We argue that his defense of SIA is unsuccessful. This does not, however, mean that one has to (...) accept the Doomsday argument. A developed theory of observation selection effects shows why the Doomsday argument is inconclusive and how one can consistently reject both it and SIA. (shrink)

A deductive system is said to be structurally complete if its admissible rules are derivable. In addition, it is called hereditarily structurally complete if all its extensions are structurally complete. Citkin (1978) proved that an intermediate logic is hereditarily structurally complete if and only if the variety of Heyting algebras associated with it omits five finite algebras. Despite its importance in the theory of admissible rules, a direct proof of Citkin’s theorem is not widely accessible. In this paper we offer (...) a self-contained proof of Citkin’s theorem, based on Esakia duality and the method of subframe formulas. As a corollary, we obtain a short proof of Citkin’s 2019 characterization of hereditarily structurally complete positive logics. (shrink)

In this paper we define the notion of frame based formulas. We show that the well-known examples of formulas arising from a finite frame, such as the Jankov-de Jongh formulas, subframe formulas and cofinal subframe formulas, are all particular cases of the frame based formulas. We give a criterion for an intermediate logic to be axiomatizable by frame based formulas and use this criterion to obtain a simple proof that every locally tabular intermediate logic is axiomatizable by Jankov-de Jongh formulas. (...) We also show that not every intermediate logic is axiomatizable by frame based formulas. (shrink)

Although there is no federal legislation yet on e-cigarettes, the U.S. Food and Drug Administration proposed regulations in April 2014 that would prohibit sales of e-cigarettes to anyone under eighteen and require that they be approved by the FDA as a tobacco product and carry warning labels for consumers on their packaging. Only three U.S. states have extended the same restrictions placed on tobacco products to e-cigarettes; however, eighteen states have passed legislation enacting use restrictions on venues such as schools, (...) state property, or workplaces. Until there is applicable legislation at the federal, state, or municipal levels, health care organizations will have to develop institutional policies if they wish to consistently address the use of e-cigarettes by patients and visitors on their property. (shrink)

No topic has caused more discussion in recent philosophy and political theory than sovereignty. From late Foucault to Agamben, and from Guantanamo Bay to the 'war on terror,' the issue of the extent and the nature of the sovereign has given theoretical debates their currency and urgency. New thinking on sovereignty has always imagined the styles of human selfhood that each regime involves. Each denomination of sovereignty requires a specific mode of subjectivity to explain its meaning and facilitate its operation. (...) The aim of this book is to help outline Jacques Derrida's thinking on sovereignty - a theme which increasingly attracted Derrida towards the end of his career - in its relationship to subjectivity. It investigates the late work Rogues: Two Essays on Reason, as not only Derrida's fullest statement of his thinking on sovereignty, but also as the destination of his career-long interest in questions of politics and self-identity. The book argues that in Derrida's thinking of the relationship between sovereignty and subjectivity - and the related themes of unconditionality and ipseity - we can detect the outline of Bataille's adaptation of Freud. Freud completed his 'metapsychology,' by defining the 'economic' nature of subjectivity. In Bataille's hands, this economic theory became a key to the nature of inter-relationship in general, specifically the complex and shifting relationship between subjectivity and power. In playing with Bataille's legacy, Derrida connects not only with the irrepressibly outrageous thinking of philosophy's most self-consciously transgressive thinker, but with the early twentieth century scientific revolution through which 'energy' became ontology. As with so many of the forebears who influenced him, Derrida echoes and adapts Bataille's thinking while radically de-literalising it. The results are crucial for understanding Derrida's views on power, subjectivity and representation, as well as all of the other key themes in late Derrida: hospitality, justice, otherness and the gift. (shrink)

We establish the dichotomy property for stable canonical multi-conclusion rules for IPC, K4, and S4. This yields an alternative proof of existence of explicit bases of admissible rules for these logics.

This article explores several challenges African-American political thinkers pose to the continental tradition of European political philosophy as represented by two eminent theorists, Jacques Rancière and Axel Honneth. It focuses on the three sharpest points of disagreement between them—over the nature of the political subject and her motivations for becoming political; the need for normative grounds as a basis of political critique; the quality of political temporality—and shows how a range of African-American political thinkers have developed rigorous accounts of all (...) three of these matters. These accounts not only expose the limitations of Rancière's and Honneth's views but also provide a capacious theoretical framework able to hold their disagreements in productive tension with each other. (shrink)

Recently, two apparently quite different duality-based approaches to automata minimisation have appeared. One is based on ideas that originated from the controllability-observability duality from systems theory, and the other is based on ideas derived from Stone-type dualities specifically linking coalgebras with algebraic structures derived from modal logics. In the present paper, we develop a more abstract view and unify the two approaches. We show that dualities, or more generally dual adjunctions, between categories can be lifted to dual adjunctions between categories (...) of coalgebras and algebras, and from there to automata with initial as well as final states. As in the Stone-duality approach, algebras are essentially logics for reasoning about the automata. By exploiting the ability to pass between these categories, we show that one can minimize the corresponding automata. We give an abstract minimisation algorithm that has several instances, including the celebrated Brzozowski minimisation algorithm. We further develop three examples that have been treated in previous works: deterministic Kripke frames based on a Stone-type duality, weighted automata based on the self-duality of semimodules, and topological automata based on Gelfand duality. As a new example, we develop alternating automata based on the discrete duality between sets and complete atomic Boolean algebras. (shrink)

Contemporary work-related education and training policy represents occupational competence as the outcome of individual performance at work. This paper presents a critique of this neo-liberal assumption, arguing that in many cases competence should be regarded as an attribute of groups, teams and communities. It proposes a theory of collective competence in terms of (1) making collective sense of events in the workplace, (2) developing and using a collective knowledge base and (3) developing a sense of interdependency. It suggests that the (...) language of competence would become a more effective tool for understanding performance at work if the collectivistic sense of the term 'competence' were used in conjunction with the more established individualistic sense. (shrink)

This chapter develops the issue of external world skepticism in a stunning new direction, suggesting that virtual reality science fiction thought experiments depict science fact. The author has authored an influential argument that we are, in fact, in a computer simulation. He observes that assuming that a civilization survives long enough to be technologically sophisticated, it would likely be very interested in running simulations of entire worlds. The core of the simulation argument shows that we should accept as true at (...) least one of the following three propositions: the chances that a species at our current level of development can avoid going extinct before becoming technologically mature is negligibly small; almost no technologically mature civilisations are interested in running computer simulations of minds like ours; and a person is almost certainly in a simulation. (shrink)

This book is an exploration of the content and dimensions of contemporary Continental philosophy of religion. It is also a showcase of the work of some of the philosophers who are, by their scholarship, filling out the meaning of the term Continental philosophy of religion.

Human beings are a marvel of evolved complexity. When we try to enhance poorly-understood complex evolved systems, our interventions often fail or backfire. It can appear as if there is a “wisdom of nature” which we ignore at our peril. A recognition of this reality can manifest as a vaguely normative intuition, to the effect that it is “hubristic” to try to improve on nature, or that biomedical therapy is ok while enhancement is morally suspect. We suggest that one root (...) of these moral intuitions may be fundamentally prudential rather than ethical. More importantly, we develop a practical heuristic, the “evolutionary optimality challenge”, for evaluating the plausibility that specific candidate biomedical interventions would be safe and effective. This heuristic recognizes the grain of truth contained in “nature knows best” attitudes while providing criteria for identifying the special cases where it may be feasible, with present or near-future technology, to enhance human nature. (shrink)

This paper has been extracted from a book manuscript that attempts to interpret Gandhi’s ethics of nonviolence ahimsa) in terms of virtue theory. The first section addresses the issue of virtue theory’s relationship to consequentialism and concludes that there is no way to avoid the fact that the virtues developed because of their consequences. Therefore, I will join Gandhi’s virtue ethics with P. J. Ivanhoe’s character consequentialism. Particularly significant in distinguishing utilitarianism from virtue theory is the relationship of means to (...) ends. Character consequentialism will insist that moral ends are always internally related to the virtues as means. In the second section I will explicate the distinction between enabling and substantive virtues, discuss the enabling virtues of self-control, patience, and courage, and conclude that the virtue of nonviolence forms an alliance with these enabling virtues. (shrink)

While on sabbatical in India in 1992, I attended a meeting of the Indian Association of Christian Philosophers held at Dharmaram College in Bangalore. The topic of the conference was ˜aªkara and Christian theology. As I sat and listened in quiet amazement to talks about how well these two suited one another, I was moved to make a comment. I stood and declared that..

This book is the second volume of The Collected Essays of Bimal Krishna Matilal and both should be on the shelf of any serious student of Indian philosophy and religion. I was especially pleased to review this volume because, in my thirty years of teaching Indian philosophy, I focused far too much on metaphysics and epistemology and not enough on ethics. Working back from Gandhi’s ethics of nonviolence, I have been able to repair this deficiency somewhat, but Matilal has now (...) helped me make a substantial improvement in my knowledge of Hindu ethics. (shrink)