Spatial mental representations can be derived from linguistic and non‐linguistic sources of information. This study tested whether these representations could be formed from statistical linguistic frequencies of city names, and to what extent participants differed in their performance when they estimated spatial locations from language or maps. In a computational linguistic study, we demonstrated that co‐occurrences of cities in Tolkien’s Lord of the Rings trilogy and The Hobbit predicted the authentic longitude and latitude of those cities in Middle Earth. In (...) a human study, we showed that human spatial estimates of the location of cities were very similar regardless of whether participants read Tolkien’s texts or memorized a map of Middle Earth. However, text‐based location estimates obtained from statistical linguistic frequencies better predicted the human text‐based estimates than the human map‐based estimates. These findings suggest that language encodes spatial structure of cities, and that human cognitive map representations can come from implicit statistical linguistic patterns, from explicit non‐linguistic perceptual information, or from both. (shrink)

In his Letters on the Aesthetic Education of Man, Friedrich Schiller draws a striking connection between aesthetic value and individual and political freedom, claiming that, ‘it is only through beauty that man makes his way to freedom’. However, contemporary ways of thinking about freedom and aesthetic value make it difficult to see what the connection could be. Through a careful reconstruction of the Letters, we argue that Schiller’s theory of aesthetic value serves as the key to understanding not only his (...) view of aesthetic engagement, but also his distinctive account of individual and political freedom. In Part I, we develop a reconstruction of Schiller's view that aesthetic value is the only path to individual freedom and in Part II we analyze how Schiller connects aesthetic value to political freedom. In the end, we show that Schiller defends a non-hedonic, action-oriented, communitarian theory of aesthetic value and a theory of freedom that makes the aesthetic not just supererogatory but fundamental for any fully autonomous life. Although we have lost touch with this way of thinking about aesthetic value and freedom, we submit that it is illuminating for contemporary thinking about both. (shrink)

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)

Human beings are a marvel of evolved complexity. Such systems can be difficult to enhance. When we manipulate complex evolved systems, which are poorly understood, our interventions often fail or backfire. It can appear as if there is a “wisdom of nature” which we ignore at our peril. Sometimes the belief in nature’s wisdom—and corresponding doubts about the prudence of tampering with nature, especially human nature—manifests as diffusely moral objections against enhancement. Such objections may be expressed as intuitions about the (...) superiority of the natural or the troublesomeness of hubris or as an evaluative bias in favor of the status quo. This chapter explores the extent to which such prudence-derived anti-enhancement sentiments are justified. We develop a heuristic, inspired by the field of evolutionary medicine, for identifying promising human enhancement interventions. The heuristic incorporates the grains of truth contained in “nature knows best” attitudes while providing criteria for the special cases where we have reason to believe that it is feasible for us to improve on nature. (shrink)

This article argues that there can be epistemic dilemmas: situations in which one faces conflicting epistemic requirements with the result that whatever one does, one is doomed to do wrong from the epistemic point of view. Accepting this view, I argue, may enable us to solve several epistemological puzzles.

This article compares the concept of habitus, as formulated in the work of Mauss and Bourdieu, with the concept of habit, as formulated in the work of Merleau-Ponty and Dewey. The rationale for this, on one level, is to seek to clarify these concepts and any distinction that there may be between them – though the article notes the wide variety of uses of both concepts and suggests that these negate the possibility of any definitive definitions or contrasts. More centrally, (...) however, the purpose of the comparison is to draw out a number of important issues and debates which, it is argued, further work must address if the concepts of habit and habitus are to continue to prove useful and illuminating in social science. (shrink)

This paper examines two cosmological models of quantum gravity to investigate the foundational and conceptual issues arising from quantum treatments of the big bang. While the classical singularity is erased, the quantum evolution that replaces it may not correspond to classical spacetime: it may instead be a non-spatiotemporal region, which somehow transitions to a spatiotemporal state. The different kinds of transition involved are partially characterized, the concept of a physical transition without time is investigated, and the problem of empirical incoherence (...) for regions without spacetime is discussed. (shrink)

Hyman (1999, 2006) argues that knowledge is best conceived as a kind of ability: S knows that p iff S can φ for the reason that p. Hyman motivates this thesis by appealing to Gettier cases. I argue that it is counterexampled by a certain kind of Gettier case where the fact that p is a cause of the subject’s belief that p. One can φ for the reason that p even if one does not know that p. So knowledge (...) is not best conceived as an ability of this kind. (shrink)

