RÉSUMÉ: Cet article discute diverses confusions, actuelles ou potentielles, liées à la bivalence et au tiers exclu. Il s'agit, en particulier, 1) d'examiner divers cas illustrant les rapports entre la bivalence et le tiers exclu ; 2) de discuter la thèse selon laquelle le tiers exclu et le schéma-T de Tarskipour la vérité entraînent la bivalence; 3) de proposer quelques remarques sur les rapports entre la bivalence, le tiers exclu et lapreuve par l'absurde; 4) de scruter un argument répandu selon (...) lequel le tiers exclu vaut pour les termes «précis»; et 5) de commenter l'histoire de la terminologie. L'objectif ici est d'attirer l'attention des philosophes sur une distinction importante qui ne reçoit pas souvent le traitement minutieux qu'elle mérite. (shrink)

An interesting recent reply to the Paradox of Knowability is Neil Tennant's proposal: to restrict the anti-realist's knowability thesis to truths the knowing of which is logically consistent. However, this proposal is egregiously ad hoc unless motivated by something other than the wish to save anti-realism from embarrassment. We examine Tennant's argument that his restriction is motivated by parallel considerations in cases that are neutral with respect to debates about realism. We conclude that the cases are not neutral, nor the (...) considerations parallel. The failure of Tennant's argument provides an opportunity to reflect on, among other things, the nature of Moore's paradox, and the role of idealization in doxastic logic. (shrink)

There are several open problems in the study of the calculi which result from adding either of Hilbert's ϵ- or τ-operators to the first order intuitionistic predicate calculus. This paper provides answers to several of them. In particular, the first complete and sound semantics for these calculi are presented, in both a “quasi-extensional” version which uses choice functions in a straightforward way to interpret the ϵ- or τ-terms, and in a form which does not require extensionality assumptions. Unlike the classical (...) case, the addition of either operator to intuitionistic logic is non-conservative. Several interesting consequences of the addition of each operator are proved. Finally, the independence of several other schemes in either calculus are also proved, making use of the semantics supplied earlier in the paper. (shrink)

It is well known that Tarski proved a result which can be stated roughly as: no sufficiently rich, consistent, classical language can contain its own truth definition. Tarski's way around this problem is to deal with two languages at a time, an object language for which we are defining truth and a metalanguage in which the definition occurs. An obvious question then is: under what conditions can we construct a definition of truth for a given object language. Tarski claims that (...) it is necessary and sufficient that the metalanguage be "essentially richer". Our contention, put bluntly, is that this claim deserves more scrutiny from philosophers than it usually gets and in fact is false unless "essentially richer" means nothing else than "sufficient to contain a truth definition for the object language.". (shrink)

Michael Friedman has recently argued that Carnap'sLogical Syntax of Language is fundamentally flawed in a way that reveals the ultimate failure of logical positivism. Friedman's argument depends crucially on two claims: (1) that Carnap was committed to the view that there is a universal metalanguage and (2) that given what Carnap wanted from a metalanguage, in particular given that he wanted a definition of analytic for an object language, he was in fact committed to a hierarchy of stronger and stronger (...) metalanguages. We argue that neither of these claims need be accepted. We show that there is no textual evidence for (1) and that if metalanguages are to be used for merely descriptive and not also justificatory purposes, Carnap does not need to define analyticity sufficiently for proving consistency, and so could have given a definition that does not entail a hierarchy of metalanguages. (shrink)

Graham Solomon, to whom this collection is dedicated, went into hospital for antibiotic treatment of pneumonia in Oc- ber, 2001. Three days later, on Nov. 1, he died of a massive stroke, at the age of 44. Solomon was well liked by those who got the chance to know him—it was a revelation to?nd out, when helping to sort out his a?airs after his death, how many “friends” he had whom he had actually never met, as his email included correspondence (...) with philosophers around the world running sometimes to hundreds of messages. He was well respected in the philosophical community more broadly. He was for several years a member of the editorial board for the Western Ontario Series in Philosophy of Science. While he was employed at Wilfrid Laurier University in Waterloo, Ontario, several of us at the University of Wat- loo always regarded our own department as a sort of second academic home for him. We therefore decided that it would be appropriate to hold a memorial conference in his honour. Thanks to the generous?nancial support of the Humphrey Conference Fund, we were able to do so in May 2003. Many of the papers in this volume were presented at that conf- ence. (shrink)

