The first amounts, roughly, to "It is necessarily the case that any President of the U.S. is a citizen of the U.S." But the second says, "the person who in fact is the President of the U.S, has the property of necessarily being a citizen of the U.S," Thus, while (2) is clearly true, it would be reasonable to consider (3) false.

Why did Copernicus's research programme supersede Ptolemy's?’, Lakatos and Zahar argued that, on Zahar's criterion for ‘novel fact’, Copernican theory was objectively scientifically superior to Ptolemaic theory. They are mistaken, Lakatos and Zahar applied Zahar's criterion to ‘a historical thought-experiment’—fictional rather than real history. Further, in their fictional history, they compared Copernicus to Eudoxus rather than Ptolemy, ignored Tycho Brahe, and did not consider facts that would be novel for geostatic theories. When Zahar's criterion is applied to real history, the (...) results are distinctly different. Finally, most of the historical and conceptual problems in applying Zahar's criterion to the Copernican Revolution primarily arise from a deep difficulty in Lakatos's programme: the necessity of individuating research programmes and identifying their originators. 1 Working closely with David Dahl was crucial in developing this paper. Robert Westman's valiant effort to keep me on the historical straight and narrow drastically limited my tendency to a priori historical pronouncements. The Vassar Philosophy Department, John Tompsich, and Jean Sterling were also helpful. (shrink)

This chapter focuses on four questions which help to understand the presupposition accommodation as Lewis defines it. The first is a question about how we recognize that an utterance involves a presupposition. The second question is about what it is to accommodate. The third question has to do with the role of scoreboard in accommodation. The fourth question has to do with Lewis's ceteris paribus condition. The chapter considers the characterization of accommodation due to Thomason, and argues that it (...) appropriately extends the range of phenomena taken to involve accommodation. It discusses a theory of the scoreboard building on Lewis's characterization which crucially reflects the interlocutors’ recognized goals and plans in language game, and argues that this type of scoreboard plays a natural role in facilitating and constraining accommodation. The author argues that some strong limits are a natural consequence of the nature of the game and its scoreboard. (shrink)

We show that there exist 2 ℵ 0 equational classes of Boolean algebras with operators that are not generated by the complex algebras of any first-order definable class of relational structures. Using a variant of this construction, we resolve a long-standing question of Fine, by exhibiting a bimodal logic that is valid in its canonical frames, but is not sound and complete for any first-order definable class of Kripke frames (a monomodal example can then be obtained using simulation results of (...) Thomason). The constructions use the result of Erd $\H{o}$ s that there are finite graphs with arbitrarily large chromatic number and girth. (shrink)

Shame is a Jekyll-and-Hyde emotion--it can be morally valuable, but it also has a dark side. Thomason presents a philosophically rigorous and nuanced account of shame that accommodates its harmful and helpful aspects. Thomason argues that despite its obvious drawbacks and moral ambiguity, shame's place in our lives is essential.

Shame is most frequently defined as the emotion we feel when we fail to live up to standards, norms, or ideals. I argue that this definition is flawed because it cannot explain some of the most paradigmatic features of shame. Agents often respond to shame with violence, but if shame is the painful feeling of failing to live up to an ideal, this response is unintelligible. I offer a new account of shame that can explain the link between shame and (...) violence. On my view, shame arises out of a tension between our identity and our self-conception: those things about which we feel shame are part of our identities, but they are not part of our self-conception. I conclude by arguing that this account of shame is a valuable moral emotion. (shrink)

This chapter presents an overview of the issues that arise when logic is used in helping to understand problems in intelligent reasoning and to guide the design of mechanized reasoning systems. It provides some historical and technical details concerning nonmonotonic logic and reasoning about action and change, a topic that is not only central in artificial intelligence but that is normally of considerable interest to philosophers. The remaining sections provide brief sketches of selected topics, with references to the primary literature.

