The laws of nature have come a long way since the time of Newton: quantum mechanics and relativity have given us good reasons to take seriously the possibility of laws which may be non-local, atemporal, ‘all-at-once,’ retrocausal, or in some other way not well-suited to the standard dynamical time evolution paradigm. Laws of this kind can be accommodated within a Humean approach to lawhood, but many extant non-Humean approaches face significant challenges when we try to apply them to laws outside (...) the time evolution picture. Thus for proponents of non-Humean approaches to lawhood there is a clear need for a novel non-Humean account which is capable of accommodating these sorts of laws. In this paper we propose such an account, characterizing lawhood in terms of constraints, which are understood as a form of modal structure. We demonstrate that our proposed realist account can indeed accommodate a large variety of laws outside the time evolution paradigm, and describe some possible applications to important philosophical problems. (shrink)

Contemporary mate preferences can provide important clues to human reproductive history. Little is known about which characteristics people value in potential mates. Five predictions were made about sex differences in human mate preferences based on evolutionary conceptions of parental investment, sexual selection, human reproductive capacity, and sexual asymmetries regarding certainty of paternity versus maternity. The predictions centered on how each sex valued earning capacity, ambition— industriousness, youth, physical attractiveness, and chastity. Predictions were tested in data from 37 samples drawn from (...) 33 countries located on six continents and five islands. For 27 countries, demographic data on actual age at marriage provided a validity check on questionnaire data. Females were found to value cues toresource acquisitionin potential mates more highly than males. Characteristics signalingreproductive capacitywere valued more by males than by females. These sex differences may reflect different evolutionary selection pressures on human males and females; they provide powerful cross-cultural evidence of current sex differences in reproductive strategies. Discussion focuses on proximate mechanisms underlying mate preferences, consequences for human intrasexual competition, and the limitations of this study. (shrink)

Any successful interpretation of quantum mechanics must explain how our empirical evidence allows us to come to know about quantum mechanics. In this article, we argue that this vital criterion is not met by the class of ‘orthodox interpretations,’ which includes QBism, neo-Copenhagen interpretations, and some versions of relational quantum mechanics. We demonstrate that intersubjectivity fails in radical ways in these approaches, and we explain why intersubjectivity matters for empirical confirmation. We take a detailed look at the way in which (...) belief-updating might work in the kind of universe postulated by an orthodox interpretation, and argue that observers in such a universe are unable to escape their own perspective in order to learn about the structure of the set of perspectives that is supposed to make up reality according to these interpretations. We also argue that in some versions of these interpretations it is not even possible to use one’s own relative frequencies for empirical confirmation. Ultimately we conclude that it cannot be rational to believe these sorts of interpretations unless they are supplemented with some observer-independent structure which underwrites intersubjective agreement in at least certain sorts of cases. (shrink)

Physicists are increasingly beginning to take seriously the possibility of laws outside the traditional time-evolution paradigm; yet many popular definitions of determinism are still predicated on a time-evolution picture, making them manifestly unsuited to the diverse range of research programmes in modern physics. In this article, we use a constraint-based framework to set out a generalization of determinism which does not presuppose temporal evolution, distinguishing between strong, weak and delocalised holistic determinism. We discuss some interesting consequences of these generalized notions (...) of determinism, and we show that this approach sheds new light on the long-standing debate surrounding the nature of objective chance. (shrink)

In this article we set out to understand the significance of the process matrix formalism and the quantum causal modelling programme for ongoing disputes about the role of causation in fundamental physics. We argue that the process matrix programme has correctly identified a notion of ‘causal order’ which plays an important role in fundamental physics, but this notion is weaker than the common-sense conception of causation because it does not involve asymmetry. We argue that causal order plays an important role (...) in grounding more familiar causal phenomena. Then we apply these conclusions to the causal modelling programme within quantum foundations, arguing that since no-signalling quantum correlations cannot exhibit causal order, they should not be analysed using classical causal models. This resolves an open question about how to interpret fine-tuning in classical causal models of no-signalling correlations. Finally we observe that a quantum generalization of causal modelling can play a similar functional role to standard causal reasoning, but we emphasize that this functional characterisation does not entail that quantum causal models offer novel explanations of quantum processes. (shrink)

