Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.

    Much of the book takes the form of a discussion between a teacher and his students. They propose various solutions to some mathematical problems and investigate the strengths and weaknesses of these solutions. Their discussion (which mirrors certain real developments in the history of mathematics) raises some philosophical problems and some problems about the nature of mathematical discovery or creativity. Imre Lakatos is concerned throughout to combat the classical picture of mathematical development as a steady accumulation of established truths. He shows that mathematics grows instead through a richer, more dramatic process of the successive improvement of creative hypotheses by attempts to 'prove' them and by criticism of these attempts: the logic of proofs and refutations.

    The book represents the first philosophically sound discussion of the concept of number in Western civilization. It profoundly influenced developments in the philosophy of mathematics and in general ontology.

    In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably (but in different ways) with Bertrand Russell, W. V. Quine, and Godel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field.

    In it, Russell offers a nontechnical, undogmatic account of his philosophical criticism as it relates to arithmetic and logic. Rather than an exhaustive treatment, however, the influential philosopher and mathematician focuses on certain issues of mathematical logic that, to his mind, invalidated much traditional and contemporary philosophy.In dealing with such topics as number, order, relations, limits and continuity, propositional functions, descriptions, and classes, Russell writes in a clear, accessible manner, requiring neither a knowledge of mathematics nor an aptitude for mathematical symbolism. The result is a thought-provoking excursion into the fascinating realm where mathematics and philosophy meet — a philosophical classic that will be welcomed by any thinking person interested in this crucial area of modern thought.

    In this book Saul Kripke brings his powerful philosophic intelligence to bear on Wittgenstein's analysis of the notion of following a rule.

    Written in short, carefully numbered paragraphs of extreme brilliance, it captured the imagination of a generation of philosophers. For Wittgenstein, logic was something we use to conquer a reality which is in itself both elusive and unobtainable. He famously summarized the book in the following words: 'What can be said at all can be said clearly; and what we cannot talk about we must pass over in silence.' David Pears and Brian McGuinness received the highest praise for their meticulous translation. The work is prefaced by Bertrand Russell's original introduction to the first English edition.

    Notions like denumerability, modal scope distinction, Bayesian conditionalization, and logical completeness are usually only elucidated deep within difficultspecialist texts. By offering simple explanations that by-pass much irrelevant and boring detail, Philosophical Devices is able to cover a wealth of material that is normally only available to specialists.The book contains four sections, each of three chapters. The first section is about sets and numbers, starting with the membership relation and ending with the generalized continuum hypothesis. The second is about analyticity, a prioricity, and necessity. The third is about probability, outliningthe difference between objective and subjective probability and exploring aspects of conditionalization and correlation. The fourth deals with metalogic, focusing on the contrast between syntax and semantics, and finishing with a sketch of Godel's theorem.Philosophical Devices will be useful for university students who have got past the foothills of philosophy and are starting to read more widely, but it does not assume any prior expertise. All the issues discussed are intrinsically interesting, and often downright fascinating. It can be read withpleasure and profit by anybody who is curious about the technical infrastructure of contemporary philosophy.

    Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences--perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times."However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject.New York University Press is proud to publish this special edition of one of its bestselling books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.

    V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.

    a personal confession of its creator and a kind of involuntary and unperceived memoir.". Stewart affirms this maxim in his colorful reinterpretation of the lives and works of 17th-century philosophers Spinoza and Leibniz. In November 1676, the foppish courtier Leibniz, "the ultimate insider... an orthodox Lutheran from conservative Germany," journeyed to The Hague to visit the self-sufficient, freethinking Spinoza, "a double exile... an apostate Jew from licentious Holland." A prodigious polymath, Leibniz understood Spinoza's insight that "science was in the process of rendering the God of revelation obsolete; that it had already undermined the special place of the human individual in nature." Spinoza embraced this new world. Seeing the orthodox God as a "prop for theocratic tyranny," he articulated the basic theory for the modern secular state. Leibniz, on the other hand, spent the rest of his life championing God and theocracy like a defense lawyer defending a client he knows is guilty. He elaborated a metaphysics that was, at bottom, a reaction to Spinoza and collapses into Spinozism, as Stewart deftly shows. For Stewart, Leibniz's reaction to Spinoza and modernity set the tone for "the dominant form of modern philosophy"—a category that includes Kant, Hegel, Bergson, Heidegger and "the whole 'postmodern' project of deconstructing the phallogocentric tradition of western thought." Readers of philosophy may find much to disagree with in these arguments, but Stewart's wit and profluent prose make this book a fascinating read.

    Topics: elimination of metaphysics, function of philosophy, nature of philosophical analysis, the a priori, truth & probability, critique of ethics & theology, self & the common world etc.IntroductionThe elimination of metaphysicsThe function of philosophy The nature of philosophical analysisThe a priori Truth & probabilityCritique of ethics & theologyThe self & the common worldSolutions of outstanding philosophical disputesIndex

     Now Roy Sorensen offers the first narrative history of paradoxes, a fascinating and eye-opening account that extends from the ancient Greeks, through the Middle Ages, the Enlightenment, and into the twentieth century. When Augustine asked what God was doing before He made the world, he wastold: Preparing hell for people who ask questions like that. A Brief History of the Paradox takes a close look at questions like that and the philosophers who have asked them, beginning with the folk riddles that inspired Anaximander to erect the first metaphysical system and ending with suchthinkers as Lewis Carroll, Ludwig Wittgenstein, and W.V. Quine. Organized chronologically, the book is divided into twenty-four chapters, each of which pairs a philosopher with a major paradox, allowing for extended consideration and putting a human face on the strategies that have been taken towardthese puzzles. Readers get to follow the minds of Zeno, Socrates, Aquinas, Ockham, Pascal, Kant, Hegel, and many other major philosophers deep inside the tangles of paradox, looking for, and sometimes finding, a way out. Filled with illuminating anecdotes and vividly written, A Brief History of the Paradox will appeal to anyone who finds trying to answer unanswerable questions a paradoxically pleasant endeavor.

    Republic is also featured in its entirety.

    Unique in western philosophy for his affinity with Eastern thought, Schopenhauer influenced philosophers, writers, and composers including Nietzsche, Wittgenstein, Wagner, Tolstoy, Thomas Mann, and Samuel Beckett.The Work presented here appeals not only to the student of philosophy but everyone interested in psychology, literature and eastern and western religion. This paperback edition is the most comprehensive available and includes an introduction, bibliography, selected criticism, index and chronology of Schopenhauer's life and times.