Kant’s conception of mental illness is unlikely to satisfy contemporary readers. His classifications of mental illness are often fluid and ambiguous, and he seems to attribute to human beings at least some responsibility for preventing mental illness. In spite of these apparent disadvantages, I argue that Kant’s account of mental illness can be illuminating to his views about the normative dimensions of human cognition. In contrast to current understandings of mental illness, Kant’s account is what I refer to as “non-pathological.” (...) That is, most mental illnesses are for Kant continuous with normally functioning cognition. Someone with a healthy reason can easily fall into mental illness and someone with mental illness can (perhaps not as easily) re-establish healthy reason. By accepting a non-pathological definition of mental illness, it follows for Kant that humans have more agency and responsibility regarding their mental health than current views allow, which explains why several of his writings aim to prescribe a “diet of the mind” (2:271). Contrary to popular readings of Kant as a champion of reason’s power, Kant’s conception of mental illness shows that he recognizes how fragile human reason can be. (shrink)

Moral philosophers have defended anger as an important part of our moral lives. In spite of these defenses, skeptics have nonetheless argued that it would be better all things considered to get over anger to the extent that we can. They will often point to moral exemplars like Martin Luther King, Jr. or Gandhi to show both (a) that we can successfully overcome our feelings of anger and (b) that we would be morally better off doing so. In this chapter, (...) I argue against this aspiration. Those who advocate for such an aspiration fail to recognize that getting over anger would require us to radically reshape our moral psychology. I argue that feelings of anger are more central to our moral emotional lives than skeptics realize and that they cannot be removed without altering other valuable moral commitments. (shrink)

Our emotions can be revealing. They can not only reflect our character traits and our judgments, but they can also tell us things about ourselves that we do not fully realize or may not want to admit. In this chapter, I am particularly interested in how we relate to what I will call alienated emotions: emotional experiences that are unusual, surprising, or even disturbing. What, if anything, do our alienated emotions tell us about who we are? I argue here that (...) alienated emotions lead to important questions about the ethics of self-interpretation. (shrink)

This important book charts the development of philosophical thinking about history over the past 250 years, combining extracts from key texts with new explanatory and critical discussion. The book is designed to make the work of thinkers such as Hume, Herder, Hegel, Dilthey, Nietzsche, Heidegger and Foucault accessible to students with no prior knowledge of Western philosophy. An introductory section is followed by nine further chapters exploring contrasting schools of thought. The volume reveals the origins of contemporary trends in the (...) discipline and relates wider philosophical reflections to the study of history itself. It also points to connections between philosophy of history and literary and cultural theory which have developed in recent decades. (shrink)

This chapter begins with a discussion of Indian theories of inference. It identifies the unique features of Indian logic not found in Western logic. Indian theories of inference are primarily theories of adequate evidence, but they may also be viewed as systems of nonmonotonic reasoning, which is being used in modern computer simulation of actual human reasoning processes. The chapter then discusses Nyāya logic, Buddhist logic, Jaina logic, and Navya–Nyāya logic.

Kant’s non-voluntarist conception of political obligation has led some philosophers to argue that he would reject self-government rights for indigenous peoples. Some recent scholarship suggests, however, that Kant’s critique of colonialism provides an argument in favor of granting self-government rights. Here I argue for a stronger conclusion: Kantian political theory not only can but must include sovereignty for indigenous peoples. Normally these rights are considered redress for historic injustice. On a Kantian view, however, I argue that they are not remedial. (...) Sovereignty rights are a necessary part of establishing perpetual peace. By failing to acknowledge the sovereignty of native groups, states once guilty of imperialism leave open the in principle possibility for future violence, even though no current conflict exists. Only in recognizing self-government rights can states truly commit to the cosmopolitan ideal. (shrink)

Winner of the 1975 National Book Award, this brilliant and widely acclaimed book is a powerful philosophical challenge to the most widely held political and social positions of our age--liberal, socialist, and conservative.

Theories of discourse bring to realism new ideas about how knowledge develops and how representations of reality are influenced. We gain an understanding of the conceptual aspect of social life and the processes by which meaning is produced. This collection reflects the growing interest realist critics have shown towards forms of discourse theory and deconstruction. The diverse range of contributions address such issues as the work of Derrida and deconstruction, discourse theory, Eurocentrism and poststructuralism. What unites all of the contributions (...) is a sense that it is essential to provide a realist alternative to the hitherto dominance of social constructionism, hermeneutics and postmodernism, over many of the issues discussed. By developing a realist perspective the different authors attempt to embed discourse within the structured nature of the reality of the world. Realism can situate language, discourse and ideology within context specific, or 'causally efficacious' circumstances. Realism can help to uncover issues of power, representation, and subjectivity and how discursive and other social practices produce real effects. This can help us understand the manner in which social structures are reproduced through various forms of ideology and discourse. And by knowing this, we can start to address questions concerning human emancipation and how the world is to be transformed. (shrink)

