The story of the body. Fay Bound Alberti takes the human body apart in order to put it back anew, telling the cultural history of our key organs and systems from the inside out, from blood to guts, brains to sex organs.

Many contemporary scholars argue that Schelling’s version of intellectual intuition retains certain central features of the Kantian and Fichtean conceptions. One of the common claims is that, as with Kant and Fichte, Schelling’s intellectual intuition is the power of the subject’s productive understanding. However, we show that for the Schelling of the Identitätsphilosophie period, intellectual intuition is the power not of an understanding that intuits, or a productive intellect, but of a receptive and penetrating sensibility that understands.

In this paper I draw from Martin Heidegger’s phenomenology of the 1920s to outline some basic features of his theory of intentionality that I believe have not been fully appreciated or utilized, and that allow for both novel and fruitful interventions in questions about meaning, the relationship between mind and the world, and epistemic justification, principally as they appear in John McDowell’s synoptic project in Mind and World. I argue that while elements of McDowell’s picture are ultimately unsatisfying and problematic, (...) much of his conceptual framework can and should be put into dialogue with Heidegger’s, and that in so doing we make available powerful resources for amending the McDowellian account. Moreover, these emendations have attractive implications for his distinctive desiderata. In particular, they provide original conceptions of normativity’s place in nature, of the boundaries of the space of reasons, and of the relationship between the answerability of thought both to the world and to human beings as a rational community. (shrink)

Loneliness is one of the most neglected aspects of emotion history, despite claims that the 21st century is the loneliest ever. This article argues against the widespread belief that modern-day loneliness is inevitable, negative, and universal. Looking at its language and etymology, it suggests that loneliness needs to be understood firstly as an “emotion cluster” composed of a variety of affective states, and secondly as a relatively recent invention, dating from around 1800. Loneliness can be positive, and as much a (...) part of the body as the mind. Using a longue durée approach, I argue that we cannot understand loneliness as a “modern epidemic” without considering its history, its meanings, its practice, and its links with the body. (shrink)

This essay explores small “ordinary” experiences of moral harm as problems of social injustice. Starting with two stories, we first argue against a dominant framework of personal responsibility that assigns responsibility to particular blameworthy agents. Instead we sketch an account of why structural responsibility for social harm must be considered, drawing on the work of Iris Marion Young and Pierre Bourdieu. Finally, drawing on Margaret Walker’s notion of moral repair and Christopher Marshall’s interpretation of the parable of the Good Samaritan, (...) we sketch an account of Christian moral responsibility grounded in restorative justice that seeks to address daily experiences of moral harm through the moral repair work of neighbor-love. (shrink)

ABSTRACT Quine insisted that the satisfaction of an open modalised formula by an object depends on how that object is described. Kripke's ‘objectual’ interpretation of quantified modal logic, whereby variables are rigid, is commonly thought to avoid these Quinean worries. Yet there remain residual Quinean worries for epistemic modality. Theorists have recently been toying with assignment-shifting treatments of epistemic contexts. On such views an epistemic operator ends up binding all the variables in its scope. One might worry that this yields (...) the undesirable result that any attempt to ‘quantify in’ to an epistemic environment is blocked. If quantifying into the relevant constructions is vacuous, then such views would seem hopelessly misguided and empirically inadequate. But a famous alternative to Kripke's semantics, namely Lewis' counterpart semantics, also faces this worry since it also treats the boxes and diamonds as assignment-shifting devices. As I'll demonstrate, the mere fact that a variable is bound is no obstacle to binding it. This provides a helpful lesson for those modelling de re epistemic contexts with assignment sensitivity, and perhaps leads the way toward the proper treatment of binding in both metaphysical and epistemic contexts: Kripke for metaphysical modality, Lewis for epistemic modality. (shrink)

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and (...) conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area. (shrink)

A critique of the hypothesis of extended cognition.

Bounded rationality gets a bad rap in epistemology. It is argued that theories of bounded rationality are overly context‐sensitive; conventionalist; or dependent on ordinary language (Carr, 2022; Pasnau, 2013). In this paper, I have three aims. The first is to set out and motivate an approach to bounded rationality in epistemology inspired by traditional theories of bounded rationality in cognitive science. My second aim is to show how this approach can answer recent challenges raised for theories of bounded rationality. My (...) third aim is to clarify the role of rational ideals in bounded rationality. (shrink)

