Is your mind the same thing as your brain, or are there aspects of mind beyond the brain's biology? This is the mind-body problem, and it has captivated curious minds since the dawn of human contemplation. Today many insist that the mind is completely reducible to the brain. But is that claim justified? In this stimulating anthology, twenty-five philosophers and scientists offer fresh insights into the mind-brain debate, drawing on psychology, neurology, philosophy, computer science, and neurosurgery. Their provocative conclusion? The (...) mind is indeed more than the brain. (shrink)

Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

We live in a world of crowds and corporations, artworks and artifacts, legislatures and languages, money and markets. These are all social objects — they are made, at least in part, by people and by communities. But what exactly are these things? How are they made, and what is the role of people in making them? In The Ant Trap, Brian Epstein rewrites our understanding of the nature of the social world and the foundations of the social sciences. Epstein (...) explains and challenges the three prevailing traditions about how the social world is made. One tradition takes the social world to be built out of people, much as traffic is built out of cars. A second tradition also takes people to be the building blocks of the social world, but focuses on thoughts and attitudes we have toward one another. And a third tradition takes the social world to be a collective projection onto the physical world. Epstein shows that these share critical flaws. Most fundamentally, all three traditions overestimate the role of people in building the social world: they are overly anthropocentric. Epstein starts from scratch, bringing the resources of contemporary metaphysics to bear. In the place of traditional theories, he introduces a model based on a new distinction between the grounds and the anchors of social facts. Epstein illustrates the model with a study of the nature of law, and shows how to interpret the prevailing traditions about the social world. Then he turns to social groups, and to what it means for a group to take an action or have an intention. Contrary to the overwhelming consensus, these often depend on more than the actions and intentions of group members. (shrink)

Almost every country today contains adherents of different religions and different secular conceptions of the good life. Is there any alternative to a power struggle among them, leading most probably to either civil war or repression? The argument of this book is that justice as impartiality offers a solution. According to the theory of justice as impartiality, principles of justice are those principles that provide a reasonable basis for the unforced assent of those subject to them. The object of this (...) book is to set the theory out, explain its rationale, and respond to a variety of criticism that have been made of it. As the second volume of his work-in-progress, A Treatise on Social Justice, this work lies at the heart of a thriving academic debate which the author has played a key role in shaping. (shrink)

Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

Brian Leftow offers a theist theory of necessity and possibility, and a new sort of argument for God's existence. He argues that necessities of logic and mathematics are determined by God's nature, but that it is events in God's mind - his imagination and choice - that account for necessary truths about concrete creatures.

Value pluralists believe in multiple dimensions of value. What does betterness along a dimension have to do with being better overall? Any systematic answer begins with the Strong Pareto principle: one thing is overall better than another if it is better along one dimension and at least as good along all others. We defend Strong Pareto from recent counterexamples and use our discussion to develop a novel view of dimensions of value, one which puts Strong Pareto on firmer footing. We (...) conclude by defending Dimensionalism, the hypothesis that overall value relations are determined solely by how things compare along value dimensions. These are first steps towards a more systematic value pluralism. (shrink)

Brian Hedden defends a radical view about the relationship between rationality, personal identity, and time. On the standard view, personal identity over time plays a central role in thinking about rationality, because there are rational norms for how a person's attitudes and actions at one time should fit with her attitudes and actions at other times. But these norms are problematic. They make what you rationally ought to believe or do depend on facts about your past that aren't part (...) of your current perspective on the world, and they make rationality depend on controversial, murky metaphysical facts about what binds different instantaneous snapshots into a single person extended in time. Hedden takes a different approach, treating the relationship between different time-slices of the same person as no different from the relationship between different people. On his account, the locus of rationality is the time-slice rather than the temporally extended agent. This impersonal, time-slice-centric approach to rationality yields a unified approach to the rationality of beliefs, preferences, and actions where what rationality demands of you is solely determined by your evidence, with no special weight given to your past beliefs or actions. (shrink)

I advocate Time-Slice Rationality, the thesis that the relationship between two time-slices of the same person is not importantly different, for purposes of rational evaluation, from the relationship between time-slices of distinct persons. The locus of rationality, so to speak, is the time-slice rather than the temporally extended agent. This claim is motivated by consideration of puzzle cases for personal identity over time and by a very moderate form of internalism about rationality. Time-Slice Rationality conflicts with two proposed principles of (...) rationality, Conditionalization and Reflection. Conditionalization is a diachronic norm saying how your current degrees of belief should fit with your old ones, while Reflection is a norm enjoining you to defer to the degrees of belief that you expect to have in the future. But they are independently problematic and should be replaced by improved, time-slice-centric principles. Conditionalization should be replaced by a synchronic norm saying what degrees of belief you ought to have given your current evidence and Reflection should be replaced by a norm which instructs you to defer to the degrees of belief of agents you take to be experts. These replacement principles do all the work that the old principles were supposed to do while avoiding their problems. In this way, Time-Slice Rationality puts the theory of rationality on firmer foundations and yields better norms than alternative, non-time-slice-centric approaches. (shrink)