inheritance reasoning in semantic networks allowing for multiple inheritance with exceptions. The approach leads to a definition of iaheritance that is..

Robert Stern investigates how scepticism can be countered by using transcendental arguments concerning the necessary conditions for the possibility of experience, language, or thought. He shows that the most damaging sceptical questions concern neither the certainty of our beliefs nor the reliability of our belief-forming methods, but rather how we can justify our beliefs.

What is right in the corporation is not what is right in a man's home or in his church," a former vice-president of a large firm observes. "What is right in the corporation is what the guy above you wants from you." Such sentiments pervade American society, from corporate boardrooms to the basement of the White House. In Moral Mazes, Robert Jackall offers an eye-opening account of how corporate managers think the world works, and of how big organizations shape (...) moral consciousnss. Based on extensive interviews with managers at every level of two industrial firms and of a large public relations agency, Moral Mazes takes the reader inside the intricate world of the corporation. It is a world where hard work does not necessarily lead to success, but where sharp talk, self-promotion, powerful patrons, and sheer luck might; where intense competition is masked by cheerfully bland public faces; where intentions are cloaked and frankness is simply one of many guises; and where words are always provisional and accountability often depends on the ability to outrun mistakes. In this topsy-turvy world, managers must bring often unforgiving technology and always difficult people together to make money, an uncompromising task demanding continual compromises with conventional verities. Moral issues are translated into practical concerns and into issues of public relations. Sooner or later, managrs ask themselves: How does one act in such a world and maintain a sense of personal integrity? Moral Mazes is a brilliant, sometimes disturbing, often wildly funny study of corporate thinking, decision-making, and morality. It is an analytical work of great importance, one filled with compelling real life stories of the men and women charged with running the business of America. It is a book for anyone interested in how big organizations actually function, or who is concerned with the current moral malaise in our public life. (shrink)

Permissivism says that for some propositions and bodies of evidence, there is more than one rationally permissible doxastic attitude that can be taken towards that proposition given the evidence. Some critics of this view argue that it condones, as rationally acceptable, sets of attitudes that manifest an untenable kind of arbitrariness. I begin by providing a new and more detailed explication of what this alleged arbitrariness consists in. I then explain why Miriam Schoenfield’s prima facie promising attempt to answer the (...) Arbitrariness Objection, by appealing to the role of epistemic standards in rational belief formation, fails to resolve the problem. Schoenfield’s strategy is, however, a useful one, and I go on to explain how an alternative form of the standards-based approach to Permissivism – one that emphasizes the significance of the relationship between people’s cognitive abilities and the epistemic standards that they employ – can respond to the arbitrariness objection. (shrink)

This is a paradigmatic work of contemporary philosophy.

A propositional system of modal logic is second-order if it contains quantifiers ∀p and ∃p, which, in the standard interpretation, are construed as ranging over sets of possible worlds (propositions). Most second-order systems of modal logic are highly intractable; for instance, when augmented with propositional quantifiers, K, B, T, K4 and S4 all become effectively equivalent to full second-order logic. An exception is S5, which, being interpretable in monadic second-order logic, is decidable.