We show that Bounded Forcing Axioms (for instance, Martin's Axiom, the Bounded Proper Forcing Axiom, or the Bounded Martin's Maximum) are equivalent to principles of generic absoluteness, that is, they assert that if a $\Sigma_1$ sentence of the language of set theory with parameters of small transitive size is forceable, then it is true. We also show that Bounded Forcing Axioms imply a strong form of generic absoluteness for projective sentences, namely, if a $\Sigma^1_3$ sentence with parameters is forceable, then (...) it is true. Further, if for every real x, $x^{\sharp}$ exists, and the second uniform indiscernible is less than $\omega_2$ , then the same holds for $\Sigma^1_4$ sentences. (shrink)

Reflectivists consider reflective reasoning crucial for good judgment and action. Anti-reflectivists deny that reflection delivers what reflectivists seek. Alas, the evidence is mixed. So, does reflection confer normative value or not? This paper argues for a middle way: reflection can confer normative value, but its ability to do this is bound by such factors as what we might call epistemic identity: an identity that involves particular beliefs—for example, religious and political identities. We may reflectively defend our identities’ beliefs rather than (...) reflect open-mindedly to adopt whatever beliefs cohere with the best arguments and evidence. This bounded reflectivism is explicated with an algorithmic model of reflection synthesized from philosophy and science that yields testable predictions, psychometric implications, and realistic metaphilosophical suggestions—for example, overcoming motivated reflection may require embracing epistemic identity rather than veiling it (à la Rawls 1971). So bounded reflectivism should be preferred to views offering anything less. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in semantics. (...) Her development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

We define the bounded jump of $A$ by $A^{b}=\{x\in \omega \mid \exists i\leq x[\varphi_{i}\downarrow \wedge\Phi_{x}^{A\upharpoonright \!\!\!\upharpoonright \varphi_{i}}\downarrow ]\}$ and let $A^{nb}$ denote the $n$th bounded jump. We demonstrate several properties of the bounded jump, including the fact that it is strictly increasing and order-preserving on the bounded Turing degrees. We show that the bounded jump is related to the Ershov hierarchy. Indeed, for $n\geq2$ we have $X\leq_{bT}\emptyset ^{nb}\iff X$ is $\omega^{n}$-c.e. $\iff X\leq_{1}\emptyset ^{nb}$, extending the classical result that $X\leq_{bT}\emptyset '\iff (...) X$ is $\omega$-c.e. Finally, we prove that the analogue of Shoenfield inversion holds for the bounded jump on the bounded Turing degrees. That is, for every $X$ such that $\emptyset ^{b}\leq_{bT}X\leq_{bT}\emptyset ^{2b}$, there is a $Y\leq_{bT}\emptyset ^{b}$ such that $Y^{b}\equiv_{bT}X$. (shrink)

An evidentialist can be extreme about epistemic requirements in a couple of different ways. At the reductionist end of the spectrum are those who think our epistemic obligations are fully satisfied by the mere having of evidential fit—where having implies nothing about doing. Your beliefs ought to align with your evidence, in other words, but there’s nothing you’re obligated to do in order to get yourself into the epistemically optimal position. At the expansionist end of the spectrum are those who (...) think we ought to do more—epistemically-speaking—than just bring about a state of evidential fit. We ought to get more evidence, for instance, if it’s somehow relevant to our beliefs. Rather leery of extremists, we prefer a moderate account of epistemic obligation. It’s a conjunction of three theses: (1) We never have an epistemic duty to believe any particular proposition; (2) We’re epistemically obligated to reflect on our evidence in order to produce a state of evidential fit; (3) We’re never epistemically obligated to acquire any additional evidence. Our aim is to make these plausible. (shrink)

The subject of personal identity is one of the most central and most contested and exciting in philosophy. Ever since Locke, psychological and bodily criteria have vied with one another in conflicting accounts of personal identity. Carol Rovane argues that, as things stand, the debate is unresolvable since both sides hold coherent positions that our common sense, she maintains, is conflicted; so any resolution to the debate is bound to be revisionary. She boldly offers such a revisionary theory of personal (...) identity by first inquiring into the nature of persons. Rovane begins with a premise about the distinctive ethical nature of persons to which all substantive ethical doctrines, ranging from Kantian to egoist, can subscribe. From this starting point, she derives two startling metaphysical possibilities: there could be group persons composed of many human beings and muliple persons within a single human being. Her conclusions supports Locke's distinction between persons and human beings, but on altogether new grounds. These grounds lie in her radically normative analysis of the condition of personal identity, as the condition in which a certain normative commitment arises, namely, the commitment to achieve overall rational unity within a rational point of view. It is by virtue of this normative commitment that individual agents can engage one another specifically as persons, and possess the distinctive ethical status of persons. Carol Rovan is Associate Professor of Philosophy at Yale University. Originally published in 1997. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

