There is a long tradition of fruitful interaction between logic and social choice theory. In recent years, much of this interaction has focused on computer-aided methods such as SAT solving and interactive theorem proving. In this paper, we report on the development of a framework for formalizing voting theory in the Lean theorem prover, which we have applied to verify properties of a recently studied voting method. While previous applications of interactive theorem proving to social choice have focused on the (...) verification of impossibility theorems, we aim to cover a variety of results ranging from impossibility theorems to the verification of properties of specific voting methods. In order to formalize voting theoretic axioms concerning adding or removing candidates and voters, we work in a variable-election setting whose formalization makes use of dependent types in Lean. (shrink)

Preface, by N. Foerster.--The pretensions of science, by L. T. More.--Humanism: an essay at definition, by I. Babbitt.--The humility of common sense, by P. E. More.--The pride of modernity, by G. R. Elliott.--Religion without humanism, by T. S. Eliot.--The plight of our arts, by F. J. Mather, Jr.--The dilemma of modern tragedy, by A. R. Thompson.--An American tragedy, by R. Shafer.--Pandora's box in American fiction, by H. H. Clark.--Dionysus in dismay, by S. P. Chase.--Our critical spokesmen, by G. B. (...) Munson.--Behaviour and continuity, by B. Bandler, II.--The well of discipline, by S. B. Gass.--Courage and education, by R. L. Brown.--A list of books (p. 291-294). (shrink)

Since archaeology is fundamentally the study of the human past, which is what the word “archaeology” connotes according to its Greek etymology, it is part of the humanities. However, archaeologists work in teams with scientists and employ quantitative techniques and comparative methods of the social sciences; archaeologists are thus an academic hybrid and are pleased to live in the interstices of many disciplines. In this article we review the history of archaeology in the humanities and explore some new directions in (...) archaeological research. We discuss the enduring questions of origins of the antiquity of humanity, religion and art, the first agricultural villages, and the earliest cities, states, and civilizations. We also consider new agendas in archaeology: historical archaeology, landscapes in the past and present, material studies of the present, and how archaeologists are engaged in modern politics. (shrink)

Since the l960s, archaeology has become increasingly taught in universities and practiced on a growing scale by national and local heritage agencies throughout the world. This book addresses the criticisms of postmodernist writers about archaeology's social role, and asserts its intellectual importance and achievements in discovering real facts about the human past. It looks forward to the creation of a truly global consciousness of the origins of human societies and civilizations.

Chapter I: The Geometry of Visibles 1 . The N on- Euclidean Geometry of Visibles In the chapter "The Geometry of Visibles" in Inquiry into the Human Mind, ...

Some philosophers believe science does not or should not aim at the truth. Sometimes they say scientists do not really care much about truth. Sometimes they say truth is an outdated Enlightenment hand-me-down, full of confusion and rhetoric but empty of explanatory or normative importance. And sometimes they argue that it is irrational to pursue the truth. This last claim is the target of the present paper.

Case-based instruction is a stable feature of ethics education, however, little is known about the attributes of the cases that make them effective. Emotions are an inherent part of ethical decision-making and one source of information actively stored in case-based knowledge, making them an attribute of cases that likely facilitates case-based learning. Emotions also make cases more realistic, an essential component for effective case-based instruction. The purpose of this study was to investigate the influence of emotional case content, and complementary (...) socio-relational case content, on case-based knowledge acquisition and transfer on future ethical decision-making tasks. Study findings suggest that emotional case content stimulates retention of cases and facilitates transfer of ethical decision-making principles demonstrated in cases. (shrink)

Schopenhauer is famously abusive toward his philosophical contemporary and rival, Friedrich William Joseph von Schelling. This chapter examines the motivations for Schopenhauer’s immoderate attitude and the substance behind the insults. It looks carefully at both the nature of the insults and substantive critical objections Schopenhauer had to Schelling’s philosophy, both to Schelling’s metaphysical description of the thing-in-itself and Schelling’s epistemic mechanism of intellectual intuition. It concludes that Schopenhauer’s substantive criticism is reasonable and that Schopenhauer does in fact avoid Schelling’s errors: (...) still, the vehemence of the abuse is best perhaps explained by the proximity of their philosophies, not the distance. Indeed, both are developing metaphysics of will with full and conflicted awareness of the Kantian epistemic strictures against metaphysics. In view of this, Schopenhauer is particularly concerned to mark his own project as legitimate by highlighting the manner in which he avoids Schelling’s errors. (shrink)