In recent years the quantum foundations community has seen increasing interest in the possibility of using retrocausality as a route to rejecting the conclusions of Bell’s theorem and restoring locality to quantum physics. On the other hand, it has also been argued that accepting nonlocality leads to a form of retrocausality. In this article we seek to elucidate the relationship between retrocausality and locality. We begin by providing a brief schema of the various ways in which violations of Bell’s inequalities (...) might lead us to consider some form of retrocausality. We then consider some possible motivations for using retrocausality to rescue locality, arguing that none of these motivations is sufficient to show that local retrocausal theories should always be preferred to nonlocal retrocausal theories, and therefore there is no clear reason to focus research efforts entirely on seeking local retrocausal models. Next, we examine several different conceptions of retrocausality, concluding that ‘all-at-once’ retrocausality is more coherent than the alternative dynamical picture. We then argue that since the ‘all-at-once’ approach requires probabilities to be assigned to entire histories, locality is not playing any crucial role within this picture. Thus we conclude that using retrocausality as a way to rescue locality may not be the right route to retrocausality. Finally, we demonstrate that accepting the existence of nonlocality and insisting on the nonexistence of preferred reference frames leads naturally to the acceptance of a form of retrocausality, albeit one which is not mediated by physical systems travelling backwards in time. We argue that this is the more natural way to motivate retrocausal models of quantum mechanics. (shrink)

In order to be a self-governing agent, a person must govern the process by means of which she acquires the intention to act as she does. But what does governing this process require? The standard compatibilist answers to this question all assume that autonomous actions differ from nonautonomous actions insofar as they are a more perfect expression of the agent’s agency. I challenge this conception of autonomous agents as super agents. The distinguishing feature of autonomous agents is, I argue, the (...) nonagential role they play in the formation of their intentions. I offer an account of the relevant role. (shrink)

We believe we owe one another respect. We believe we ought to pay what we owe by treating one another ‘with respect.’ If we could understand these beliefs we would be well on the way to understanding morality itself. If we could justify these beliefs we could vindicate a central part of our moral experience.Respect comes in many varieties. We respect some people for their upright character, others for their exceptional achievements. There are people we respect as forces of nature: (...) we go to great lengths to accommodate their moods, wiles, and demands. Finally, most of us seem to respect people simply because they are people. This is the sort of respect of special interest to moral theory.In order to be worthy of this last sort of respect, it is not only sufficient but necessary that one be a person. We can, of course, take a similar attitude towardnonpersons. (shrink)

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; (...) these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science. (shrink)

My chief aim is to explain how someone can act freely against her own best judgment. But I also have a second aim: to defend a conception of practical rationality according to which someone cannot do something freely if she believes it would be better to do something else. These aims may appear incompatible. But I argue that practical reason has the capacity to undermine itself in such a way that it produces reasons for behaving irrationally. Weakness of will is (...) possible because it is possible to conclude that one has sufficient reason to reject the verdicts of one's own reason. (shrink)

I assess various proposals for the source of the intuition that there is something problematic about contextuality, ultimately concluding that contextuality is best thought of in terms of fine-tuning. I then argue that as with other fine-tuning problems in quantum mechanics, this behaviour can be understood as a manifestation of teleological features of physics. Finally I discuss several formal mathematical frameworks that have been used to analyse contextuality and consider how their results should be interpreted by scientific realists. In the (...) course of this discussion I obtain several new mathematical results—I demonstrate that preparation contextuality is a form of fine-tuning, I show that measurement contextuality can be explained by appeal to a global constraint forbidding closed causal loops, and I demonstrate how negative probabilities can arise from a classical ontological model together with an epistemic restriction. (shrink)