An alarming number of philosophers and cognitive scientists have argued that mind extends beyond the brain and body. This book evaluates these arguments and suggests that, typically, it does not. A timely and relevant study that exposes the need to develop a more sophisticated theory of cognition, while pointing to a bold new direction in exploring the nature of cognition Articulates and defends the “mark of the cognitive”, a common sense theory used to distinguish between cognitive and non-cognitive processes Challenges (...) the current popularity of extended cognition theory through critical analysis and by pointing out fallacies and shortcoming in the literature Stimulates discussions that will advance debate about the nature of cognition in the cognitive sciences. (shrink)

In this collection of essays Onora O'Neill explores and argues for an account of justice that is fundamentally cosmopolitan rather than civic, yet takes serious account of institutions and boundaries, and of human diversity and vulnerability. Starting from conceptions that are central to any account of justice - those of reason, action, judgement, coercion, obligations and rights - she discusses whether and how culturally or politically specific concepts and views, which limit the claims and scope of justice, can be avoided. (...) She then examines the demands and scope of just institutions, arguing that there are good reasons for taking the claims of distant strangers seriously, but that doing so points not to a world without boundaries but to one of porous boundaries and dispersed power. Bounds of Justice will be of interest to a wide range of readers in philosophy, politics and international relations. (shrink)

In this paper we prove a bounded translation of intuitionistic propositional logic into basic propositional logic. Our new theorem, compared with the translation theorem in [1], has the advantage that it gives an effective bound on the translation, depending on the complexity of formulas.

Resource Bounded Agents Resource bounded agents are persons who have information processing limitations. All persons and other cognitive agents who have bodies are such that their sensory transducers have limited resolution and discriminatory ability; their information processing speed and power is bounded by some threshold; and their memory and … Continue reading Resource Bounded Agents →.

An account of the virtues of limitation management: intellectual virtues of adapting to the fact that we cannot solve many of the problems that we can describe. I argue that the best response to many problems depends not on the most rationally promising solution, but on the most likely route to success. I argue against techniques that assume that one will fulfil ones intentions, and distinguish between failures of rationality and failures of intelligence. I describe the trap of supposing that (...) one will be capable of following the plan that would best exploit ones limited resources. (shrink)

Journal of Mathematical Logic, Volume 22, Issue 02, August 2022. We introduce bounded category forcing axioms for well-behaved classes [math]. These are strong forms of bounded forcing axioms which completely decide the theory of some initial segment of the universe [math] modulo forcing in [math], for some cardinal [math] naturally associated to [math]. These axioms naturally extend projective absoluteness for arbitrary set-forcing — in this situation [math] — to classes [math] with [math]. Unlike projective absoluteness, these higher bounded category forcing (...) axioms do not follow from large cardinal axioms but can be forced under mild large cardinal assumptions on [math]. We also show the existence of many classes [math] with [math] giving rise to pairwise incompatible theories for [math]. (shrink)

Programs, policies, and technologies — particularly those concerned with health equity — are often designed with justice envisioned as the end goal. These policies or interventions, however, frequently fail to recognize how the beneficiaries have historically embodied the cumulative effects of marginalization, which undermines the effectiveness of the intended justice. These well-meaning attempts at justice are bounded by greater socio-historical constraints. Bounded justice suggests that it is impossible to attend to fairness, entitlement, and equity when the basic social and physical (...) infrastructures underlying them have been eroded by racism and other historically entrenched isms. Using the case of Brazil’s National Health Policy for the Black Population, this paper proposes that bounded justice can contribute to justice discourses by serving as a concept, a proffering to a multi-disciplinary conceptual framework, and a potential analytic for those interested in the design of policy, technology, and programmatic interventions towards health equity. (shrink)

