In this paper we prove that the equational class generated by bounded BCK-algebras is the variety generated by the class of finite simple bounded BCK-algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK-algebras is also a relatively simple bounded BCK-algebra. Moreover, we show that every simple bounded BCK-algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to (...) some richer subreducts of the class of integral commutative bounded residuated lattices and to the involutive case. (shrink)

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.

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)

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.

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)

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 paper presents an algebraic framework for investigating proposed translations of classical logic into intuitionistic logic, such as the four negative translations introduced by Kolmogorov, Gödel, Gentzen and Glivenko. We view these asvariant semanticsand present a semantic formulation of Troelstra’s syntactic criteria for a satisfactory negative translation. We consider how each of the above-mentioned translation schemes behaves on two generalisations of Heyting algebras: bounded pocrims and bounded hoops. When a translation fails for a particular class of algebras, we (...) demonstrate that failure via specific finite examples. Using these, we prove that the syntactic version of these translations will fail to satisfy Troelstra’s criteria in the corresponding substructural logical setting. (shrink)

The classical Glivenko theorem asserts that a propositional formula admits a classical proof if and only if its double negation admits an intuitionistic proof. By a natural expansion of the BCK-logic with negation we understand an algebraizable logic whose language is an expansion of the language of BCK-logic with negation by a family of connectives implicitly defined by equations and compatible with BCK-congruences. Many of the logics in the current literature are natural expansions of BCK-logic with negation. The validity of (...) the analogous of Glivenko theorem in these logics is equivalent to the validity of a simple one-variable formula in the language of BCK-logic with negation. (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)

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)

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)

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)

In general, a given object could have been different in certain respects. For example, the Great Pyramid could have been somewhat shorter or taller; the Mona Lisa could have had a somewhat different pattern of colours; an ordinary table could have been made of a somewhat different quantity of wood. But there seem to be limits. It would be odd to suppose that the Great Pyramid could have been thimble-sized; that the Mona Lisa could have had the pattern of colours (...) that actually characterizes The Scream; or that the table could have been made of the very quantity of wood that in fact made some other table. However, there are puzzling arguments that purport to show that so long as an object is capable of being somewhat different in some respect, it is capable of being radically different in that respect. These arguments rely on two tempting thoughts: first, that an object’s capacity for moderate variation is a non-contingent matter, and second, that what is possibly possible is simply possible. This book systematically investigates competing strategies for resolving these puzzles, and defends one of them. Along the way it engages with foundational questions about the metaphysics of modality. (shrink)

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)

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.

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)

In his previous work, the author has introduced the axiom schema of inductive dichotomy, a weak variant of the axiom schema of inductive definition, and used this schema for elementary ) positive operators to separate open and clopen determinacies for those games in which two players make choices from infinitely many alternatives in various circumstances. Among the studies on variants of inductive definitions for bounded ) positive operators, the present article investigates inductive dichotomy for these operators, and applies it (...) to constructive investigations of variants of determinacy statements for those games in which the players make choices from only finitely many alternatives. As a result, three formulations of open determinacy, that are all classically equivalent with each other, are equivalent to three different semi-classical principles, namely Markov’s Principle, Lesser Limited Principle of Omniscience and Limited Principle of Omniscience, over a suitable constructive base theory that proves clopen determinacy. Open and clopen determinacies for these games are thus separated. Some basic results on variants of inductive definitions for \ positive operators will also be given. (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)

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)

While Bayesian models have been applied to an impressive range of cognitive phenomena, methodological challenges have been leveled concerning their role in the program of rational analysis. The focus of the current article is on computational impediments to probabilistic inference and related puzzles about empirical confirmation of these models. The proposal is to rethink the role of Bayesian methods in rational analysis, to adopt an independently motivated notion of rationality appropriate for computationally bounded agents, and to explore broad conditions (...) under which Bayesian agents would be rational. The proposal is illustrated with a characterization of costs inspired by thermodynamics. (shrink)

