Methods of Logic


Willard Van Orman Quine - 1950
    Incorporating updated notations, selective answers to exercises, expanded treatment of natural deduction, and new discussions of predicate-functor logic and the affinities between higher set theory and the elementary logic of terms, W. V. Quine's new edition will serve admirably for both classroom and independent use.

Spinoza's 'Ethics': An Introduction


Steven Nadler - 2006
    It presents, in Spinoza's famous 'geometric method', his radical views on God, Nature, the human being, and happiness. In this wide-ranging 2006 introduction to the work, Steven Nadler explains the doctrines and arguments of the Ethics, and shows why Spinoza's endlessly fascinating ideas may have been so troubling to his contemporaries, as well as why they are still highly relevant today. He also examines the philosophical background to Spinoza's thought and the dialogues in which Spinoza was engaged - with his contemporaries (including Descartes and Hobbes), with ancient thinkers (especially the Stoics), and with his Jewish rationalist forebears. His book is written for the student reader but will also be of interest to specialists in early modern philosophy.

Ludwig Wittgenstein: The Duty of Genius


Ray Monk - 1990
    Monk's life of Wittgenstein is such a one."--"The Christian Science Monitor."

Gödel's Theorem: An Incomplete Guide to Its Use and Abuse


Torkel Franzén - 2005
    With exceptional clarity, Franz n gives careful, non-technical explanations both of what those theorems say and, more importantly, what they do not. No other book aims, as his does, to address in detail the misunderstandings and abuses of the incompleteness theorems that are so rife in popular discussions of their significance. As an antidote to the many spurious appeals to incompleteness in theological, anti-mechanist and post-modernist debates, it is a valuable addition to the literature." --- John W. Dawson, author of "Logical Dilemmas: The Life and Work of Kurt G del

Tractatus Logico-Philosophicus


Ludwig Wittgenstein - 1921
    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.

The Logic of Scientific Discovery


Karl Popper - 1934
    It remains the one of the most widely read books about science to come out of the twentieth century.(Note: the book was first published in 1934, in German, with the title Logik der Forschung. It was "reformulated" into English in 1959. See Wikipedia for details.)

Language, Proof and Logic: Text and CD


Jon Barwise - 1999
    The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics.The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course.The package includes four pieces of software:Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs;Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.);Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service.Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu.The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

Introduction to Mathematical Philosophy


Bertrand Russell - 1918
    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.

Ethics Without Ontology


Hilary Putnam - 2004
    Looking at the efforts of philosophers from the Enlightenment through the twentieth century, Putnam traces the ways in which ethical problems arise in a historical context. Hilary Putnam's central concern is ontology--indeed, the very idea of ontology as the division of philosophy concerned with what (ultimately) exists. Reviewing what he deems the disastrous consequences of ontology's influence on analytic philosophy--in particular, the contortions it imposes upon debates about the objective of ethical judgments--Putnam proposes abandoning the very idea of ontology. He argues persuasively that the attempt to provide an ontological explanation of the objectivity of either mathematics or ethics is, in fact, an attempt to provide justifications that are extraneous to mathematics and ethics--and is thus deeply misguided.

The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number


Gottlob Frege - 1884
    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.

The Middle Way: Finding Happiness in a World of Extremes


Lou Marinoff - 2006
    But there is a better way—a middle way—where we might discover common ground for peace, both personally and universally. Lou Marinoff, professor of philosophy and author of Plato, not Prozac, reveals the ABCs of finding that spiritually rich path: Aristotle, Buddha, and Confucius. Each of these wise men knew that extremism destroys happiness, health and harmony, and shared the supremely important notion that the main purpose of our existence is to lead a good life, here and now. In three sections, Marinoff examines the contemporary world and shows how the “Middle Way” provides solutions to our most pressing problems. Part One looks at civilizational dynamics that drive both cooperation and conflict across borders, and introduces each of the ABCs. The second segment focuses on some notorious extremes—including political polarization, and simmering religious, tribal, gender, cultural, and economic divides—and how the ABCs can reconcile them. And the third, final section enlightens us on how we all can apply the ABCs to the betterment of our own lives and humanity as a whole. A short list of recommended readings accompanies each chapter, along with illustrations, maps, and eye-opening charts.

Gödel, Escher, Bach: An Eternal Golden Braid


Douglas R. Hofstadter - 1979
    However, according to Hofstadter, the formal system that underlies all mental activity transcends the system that supports it. If life can grow out of the formal chemical substrate of the cell, if consciousness can emerge out of a formal system of firing neurons, then so too will computers attain human intelligence. Gödel, Escher, Bach is a wonderful exploration of fascinating ideas at the heart of cognitive science: meaning, reduction, recursion, and much more.

Philosophy and Real Politics


Raymond Geuss - 2008
    But in Philosophy and Real Politics, Raymond Geuss argues that philosophers should first try to understand why real political actors behave as they actually do. Far from being applied ethics, politics is a skill that allows people to survive and pursue their goals. To understand politics is to understand the powers, motives, and concepts that people have and that shape how they deal with the problems they face in their particular historical situations. Philosophy and Real Politics both outlines a historically oriented, realistic political philosophy and criticizes liberal political philosophies based on abstract conceptions of rights and justice. The book is a trenchant critique of established ways of thought and a provocative call for change.

Counterfactuals


David Kellogg Lewis - 1973
    Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds.

Not a Suicide Pact: The Constitution in a Time of National Emergency


Richard A. Posner - 2006
    citizens; demands by the FBI for records of library borrowings; establishment of military tribunals to try suspected terrorists, including U.S. citizens--many of the measures taken by the Bush administration since 9/11 have sparked heated protests. In Not a Suicide Pact, Judge Richard A. Posner offers a cogent and elegant response to these protests, arguing that personal liberty must be balanced with public safety in the face of grave national danger.Critical of civil libertarians who balk at any curtailment of their rights, even in the face of an unprecedented terrorist threat in an era of proliferation of weapons of mass destruction, Posner takes a fresh look at the most important constitutional issues that have arisen since 9/11. These issues include the constitutional rights of terrorist suspects (whether American citizens or not) to habeas corpus and due process, and their rights against brutal interrogation (including torture) and searches based on less than probable cause. Posner argues that terrorist activity is sui generis--it is neither war nor crime--and it demands a tailored response, one that gives terror suspects fewer constitutional rights than persons suspected of ordinary criminal activity. Constitutional law must remain fluid, protean, and responsive to the pressure of contemporary events. Posner stresses the limits of law in regulating national security measures and underscores the paradoxical need to recognize a category of government conduct that is at once illegal and morally obligatory.One of America's top legal thinkers, Posner does not pull punches. He offers readers a short, sharp book with a strong point of view that is certain to generate much debate.OXFORD'S NEW INALIENABLE RIGHTS SERIESThis is inaugural volume in Oxford's new fourteen-book Inalienable Rights Series. Each book will be a short, analytically sharp exploration of a particular right--to bear arms, to religious freedom, to free speech--clarifying the issues swirling around these rights and challenging us to rethink our most cherished freedoms.