Let T be a first-order theory. A T-normal Kripke structure is one in which every world is a classical model of T. This paper gives a characterization of the intuitionistic theory T of sentences intuitionistically valid in all T-normal Kripke structures and proves the corresponding soundness and completeness theorems. For Peano arithmetic , the theory PA is a proper subtheory of Heyting arithmetic , so HA is complete but not sound for PA-normal Kripke structures.

The bounded arithmetic theory S2 is finitely axiomatized if and only if the polynomial hierarchy provably collapses. If T2i equals S2i + 1 then T2i is equal to S2 and proves that the polynomial time hierarchy collapses to ∑i + 3p, and, in fact, to the Boolean hierarchy over ∑i + 2p and to ∑i + 1p/poly.

The original essays in this book address Harry Frankfurt's influential writing on personal identity, love, value, moral responsibility, and the freedom and ...

It’s family games night, and we’re playing a guessing game. My mother—not a physicist—picks up a card and says, ‘A fundamental particle.’.

Cook and Reckhow defined a propositional formulation of the pigeonhole principle. This paper shows that there are Frege proofs of this propositional pigeonhole principle of polynomial size. This together with a result of Haken gives another proof of Urquhart's theorem that Frege systems have an exponential speedup over resolution. We also discuss connections to provability in theories of bounded arithmetic.

Recently there has been a great deal of interest in tabletop experiments intended to exhibit the quantum nature of gravity by demonstrating that it can induce entanglement. In order to evaluate these experiments, we must determine if there is any interesting class of possibilities that will be convincingly ruled out if it turns out that gravity can indeed induce entanglement. In particular, since one argument for the significance of these experiments rests on the claim that they demonstrate the existence of (...) superpositions of spacetimes, it is important to keep in mind that different interpretations of quantum mechanics may make different predictions about superpositions of spacetimes. ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-complete interpretations of quantum mechanics, like the Everett interpretation, almost universally predict the existence of superpositions of spacetimes, whereas in ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-incomplete, ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-nonphysical interpretations it seems more natural to predict that spacetime superpositions are not possible. Meanwhile ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-incomplete, ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-supplemented interpretations present us with a more complex picture where we may or may not end up predicting that spacetime superpositions are possible, depending on the particular way in which the coupling between spacetime and matter is constructed. This line of reasoning suggests that what would be ruled out by a successful result to these tabletop experiments is a class of quantum gravity models that we refer to as ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-incomplete quantum gravity —i.e. models of the interaction between quantum mechanics and gravity in which gravity is coupled to non-quantum beables rather than quantum beables. It follows that the results of tabletop experiments can also be regarded as giving us new evidence about the interpretation of quantum mechanics: roughly speaking, a positive result to these experiments should increase our confidence in ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-complete interpretations, whilst a negative result should instead increase our confidence in ψ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\psi$$\end{document}-incomplete interpretations. We introduce these ideas in Sect. 1, and then in Sect. 2 we make the reasoning more precise by presenting a set of inferences that may be made about the ontology of quantum mechanics based on the results of tabletop experiments. In Sect. 3 we discuss some existing PIQG models and consider what more needs to be done to make these sorts of approaches more appealing. There are two competing paradigms for the interpretation of these experiments, which have been dubbed the ‘Newtonian’ paradigm and the ‘tripartite’ paradigm: here we largely work within the tripartite paradigm, because the tripartite view is specifically concerned with ontological aspects of the mediating gravitational interaction and that makes it a suitable setting for enquiries about the ontology of quantum mechanics, but in Sect. 4 we consider what conclusions can be drawn if one does not presuppose the tripartite view. Finally in Sect. 5 we discuss a cosmological phenomenon which could be regarded as providing evidence for PIQG models. (shrink)

This paper discusses lower bounds for proof length, especially as measured by number of steps (inferences). We give the first publicly known proof of Gödel's claim that there is superrecursive (in fact. unbounded) proof speedup of (i + 1)st-order arithmetic over ith-order arithmetic, where arithmetic is formalized in Hilbert-style calculi with + and · as function symbols or with the language of PRA. The same results are established for any weakly schematic formalization of higher-order logic: this allows all tautologies as (...) axioms and allows all generalizations of axioms as axioms. Our first proof of Gödel's claim is based on self-referential sentences: we give a second proof that avoids the use of self-reference based loosely on a method of Statman. (shrink)