Several of the contributions to the Lynch et al. Special issue make the claim that conversation-analytic research into epistemics is ‘routinely crafted at the expense of actual, produced and constitutive detail, and what that detail may show us’. Here, we seek to address the inappositeness of this critique by tracing precisely how it is that recognizable actions emerge from distinct practices of interaction. We begin by reviewing some of the foundational tenets of conversation-analytic theory and method – including the relationship (...) between position and composition, and the making of collections – as these appear to be primary sources of confusion for many of the contributors to the Lynch et al. Special Issue. We then target some of the specific arguments presented in the Special Issue, including the alleged ‘over-hearer’s’ writing of metrics, the provision of so-called ‘alternative’ analyses and the supposed ‘crafting’ of generalizations in epistemics research. In addition, in light of Lynch’s more general assertion that conversation analysis has recently been experiencing a ‘rapprochement’ with what he disparagingly refers to as the ‘juggernaut’ of linguistics, we discuss the specific expertise that linguists have to offer in analyzing particular sorts of interactional detail. The article as a whole thus illustrates that, rather than being produced ‘at the expense of actual, produced and constitutive detail’, conversation-analytic findings – including its work in epistemics – are unambiguously anchored in such detail. We conclude by offering our comments as to the link between CA and linguistics more generally, arguing that this relationship has long proven to be – and indeed continues to be – a mutually beneficial one. (shrink)

This book uses an incidence approach to look at the economic repercussions of birth defects. The authors investigate eighteen of the most clinically significant birth defects affecting 35,000 newborns each year in our country. Their assessments suggest that the annual cost of these eighteen birth defects, together, is more than eight billion dollars . The authors describe in detail their methodology and data sources while providing thorough accounts of each of the eighteen birth defects. Waitzman, Scheffler, and Romano break new (...) ground by using reports from the California Birth Defects Monitoring Program in order to provide cost estimates. They illustrate to the reader how cost estimates of specific birth defects can be used to justify prevention interventions and strategies. In chapter seven, they provide an important example, showing cost-benefit analysis of a program of folate supplementation of food to prevent neutral tube defects. Contents: List of Tables; Preface; Acknowledgements; Introduction; The Application of Cost-of-Illness Methodology To Birth Defects; The Direct Medical Costs of Birth Defects; Nonmedical Direct Costs of Birth Defects: Developmental Services and Special Education; The Indirect Costs of Birth Defects; Premature Mortality and Heightened Morbidity; An Assessment of Total Costs and Policy Implications; Description of Birth Defects; Description of Major Data Sources; Index. (shrink)

In this paper, we consider the implications of Grace de Laguna and Joel Katzav's work for the charge of conservatism against the analytic tradition. We differentiate that conservatism into three kinds: starting place; path dependency; and modesty. We also think again about gender in philosophy, consider the positive account of speculative philosophy presented by de Laguna and Katzav in comparison to some other naturalist trajectories, and conclude with a brief Australian addendum that reflects on a similar period in our own (...) country which was also associated with the professional institutionalisation of analytic philosophy. (shrink)

Higher order cognitive processes, including ethical decision making (EDM), are influenced by the experiencing of discrete emotions. Recent research highlights the negative influence one such emotion, anger, has on EDM and its underlying processes. The mechanism, however, by which anger disrupts the EDM has not been investigated. The current study sought to discover whether cognitive appraisals of an emotion-evoking event are the driving mechanisms behind the influence of anger on EDM. One primary (goal obstacle) and one secondary (certainty) appraisal of (...) anger were examined. Study results suggest that appraisals of certainty are the driving mechanism behind the negative relationship between anger and EDM. Certainty appraisals led to less application of EDM-promoting strategies and more unethical social motives. Findings further highlight the value of investigating appraisals of emotional events, given their cognitive nature, for their potential effects on cognitive operations, such as EDM. Future directions and implications are discussed. (shrink)

An epistemic duty would be a duty to believe, disbelieve, or withhold judgment from a proposition, and it would be grounded in purely evidential or epistemic considerations. If I promise to believe it is raining, my duty to believe is not epistemic. If my evidence is so good that, in light of it alone, I ought to believe it is raining, then my duty to believe supposedly is epistemic. I offer a new argument for the claim that there are no (...) epistemic duties. Though people do sometimes have duties to believe, disbelieve, or withhold judgment from propositions, those duties are never grounded in purely epistemic considerations. (shrink)