In a recent paper , Urbaniak and Cieśliński describe an analogue of the Yablo Paradox, in the domain of formal provability. Just as the infinite sequence of Yablo sentences inherit the paradoxical behavior of the liar sentence, an infinite sequence of sentences can be constructed that inherit the distinctive behavior of the Gödel sentence. This phenomenon—the transfer of the properties of self-referential sentences of formal mathematics to their “unwindings” into infinite sequences of sentences—suggests a number of interesting logical questions. The (...) purpose of this paper is to give a precise statement of a conjecture from Cieśliński and Urbaniak regarding the unwinding of the Rosser sentence, and to demonstrate that this precise statement is false. We begin with some preliminary motivation, introduce the conjecture against the background of some related results, and finally, in the last section, move on to the proof, which adapts a method used by Solovay and Guaspari. (shrink)

A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers (...) an up-to-date and reliable guide essential for the student. (shrink)

"Brian Orend's The Morality of War promises to become the single most comprehensive and important book on just war for this generation. It moves far beyond the review of the standard just war categories to deal comprehensively with the new challenges of the conflict with terrorism. It thoughtfully reviews every major military conflict of the past few decades, mining them for implications of the evolving tradition of just war thinking. It concludes with a critical engagement with the major alternatives (...) to just war thinking: pacifism and 'realism.' It is, in short, the most comprehensive and thoughtful assessment of all aspects of just war since Michael Walzer's classic Just and Unjust Wars." - Martin L. Cook, United States Air Force Academy. (shrink)

Authors have a lot of leeway with regard to what they can make true in their story. In general, if the author says that p is true in the fiction we’re reading, we believe that p is true in that fiction. And if we’re playing along with the fictional game, we imagine that, along with everything else in the story, p is true. But there are exceptions to these general principles. Many authors, most notably Kendall Walton and Tamar Szabó Gendler, (...) have discussed apparent counterexamples when p is “morally deviant”. Many other statements that are conceptually impossible also seem to be counterexamples. In this paper I do four things. I survey the range of counterexamples, or at least putative counterexamples, to the principles. Then I look to explanations of the counterexamples. I argue, following Gendler, that the explanation cannot simply be that morally deviant claims are impossible. I argue that the distinctive attitudes we have towards moral propositions cannot explain the counterexamples, since some of the examples don’t involve moral concepts. And I put forward a proposed explanation that turns on the role of ‘higher-level concepts’, concepts that if they are satisfied are satisfied in virtue of more fundamental facts about the world, in fiction, and in imagination. (shrink)

In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.

In this paper, I present a class of ‘structural’ abstraction principles, and describe how they are suggested by some features of Cantor's and Dedekind's approach to abstraction. Structural abstraction is a promising source of mathematically tractable new axioms for the neo-logicist. I illustrate this by showing, first, how a theorem of Shelah gives a sufficient condition for consistency in the structural setting, solving what neo-logicists call the ‘bad company’ problem for structural abstraction. Second, I show how, in the structural setting, (...) we can measure the logical strength of abstraction principles using categories of interpretations between theories. (shrink)

This volume provides a lucid and distinct introduction to multiculturalism and the philosophy of social science.

A counterpossible is a counterfactual whose antecedent is impossible. The vacuity thesis says all counterpossibles are true solely because their antecedents are impossible. Recently, some have rejected the vacuity thesis by citing purported non-vacuous counterpossibles in science. One limitation of this work, however, is that it is not grounded in experimental data. Do scientists actually reason non-vacuously about counterpossibles? If so, what is their basis for doing so? We presented biologists (N = 86) with two counterfactual formulations of a well-known (...) model in biology, the antecedents of which contain what many philosophers would characterize as a metaphysical impossibility. Participants consistently judged one counterfactual to be true, the other to be false, and they explained that they formed these judgments based on what they perceived to be the mathematical relationship between the antecedent and consequent. Moreover, we found no relationship between participants’ judgments about the (im)possibility of the antecedent and whether they judged a counterfactual to be true or false. These are the first experimental results on counterpossibles in science with which we are familiar. We present a modal semantics that can capture these judgments, and we deal with a host of potential objections that a defender of the vacuity thesis might make. (shrink)