Could spacetime be derived rather than fundamental? The question is pressing because attempts to quantize gravity have led to theories in which (arguably) there are either no, or only extremely thin, spacetime structures. Moreover, recent proposals for the interpretation of quantum mechanics have suggested that 3-dimensional space may be an ‘appearance’ derived from the 3N-dimensional space in which an N-particle wavefunction lives (cross- reference). In fact, I will largely assume a positive answer, and investigate how it could be; in particular, (...) I want to explicate the role of philosophy in producing a satisfactory explanation of spacetime, providing a roadmap for philosophical engagement with quantum gravity. (shrink)

The point of departure for this article is the observation that, despite his own personal involvement as an engaged intellectual, Pierre Bourdieu offers a very thin account of social movement activism, and one pre-empted by the rather limited concept of ‘crisis’. The aim of the article, however, is to argue that the central concepts of Bourdieu’s theory of practice can be used to provide an effective and interesting basis for the analysis of social movements, protest and contention. To this end (...) the article demonstrates how the concepts of habitus, capital and field, in particular, resonate with important findings from the social movement literature. The focus of the article is limited to an engagement with Bourdieu. It connects with other work by the author, however, in which he has argued that Bourdieu’s framework can be used to address very serious problems in social movement theory. (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)

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)

This paper investigates the mathematical representation of time in physics. In existing theories time is represented by the real numbers, hence their formal proper- ties represent properties of time: these are surveyed. The central question of the paper is whether the existing representation of time is adequate, or whether it can or should be supplemented: especially, do we need a physics incorporating some kind of ‘dynamical passage’ of time? The paper argues that the existing mathematical framework is resistant to such (...) changes, and might have to be rejected by anyone seeking a physics of passage. Then it rebuts two common arguments for incorporating passage into physics, especially the claim that it is an element of experience. Finally the paper investigates whether, as has been claimed, ‘causal set theory’ provides a physics of passage. (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)

It is widely thought that moral obligations are necessarily guidance giving. This supposed fact has been put to service in defence of the ‘ought-implies-can’ principle according to which one cannot be morally obligated to do the impossible, since impossible-to-satisfy obligations would not give guidance. It is argued here that the supposed fact is no such thing; moral obligations are not necessarily guiding giving, and so the ‘guidance argument’ for ought-implies-can fails. This is the result of no non-trivial condition being ‘luminous’.

This is a brief response to Loïc Wacquant’s article, ‘Homines in extremis’. The response makes four contributions. First, I consider some of the reasons for the confusion surrounding the habitus concept, arguing that this confusion may be lessened (without any obvious loss) if we revert to ‘habit’ or ‘disposition’. Second, I argue that, irrespective of these terminological quibbles, it is vital that we do not conflate ‘habitus’ and ‘embodied actor’ as some accounts do. There is more to the embodied actor (...) than her habits and she can only have habits because this is so. Third, I begin to explore the point of view offered by ‘carnal ethnography’ and call for further clarification of that point of view. Finally, I note that Wacquant’s ethnography has the effect of rendering certain of Bourdieu’s ideas in a more concrete manner and foregrounding sociability, which the latter is sometimes inclined to ignore. This, I suggest, is a positive development. (shrink)

Drawing upon ethnographic data, this article analyses 'vocabularies of motive' amongst individuals who work out at a private health club in the Greater Manchester area (UK). The article draws a distinction between motives for starting at a gym and motives for continuing, and analyses each separately. It also seeks to draw out, in the latter case, the many motives which conflict with a stereotypical view of 'working out' found in some academic accounts. Working out is not only an instrumental means (...) of cultivating valued bodily attributes, it is argued, nor are its attractions necessarily all 'bodily' (at least narrowly defined) in nature. (shrink)

This is the introduction to the special issue of Studies in the History and Philosophy of Modern Physics on the emergence of spacetime in quantum theories of spacetime.

We show that every proper normal extension of the bi-modal system S5 2 has the poly-size model property. In fact, to every proper normal extension L of S5 2 corresponds a natural number b(L) - the bound of L. For every L, there exists a polynomial P(·) of degree b(L) + 1 such that every L-consistent formula is satisfiable on an L-frame whose universe is bounded by P(||), where || denotes the number of subformulas of . It is shown that (...) this bound is optimal. (shrink)