We might suppose it is not only instrumentally valuable for beliefs to be true, but that it is intrinsically valuable – truth makes a non-derivative, positive contribution to a belief's overall value. Some intrinsic goods are better than others, though, and this article considers the question of how good truth is, compared to other intrinsic goods. I argue that truth is the worst of all intrinsic goods; every other intrinsic good is better than it. I also suggest the best explanation (...) for truth's inferiority is that it is not really an intrinsic good at all. It is intrinsically neutral. (shrink)

Descartes' proof that his essence is thinking.--Thoughtless brutes.--Descartes' proof that he is essentially a non-material thing.--Behaviorism as a philosophy of psychology.--The privacy of experience.--Wittgenstein on the nature of mind.--The myth of cognitive processes and structures.--Moore and Wittgenstein on the sense of "I know."--The groundlessness of belief.

Ackn o wledgments I owe special gratitude to Professors Hugo Adam Bedau and John Rawls for many helpful discussions of the general idea and scope, ...

ABSTRACT: Epistemic duties would be duties to believe, disbelieve, or withhold judgement from propositions, and they would be grounded in purely evidential considerations. I offer a new argument for the claim that there are no epistemic duties. Though people may have duties to believe, disbelieve, or withhold judgement from propositions, those duties are never grounded in purely epistemic considerations. Rather, allegedly epistemic duties are a species of moral duty.RÉSUMÉ: Les fonctions épistémiques sont censées désigner le fait de croire ou de (...) ne pas croire des propositions, ou de suspendre notre jugement, et seraient fondées uniquement sur la prise en compte de l’évidence. Je présente un nouvel argument soutenant que les fonctions épistémiques n’existent pas. Bien que nous devions recourir aux fonctions de croire ou de ne pas croire des propositions, ou de suspendre notre jugement, ces fonctions ne sont jamais fondées sur d’uniques considérations épistémiques. Ce que l’on reconnaît comme des fonctions épistémiques appartient plutôt à l’espèce des fonctions morales. (shrink)

The following four assumptions plausibly describe the ideal rational agent. (1) She knows what her beliefs are. (2) She desires to believe only truths. (3) Whenever she desires that P → Q and knows that P, she desires that Q. (4) She does not both desire that P and desire that ~P, for any P. Although the assumptions are plausible, they have an implausible consequence. They imply that the ideal rational agent does not believe and desire contradictory propositions. She neither (...) desires the world to be any different than she thinks it is, nor thinks it is any different than she desires it to be. The problem of preserving our intuitions about desire, without embracing the implausible conclusion, is what I call “the Wishful Thinking Puzzle.” In this paper, I examine how this puzzle arises, and I argue that it is surprisingly difficult to solve. Even the decision theoretic conception of desire is not immune to the puzzle. One approach, the contrastive conception of desire, does avoid the puzzle without being ad hoc, but it remains too inchoate to win our full confidence. (shrink)

ABSTRACT According to a prominent objection, deflationist theories of truth can’t account for the explanatory connection between true belief and successful action [Putnam 1978]. Canonical responses to the objection show how to reformulate truth-involving explanations of particular successful actions, so as to omit any mention of truth [Horwich 1998]. According to recent critics, though, the canonical strategy misses the point. The deflated paraphrases lack the generality or explanatory robustness of the original explanatory appeals to truth [Kitcher 2002; Lynch 2009; Gamester (...) 2018]. This article diagnoses the canonical response’s failure and shows how deflationists can make sense of appeals to truth in explaining practical success, in all of their generality and robustness, without construing truth as a substantial property. (shrink)

This paper argues against the almost universally held view that truth is an instrumentally valuable property of beliefs. For truth to be instrumentally valuable in the way usually supposed, it must play a causal role in the satisfaction of our desires. As it happens, truth can play no such role, because it is screened off from causal relevance by some of the truth-like properties first discussed by Stephen Stich. Because it is not causally relevant to the success of our actions, (...) truth is not instrumentally valuable in the way usually supposed. (shrink)