I wish more books of philosophy were like this one. It is elegantly written. It is filled with provocative claims and ingenious arguments. It is a really good read, even while it forces us to rethink many of our assumptions about practical reason and practical reasoning, morality and agency.

We discuss some difficulties that arise in attempting to interpret the Page–Wootters and Internal Quantum Reference Frames formalisms, then use a ‘final measurement’ approach to demonstrate that there is a workable single-world realist interpretation for these formalisms. We note that it is necessary to adopt some interpretation before we can determine if the ‘reference frames’ invoked in these approaches are operationally meaningful, and we argue that without a clear operational interpretation, such reference frames might not be suitable to define an (...) equivalence principle. We argue that the notion of superposition should take into account the way in which an instantaneous state is embedded in ongoing dynamical evolution, and this leads to a more nuanced way of thinking about the relativity of superposition in these approaches. We conclude that typically the operational content of these approaches appears only in the limit as the size of at least one reference system becomes large, and therefore these formalisms have an important role to play in showing how our macroscopic reference frames can emerge out of wholly relational facts. (shrink)

There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant compares the Formula (...) of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement , where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant’s Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant’s philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy. (shrink)

The target article provides important theoretical contributions to psychology and Bayesian modeling. Despite the article's excellent points, we suggest that it succumbs to a few misconceptions about evolutionary psychology (EP). These include a mischaracterization of evolutionary psychology's approach to optimality; failure to appreciate the centrality of mechanism in EP; and an incorrect depiction of hypothesis testing. An accurate characterization of EP offers more promise for successful integration with Bayesian modeling.

We study the long-standing open problem of giving$\forall {\rm{\Sigma }}_1^b$separations for fragments of bounded arithmetic in the relativized setting. Rather than considering the usual fragments defined by the amount of induction they allow, we study Jeřábek’s theories for approximate counting and their subtheories. We show that the$\forall {\rm{\Sigma }}_1^b$Herbrandized ordering principle is unprovable in a fragment of bounded arithmetic that includes the injective weak pigeonhole principle for polynomial time functions, and also in a fragment that includes the surjective weak pigeonhole (...) principle for FPNPfunctions. We further give new propositional translations, in terms of random resolution refutations, for the consequences of$T_2^1$augmented with the surjective weak pigeonhole principle for polynomial time functions. (shrink)

One of the most significant shifts in current thinking on war and gender is the recognition that rape in wartime is not a simple by-product of war, but often a planned and targeted policy. For many feminists ‘rape as a weapon of war’ provides a way to articulate the systematic, pervasive, and orchestrated nature of wartime sexual violence that marks it as integral rather than incidental to war. This recognition of rape as a weapon of war has taken on legal (...) significance at the Rwandan and Yugoslav Tribunals where rape has been prosecuted as a crime against humanity and genocide. In this paper, I examine how the Rwanda Tribunal’s record of judgments conceives of rape enacted as an instrument of the genocide. I consider in particular how the Tribunal’s conception of ‘rape as a weapon of war’ shapes what can be known about sexual violence and gender in the Rwandan genocide and what cannot, the categories of victims legally recognised and those that are not, and the questions pursued, and those foreclosed, about the patterns of violence before and during the genocide. (shrink)

What are the consequences of the tendency for ubiquitous online reputation calculation to lead not to more precise expressions of reputation capital but, rather, to greater reputational instability? This article contrasts two conceptions of online reputation, which enact opposing attitudes about the relation between reputation and the calculable. According to an early online reputation paradigm – reputation capital – users strove to achieve high scores, performing the presumption that reputation could be incrementally accumulated and consistently measured within relatively stable spheres (...) of value. Yet, ubiquitous calculation led not to more precise measurements of reputation, but rather to the increasing volatility of online reputation. Thus, a second online reputation paradigm – reputation warfare – has become increasingly prevalent, in which strategic actors indirectly capitalize on systemic volatility produced by reputation’s ubiquitous online calculation. Steve Bannon’s 2016 Trump campaign strategy, which mobilized trolls, exemplifies the indirect optimization of online reputation, placing an option on reputational volatility. (shrink)