One of our great behavioral scientists, the bestselling author of Behave, plumbs the depths of the science and philosophy of decision-making to mount a devastating case against free will, an argument with profound consequences Robert Sapolsky's Behave, his now classic account of why humans do good and why they do bad, pointed toward an unsettling conclusion: We may not grasp the precise marriage of nature and nurture that creates the physics and chemistry at the base of human behavior, but (...) that doesn't mean it doesn't exist. Now, in Determined, Sapolsky takes his argument all the way, mounting a brilliant (and in his inimitable way, delightful) full-frontal assault on the pleasant fantasy that there is some separate self telling our biology what to do. Determined offers a marvelous synthesis of what we know about how consciousness works-the tight weave between reason and emotion and between stimulus and response in the moment and over a life. One by one, Sapolsky tackles all the major arguments for free will and takes them out, cutting a path through the thickets of chaos and complexity science and quantum physics, as well as touching ground on some of the wilder shores of philosophy. He shows us that the history of medicine is in no small part the history of learning that fewer and fewer things are somebody's "fault"; for example, for centuries we thought seizures were a sign of demonic possession. Yet, as he acknowledges, it's very hard, and at times impossible, to uncouple from our zeal to judge others and to judge ourselves. Sapolsky applies the new understanding of life beyond free will to some of our most essential questions around punishment, morality, and living well together. By the end, Sapolsky argues that while living our daily lives recognizing that we have no free will is going to be monumentally difficult, doing so is not going to result in anarchy, pointlessness, and existential malaise. Instead, it will make for a much more humane world. (shrink)

Since it was presented in 1963, Chisholm’s paradox has attracted constant attention in the deontic logic literature, but without the emergence of any definitive solution. We claim this is due to its having no single solution. The paradox actually presents many challenges to the formalization of deontic statements, including (1) context sensitivity of unconditional oughts, (2) formalizing conditional oughts, and (3) distinguishing generic from nongeneric oughts. Using the practical interpretation of ‘ought’ as a guideline, we propose a linguistically motivated logical (...) solution to each of these problems, and explain the relation of the solution to the problem of contrary-to-duty obligations. (shrink)

Classical American pragmatism: the pragmatist -- Enlightenment-and its problematic semantics -- Analyzing pragmatism: pragmatics and pragmatisms -- A Kantian rationalist pragmatism: pragmatism -- Inferentialism, and modality in Sellars's arguments against -- Empiricism -- Linguistic pragmatism and pragmatism about norms: an arc of -- Thought from Rorty's eliminative materialism to his pragmatism -- Vocabularies of pragmatism: synthesizing naturalism and -- Historicism -- Towards an analytic pragmatism: meaning-use analysis -- Pragmatism, expressivism, and anti-representationalism: -- Local and global possibilities.

Robert Hanna presents a fresh view of the Kantian and analytic traditions that have dominated continental European and Anglo-American philosophy over the last two centuries, and of the connections between them. But this is not just a study in the history of philosophy, for out of this emerges Hanna's original approach to two much-contested theories that remain at the heart of contemporary philosophy. Hanna puts forward a new 'cognitive-semantic' interpretation of transcendental idealism, and a vigorous defense of Kant's theory (...) of analytic and synthetic necessary truth, making this compelling reading for all who are interested in these fundamental philosophical issues. (shrink)

Following the pioneer work of Bruno De Finetti [12], conditional probability spaces (allowing for conditioning with events of measure zero) have been studied since (at least) the 1950's. Perhaps the most salient axiomatizations are Karl Popper's in [31], and Alfred Renyi's in [33]. Nonstandard probability spaces [34] are a well know alternative to this approach. Vann McGee proposed in [30] a result relating both approaches by showing that the standard values of infinitesimal probability functions are representable as Popper functions, and (...) that every Popper function is representable in terms of the standard real values of some infinitesimal measure. Our main goal in this article is to study the constraints on (qualitative and probabilistic) change imposed by an extended version of McGee's result. We focus on an extension capable of allowing for iterated changes of view. Such extension, we argue, seems to be needed in almost all considered applications. Since most of the available axiomatizations stipulate (definitionally) important constraints on iterated change, we propose a non-questionbegging framework, Iterative Probability Systems (IPS) and we show that every Popper function can be regarded as a Bayesian IPS. A generalized version of McGee's result is then proved and several of its consequences considered. In particular we note that our proof requires the imposition of Cumulativity, i.e. the principle that a proposition that is accepted at any stage of an iterative process of acceptance will continue to be accepted at any later stage. The plausibility and range of applicability of Cumulativity is then studied. In particular we appeal to a method for defining belief from conditional probability (first proposed in [42] and then slightly modified in [6] and [3]) in order to characterize the notion of qualitative change induced by Cumulative models of probability kinematics. The resulting cumulative notion is then compared with existing axiomatizations of belief change and probabilistic supposition. We also consider applications in the probabilistic accounts of conditionals [1] and [30]. (shrink)