Philip Kitcher has argued for a causal correspondence view of truth, as against a deflationary view, on the grounds that the former is better poised than the latter to explain systematically successful patterns of action. Though Kitcher is right to focus on systematically successful action, rather than singular practical successes, he is wrong to conclude that causal correspondence theories are capable of explaining systematic success. Rather, I argue, truth bears no explanatory relation to systematic practical success. Consequently, the causal correspondence (...) view is not in a better position to explain success than the deflationary view; theories of truth are the wrong place to look for explanations of systematic practical success. (shrink)

The rapidly increasing numbers of elderly people in our society have raised some important moral questions: How should we distribute social resources among different age groups? What does justice require from both the young and the old? In this book, Norman Daniels offers the first systematic philosophical discussion of these urgent questions, advocating what he calls a "lifespan" approach to the problem: Since, as they age, people pass through a variety of institutions, the challenge of caring for the elderly (...) becomes the prudent allocation of public resources among the various stages of people's lives. Using this philosophical approach, Daniels addresses specific public policy issues such as the allocation of medical funds, the adequacy of long-term care, current Medicare cost-containment measures, and the equitable distribution of income support over the lifespan and between generations. (shrink)

This paper argues against the realization principle, which reifies the realization relation between lower-level and higher-level properties. It begins with a review of some principles of naturalistic metaphysics. Then it criticizes some likely reasons for embracing the realization principle, and finally it argues against the principle directly. The most likely reasons for embracing the principle depend on the dubious assumption that special science theories cannot be true unless special science predicates designate properties. The principle itself turns out to be false (...) because the realization relation fails the naturalistic test for reality: it makes no causal difference to the world.Footnote11This paper resulted from work done at John Heil's 2006 Mind and Metaphysics NEH Summer Seminar at Washington University in St. Louis. An early version of it was presented in a special symposium on realization at the 2007 meeting of the Southern Society for Philosophy and Psychology. I owe thanks to all the participants in both events for helpful discussions, and I owe particular thanks to Ken Aizawa, Torin Alter, Jason Ford, Carl Gillett, John Heil, Nicholas Helms, Pete Mandik, John Post, Gene Witmer, Michelle Wrenn, Tad Zawidzki, and two anonymous referees for the AJP. (shrink)

In this paper, I consider an argument of Harvey Siegel's according to which there can be no hypothetical normativity anywhere unless there is categorical normativity in epistemology. The argument fails because it falsely assumes people must be bound by epistemic norms in order to have justified beliefs.

A powerful work of moral and political philosophy.The idea which I shall present here came to me more or less out of the blue. I was on a train some five years ago, on my way to spend a day at Headingley and I was reading a book about the death camp at Sobibor... The particular, not very appropriate, conjunction involved for me in this train journey... had the effect of fixing my thoughts on one of the more dreadful features (...) of human coexistence, when in the shape of a simple five-word phrase the idea occurred to me. In The Contract of Mutual Indifference, Norman Geras discusses a central aspect of the experience of the Holocaust with a view to exploring its most important contemporary implications. In a bold and powerful synthesis of memorial, literary record, historical reflection and political theory, he focuses on the figure of the bystander -- the bystander to the destruction of the Jews of Europe and the bystander to more recent atrocities -- to consider the moral consequences of looking on without active response at persecution and great suffering. Geras argues that the tragedy of European Jewry, so widely pondered by historians, social scientists, psychologists, theologians and others, has not yet found its proper reflection within political philosophy. Attempting to fill the gap, he adapts an old idea from within that tradition of enquiry, the idea of the social contract, to the task of thinking about the triangular relation between perpetrators, victims and bystanders, and draws a somber conclusion from it. Geras goes on to ask how far this conclusion may be offset by the hypothesis of a universal duty to bring aid. The Contract of Mutual Indifference is an original and challenging work, aimed at the complacent abstraction of much contemporary theory. It is supplemented by three shorter essays on the implications of the Jewish catastrophe for conceptions of human nature and progress and for certain types of Marxist explanation. (shrink)

According to a common objection to epistemological naturalism, no empirical, scientific theory of knowledge can be normative in the way epistemological theories need to be. In response, such naturalists as W.V. Quine have claimed naturalized epistemology can be normative by emulating engineering disciplines and addressing the relations of causal efficacy between our cognitive means and ends. This paper evaluates that "engineering reply" and finds it a mixed success. Based on consideration of what it might mean to call a theory "normative," (...) seven versions of the normativity objection to epistemological naturalism are formulated. The engineering reply alone is sufficient to answer only the four least sophisticated versions. To answer the others, naturalists must draw on more resources than their engineering reply alone provides. (shrink)