It is common to allocate scarce health care resources by maximizing QALYs per dollar. This approach has been attacked by disability-rights advocates, policy-makers, and ethicists on the grounds that it unjustly discriminates against the disabled. The main complaint is that the QALY-maximizing approach implies a seemingly unsatisfactory conclusion: other things being equal, we should direct life-saving treatment to the healthy rather than the disabled. This argument pays insufficient attention to the downsides of the potential alternatives. We show that this sort (...) of discrimination is one of four unpalatable consequences that any approach to priority setting in health care must face. We argue that, given the alternatives, it is far from clear that we should revise the QALY-maximizing approach in response to this objection. (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.

We generalize the notion of a monadic algebra to that of a pseudomonadic algebra. In the same way as monadic algebras serve as algebraic models of epistemic modal system S5, pseudomonadic algebras serve as algebraic models of doxastic modal system KD45. The main results of the paper are: Characterization of subdirectly irreducible and simple pseudomonadic algebras, as well as Tokarz's proper filter algebras; Ordertopological representation of pseudomonadic algebras; Complete description of the lattice of subvarieties of the variety of pseudomonadic algebras.

We give alternative characterizations of exact, extendible and projective formulas in intuitionistic propositional calculus IPC in terms of n-universal models. From these characterizations we derive a new syntactic description of all extendible formulas of IPC in two variables. For the formulas in two variables we also give an alternative proof of Ghilardi’s theorem that every extendible formula is projective.

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)

This article describes and analyses the social network of key actors involved in the `inner circle' of the early UK punk movement in London. It is argued that the network and its structural properties are important if we wish to explain both the emergence of the movement and certain key conflicts within it. The article is empirically based and utilizes the methods of formal social network analysis. A further argument of the paper is that the concept of networks and these (...) formal methods for analysing them are both important for a sociological analysis of culture and cultural movements in particular. (shrink)

Paul Teller's new book, “An Interpretive Introduction to Quantum Field Theory”, is a pioneering work. To the best of our knowledge it is the first book by a philosopher devoted not only to explaining what quantum field theory is, but to clarifying the conceptual issues and puzzles to which the theory gives rise. As such it is an important book, which we hope will greatly stimulate work in the area as other philosophers and physicists react to it.

This paper introduces some basic ideas and formalism of physics in non-commutative geometry. My goals are three-fold: first to introduce the basic formal and conceptual ideas of non-commutative geometry, and second to raise and address some philosophical questions about it. Third, more generally to illuminate the point that deriving spacetime from a more fundamental theory requires discovering new modes of `physically salient' derivation.

Escalation of commitment causes people to continue a failing course of action. We study the role of construal level in such escalation of commitment. Consistent with the widely held view of construal level as a primed effect, we employed a commonly used prime for manipulating this construct in a laboratory experiment. Our findings revealed that the prime failed to produce statistically significant differences in construal level, which was measured using the Behavior Identification Form. Furthermore, there was no effect of the (...) prime on escalation of commitment, or on constructs that have previously been linked to construal level such as the perceived importance of feasibility considerations relative to desirability considerations, and the number of pros and cons that subjects can think of.Interestingly, however, subjects’ actual construal level scores on the BIF were found to significantly affect escalation. Specifically, our findings show that people with a low construal level are less willing to continue a failing project. This relation is mediated by the perceived importance of the feasibility of the project relative to its desirability. For people with a low construal level, the perceived importance of feasibility relative to desirability is higher, which in turn makes escalation of commitment less likely.Our findings are consistent with prior research suggesting that priming construal level may not always be effective. Thus, while construal level has typically been regarded as a state-like variable that can be primed, in this study, we show that construal level may also be considered as a trait. (shrink)

This essay reviews two recent books—Marion Laboure and Nicolas Deffrennes's Democratizing Finance and Eswar S. Prasad's The Future of Money—on financial technology (fintech) and the future of money. Both books present overviews of recent developments in fintech and assess the prospects of technological change to deliver a more accessible, equitable financial system—described in both cases as the “democratization of finance.” I raise two key concerns about the limits of the “democratization” implied here. First, the vision of democratized finance implicit in (...) both books rests on claims about widening access to financial services for individuals, households, and businesses. This contrasts with more substantive visions of democratized finance that entail the exercise of accountable, deliberative decision-making on monetary and financial questions. Second, “fintech democracy” rests on a very thin account of how finance might be democratized, stressing exogenous technological change, with little consideration of relations of power, institutional reforms, or mobilization. Both books provide eloquent and comprehensive overviews of emerging fintech debates, but in so doing ultimately reveal important limitations to achieving financial democracy through fintech. (shrink)