The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.

We give a uniform proof of the theorems of Yao and Beigel–Tarui representing ACC predicates as constant depth circuits with MODm\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {MOD}_{m}$$\end{document} gates and a symmetric gate. The proof is based on a relativized, generalized form of Toda’s theorem expressed in terms of closure properties of formulas under bounded universal, existential and modular counting quantifiers. This allows the main proofs to be expressed in terms of formula classes instead of Boolean circuits. (...) The uniform version of the Beigel–Tarui theorem is then obtained automatically via the Furst–Saxe–Sipser and Paris–Wilkie translations. As a special case, we obtain a uniform version of Razborov and Smolensky’s representation of AC0[p]\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\hbox {AC}^{0}[p]$$\end{document} circuits. The paper is partly expository, but is also motivated by the desire to recast Toda’s theorem, the Beigel–Tarui theorem, and their proofs into the language of bounded arithmetic. However, no knowledge of bounded arithmetic is needed. (shrink)

The paper proves refined feasibility properties for the disjunction property of intuitionistic propositional logic. We prove that it is possible to eliminate all cuts from an intuitionistic proof, propositional or first-order, without increasing the Horn closure of the proof. We obtain a polynomial time, interactive, realizability algorithm for propositional intuitionistic proofs. The feasibility of the disjunction property is proved for sequents containing Harrop formulas. Under hardness assumptions for NP and for factoring, it is shown that the intuitionistic propositional calculus does (...) not always have polynomial size proofs and that the classical propositional calculus provides a superpolynomial speedup over the intuitionistic propositional calculus. The disjunction property for intuitionistic propositional logic is proved to be P-hard by a reduction to the circuit value problem. (shrink)

This paper considers the computational complexity of the disjunction and existential properties of intuitionistic logic. We prove that the disjunction property holds feasibly for intuitionistic propositional logic; i.e., from a proof of A v B, a proof either of A or of B can be found in polynomial time. For intuitionistic predicate logic, we prove superexponential lower bounds for the disjunction property, namely, there is a superexponential lower bound on the time required, given a proof of A v B, to (...) produce one of A and B which is true. In addition, there is superexponential lower bound on the size of terms which fulfill the existential property of intuitionistic predicate logic. There are superexponential upper bounds for these problems, so the lower bounds are essentially optimal. (shrink)

Wallace has recently argued that a number of popular approaches to the measurement problem can’t be fully extended to relativistic quantum mechanics and quantum field theory; Wallace thus contends that as things currently stand, only the unitary-only approaches to the measurement problem are viable. However, the unitary-only approaches face serious epistemic problems which may threaten their viability as solutions, and thus we consider that it remains an urgent outstanding problem to find a viable solution to the measurement problem which can (...) be extended to relativistic quantum mechanics. In this article we seek to understand in general terms what such a thing might look like. We argue that in order to avoid serious epistemic problems, the solution must be a single-world realist approach, and we further argue that any single-world realist approach which is able to reproduce the predictions of relativistic quantum mechanics will most likely have the property that our observable reality does not supervene on dynamical, precisely-defined microscopic beables. Thus we suggest three possible routes for further exploration: observable reality could be approximate and emergent, as in relational quantum mechanics with the addition of cross-perspective links, or observable reality could supervene on beables which are not microscopically defined, as in the consistent histories approach, or observable reality could supervene on beables which are not dynamical, as in Kent’s solution to the Lorentzian classical reality problem. We conclude that once all of these issues are taken into account, the options for a viable solution to the measurement problem are significantly narrowed down. (shrink)