According to the universal entropy bound, the entropy (and hence information capacity) of a complete weakly self-gravitating physical system can be bounded exclusively in terms of its circumscribing radius and total gravitating energy. The bound’s correctness is supported by explicit statistical calculations of entropy, gedanken experiments involving the generalized second law, and Bousso’s covariant holographic bound. On the other hand, it is not always obvious in a particular example how the system avoids having too many states for (...) given energy, and hence violating the bound. We analyze in detail several purported counterexamples of this type, and exhibit in each case the mechanism behind the bound’s efficacy. (shrink)

The black hole information loss paradox is a catch-all term for a family of puzzles related to black hole evaporation. For almost 50 years, the quest to elucidate the implications of black hole evaporation has not only sustained momentum, but has also become increasingly populated with proposals that seem to generate more questions than they purport to answer. Scholars often neglect to acknowledge ongoing discussions within black hole thermodynamics and statistical mechanics when analyzing the paradox, including the interpretation of (...) class='Hi'>Bekenstein-Hawking entropy, which is far from settled. To remedy the dialectical gridlock, I have formulated an overarching, unified framework, which I call ``Black Hole Paradoxes'', that integrates the debates and taxonomizes the relevant `camps' or philosophical positions. -/- I demonstrate that black hole evaporation within Hawking's semi-classical framework insinuates how late-time Hawking radiation is an entangled global system, a contradiction in terms. The relevant forms of information loss are associated with a decrease in maximal Boltzmann entropy and an increase in global von Neumann entropy respectively, which engender what I've branded the ``paradox of phantom entanglement''. Prospective solutions are then tasked with demonstrating how late-time Hawking radiation is either exclusively an entangled subsystem, in which a black hole remnant lingers as an information safehouse, or exclusively an unentangled global system, in which information is evacuated to the exterior. -/- The disagreement between safehouse and evacuation solutions boils down to the statistical interpretation of thermodynamic black hole entropy, i.e., Bekenstein-Hawking entropy. Safehouse solutions attribute Bekenstein-Hawking entropy to a minority of black hole degrees of freedom, those that are associated with the horizon. Evacuation solutions, in contrast, attribute Bekenstein-Hawking entropy to all black hole degrees of freedom. I argue that the interpretation of Bekenstein-Hawking entropy is the litmus test to vet the overpopulated proposal space. So long as any proposal rejecting Hawking's original calculation independently derives black hole evaporation, globally conserves degrees of freedom and entanglement, preserves a version of semi-classical gravity at sub-Planckian scales, and describes black hole thermodynamics in statistical terms, then it counts as a genuine solution to the paradox. (shrink)

An extended scale relativity theory, actively developed by one of the authors, incorporates Nottale's scale relativity principle where the Planck scale is the minimum impassible invariant scale in Nature, and the use of polyvector-valued coordinates in C-spaces (Clifford manifolds) where all lengths, areas, volumes⋅ are treated on equal footing. We study the generalization of the ordinary point-particle quantum mechanical oscillator to the p-loop (a closed p-brane) case in C-spaces. Its solution exhibits some novel features: an emergence of two explicit scales (...) delineating the asymptotic regimes (Planck scale region and a smooth region of a quantum point oscillator). In the most interesting Planck scale regime, the solution recovers in an elementary fashion some basic relations of string theory (including string tension quantization and string uncertainty relation). It is shown that the degeneracy of the first collective excited state of the p-loop oscillator yields not only the well-known Bekenstein–Hawking area-entropy linear relation but also the logarithmic corrections therein. In addition we obtain for any number of dimensions the Hawking temperature, the Schwarschild radius, and the inequalities governing the area of a black hole formed in a fusion of two black holes. One of the interesting results is a demonstration that the evaporation of a black hole is limited by the upper bound on its temperature, the Planck temperature. (shrink)

Using quantum liquids one can simulate the behavior of the quantum vacuum in the presence of the event horizon. The condensed matter analogs demonstrate that in most cases the quantum vacuum resists formation of the horizon, and even if the horizon is formed different types of the vacuum instability develop, which are faster than the process of Hawking radiation. Nevertheless, it is possible to create the horizon on the quantum-liquid analog of the brane, where the vacuum life-time is long (...) enough to consider the horizon as the quasistationary object. Using this analogy we calculate the Bekenstein entropy of the near-extremal and extremal black holes, which comes from the fermionic microstates in the region of the horizon—the fermion zero modes. We also discuss how the cancellation of the large cosmological constant follows from the thermodynamics of the vacuum. (shrink)

General relativity cannot be formulated as a perturbatively renormalizable quantum field theory. An argument relying on the validity of the Bekenstein–Hawking entropy formula aims at dismissing gravity as non-renormalizable per se, against hopes that d-dimensional GR could turn out to have a non-perturbatively renormalizable d–dimensional quantum field theoretic formulation. In this note we discuss various forms of highly problematic semi-classical extrapolations assumed by both sides of the debate concerning what we call The Entropy Argument, and show (...) that a large class of dimensional reduction scenarios leads to the blow-up of Bekenstein–Hawking entropy. (shrink)

In this paper I develop a framework for relating dualities and emergence: two notions that are close to each other but also exclude one another. I adopt the conception of duality as 'isomorphism', from the physics literature, cashing it out in terms of three conditions. These three conditions prompt two conceptually different ways in which a duality can be modified to make room for emergence; and I argue that this exhausts the possibilities for combining dualities and emergence. I apply this (...) framework to gauge/gravity dualities, considering in detail three examples: AdS/CFT, Verlinde's scheme, and black holes. My main point about gauge/gravity dualities is that the theories involved, qua theories of gravity, must be background-independent. I distinguish two senses of background-independence: minimalistic and extended. I argue that the former is sufficiently strong to allow for a consistent theory of quantum gravity; and that AdS/CFT is background-independent on this account; while Verlinde's scheme best fits the extended sense of background-independence. I argue that this extended sense should be applied with some caution: on pain of throwing the baby out with the bath-water. Nevertheless, it is an interesting and potentially fruitful heuristic principle for quantum gravity theory construction. It suggests some directions for possible generalisations of gauge/gravity dualities. The interpretation of dualities is discussed; and the so-called 'internal' vs. 'external' viewpoints are articulated in terms of: epistemic and metaphysical commitments; parts vs. wholes. I then analyse the emergence of gravity in gauge/gravity dualities in terms of the two available conceptualisations of emergence; and I show how emergence in AdS/CFT and in Verlinde's scenario differ from each other. Finally, I give a novel derivation of the Bekenstein-Hawking black hole entropy formula based on Verlinde's scheme; the derivation sheds light on several aspects of Verlinde's scheme and how it compares to Bekenstein's original calculation. (shrink)

In this paper I analyse two closely related examples of duality and of emergence of gravity, namely AdS/CFT and Verlinde's scheme. Based on the notion of duality introduced in Dieks et al., I here elaborate on the conditions necessary for AdS/CFT to be a duality, in particular the condition of completeness. I also address what is usually seen as a desideratum for any candidate theory of quantum gravity: the background-independence of the theory and the diffeomorphism invariance of the observables. Then (...) I discuss Verlinde's scheme and the extent to which it gives a clear case of emergence of gravity. Finally, I give a novel derivation of the Bekenstein-Hawking black hole entropy formula based on Verlinde's scheme. (shrink)

Almost all of the entropy in the universe is in the form of Bekenstein–Hawking (BH) entropy of super-massive black holes. This entropy, if it satisfies Boltzmann’s equation S=logN\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$S=\log \mathcal{N}$$\end{document}, hence represents almost all the accessible phase space of the Universe, somehow associated to objects which themselves fill out a very small fraction of ordinary three-dimensional space. Although time scales are very long, it is believed that black (...) holes will eventually evaporate by emitting Hawking radiation, which is thermal when counted mode by mode. A pure quantum state collapsing to a black hole will hence eventually re-emerge as a state with strictly positive entropy, which constitutes the famous black hole information paradox. Expanding on a remark by Hawking we posit that BH entropy is a thermodynamic entropy, which must be distinguished from information-theoretic entropy. The paradox can then be explained by information return in Hawking radiation. The novel perspective advanced here is that if BH entropy counts the number of accessible physical states in a quantum black hole, then the paradox can be seen as an instance of the fundamental problem of statistical mechanics. We suggest a specific analogy to the increase of the entropy in a solvation process. We further show that the huge phase volume (N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathcal{N}$$\end{document}), which must be made available to the universe in a gravitational collapse, cannot originate from the entanglement between ordinary matter and/or radiation inside and outside the black hole. We argue that, instead, the quantum degrees of freedom of the gravitational field must get activated near the singularity, resulting in a final state of the ‘entangled entanglement’ form involving both matter and gravity. (shrink)

When do two sentences say the same thing, that is, express the same content? We defend two-component (2C) semantics: the view that propositional contents comprise (at least) two irreducibly distinct constituents, (1) truth-conditions, and (2) subject-matter. We contrast 2C with one-component (1C) semantics, focusing on the view that subject-matter is reducible to truth- conditions. We identify exponents of this view and argue in favor of 2C. An appendix proposes a general formal template for propositional 2C semantics.

An analogue of Hawking's black hole area theorem is proved for Friedmann-type cosmological models with event horizons. The generalised second law of thermodynamics is investigated in cases where the horizon shrinks.

In a previous paper by Pollock and Singh, it was proven that the total entropy of de Sitter space-time is equal to zero in the spatially flat case K=0. This result derives from the fundamental property of classical thermodynamics that temperature and volume are not necessarily independent variables in curved space-time, and can be shown to hold for all three spatial curvatures K=0,±1. Here, we extend this approach to Schwarzschild space-time, by constructing a non-vacuum interior space with line element (...) ds 2=e2λ(r) dt 2−e−2λ(r) dr 2−r 2(dθ 2+sin2 θdϕ 2), where $\mathrm{e}^{2{\lambda }(r)}=-\frac{1}{2}(1-\frac{r^{2}}{R_{0}^{2}})$ , which matches onto the vacuum exterior Schwarzschild metric in such a way that e2λ and d(e2λ )/dr are both continuous at the Schwarzschild radius R 0=2M. Then we show that the volume entropy is equal to A/4, where $A\equiv 4\pi R_{0}^{2}$ is the area of the apparent horizon, as found by Hawking. (shrink)

I describe how gravitational entropy is intimately connected with the concept of gravitational heat, expressed as the difference between the total and free energies of a given gravitational system. From this perspective one can compute these thermodyanmic quantities in settings that go considerably beyond Bekenstein's original insight that the area of a black hole event horizon can be identified with thermodynamic entropy. The settings include the outsides of cosmological horizons and spacetimes with NUT charge. However the interpretation (...) of gravitational entropy in these broader contexts remains to be understood. (shrink)

We present a formal semantics for epistemic logic, capturing the notion of knowability relative to information (KRI). Like Dretske, we move from the platitude that what an agent can know depends on her (empirical) information. We treat operators of the form K_AB (‘B is knowable on the basis of information A’) as variably strict quantifiers over worlds with a topic- or aboutness- preservation constraint. Variable strictness models the non-monotonicity of knowledge acquisition while allowing knowledge to be intrinsically stable. Aboutness-preservation models (...) the topic-sensitivity of information, allowing us to invalidate controversial forms of epistemic closure while validating less controversial ones. Thus, unlike the standard modal framework for epistemic logic, KRI accommodates plausible approaches to the Kripke-Harman dogmatism paradox, which bear on non-monotonicity, or on topic-sensitivity. KRI also strikes a better balance between agent idealization and a non-trivial logic of knowledge ascriptions. (shrink)

A continuous family of static spherically symmetric solutions of Einstein’s vacuum field equations with a spatial singularity at the origin \ is found. These solutions are parametrized by a real valued parameter \ and such that the radial horizon’s location is displaced continuously towards the singularity ) as \ increases. In the extreme limit \, the location of the singularity and horizon merges leading to a null singularity. In this extreme case, any infalling observer hits the null singularity at the (...) very moment he/she crosses the horizon. This fact may have important consequences for the resolution of the fire wall problem and the complementarity controversy in black holes. An heuristic argument is provided how one might avoid the Hawking particle emission process in this extreme case when the singularity and horizon merges. The field equations due to a delta-function point-mass source at \ are solved and the Euclidean gravitational action corresponding to those solutions is evaluated explicitly. It is found that the Euclidean action is precisely equal to the black hole entropy. This result holds in any dimensions \. (shrink)

A Brief History of Time: From the Big Bang to Black Holes is a popular-science book on cosmology (the study of the origin and evolution of the universe) by British physicist Stephen Hawking. It was first published in 1988. Hawking wrote the book for readers who have no prior knowledge of the universe and people who are interested in learning.

Motivated by the known mathematical and physical problems arising from the current mathematical formalization of the physical spatio-temporal continuum, as a substantial technical clarification of our earlier attempt (Etesi in Found Sci 25:327–340, 2020), the aim in this paper is twofold. Firstly, by interpreting Chaitin’s variant of Gödel’s first incompleteness theorem as an inherent uncertainty or fuzziness present in the set of real numbers, a set-theoretic entropy is assigned to it using the Kullback–Leibler relative entropy of a pair (...) of Riemannian manifolds. Then exploiting the non-negativity of this relative entropy an abstract Hawking-like area theorem is derived. Secondly, by analyzing Noether’s theorem on symmetries and conserved quantities, we argue that whenever the four dimensional space-time continuum containing a single, stationary, asymptotically flat black hole is modeled by the set of real numbers in the mathematical formulation of general relativity, the hidden set-theoretic entropy of this latter structure reveals itself as the entropy of the black hole (proportional to the area of its “instantaneous” event horizon), indicating that this apparently physical quantity might have a pure set-theoretic origin, too. (shrink)

Animates the erratic, often mercenary character of America's pen of independence and sometime anonymous political columnist whose pungent propaganda profoundly influenced the two greatest sociopolitical upheavals of the 18th century.

What does ‘Smith knows that it might be raining’ mean? Expressivism here faces a challenge, as its basic forms entail a pernicious type of transparency, according to which ‘Smith knows that it might be raining’ is equivalent to ‘it is consistent with everything that Smith knows that it is raining’ or ‘Smith doesn’t know that it isn’t raining’. Pernicious transparency has direct counterexamples and undermines vanilla principles of epistemic logic, such as that knowledge entails true belief and that something can (...) be true without one knowing it might be. I re-frame the challenge in precise terms and propose a novel expressivist formal semantics that meets it by exploiting (i) the topic-sensitivity and fragmentation of knowledge and belief states and (ii) the apparent context-sensitivity of epistemic modality. The resulting form of assertibility semantics advances the state of the art for state-based bilateral semantics by combining attitude reports with context-sensitive modal claims, while evading various objectionable features. In appendices, I compare the proposed system to Beddor and Goldstein’s ‘safety semantics’ and discuss its analysis of a modal Gettier case due to Moss. (shrink)

Drawing on the puzzling behavior of ordinary knowledge ascriptions that embed an epistemic (im)possibility claim, we tentatively conclude that it is untenable to jointly endorse (i) an unfettered classical logic for epistemic language, (ii) the general veridicality of knowledge ascription, and (iii) an intuitive ‘negative transparency’ thesis that reduces knowledge of a simple negated ‘might’ claim to an epistemic claim without modal content. We motivate a strategic trade-off: preserve veridicality and (generalized) negative transparency, while abandoning the general validity of contraposition. (...) We criticize various approaches to incorporating veridicality into domain semantics, a paradigmatic ‘information-sensitive’ framework for capturing negative transparency and, more generally, the non-classical behavior of sentences with epistemic modals. We then present a novel information-sensitive semantics that successfully executes our favored strategy: stable acceptance semantics, extending a vanilla bilateral state-based semantics for epistemic modals with a knowledge operator loosely inspired by the defeasibility theory of knowledge. (shrink)

Unlike other primate males, men invest substantial effort in producing food that is consumed by others. The Hunting Hypothesis proposes this pattern evolved in early Homo when ancestral mothers began relying on their mates’ hunting to provision dependent offspring. Evidence for this idea comes from hunter-gatherer ethnography, but data we collected in the 1980s among East African Hadza do not support it. There, men targeted big game to the near exclusion of other prey even though they were rarely successful and (...) most of the meat went to others, at significant opportunity cost to their own families. Based on Hadza data collected more recently, Wood and Marlowe contest our position, affirming the standard view of men’s foraging as family provisioning. Here we compare the two studies, identify similarities, and show that emphasis on big game results in collective benefits that would not be supplied if men foraged mainly to provision their own households. Male status competition remains a likely explanation for Hadza focus on big game, with implications for hypotheses about the deeper past. (shrink)

We propose a solution to the problem of logical omniscience in what we take to be its fundamental version: as concerning arbitrary agents and the knowledge attitude per se. Our logic of knowledge is a spin-off from a general theory of thick content, whereby the content of a sentence has two components: an intension, taking care of truth conditions; and a topic, taking care of subject matter. We present a list of plausible logical validities and invalidities for the logic of (...) knowledge per se for arbitrary agents, and isolate three explanatory factors for them: the topic-sensitivity of content; the fragmentation of knowledge states; the defeasibility of knowledge acquisition. We then present a novel dynamic epistemic logic that yields precisely the desired validities and invalidities, for which we provide expressivity and completeness results. We contrast this with related systems and address possible objections. (shrink)

Our topic is the theory of topics. My goal is to clarify and evaluate three competing traditions: what I call the way-based approach, the atom-based approach, and the subject-predicate approach. I develop criteria for adequacy using robust linguistic intuitions that feature prominently in the literature. Then I evaluate the extent to which various existing theories satisfy these constraints. I conclude that recent theories due to Parry, Perry, Lewis, and Yablo do not meet the constraints in total. I then introduce the (...) issue-based theory—a novel and natural entry in the atom-based tradition that meets our constraints. In a coda, I categorize a recent theory from Fine as atom-based, and contrast it to the issue-based theory, concluding that they are evenly matched, relative to our main criteria of adequacy. I offer tentative reasons to nevertheless favour the issue-based theory. (shrink)

It is only in recent years that soccer has become big business, and the ethical strains are beginning to show. What is the “product” and where do fans figure in the list of “stakeholders”? The writer is completing his MBA at London Business School, and is a lifelong football fan.

My topic is moderate modal skepticism in the spirit of Peter van Inwagen. Here understood, this is a conservative version of modal empiricism that severely limits the extent to which an ordinary agent can reasonably believe “exotic” possibility claims. I offer a novel argument in support of this brand of skepticism: modal skepticism grounds an attractive (and novel) reply to Humean skepticism. Thus, I propose that modal skepticism be accepted on the basis of its theoretical utility as a tool for (...) dissolving philosophical paradox. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also by (...) their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

Einstein said that the most incomprehensible thing about the universe is that it is comprehensible. But was he right? Can the quantum theory of fields and Einstein's general theory of relativity, the two most accurate and successful theories in all of physics, be united in a single quantum theory of gravity? Two of the world's most famous physicists - Stephen Hawking and Roger Penrose - disagree. Here they explain their positions in a work based on six lectures with a (...) final debate, all originally presented at the Isaac Newton Institute for Mathematical Sciences at the University of Cambridge. (shrink)

I propose an experiment that may be performed, with present low temperature and cryogenic technology, to reveal Wheeler’s quantum foam. It involves coupling an optical photon’s momentum to the center of mass motion of a macroscopic transparent block with parameters such that the latter is displaced in space by approximately a Planck length. I argue that such displacement is sensitive to quantum foam and will react back on the photon’s probability of transiting the block. This might allow determination of the (...) precise scale at which quantum fluctuations of space–time become large, and so differentiate between the brane-world and the traditional scenarios of spacetime. (shrink)

We prove the existence of a generalization of Kelvin's circulation theorem in general relativity which is applicable to perfect isentropic magnetohydrodynamic flow. The argument is based on a new version of the Lagrangian for perfect magnetohydrodynamics. We illustrate the new conserved circulation with the example of a relativistic magnetohydrodynamic flow possessing three symmetries.

It is pointed out that the Higgs field may be supplanted by an ordinary Klein-Gordon field conformally coupled to the space-time curvature, and with very small, real, rest mass. Provided there is a bare cosmological constant of order of its square mass, this field can induce spontaneous symmetry breaking with a mass scale that can be as large as the Planck-Wheeler mass, but may be smaller. It can thus play a natural role in grand unified theories. In the theory presented (...) here the physical cosmological constant is small, being of order of the squared mass, and can meet observational constraints without having to be cancelled accurately. The physical gravitational constant differs somewhat from the coupling constant in Einstein's equation, and is temperature dependent in the broken symmetry regime. Symmetry restoration occurs at high temperature. (shrink)

An exploration of the central role of indirect modes of expression in ancient China.

We explore some possibilities for developing epistemic logic using truthmaker semantics. We identify three possible targets of analysis for the epistemic logician. We then list some candidate epistemic principles and review the arguments that render some controversial. We then present the classic Hintikkan approach to epistemic logic and note—as per the ‘problem of logical omniscience’—that it validates all of the aforementioned principles, controversial or otherwise. We then lay out a truthmaker framework in the style of Kit Fine and present six (...) different ways of extending this semantics with a conditional knowledge operator, drawing on notions of implication and content that are prominent in Fine’s work. We demonstrate that different logics are thereby generated, bearing on the aforementioned epistemic principles. Finally, we offer preliminary observations about the prospects for each logic. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it canonically serves (...) to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

Single-premise epistemic closure is the principle that: if one is in an evidential position to know that P where P entails Q, then one is in an evidential position to know that Q. In this paper, I defend the viability of opposition to closure. A key task for such an opponent is to precisely formulate a restricted closure principle that remains true to the motivations for abandoning unrestricted closure but does not endorse particularly egregious instances of closure violation. I focus (...) on two brands of epistemic theory that naturally incorporate closure restrictions. The first type holds that the truth value of a knowledge ascription is relative to a relevant question. The second holds that the truth value of a knowledge ascription is relative to a relevant topic. For each approach, I offer a formalization of a leading theory from the literature and use this formalization to evaluate the theory’s adequacy in terms of a precise set of desiderata. I conclude that neither theory succeeds in meeting these desiderata, casting doubt on the viability of the underlying approaches. Finally, I offer a novel variant of the topic-sensitive approach that fares better. (shrink)

In this paper, the author defends Peter van Inwagen’s modal skepticism. Van Inwagen accepts that we have much basic, everyday modal knowledge, but denies that we have the capacity to justify philosophically interesting modal claims that are far removed from this basic knowledge. The author also defends the argument by means of which van Inwagen supports his modal skepticism, offering a rebuttal to an objection along the lines of that proposed by Geirrson. Van Inwagen argues that Stephen Yablo’s recent and (...) influential account of the relationship between conceivability and possibility supports his skeptical claims. The author’s defence involves a creative interpretation and development of Yablo’s account, which results in a recursive account of modal epistemology, what the author calls the “safe explanation” theory of modal epistemology. (shrink)

Logics of joint strategic ability have recently received attention, with arguably the most influential being those in a family that includes Coalition Logic (CL) and Alternating-time Temporal Logic (ATL). Notably, both CL and ATL bypass the epistemic issues that underpin Schelling-type coordination problems, by apparently relying on the meta-level assumption of (perfectly reliable) communication between cooperating rational agents. Yet such epistemic issues arise naturally in settings relevant to ATL and CL: these logics are standardly interpreted on structures where agents move (...) simultaneously, opening the possibility that an agent cannot foresee the concurrent choices of other agents. In this paper we introduce a variant of CL we call Two-Player Strategic Coordination Logic (SCL2). The key novelty of this framework is an operator for capturing coalitional ability when the cooperating agents cannot share strategic information. We identify significant differences in the expressive power and validities of SCL2 and CL2, and present a sound and complete axiomatization for SCL2. We briefly address conceptual challenges when shifting attention to games with more than two players and stronger notions of rationality. (shrink)

We investigate, in a logical setting, the expressivist proposal that assertion primarily functions to express and coordinate doxastic states and that ‘might’ fundamentally expresses lack of belief. We provide a formal model of an agent’s doxastic state and novel assertability conditions for an associated formal language. We thereby prove that an arbitrary assertion always succeeds in expressing a well-defined doxastic state, and propose a fully general and intuitive update operation as a model of an agent coming to accept an arbitrary (...) assertion. Leaving a comprehensive philosophical and linguistic defense for elsewhere, we explore technical aspects of our framework, providing, for instance, a complete logic of assertability and reduction axioms for the novel update operations related to our proposal. Finally, we contrast our work with related proposals in the logic literature. (shrink)

Developmental psychologists identify propensities for social engagement in human infants that are less evident in other apes; Sarah Hrdy links these social propensities to novel features of human childrearing. Unlike other ape mothers, humans can bear a new baby before the previous child is independent because they have help. This help alters maternal trade-offs and so imposes new selection pressures on infants and young children to actively engage their caretakers’ attention and commitment. Such distinctive childrearing is part of our grandmothering (...) life history. While consequences for other cooperative activities must surely follow, the novel rearing environments set up by helpful grandmothering can explain why natural selection escalated preferences and motivations for interactivity in our lineage in the first place, and why, unlike other aspects of infant development, social sensitivities are not delayed in humans compared with genus Pan. (shrink)

The ratio of index- and ring-finger lengths is thought to be related to prenatal androgen exposure, and in many, though not all, populations, men have a lower average digit ratio than do women. In many studies an inverse relationship has been observed, among both men and women, between 2D:4D ratio and measures of athletic ability. It has been further suggested that, in hunter-gatherer populations, 2D:4D ratio might also be negatively correlated with hunting ability, itself assumed to be contingent on athleticism. (...) This hypothesis has been tested using endurance running performance among runners from a Western, educated, and industrialized population as a proximate measure of hunting ability. However, it has not previously been tested among actual hunter-gatherers using more ecologically valid measures of hunting ability and success. The current study addresses this question among Tanzanian Hadza hunter-gatherers. I employ a novel method of assessing hunting reputation that, unlike previous methods, allows granular distinctions to be made between hunters at all levels of perceived ability. I find no statistically significant relationship between digit ratio and either hunting reputation or two important hunting skills. I confirm that Hadza men have higher mean 2D:4D ratios than men in many Western populations. I discuss the notion that 2D:4D ratio may be the consequence of an allometric scaling relationship between relative and absolute finger lengths. Although it is difficult to draw clear conclusions from these results, the current study provides no support for the theorized relationship between 2D:4D ratio and hunting skill. (shrink)

Both gender and the law are significant determinants of health and well-being. Here, we put forward evidence to unpack the relationship between gender and outcomes in health and well-being, and explore how legal determinants interact and intersect with gender norms to amplify or reduce health inequities across populations. The paper explores the similarities between legal and health systems in their response to gender—both systems portray gender neutrality but would be better described as gender-blind. We conclude with a set of recommendations (...) to address both law and gender in implementing the work of the Lancet Commission on the legal determinants of health to improve health outcomes for all, irrespective of gender. (shrink)

This article explores the notion of gender overdetermination in relation to a community of criminalised women in Massachusetts. Re-examining classic writings on overdetermination by Louis Althusser, Sigmund Freud, Frantz Fanon and Jean-Paul Sartre, we query the notion of gender overdetermination and posit it as an effective lens for thinking about the persistence of gender as a social construct. The combination of the structural processes of overdetermination with the discursive and ideological power of overdetermination complicates and reduces possibilities and effectiveness of (...) sustained acts of resistance. The criminalised women of our study permanently inhabit a space in which aetiology, practice, discipline and interpretation are all hyper-gendered, meaning that acts of resistance are construed as more evidence of inescapable and essential gender identity. (shrink)

Dr. Stephen Hawking was the most renowned scientist since Einstein, known both for his groundbreaking work in physics and cosmology and for his mischievous sense of humor. He educated millions of readers about the origins of the universe and the nature of black holes, and inspired millions more by defying a terrifying early prognosis of ALS, which originally gave him only two years to live. In later life he could communicate only by using a few facial muscles, but he (...) continued to advance his field and serve as a revered voice on social and humanitarian issues. Hawking not only unraveled some of the universe's greatest mysteries but also believed science plays a critical role in fixing problems here on Earth. Now he turns his attention to the most urgent issues facing us. Will humanity survive? Should we colonize space? Does God exist? These are just a few of the questions Hawking addresses in this wide-ranging, passionately argued final book from one of the greatest minds in history. Featuring a foreword by Eddie Redmayne, who won an Oscar playing Stephen Hawking, an introduction by Nobel Laureate Kip Thorne, and an afterword from Hawking's daughter, Lucy. (shrink)

We examine a prominent naturalistic line on the method of cases, exemplified by Timothy Williamson and Edouard Machery: MoC is given a fallibilist and non-exceptionalist treatment, accommodating moderate modal skepticism. But Gettier cases are in dispute: Williamson takes them to induce substantive philosophical knowledge; Machery claims that the ambitious use of MoC should be abandoned entirely. We defend an intermediate position. We offer an internal critique of Macherian pessimism about Gettier cases. Most crucially, we argue that Gettier cases needn’t exhibit (...) ‘disturbing characteristics’ that Machery posits to explain why philosophical cases induce dubious judgments. It follows, we show, that Machery’s central argument for the effective abandonment of MoC is undermined. Nevertheless, we engineer a restricted variant of the argument—in harmony with Williamsonian ideology–that survives our critique, potentially limiting philosophy’s scope for establishing especially ambitious modal theses, despite traditional MoC’s utility being partially preserved. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 62.1 (2001) 141-160 [Access article in PDF] The Politics of Character in John Milton's Divorce Tracts David Hawkes nunquam privatum esse sapientum --Cicero I. There has recently been a great deal of debate over the relative influence on Milton's politics of two discordant revolutionary ideologies: classical republicanism and radical Protestant theology. 1 In the mid-seventeenth century the search for intellectual precedents and rationalizations (...) of the English revolution brought these two traditions into an uneasy alliance, and Milton, like many other revolutionary apologists, drew on both of them. Of course the two schools of thought are not necessarily incompatible. J. G. A. Pocock notes one point of connection between them: The context in which men attain their final end--or recover their prima forma, though this concept might not have been antinomian enough for the radical saints of the New Model--is that of apocalypse; the "end" of Aristotelian teleology is still united with the eschatological "end" of prophetic time. 2The Aristotelian "end" of man is the good, defined as "an activity of soul in accordance with virtue," and the belief that one can or has fulfilled that end is [End Page 141] certainly amenable to Protestant antinomianism. 3 Furthermore, as Sharon Achinstein points out, Milton's "conception of virtue... melds the religious notion of conscience with a classical sense of civic duty." 4 On the other hand there are significant differences between the classical and the Christian notions of "virtue" and the "good," which dictate that, as Nigel Smith puts it, "[c]lassical republicanism, properly conceived, would in many ways be in conflict with the millenarian, chiliastic and perfectionist Protestantism of the sects." 5 The problem faced by Milton as a Protestant Republican is that the definition of the "good" offered by millennial sanctification and that attainable through Aristotelian virtue are in many ways mutually exclusive and contradictory. They have been characterized as such ever since Augustine's City of God asserted that pagan ethics are incompatible with true, Christian virtue. 6 Millennialism relies on faith; civic humanist virtue relies on works. Antinomianism abolishes the law; republicanism institutes the rule of law. The saints are sanctified by grace; the virtuous are distinguished by their own strength of character. Radical Protestant freedom is negative and private--it is the ability to speak and worship according to the dictates of conscience; civic humanist liberty is positive and public, the ability to participate fully in the government of the res publica. While daunting, however, these contradictions are not quite insuperable. I believe that Milton finds a common denominator in the accounts given by these two traditions of psychological objectification and that the agreement of Roman and Christian morality on this point leads him to make the tendency to objectification (or rather the ability to resist that tendency) the central issue of his mature political theory.The political ideas of the classical republicans and their descendants, the Renaissance civic humanists, were based upon Aristotle's Politics and Nico-machean Ethics, while the intellectual sources of radical Protestantism can be traced to Luther's commentaries on Paul's epistles. During the English revolution the Pauline exegesis of the relationship between the old and the new covenants provided intellectual ammunition against custom and tradition, as well as inspiring the antinomianism of the radical fringe to which Milton was falsely accused of adhering during the divorce controversy. In the divorce tracts Milton points out that Aristotle and Paul share one fundamental tenet: they argue that interior and exterior slavery are of the same nature and therefore concomitant [End Page 142] and inseparable. Furthermore, Milton notes, Aristotle and Paul both claim that exterior and interior slavery consist in "carnality," the subjection of the spirit to the flesh. This identification of carnality with servility becomes a constant strain which runs throughout Milton's career and provides the consistent element in his apparently vacillating theories of politics and religion.II. Although this argument recurs throughout Milton's career, it is first hammered into shape during the divorce controversy... (shrink)

Tras señalar que la Segunda Ley de la Termodinámica se cumple porque el universo empezó en un estado ordenado, y que para predecir el estado inicial se deben ocupar tanto la relatividad general como la teoría cuántica, Hawking propone que el universo no tiene una sola historia sino todas las historias posibles, cada una con su propia amplitud de probabilidad. Postula que las historias del universo dependen de lo que está siendo medido, al revés de la idea habitual de (...) que el universo tiene una historia objetiva, independiente del observador: creamos la historia mediante nuestra observación, en lugar de que la historia nos cree a nosotros. Sostiene que la condición inicial para el universo es una de ausencia de fronteras, lo que implica que el universo primitivo debió haber sido casi liso, pero con pequeñas irregularidades; y que éstas habrían crecido luego bajo la influencia de la gravedad y conducido a la formación de galaxias, estrellas y, en último término, a seres considerados inteligentes. (shrink)