This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups.".

This classic undergraduate treatment examines the deductive method in its first part and explores applications of logic and methodology in constructing mathematical theories in its second part. Exercises appear throughout.

The first three chapters are personal history, highly picturesque and amusing, illumined by flashes of his lively humor....From here the chapters go on into Philosophy, Education, and Science. covering a span of thrity years though these writings do, they are surprizingly unified. Atlantic.

First published in Great Britain in 1948, this book examines the definition of goodness as being distinct from the question of What things are good? Although less immediately and obviously practical, Dr. Ewing argues that the former question is more fundamental since it raises the issue of whether ethics is explicable wholly in terms of something else, for example, human psychology. Ewing states in his preface that the definition of goodness needs to be confirmed before one decides on the place (...) value is to occupy in our conception of reality or on the ultimate characteristics which make one action right and another wrong. This book discusses these issues. (shrink)

I - Individuals 1 2 - The Identity of Indiscernibles 26 3 - Negation 36 4 - The Terminology of Sense-Data 66 5 - Basic Propositions 105 6 - Phenomenalism 125 7 - Statements About the Past 167 8 - One’s Knowledge of Other Minds 191 9 - On What There Is 215 10 - On the Analysis of Moral Judgements 231 11 - The Principle of Utility 250 12 - Freedom and Necessity 271 Index 285.

What limits should there be on the areas of life that are governed by market forces? For many years, no one seriously defended the buying and selling votes for political elections. In recent years, however, this situation has changed, with a number of authors defending the permissibility of vote markets. One popular objection to such markets is that they would lead to a tyranny of wealth, where the poor are politically dominated by the rich. In a recent paper, Taylor :313–328, (...) 2017. doi: 10.1007/s11158-016-9327-0) has argued that this objection can be avoided if certain restrictions are placed on vote markets. In this paper we will argue that this attempt to rebut an argument against vote markets is unsuccessful. Either vote markets secure their purported benefits but then they inevitably lead to a tyranny of wealth, or they are restricted so heavily that they lack the features that have been claimed to make vote markets attractive in the first place. Using Taylor’s proposal as a test case, we make the more general claim that vote markets cannot avoid the tyranny of wealth objection and bring about their supposed benefits at the same time. (shrink)

This chapter argues that a proper understanding of the difference between trying to do something and trying to bring it about that one does it sheds light on the nature of mental action. For example, even if one cannot, strictly speaking, try to think of seven animal names that begin with ‘g’, one can try to bring it about that one thinks of seven such names, and one can succeed. In some versions of this scenario, one's successful attempt involves no (...) overt actions but several mental ones: for example, keeping one's attention focused on the task, silently keeping a running account of the ‘g’ names that occurred to one, and bringing it about that one thinks of seven suitable names. (shrink)

In this paper, we investigate the diachronic fittingness conditions of admiration – that is, what it takes for a person to continue or cease to be admirable over time. We present a series of cases that elicit judgements that suggest different understandings of admiration over time. In some cases, admirability seems to last forever. In other cases, it seems that it can cease within a person’s lifetime if she changes sufficiently. Taken together, these cases highlight what we call the puzzle (...) of admiration over time. We then present a potential solution to this puzzle. (shrink)

What role do celebrities play in our moral lives? Philosophers have explored the potential for celebrities to function as moral exemplars and role models. We argue that there are more ways in which celebrities play a role in helping us navigate our moral lives. First, gossiping about celebrities helps us negotiate our moral norms and identify competing styles of life. Second, fandom for celebrities serves as the basis for the development of distinct moral communities and identities. Third, celebrities possess high (...) levels of epistemic power which can be used to help change and adapt our moral norms. We will then investigate two kinds of problems that arise from using celebrities in this way. Firstly, harm is done to celebrities because they are used in the ways explained in the first part of the article; secondly, celebrity life has a distinctive nature that can affect the moral agency of celebrities. Fame, we suggest, might lead to a morally unhealthy asymmetry in human relationships. We end by discussing the ethical implications of our analysis and conclude that when using stars for moral navigation, we should take into account the harm this does to them and the distinctive nature of their lives. (shrink)

After an exposition of some key concepts in scholastic ontology, this paper examines four arguments presented by Francisco Suarez for the thesis, commonly held by Christian Aristotelians, that God's causal contribution to effects occurring in the ordinary course of nature goes beyond His merely conserving created substances along with their active and passive causal powers. The postulation of a further causal contribution, known as God's general concurrence (or general concourse), can be viewed as an attempt to accommodate an element of (...) truth present in occasionalist accounts of divine causality. (shrink)