What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...) and Wittgenstein sentences are classically consistent. In this paper I argue against this consensus. I adduce a variety of new data which I argue can best be accounted for if we treat Wittgenstein sentences as being classically inconsistent. This creates a puzzle, since there is decisive reason to think that 'Might p' is classically consistent with 'Not p'. How can it also be that 'Might p and not p' and 'Not p and might p' are classically inconsistent? To make sense of this situation, I propose a new theory of epistemic modals and their interaction with embedding operators. This account makes sense of the subtle embedding behavior of epistemic modals, shedding new light on their meaning and, more broadly, the dynamics of information in natural language. -/- . (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)

Shaun Nichols offers a naturalistic, psychological account of the origins of the problem of free will. He argues that our belief in indeterminist choice is grounded in faulty inference and therefore unjustified, goes on to suggest that there is no single answer to whether free will exists, and promotes a pragmatic approach to prescriptive issues.

ABSTRACT:In this article we investigate a philosophical problem for normative business ethics theory suggested by a phenomenon that contemporary psychologists call “bounded ethicality,” which can be identified with the putative fact that well-intentioned people, constrained by psychological limitations, make ethical choices inconsistent with their own ethical beliefs and commitments. When one combines the idea that bounded ethicality is pervasive with the idea that a person morally ought to do something only if she can, it raises a doubt about (...) the practical relevance of the moral principles that business ethics theory prescribes. We call this doubt the Radical Behavioral Challenge. It consists in the idea that people cannot generally conform to the normative ethical principles that business ethics theorists prescribe, and that these principles are therefore practically irrelevant. We answer the Radical Behavioral Challenge and explore normative implications of our answer. (shrink)

This paper provides the first thorough assessment of a physics-based answer, the Bound State Answer, to the Special Composition Question. According to the BSA some objects compose something if they are in a common bound state. The reasons to endorse such an answer, in particular, motivations coming from empirical adequacy and conservativeness, precision, simplicity, and parsimony, are critically addressed. I then go on to compare the BSA to other moderate answers to the SCQ and consider whether objections raised against such (...) answers can be raised against the BSA as well. I finally relate the discussion with mereological pluralism. (shrink)

This paper presents an axiomatic framework for the priority heuristic, a model of bounded rationality in Selten’s (in: Gigerenzer and Selten (eds.) Bounded rationality: the adaptive toolbox, 2001) spirit of using empirical evidence on heuristics. The priority heuristic predicts actual human choices between risky gambles well. It implies violations of expected utility theory such as common consequence effects, common ratio effects, the fourfold pattern of risk taking and the reflection effect. We present an axiomatization of a parameterized version (...) of the heuristic which generalizes the heuristic in order to account for individual differences and inconsistencies. The axiomatization uses semiorders (Luce, Econometrica 24:178–191, 1956), which have an intransitive indifference part and a transitive strict preference component. The axiomatization suggests new testable predictions of the priority heuristic and makes it easier for theorists to study the relation between heuristics and other axiomatic theories such as cumulative prospect theory. (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)

p. cm. — (Zeuthen lecture book series) Includes bibliographical references (p. ) and index. ISBN 0-262-18187-8 (hardcover : alk. paper). — ISBN 0-262-68100-5 (pbk. : alk. paper) 1. Decision-making. 2. Economic man. 3. Game theory. 4. Rational expectations (Economic theory) I. Title. II. Series.

The notion of bounded rationality has recently gained considerable popularity in the behavioural and social sciences. This article surveys the different usages of the term, in particular the way ‘anomalosus’ behavioural phenomena are elicited, how these phenomena are incorporated in model building, and what sort of new theories of behaviour have been developed to account for bounded rationality in choice and in deliberation. It also discusses the normative relevance of bounded rationality, in particular as a justifier of (...) non‐standard reasoning and deliberation heuristics. For each of these usages, the overview discusses the central methodological problems. (shrink)

In Philosophy Within Its Proper Bounds, Edouard Machery argues that resolving many traditional and contemporary philosophical issues is beyond our epistemic reach and that philosophy should re-orient itself toward more humble, but ultimately more important intellectual endeavors, such as the analysis of concepts.

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)

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)

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)