Abraham Pais's Subtle Is the Lord was a publishing phenomenon: a mathematically sophisticated exposition of the science and the life of Albert Einstein that reached a huge audience and won an American Book Award. Reviewers hailed the book as "a monument to sound scholarship and graceful style", "an extraordinary biography of an extraordinary man", and "a fine book". In this groundbreaking new volume, Pais undertakes a history of the physics of matter and of physical forces since the discovery of x-rays. (...) The book attempts to relate not only what has happened over the last hundred years but why it happened the way it did, what it was like for those scientists involved, and how what at the time may have seemed a series of bizarre or unrelated events, now with hindsight emerges as a logical sequence of events. Pais, a noted physicist, was personally involved in many of the developments he describes, and thus Inward Bound, like his earlier book, is filled with unique insights into the world of big and small physics. Between 1895 and 1983, the period he covers, the smallest distances explored have shrunk a hundred millionfold, Pais notes. Along this incompletely traveled "road inward," scientists have established markers that later generations will rank among the principal monuments of the twentieth century. In alternating technical and nontechnical sections, this magisterial survey richly conveys what has been discovered about the constituents of matter, the laws to which they are subject, and the forces that act on them. But the advances have certainly not come smoothly. The book shows that these have been times of progress and stagnation, of order and chaos, of clarity and confusion, of belief and incredulity, of the conventional and the bizarre; also of revolutionaries and conservatives, of science by individuals and by consortia, of little gadgets and big machines, and of modest funds and big money. About the Author: Abraham Pais is Detlev W. Bronk Professor of Physics at the Rockefeller University. The author of the prizewinning biography of Einstein now undertakes a history of modern physics. (shrink)

The human enhancement debate is fundamentally based on divergent ideals of human flourishing. Using the complementary, though often contrasting, foci of creaturehood and deification as fundamental to the good life, we examine these visions of human flourishing inherent in transhumanist, secular humanist and critical posthumanist positions on human enhancement. We argue that the theological anthropologies that respond to human enhancement and these other ideologies tend to emphasise either creaturehood or deification to the neglect or detriment of the other. We propose (...) in response that understanding humans as creatures bound for glory integrates both dimensions of the human being into the one grand vision of flourishing God has for humanity. (shrink)

We introduce the equational notion of a monadic bounded algebra (MBA), intended to capture algebraic properties of bounded quantification. The variety of all MBA's is shown to be generated by certain algebras of two-valued propositional functions that correspond to models of monadic free logic with an existence predicate. Every MBA is a subdirect product of such functional algebras, a fact that can be seen as an algebraic counterpart to semantic completeness for monadic free logic. The analysis involves the representation of (...) MBA's as powerset algebras of certain directed graphs with a set of "marked" points. It is shown that there are only countably many varieties of MBA's, all are generated by their finite members, and all have finite equational axiomatisations classifying them into fourteen kinds of variety. The universal theory of each variety is decidable. Finitely generated MBA's are shown to be finite, with the free algebra on r generators having exactly $2^{3.2^{r.} } ^{2^{{\rm{2}}^{{\rm{r - 1}}} } } $ elements. An explicit procedure is given for constructing this freely generated algebra as the powerset algebra of a certain marked graph determined by the number r. (shrink)

We prove an exponential lower bound on the length of cutting plane proofs. The proof uses an extension of a lower bound for monotone circuits to circuits which compute with real numbers and use nondecreasing functions as gates. The latter result is of independent interest, since, in particular, it implies an exponential lower bound for some arithmetic circuits.

We study ideals in the computably enumerable Turing degrees, and their upper bounds. Every proper ideal in the c.e. Turing degrees has an incomplete upper bound. It follows that there is no prime ideal in the c.e. Turing degrees. This answers a question of Calhoun [2]. Every proper ideal in the c.e. Turing degrees has a low2 upper bound. Furthermore, the partial order of ideals under inclusion is dense.

In an era of heightened concern about injustice in relations of identity and difference, political theorists often prescribe equal recognition as a remedy for the ills of subordination. Drawing on the philosophy of Hegel, they envision a system of reciprocal knowledge and esteem, in which the affirming glance of others lets everyone be who they really are. This book challenges the equation of recognition with justice. Patchen Markell mines neglected strands of the concept's genealogy and reconstructs an unorthodox interpretation of (...) Hegel, who, in the unexpected company of Sophocles, Aristotle, Arendt, and others, reveals why recognition's promised satisfactions are bound to disappoint, and even to stifle.Written with exceptional clarity, the book develops an alternative account of the nature and sources of identity-based injustice in which the pursuit of recognition is part of the problem rather than the solution. And it articulates an alternative conception of justice rooted not in the recognition of identity of the other but in the acknowledgment of our own finitude in the face of a future thick with surprise. Moving deftly among contemporary political philosophers, the close interpretation of ancient and modern texts, and the exploration of rich case studies drawn from literature, history, and modern politics, Bound by Recognition is at once a sustained treatment of the problem of recognition and a sequence of virtuoso studies. (shrink)