Some contemporary theologians dismiss the classical discussions of the existence and nature of God as out of step with and unworthy of serious consideration by so-called "modern man." Others contend that even though the historical giants of philosophical theology generally had an intimate acquaintance with Sacred Scripture, their philosophical biases beguiled them unwittingly into forming conceptions of God that are wholly foreign to as well as incompatible with the biblical conception of God. These two distinct lines of criticism sometimes converge (...) in the suggestion that today's philosophical theologians should forsake their old heroes for duly modern ones like Whitehead, Heidegger, and Wittgenstein, whose writings allegedly provide philosophical outlooks more in tune with biblical categories of thought. Just as often, however, we find an attitude of distrust toward any sort of metaphysical reflection on the ostensible theological claims of the Judaeo-Christian tradition--both on the part of those who believe that the Judaeo-Christian myths have at most only ethical and perhaps political significance and on the part of those who believe that metaphysical inquiry invariably distorts theological truths by displacing Sacred Scripture as the foundation of the life of faith. Despite their disagreements, however, all sides concur in assigning little if any systematic importance to traditional philosophical theology. (shrink)

We study the notion of dp-minimality, beginning by providing several essential facts about dp-minimality, establishing several equivalent definitions for dp-minimality, and comparing dp-minimality to other minimality notions. The majority of the rest of the paper is dedicated to examples. We establish via a simple proof that any weakly o-minimal theory is dp-minimal and then give an example of a weakly o-minimal group not obtained by adding traces of externally definable sets. Next we give an example of a divisible ordered Abelian (...) group which is dp-minimal and not weakly o-minimal. Finally we establish that the field of p -adic numbers is dp-minimal. (shrink)

First published in 1934, this book evaluates the characteristic doctrines of the idealism which dominated philosophy during the last century. It seeks to combine realism, as to epistemology and physical objects, with a greater appreciation of views which emphasize the unity and rationality of the universe. This work is not a history and does not try to compete with any histories of idealism but it instead reaches an independent conclusion on certain philosophical problems by criticising what others have said. The (...) book considers differing arguments in order to determine their validity. (shrink)

This book probes the ethical structure of contemporary medicine in an argument accessible to lay readers, healthcare professionals, and ethicists alike.

Introduction: Concerning scientific reason -- General themes -- Narrative plan -- What is science? -- Reason in dispute -- Rebuttal to an unfair indictment -- Science and the quest for reality -- Science and its values -- Nineteenth-century positivism -- The argument -- Cultures -- The human sciences -- The fall of positivism -- Polany : personalizing knowledge -- Kuhn : raising the lid of pandora's box -- Quine and the dismantling of logical positivism -- The constructivist challenge -- The (...) science wars -- Battles in the night -- The character of reason -- Taking stock -- Science in its socio-political contexts -- Disentangling facts and values, again -- Science as politics -- Science and human nature -- Science and culture -- A case study : environmentalism -- Claims for a science-based ethics -- Teleology -- Environmentalism's religious origins -- Conclusion: The challenge of coherence -- Science as a world view -- Bridging the divide -- A moral epistemology -- The search for meaning. (shrink)

This concise volume is at once an excellent introduction to Kant'sCritique of Pure Reasonand an original analysis of Kant's ideas.

Discussions of technoscience are bringing to light that scientific journals feature very different knowledge claims. At one end of the spectrum, there is the scientific claim that a hypothesis needs to be reevaluated in light of new evidence. At the other end of the spectrum, there is the technoscientific claim that some new measure of control has been achieved in a laboratory. The latter claim has not received sufficient attention as of yet. In what sense is the achievement of control (...) genuine knowledge in its own right; how is this knowledge acquired; and publicly validated? Notions of tacit or embodied knowledge, of knowledge by acquaintance, of engineering or thing knowledge, and reconstructions of ability or skill take us only part of the way towards answering such questions. The epistemology of technoscience needs to account for the acquisition and demonstration of a public knowledge of control that does not consist in the holding of propositions, even though it is usually communicated in writing: Technoscientific knowledge is, firstly, objective and public insofar as it is exhibited and documented. Secondly, it presupposes a specific context of technology and expertise. Thirdly, it is communicable, even where the achieved capability itself is not. Knowledge of control entails, fourthly, a knowledge of causal relationships, and it sediments itself, fifthly, as a habit of action in the sense proposed by Charles Sanders Peirce. (shrink)

Suppose, we could take a pill that would turn us into morally better people. Would we have a duty to take such a pill? In recent years, a number of philosophers have discussed this issue. Most prominently, Ingmar Persson and Julian Savulescu have argued that we would have a duty to take such a pill. In this article, I wish to investigate the possible limits of a duty to take moral enhancement drugs through investigating the related question of whether it (...) would be desirable to create a world populated entirely with morally perfect people. I argue, drawing on the work of Bernard Williams, Susan Wolf, and Michael Slote, that we have reason to be grateful that we do not live a world in which everyone is morally perfect, as this would prevent people from dedicating their lives to valuable nonmoral projects. I then argue that this thought should serve as a limitation on attempts to morally improve people through the use of technology. Finally, I explore the implications of this discussion for some of the less ambitious forms of moral enhancement currently being explored in the literature. I argue that these forms of enhancement give us no reason to worry about preventing valuable, morally imperfect ways of life. In fact, by acting as a shortcut to moral development, they might serve as an aid to help people fulfill valuable nonmoral goals in a way that is morally permissible. (shrink)