We prove that every normal extension of the bi-modal system S52 is finitely axiomatizable and that every proper normal extension has NP-complete satisfiability problem.

ABSTRACTI describe two ways of thinking about what constitutes a knowledgeable assertion – the ‘orthodox view’ and the ‘isomorphic view’. I argue that we should discard the orthodox view and replace it with the isomorphic view. The latter is more natural and has greater theoretical utility than the former.

This paper aims to address conceptual issues concerning black holes in the context of string theory, with the aim of illuminating the ontological unification of gravity and matter, and the interpretation of cosmological models. §1 describes the central concepts of the theory: the fungibility of matter and geometry, and the reduction of gravity and supergravity. The ‘standard’ interpretation presented draws on that implicit in the thinking of many (but not all) string theorists, though made more explicit and systematic than usual. (...) §2 explains how to construct a stringy black hole, and some of its features, including evaporation. §3 critically examines the assumptions behind such modeling, and their bearing on ontological questions. (shrink)

Recently, Simon Saunders has applied Quine's account of discernibility to the theory of identical particles, ultimately to argue that quanta can be weakly discernible. I want to expand on this work along two axes. First, to explain how the results apply to higher kinds of statistics -- 'quarticles'. Second, to dispute the claim that quanta are weakly discernible: I question whether the operators used to discern the particles do not represent the properties that they are claimed to.

We explicate recent results that shed light on the obscure and troubling problem of renormalization in Quantum Field Theory. We review how divergent predictions arise in perturbative QFT, and how they are renormalized into finite quantities. Commentators have worried that there is no foundation for renormalization, and hence that QFTs are not logically coherent. We dispute this by describing the physics behind liquid diffusion, in which exactly analogous divergences are found and renormalized. But now we are looking at a problem (...) that is physically and formally well-defined, proving that the problems of renormalization, by themselves, cannot refute QFT. (shrink)

This work first explicates the philosophy of classical and quantum fields and particles. I am interested in determining how science can have a metaphysical dimension, and then with the claim that the quantum revolution has an important metaphysical component. I argue that the metaphysical implications of a theory are properties of its models, as classical mechanics determines properties of atomic diversity and temporal continuity with its representations of distinct, continuous trajectories. ;It is often suggested that classical statistical physics requires that (...) many particle states be represented so that permuting properties leads to distinct states; this implies that individuals can be reidentified across possible worlds in a non-qualitative way. I show there is no evidence for this conclusion, an important result, for it is claimed that quantum particles are not individuals. This claim is based on the misconception about classical statistics, but also on a conflation of notions of identity; I show that, while transworld identity is incompatible with quantum mechanics, other classical notions may be consistently ascribed. I also give a field-particle distinction that applies usefully in both quantum and classical domains. In the former the distinction helps defeat claims of underdetermined by data, in the latter it helps provide a minimal field metaphysics. ;Next I tackle renormalisation: I show how divergences occur in approximate, perturbative calculations, and demonstrate how finite, empirically verified, answers are obtained. These techniques seem to show that the predictions are not logical consequences of the exact theory. I use the techniques of the renormalisation group to establish that perturbative renormalised quantum field theory does indeed approximate the consequences of field theory. ;Finally, I discuss the idea that renormalisation proves that there can be no quantum theory of everything, only a patchwork of effective theories. The preceding chapter shows that renormalisation demonstrates only that the picture is consistent, and this is insufficient to show that physics must be phenomenological. (shrink)

Critical studies have rightly faulted mainstream HRM for its failure to account for the meaning of being human under regimes of HRM. This article advances the field in this regard by drawing on African and broader black theological reflection on the meaning of being human, and by using visual research methods to interrogate the extent to which workplaces respect human dignity. Fifty-five (55) visual timeline interviews were conducted in a range of workplaces in the north-east of England. Data showed that (...) allowing autonomy and freedom, mediating audit regimes, contractual affirmation, and creating communities of care were the key factors whose presence created humanising workplaces and whose absence signalled dehumanising ones. This research allows a richer understanding of structures and processes that produce either humanising or dehumanising workplaces. (shrink)