Logical Options introduces the extensions and alternatives to classical logic which are most discussed in the philosophical literature: many-sorted logic, second-order logic, modal logics, intuitionistic logic, three-valued logic, fuzzy logic, and free logic. Each logic is introduced with a brief description of some aspect of its philosophical significance, and wherever possible semantic and proof methods are employed to facilitate comparison of the various systems. The book is designed to be useful for philosophy students and professional philosophers who have learned some (...) classical first-order logic and would like to learn about other logics important to their philosophical work. (shrink)

RésuméCet article discute diverses confusions, actueles ou potentielles, liées á la bivalence et au tiers exclu. Il s'agit, en particulier, 1) d'examiner divers cas illustrant les rapports entre la bivalence et le tiers exclu ; 2) de discuter la thése selon laquelle le tiers exclu et le schéma-T de Tarskipour la vérité entraînent la bivalence; 3) de proposer quelques remarques sur les rapports entre la bivalence, le tiers exclu et la preuve par l'absurde; 4) de scruter un argument répandu selon (...) lequel le tiers exclu vaut pour les termes «précis» et 5) de commenter l'histoire de la terminologie. L'objectif ici est d'attirer l'attention des philosophes sur une distinction importante qui ne reçoit pas souvent le traitement minutieux qu'elle mérite. (shrink)

We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can (...) get an analogue of Diaconescu’s result, but also can disentangle the roles of certain other assumptions that are hidden in mathematical presentations. It is our view that these results have not received the attention they deserve: logicians are unlikely to read a discussion because the results considered are “already well known,” while the results are simultaneously unknown to philosophers who do not specialize in what most philosophers will regard as esoteric logics. This is a problem, since these results have important implications for and promise signif i cant illumination of contem- porary debates in metaphysics. The point of this paper is to make the nature of the results clear in a way accessible to philosophers who do not specialize in logic, and in a way that makes clear their implications for contemporary philo- sophical discussions. To make the latter point, we will focus on Dummettian discussions of realism and anti-realism. Keywords: epsilon, axiom of choice, metaphysics, intuitionistic logic, Dummett, realism, antirealism. (shrink)

Frege famously claimed that logic is the science of truth: “To discover truths is the task of all science; it falls to logic to discern the laws of truth” (Frege, 1956, p. 289). But just like the other foundational concept of set, truth at that time was intimately associated with paradox; in the case of truth, the Liar paradox. The set-theoretical paradoxes had their teeth drawn by being recognised as reductio proofs of assumptions that had seemed too obvious to warrant (...) stating explicitly, but were now seen to be substantive, and more importantly inconsistent. Tarski includes the Liar paradox in his classic discussion of the concept of truth (Tarski, 1956), and developed it, in the form of his famous theorem on the undefinability of truth, as a reductio of the assumption that a language could be semantically closed, in the sense of being able to contain its own truth-predicate.Frege famously claimed that logic is the science of truth: “To discover truths is the task of all science; it falls to logic to discern the laws of truth” (Frege, 1956, p. 289). But just like the other foundational concept of set, truth at that time was intimately associated with paradox; in the case of truth, the Liar paradox. The set-theoretical paradoxes had their teeth drawn by being recognised as reductio proofs of assumptions that had seemed too obvious to warrant stating explicitly, but were now seen to be substantive, and more importantly inconsistent. Tarski includes the Liar paradox in his classic discussion of the concept of truth (Tarski, 1956), and developed it, in the form of his famous theorem on the undefinability of truth, as a reductio of the assumption that a language could be semantically closed, in the sense of being able to contain its own truth-predicate. (shrink)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.

A leading political theorist’s groundbreaking defense of ideal conceptions of justice in political philosophy Throughout the history of political philosophy and politics, there has been continual debate about the roles of idealism versus realism. For contemporary political philosophy, this debate manifests in notions of ideal theory versus nonideal theory. Nonideal thinkers shift their focus from theorizing about full social justice, asking instead which feasible institutional and political changes would make a society more just. Ideal thinkers, on the other hand, question (...) whether full justice is a standard that any society is likely ever to satisfy. And, if social justice is unrealistic, are attempts to understand it without value or importance, and merely utopian? Utopophobia argues against thinking that justice must be realistic, or that understanding justice is only valuable if it can be realized. David Estlund does not offer a particular theory of justice, nor does he assert that justice is indeed unrealizable—only that it could be, and this possibility upsets common ways of proceeding in political thought. Estlund engages critically with important strands in traditional and contemporary political philosophy that assume a sound theory of justice has the overriding, defining task of contributing practical guidance toward greater social justice. Along the way, he counters several tempting perspectives, including the view that inquiry in political philosophy could have significant value only as a guide to practical political action, and that understanding true justice would necessarily have practical value, at least as an ideal arrangement to be approximated. Demonstrating that unrealistic standards of justice can be both sound and valuable to understand, Utopophobia stands as a trenchant defense of ideal theory in political philosophy. (shrink)