First published in 1934, this book evaluates the characteristic doctrines of the idealism which dominated philosophy during the last century. It seeks to combine realism, as to epistemology and physical objects, with a greater appreciation of views which emphasize the unity and rationality of the universe. This work is not a history and does not try to compete with any histories of idealism but it instead reaches an independent conclusion on certain philosophical problems by criticising what others have said. The (...) book considers differing arguments in order to determine their validity. (shrink)

Bahle, 13, 25 n. 1. Ballinger, 108 n. 3. Borchard, 58 n. 1. Burckhardt, 16 n. 1. Bardach, 495. Bnrgeaa, 611. Buridan, 256*. ...

_Requiem for the Ego_ recounts Freud's last great attempt to 'save' the autonomy of the ego, which drew philosophical criticism from the most prominent philosophers of the period—Adorno, Heidegger, and Wittgenstein. Despite their divergent orientations, each contested the ego's capacity to represent mental states through word and symbol to an agent surveying its own cognizance. By discarding the subject-object divide as a model of the mind, they dethroned Freud's depiction of the ego as a conceit of a misleading self-consciousness and (...) a faulty metaphysics. Freud's inquisitors, while employing divergent arguments, found unacknowledged consensus in identifying the core philosophical challenges of defining agency and describing subjectivity. In _Requiem_, Tauber uniquely synthesizes these philosophical attacks against psychoanalysis and, more generally, provides a kaleidoscopic portrait of the major developments in mid-20th century philosophy that prepared the conceptual grounding for postmodernism. (shrink)

Technical delusions are highly significant for the diagnosis of schizophrenia. What can we learn from the content and the formal aspects of this kind of delusion about the primary schizophrenic experiences underlying the technical delusion and about its meaning and purpose for the patient? In a phenomenological investigation of six schizophrenics, comparing their experiences in technical delusion with the normal experience of technical phenomena, I describe the patient's relationship to himself, to his world, and to others and the modalities of (...) his hallucinatory perceptions. Finally, I discuss the effect of the technical delusion on the patient's relationship to reality. (shrink)

Freud (and later commentators) have failed to explain how the origins of psychoanalytical theory began with a positivist investment without recognizing a dual epistemological commitment: simply, Freud engaged positivism because he believed it generally equated with empiricism, which he valued, and he rejected ‘philosophy’, and, more specifically, Kantianism, because of the associated transcendental qualities of its epistemology. But this simple dismissal belies a deep investment in Kant’s formulation of human reason, in which rationality escapes natural cause and thereby bestows humans (...) with cognitive and moral autonomy. Freud also segregated human rationality: he divided the mind between (1) an unconscious grounded in the biological and thus subject to its own laws, and (2) a faculty of autonomous reason, lodged in consciousness and free of natural forces to become the repository of interpretation and free will. Psychoanalysis thus rests upon a basic Kantian construction, whereby reason, through the aid of analytic techniques, provides a detached scrutiny of the natural world, i.e. the unconscious mental domain. Further, sovereign reason becomes the instrument of self-knowing in the pursuit of human perfection. Herein lies the philosophical foundation of psychoanalytic theory, a beguiling paradox in which natural cause and autonomous reason — determinism and freedom — are conjoined despite their apparent logical exclusion. (shrink)

In the Logica Ingredientibus Abailard attacks the theory according to which universals are collections of individuals. This paper argues that Abailard's principal objection to this 'collective realism', viz, that it conflates universals with integral wholes, is actually quite strong, though it is generally overlooked by recent commentators. For implicit in this objection is the claim that the collective realist cannot provide a satisfactory account of predication. The reason for this is that integral wholes are not uniquely decomposable. In support of (...) thesis the author first explicates the medieval distinction between integral and subjective parts and then discusses its application to collective realism. (shrink)

Der Autor versucht die Literaturtheorie der Enzyklopädisten im Kontext jener liberalen Ideologie der Aufklärung zu situieren, die vom Handelsbürgertum ausgeht und auf eine Überwindung des Feudalabsolutismus hinzielt. Im Verhältnis von Schriftsteller und Gesellschaft konkretisiert sich ein neues Selbstverständnis der Intelligenz, die im Rahmen der politischen Emanzipation des Bürgertums einen gesellschaftlich relevanten Standpunkt für ihre eigene Arbeit zu definieren versucht.