A theoretical and sociological exploration of the relationship between law and society, this book constructs an approach to law that integrates legal theory with sociological approaches to law. Law is generally understood to be a mirror of society--a reflection of its customs and morals--that functions to maintain social order. Focusing on this common understanding, the book conducts a survey of Western legal and social theories about law and its relationship within society, engaging in a theoretical and empirical critique of this (...) common understanding. (shrink)

This review note surveys some important aspects of a recent publication by Amos Edelheit, A Philosopher at the Crossroads: Giovanni Pico della Mirandola’s Encounter with Scholastic Philosophy. While focus over the last decades has been placed on Pico’s thought in relation to Jewish Kabbalah and mysticism, Edelheit hopes to emphasize the importance of the scholastic tradition (or, rather, the pluriform and various tradition of late medieval and Renaissance scholasticism) in Pico’s thought, and the ways in which this intellectual context places (...) this unique Renaissance thinker at a sort of ‘crossroads’. Beyond providing a brief overview of the three main parts of the text, this note examines more closely Edelheit’s study of Pico’s 900 Theses and the methodological approach which involves a reconstruction of the dialectical context for each thesis. The Latin scholastics are real conversational partners for Pico: he is versed in the 13th-century scholastic sources, is certainly familiar with contemporaneous scholastic thought, and is able to employ scholastic methods and terminology within his wider philosophical project. While scholastic philosophy was very much alive at the end of the fifteenth century, Pico’s new and inclusive approach to philosophy and the history of philosophy, never eschewing the Latin masters, departs from both scholastic and humanist trends. (shrink)

In the first full-length analysis of Wittgenstein's Remarks on Frazer's Golden Bough, Brian R. Clack presents a fresh and innovative interpretation of Wittgenstein's conception of religion. While previous commentators have tended to sideline the Remarks on Frazer, Clack shows how the key to Wittgenstein's thought on religion lies in these remarks on primitive magico-religious observances. This book shows that Wittgenstein neither embraces expressivism, as it is generally assumed, nor straightforwardly denies instrumentalism. Focusing instead on Wittgenstein's suggestion that magic is (...) somehow akin to metaphysics, a view of ritual as the spontaneous expression of human beings is presented. (shrink)

The paradox that appears under Burali-Forti’s name in many textbooks of set theory is a clever piece of reasoning leading to an unproblematic theorem. The theorem asserts that the ordinals do not form a set. For such a set would be—absurdly—an ordinal greater than any ordinal in the set of all ordinals. In this article, we argue that the paradox of Burali-Forti is first and foremost a problem about concept formation by abstraction, not about sets. We contend, furthermore, that some (...) hundred years after its discovery the paradox is still without any fully satisfactory resolution. A survey of the current literature reveals one key assumption of the paradox that has gone unquestioned, namely the assumption that ordinals are objects. Taking the lead from Russell’s no class theory, we interpret talk of ordinals as an efficient way of conveying higher-order logical truths. The resulting theory of ordinals is formally adequate to standard intuitions about ordinals, expresses a conception of ordinal number capable of resolving Burali-Forti’s paradox, and offers a novel contribution to the longstanding program of reducing mathematics to higher-order logic. (shrink)