The rational price of the Pasadena and Altadena games, introduced by Nover and Hájek (2004 ), has been the subject of considerable discussion. Easwaran (2008 ) has suggested that weak expectations — the value to which the average payoffs converge in probability — can give the rational price of such games. We argue against the normative force of weak expectations in the standard framework. Furthermore, we propose to replace this framework by a bounded utility perspective: this shift renders the problem (...) more realistic and accounts for the role of weak expectations. In particular, we demonstrate that in a bounded utility framework, all agents, even if they have different value functions and disagree on the price of an individual game, will finally agree on the rational price of a repeated, averaged game. Thus, we explain the intuitive appeal of weak expectations, while avoiding both trivialization of the original paradox and the drawbacks of previous approaches. (shrink)

In this collection of essays Onora O'Neill explores and argues for an account of justice that is fundamentally cosmopolitan rather than civic, yet takes serious account of institutions and boundaries, and of human diversity and vulnerability. Starting from conceptions that are central to any account of justice - those of reason, action, judgement, coercion, obligations and rights - she discusses whether and how culturally or politically specific concepts and views, which limit the claims and scope of justice, can be avoided. (...) She then examines the demands and scope of just institutions, arguing that there are good reasons for taking the claims of distant strangers seriously, but that doing so points not to a world without boundaries but to one of porous boundaries and dispersed power. Bounds of Justice will be of interest to a wide range of readers in philosophy, politics and international relations. (shrink)

I take up the call for a more nuanced engagement with race in bioethics by using Creary’s analytic of bounded justice and argue that it helps illuminate processes of racialization, or racial formation, specifically Blackness, as a dialectical processes of both invisibility and hyper-visibility. This dialectical view of race provides a lens through which the ethical, legal, and social implications (ELSI) of genetics and genomics field can reflect on fraught issues such as inclusion in genomic and biomedical research. Countering or (...) interrupting racialization in precision medicine can involve asking how marginalized groups are made invisible or hyper-visible in various aspects of the research process. Incorporating these kinds of questions into biomedical research inclusion efforts could lead to potentially powerful engagements with marginalized groups and could provide the opportunity for stakeholders to engage with the ways that racialization can happen in real-time and might undermine good intentions. (shrink)

Building upon the foundations laid by Russell, Donnellan, Chastain, and more recently, Almog, this paper addresses key questions about the basic mechanism by which we think of worldly objects, and (in contrast to many connected projects), does so in isolation from questions about how we speak of them. I outline and defend a view based on the notion of bound cognition. Bound cognition, like perception, is world-to-mind in the sense that it is generated by the item being thought of rather (...) than by the mind doing the thinking. It is a direct, two-place, non-representational relation, and it is prior to any epistemic connection between the thinker and the object of thought. Although the paradigm case for bound cognition involves sensory perception of an individual, I argue that the cognitive relations falling under the heading of bound cognition also include non-perceptual cognitive relations (such as the relation between a thinker and a historical individual) as well as cognitive relations to non-individuals (such as pairs, pluralities, species, and features). Four illustrative cases are discussed, and anticipated worries about abstract and empty cases are addressed. (shrink)

The Bound for College Guidebook offers information about the school-to-college transition in a complete, organized, and reader-friendly approach not found in any other college admissions guide. Burtnett has assembled frequently asked questions and their answers from school counselors who understand what students need to know during the exploration, decision-making, and application process between high school and college. Armed with this guide, the college-bound student is better able to navigate the school-to-college transition.

The Bound for College Guidebook offers information about the school-to-college transition in a complete, organized, and reader-friendly approach not found in any other college admissions guide. Burtnett has assembled frequently asked questions and their answers from school counselors who understand what students need to know during the exploration, decision-making, and application process between high school and college. Armed with this guide, the college-bound student is better able to navigate the school-to-college transition.