David Hume's Enquiry concerning Human Understanding is the definitive statement of the greatest philosopher in the English language. His arguments in support of reasoning from experience, and against the "sophistry and illusion"of religiously inspired philosophical fantasies, caused controversy in the eighteenth century and are strikingly relevant today, when faith and science continue to clash. The Enquiry considers the origin and processes of human thought, reaching the stark conclusion that we can have no ultimate understanding of the physical world, or (...) indeed our own minds. In either sphere we must depend on instinctive learning from experience, recognizing our animal nature and the limits of reason. Hume's calm and open-minded skepticism thus aims to provide a new basis for science, liberating us from the "superstition" of false metaphysics and religion. His Enquiry remains one of the best introductions to the study of philosophy, and his edition places it in its historical and philosophical context. (shrink)

The zetetic turn in epistemology raises three questions about epistemic and zetetic norms. First, there is the relationship question: what is the relationship between epistemic and zetetic norms? Are some epistemic norms zetetic norms, or are epistemic and zetetic norms distinct? Second, there is the tension question: are traditional epistemic norms in tension with plausible zetetic norms? Third, there is the reaction question: how should theorists react to a tension between epistemic and zetetic norms? Drawing on an analogy to practical (...) philosophy, I develop a focal point view to resolve these motivating questions. On the focal point view, traditional epistemic norms and zetetic norms answer different types of normative questions. There is nevertheless a familiar type of evaluative tension between traditional epistemic norms and zetetic norms, but this tension is an unavoidable feature of the normative landscape and not a sign that traditional epistemic norms need revision. But if traditional epistemic norms are not zetetic norms, then in what sense is zetetic epistemology a project for epistemologists? I conclude by articulating a sense in which some nontraditional epistemic norms are zetetic norms, and in which zetetic epistemology is an important part of the study of theoretical rationality. (shrink)

By means of an example, shows the possibility of beliefs that are separately rational whilst together inconsistent.

One of the enduring concerns of moral philosophy is deciding who or what is deserving of ethical consideration. Much recent attention has been devoted to the "animal question" -- consideration of the moral status of nonhuman animals. In this book, David Gunkel takes up the "machine question": whether and to what extent intelligent and autonomous machines of our own making can be considered to have legitimate moral responsibilities and any legitimate claim to moral consideration. The machine question poses a (...) fundamental challenge to moral thinking, questioning the traditional philosophical conceptualization of technology as a tool or instrument to be used by human agents. Gunkel begins by addressing the question of machine moral agency: whether a machine might be considered a legitimate moral agent that could be held responsible for decisions and actions. He then approaches the machine question from the other side, considering whether a machine might be a moral patient due legitimate moral consideration. Finally, Gunkel considers some recent innovations in moral philosophy and critical theory that complicate the machine question, deconstructing the binary agent--patient opposition itself. Technological advances may prompt us to wonder if the science fiction of computers and robots whose actions affect their human companions could become science fact. Gunkel's argument promises to influence future considerations of ethics, ourselves, and the other entities who inhabit this world. (shrink)