To be Black means to have ancestors whose humanity has been de-nied by slavery, colonialism, neo-colonialism, and segregation, as well as by many theories elaborated in order to justify and intensify these modes of domination. To be Black also means having to face the enduring legacies of these systems and theories, which predomi-nantly manifest through overexposure to violence and death. Today, premature death and habituation to loss remain constitutive fea-tures of Black experience. Dignity, often de????ined as the inherent value of (...) every single human being, has been a core concept in ethics since Kant, at least. But in both philosophy and modern politics, the claim of respect for the dignity of people has coexisted with deep antiblack-ness. However, apart from the Western understanding of dignity stands another tradition. The concept of dignity is pervasive in Black radicalism, Caribbean philosophy, and African thought since the 18th century. This article draws inspiration from the legacy of these thinkers to elaborate an ethics centred on the speci????icities of racial-ized life. (shrink)

According to strong pluralist theories of truth, ‘true’ designates different properties depending on which sentences it’s applied to. An influential objection to strong pluralism claims it can’t make sense of logically complex sentences whose components have different truth-properties. For example, if ‘true’ designates correspondents for ‘Tabby is a cat’, and it designates coherence for ‘Tabby is beautiful’, what does it designate for ‘Tabby is a beautiful cat’ (Tappolet 1997)? Will Gamester (2019) has proposed a novel pluralist theory meant to avoid (...) the problem. The theory construes ‘true’ as designating a different property for each possible logical structure, and he has challenged monists to identify shortcomings of the theory in virtue of its pluralism. This paper answers Gamester’s challenge and identifies three such shortcomings. (1) The theory can’t make sense of the idea that all true conjunctions share the property of having true conjuncts, in virtue of which they are true. (2) The theory imposes unmotivated syntactic constraints on the language in which the theory of truth is formulated. (3) Avoiding the second shortcoming requires arbitrary choices among equally good candidates for “the” logical form of sentences and hence the designation of ‘true’ as applied to them. (shrink)

Laurence BonJour has recently proposed a novel and interesting approach to the problem of induction. He grants that it is contingent, and so not a priori, that our patterns of inductive inference are reliable. Nevertheless, he claims, it is necessary and a priori that those patterns are highly likely to be reliable, and that is enough to ground an a priori justification induction. This paper examines an important defect in BonJour's proposal. Once we make sense of the claim that inductive (...) inference is "necessarily highly likely" to be reliable, we find that it is not knowable a priori after all. (shrink)

One of his six introductions to philosophy, widely used by students in Alexandria, Ammonius' lecture on Porphyry was recorded in writing by his students in the commentary translated here. Along with five other types of introductions (three of which are translated in the Ancient Commentators on Aristotle volume Elias and David: Introductions to Philosophy with Olympiodorus: Introduction to Logic) it made Greek philosophy more accessible to other cultures. These introductions became standard in Ammonius' school and included a popular set of (...) five or more definitions of philosophy, some of them drawn from commentaries on quite different works. Ammonius' lecture expounded the most celebrated and discussed previous introduction written by Porphyry 200 years earlier, which was devoted to five main technical terms of Aristotle's logic. Ammonius was sympathetic to Porphyry because they both sought to harmonise the views of Plato and Aristotle with each other, arguing in different ways that the two philosophers did not disagree about the nature of universals. Porphyry's introduction was a hugely influential work for centuries after its composition, and this commentary by Ammonius served to maintain its position at the centre of later schools of philosophy. This English translation of Ammonius' work is the latest volume in the Ancient Commentators on Aristotle series and makes this philosophical work accessible to a modern readership. The translation is accompanied by an introduction, comprehensive commentary notes, bibliography, glossary of translated terms and a subject index. (shrink)

Hamblin distinguished between formal and descriptive dialectic. Formal normative models of deliberation dialogue have been strongly emphasized as argumentation frameworks in computer science. But making such models of deliberation applicable to real natural language examples has reached a point where the descriptive aspect needs more interdisciplinary work. The new formal and computational models of deliberation dialogue that are being built in computer science seem to be closely related to some already existing and very well established computing technologies such as problem (...) solving and decision making, but whether or how dialectical argumentation can be helpful to support these systems remains an open question. The aim of this paper is to examine some real examples of argumentation that seem to hover on the borderlines between deliberation, problem solving and decision making. (shrink)