This paper presents an overview of Carnap, a free and open framework for the development of formal reasoning applications. Carnap’s design emphasizes flexibility, extensibility, and rapid prototyping. Carnap-based applications are written in Haskell, but can be compiled to JavaScript to run in standard web browsers. This combination of features makes Carnap ideally suited for educational applications, where ease-of-use is crucial for students and adaptability to different teaching strategies and classroom needs is crucial for instructors. The paper describes Carnap’s implementation, along (...) with its current and projected pedagogical applications. (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 chapter presents and critically discusses the main historical variants of the “ontological argument,” a form of a priori argument for the existence of God pioneered by Anselm of Canterbury. I assess the contributions of Anselm, Descartes, Leibniz, and Gödel, and criticisms by Gaunilo, Kant, and Oppy among others.

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

In this chapter, we introduce the notion of “moral neuroenhancement,” offering a novel definition as well as spelling out three conditions under which we expect that such neuroenhancement would be most likely to be permissible (or even desirable). Furthermore, we draw a distinction between first-order moral capacities, which we suggest are less promising targets for neurointervention, and second-order moral capacities, which we suggest are more promising. We conclude by discussing concerns that moral neuroenhancement might restrict freedom or otherwise “misfire,” and (...) argue that these concerns are not as damning as they may seem at first. (shrink)

Russell’s paradox is purely logical in the following sense: a contradiction can be formally deduced from the proposition that there is a set of all non-self-membered sets, in pure first-order logic—the first-order logical form of this proposition is inconsistent. This explains why Russell’s paradox is portable—why versions of the paradox arise in contexts unrelated to set theory, from propositions with the same logical form as the claim that there is a set of all non-self-membered sets. Burali-Forti’s paradox, like Russell’s paradox, (...) is portable. I offer the following explanation for this fact: Burali-Forti’s paradox, like Russell’s, is purely logical. Concretely, I show that if we enrich the language \ of first-order logic with a well-foundedness quantifier W and adopt certain minimal inference rules for this quantifier, then a contradiction can be formally deduced from the proposition that there is a greatest ordinal. Moreover, a proposition with the same logical form as the claim that there is a greatest ordinal can be found at the heart of several other paradoxes that resemble Burali-Forti’s. The reductio of Burali-Forti can be repeated verbatim to establish the inconsistency of these other propositions. Hence, the portability of the Burali-Forti’s paradox is explained in the same way as the portability of Russell’s: both paradoxes involve an inconsistent logical form—Russell’s involves an inconsistent form expressible in \ and Burali-Forti’s involves an inconsistent form expressible in \. (shrink)

Frege’s Basic Law V and its successor, Boolos’s New V, are axioms postulating abstraction operators: mappings from the power set of the domain into the domain. Basic Law V proved inconsistent. New V, however, naturally interprets large parts of second-order ZFC via a construction discovered by Boolos in 1989. This paper situates these classic findings about abstraction operators within the general theory of F-algebras and coalgebras. In particular, we show how Boolos’s construction amounts to identifying an initial F-algebra in a (...) certain category, we identify a natural coalgebraic dual to Boolos’s axiom which naturally interprets large parts of Aczel’s non-well-founded set theory via the construction of a certain terminal F-coalgebra, and we suggest a coalgebraic way forward for an abstraction-theoretic axiomatization of the real numbers. (shrink)

It’s well known that it’s possible to extract, from Frege’s Grudgesetze, an interpretation of second-order Peano Arithmetic in the theory  HP2, whose sole axiom is Hume’s principle. What’s less well known is that, in Die Grundlagen Der Arithmetic §82–83 Boolos (2011), George Boolos provided a converse interpretation of HP2 in PA2 . Boolos’ interpretation can be used to show that the Frege’s construction allows for any model of PA2 to be recovered from some model of HP2. So the space (...) of possible arithmetical universes is precisely characterized by Hume’s principle. -/- In this paper, I show that a large class of second-order theories admit characterization by an abstraction principle in this sense. The proof makes use of structural abstraction principles, a class of abstraction principles of considerable intrinsic interest, and categories of interpretations in the sense of Visser (2003). (shrink)

The study of the mind has always been one of the main preoccupations of philosophers, and has been a booming area of research in recent decades, with remarkable advances in psychology and neuroscience. Oxford University Press now presents the most authoritative and comprehensive guide ever published to the philosophy of mind. An outstanding international team of contributors offer 45 specially written critical surveys of a wide range of topics relating to the mind. The first two sections cover the place of (...) the mind in the natural world: its ontological status, how it fits into the causal fabric of the universe, and the nature of consciousness. The third section focuses on the much-debated subjects of content and intentionality. The fourth section examines a variety of mental capacities, including memory, imagination, and emotion. The fifth section looks at epistemic issues, in particular regarding knowledge of one's own and other minds. The volume concludes with a section on self, personhood, and agency. The Oxford Handbook of Philosophy of Mind will be an invaluable resource for advanced students and scholars of philosophy, and also for researchers in neighboring disciplines seeking a high-level survey of the state of the art in this flourishing field. (shrink)

How might the social sciences best be employed in the study of law, especially in light of today's legal climate of anti-foundationalism? Realistic Socio-Legal Theory addresses this question thoroughly and precisely. Drawing upon philosophical pragmatism to construct an epistemological and methodological foundation, this book formulates a framework for a realistic approach to socio-legal theory. Brian Z. Tamanaha contrasts the strengths of his realistic approach with those of the major schools of socio-legal theory through application to many key issues in (...) the field. He explores the problematic state of socio-legal studies, the relationship between behavior and meaning, the notion of legal ideology, the nature of the concept of law, the problem of indeterminacy in rule following and application, and the structure of judicial decision making. Tamanaha's discussion is always clear and concise as he articulates a social theory of law that draws equally from legal theory and socio-legal studies. His book has much to offer those interested in the gathering and organization of knowledge about law and legal phenomena. (shrink)

The story of the beliefs and practices called 'magic' starts in ancient Iran, Greece, and Rome, before entering its crucial Christian phase in the Middle Ages. Centering on the Renaissance and Marsilio Ficino - whose work on magic was the most influential account written in premodern times - this groundbreaking book treats magic as a classical tradition with foundations that were distinctly philosophical. Besides Ficino, the premodern story of magic also features Plotinus, Iamblichus, Proclus, Aquinas, Agrippa, Pomponazzi, Porta, Bruno, Campanella, (...) Descartes, Boyle, Leibniz, and Newton, to name only a few of the prominent thinkers discussed in this book. Because pictures play a key role in the story of magic, this book is richly illustrated. (shrink)

The old adage has two people out hiking who run into a bear. One starts running while the other asks ‘why are you running? You can’t outrun a bear’. To which the other responds, ‘I don’t have to outrun the bear. I only have to outrun you’. Hiking/trekking is not typically a competitive endeavor characterized by contests but, like many endeavors/pursuits/activities, competition can be injected into it; thereby sportifying it. Swimming is a sport (under certain conditions). At the same time, (...) it is also a recreational activity and a form of physical exercise; likewise angling/fishing, climbing, cross-country skiing, mountain biking, kayaking, rowing, surfing, et al. The categorization of many activities under the umbrella of sport has it uses to understand the wider concept of what is sport, but the purpose of why one engages in ‘physical activities taking place in a natural environment’ can sometimes be more important than whether some activities might or might not qualify to be classified under the rubric of sports at all. Indicators exist to show whether participants are actually engaged toward—driven in a way, even—to further their skills in their focused activity (if it is a focused activity at all!––i.e. a ‘serious leisure’ pursuit or just a recreational hobby). From this perspective (of looking at sport-like and sporting activities in other than Olympic-style forms) this paper explores the differentiations between sport (including nature sport) contests, nature challenge activities (NCAs) and outdoor recreation from the standpoint of the most relevant factors that distinguish them: rules, skill development, purpose for engaging in them. This paper also makes the case that differentiating participants in the above activities by purpose (as either nature challenge recreationalists or nature sport devotees) has utility; to better help research into people’s engagement in physical activities in natural environments. (shrink)

The foundational principles of representative democracy are under attack globally. What we desperately need are enlightened and persuasive public intellectuals who can help us see through the fog of our fear, anger, and disillusionment, to find our rational political commitments again. One of these public intellectuals is undoubtedly Yuval Noah Harari, the bestselling author of three recent books – Sapiens, Homo Deus, and 21 Lessons for the 21st Century. Harari is also a frequent contributor in the popular press, and a (...) guest on shows, podcasts, panels, and as a keynote speaker. Add to all this that Harari is acting on his lofty academic ideals through ‘Sapienship’, a multidisciplinary organization he cofounded that advocates for global responsibility, clarifies the global conversation, and focuses attention on the most important global challenges. I single out Harari because I presume many readers will be familiar with his work. He is certainly one of the fastest rising stars of public intellectualism. Unfortunately, his work is undercut by the philosophical positions he put forth in his first bestselling book, Sapiens. In this review/critique I wish to show that in order for Harari advance a coherent political or ideological argument, he must first shore up his philosophical commitments. (shrink)

Almost entirely ignored in the linguistic theorising on names and descriptions is a hybrid form of expression which, like definite descriptions, begin with 'the' but which, like proper names, are capitalised and seem to lack descriptive content. These are expressions such as the following, 'the Holy Roman Empire', 'the Mississippi River', or 'the Space Needle'. Such capitalised descriptions are ubiquitous in natural language, but to which linguistic categories do they belong? Are they simply proper names? Or are they definite descriptions (...) with unique orthography? Or are they something else entirely? This paper assesses two obvious assimilation strategies: (i) assimilation to proper names and (ii) assimilation to definite descriptions. It is argued that both of these strategies face major difficulties. The primary goal is to lay the groundwork for a linguistic analysis of capitalised descriptions. Yet, the hope is that clearing the ground on capitalised descriptions may reveal useful insights for the on-going research into the semantics and syntax of their lower-case or 'the'-less relatives. (shrink)