This book is an attempt to get to the bottom of an acute and perennial tension between our best scientific pictures of the fundamental physical structure of the world and our everyday empirical experience of it. The trouble is about the direction of time. The situation (very briefly) is that it is a consequence of almost every one of those fundamental scientific pictures--and that it is at the same time radically at odds with our common sense--that whatever can happen can (...) just as naturally happen backwards. Albert provides an unprecedentedly clear, lively, and systematic new account--in the context of a Newtonian-Mechanical picture of the world--of the ultimate origins of the statistical regularities we see around us, of the temporal irreversibility of the Second Law of Thermodynamics, of the asymmetries in our epistemic access to the past and the future, and of our conviction that by acting now we can affect the future but not the past. Then, in the final section of the book, he generalizes the Newtonian picture to the quantum-mechanical case and (most interestingly) suggests a very deep potential connection between the problem of the direction of time and the quantum-mechanical measurement problem. The book aims to be both an original contribution to the present scientific and philosophical understanding of these matters at the most advanced level, and something in the nature of an elementary textbook on the subject accessible to interested high-school students. Table of Contents: Preface 1. Time-Reversal Invariance 2. Thermodynamics 3. Statistical Mechanics 4. The Reversibility Objections and the Past-Hypothesis 5. The Scope of Thermodynamics 6. The Asymmetries of Knowledge and Intervention 7. Quantum Mechanics Appendix: Gedankenexperiments with Heat Engines Index Reviews of this book: The foundations of statistical mechanisms are often presented in physics textbooks in a rather obscure and confused way. By challenging common ways of thinking about this subject, Time and Chance can do quite a lot to improve this situation. --Jean Bricmont, Science Albert is perfecting a style of foundational analysis that is uniquely his own...It has a surgical precision...and it is ruthless with pretensions. The foundations of thermodynamics is a topic that has accumulated a good deal of dead wood; this is a fire that will burn and burn. --Simon W. Saunders, Oxford University As usual with Albert's work, the exposition is brisk and to the point, and exceptionally clear...The book will be an extremely valuable contribution to the literature on the subject of philosophical issues in thermodynamics and statistical mechanics, a literature which has been thin on the ground but is now growing as it deserves to. --Lawrence Sklar, University of Michigan. (shrink)

How should one react when one has a belief, but knows that other people—who have roughly the same evidence as one has, and seem roughly as likely to react to it correctly—disagree? This paper argues that the disagreement of other competent inquirers often requires one to be much less confident in one’s opinions than one would otherwise be.

I attempt to get as clear as possible on the chain of reasoning by which irreversible macrodynamics is derivable from time-reversible microphysics, and in particular to clarify just what kinds of assumptions about the initial state of the universe, and about the nature of the microdynamics, are needed in these derivations. I conclude that while a “Past Hypothesis” about the early Universe does seem necessary to carry out such derivations, that Hypothesis is not correctly understood as a constraint on the (...) early Universe’s entropy. (shrink)

We start by presenting three different views that jointly imply that every person has many conscious beings in their immediate vicinity, and that the number greatly varies from person to person. We then present and assess an argument to the conclusion that how confident someone should be in these views should sensitively depend on how massive they happen to be. According to the argument, sometimes irreducibly de se observations can be powerful evidence for or against believing in metaphysical theories.

Worries about mental causation are prominent in contemporary discussions of the mind and human agency. Originally, the problem of mental causation was that of understanding how a mental substance (thought to be immaterial) could interact with a material substance, a body. Most philosophers nowadays repudiate immaterial minds, but the problem of mental causation has not gone away. Instead, focus has shifted to mental properties. How could mental properties be causally relevant to bodily behavior? How could something mental qua mental cause (...) what it does? After looking at the traditional Problem of Interaction, we survey various versions of the property-based problem and look at proposed solutions to them. (shrink)

It is advisable to treat some sorts of discourse about fiction with the aid of an intensional operator "in such-And-Such fiction...." the operator may appear either explicitly or tacitly. It may be analyzed in terms of similarity of worlds, As follows: "in the fiction f, A" means that a is true in those of the worlds where f is told as known fact rather than fiction that differ least from our world, Or from the belief worlds of the community in (...) which the fiction originated. (shrink)

1.1 Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Tangent Vectors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . (...) . . . . . . . . . . . 7 1.3 Vector Fields, Integral Curves, and Flows . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 1.4 Tensors and Tensor Fields on Manifolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 1.5 The Action of Smooth Maps on Tensor Fields . . . . . . . . . . . . . . . . . . . . . . . . . 31 1.6 Lie Derivatives . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37 1.7 Derivative Operators and Geodesics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 43 1.8 Curvature . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59 1.9 Metrics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64 1.10 Hypersurfaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 81 1.11 Volume Elements . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 96.. (shrink)

Unprecedented advances in medicine, genetic engineering, and demographic forecasting raise new questions that strain the categories and assumptions of traditional ethical theories. Heyd's approach resolves many paradoxes in intergenerational justice, while offering a major test case for the profound problems of the limits of ethics and the nature of value. This title is part of UC Press's Voices Revived program, which commemorates University of California Press’s mission to seek out and cultivate the brightest minds and give them voice, reach, and (...) impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1992. (shrink)

Our aim in this entry is to articulate the state of the art in the moral psychology of personal identity. We begin by discussing the major philosophical theories of personal identity, including their shortcomings. We then turn to recent psychological work on personal identity and the self, investigations that often illuminate our person-related normative concerns. We conclude by discussing the implications of this psychological work for some contemporary philosophical theories and suggesting fruitful areas for future work on personal identity.