The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.

    Hofstadter's collection of quirky essays is unified by its primary concern: to examine the way people perceive and think.

    Shows how any proof can be understood as a sequence of techniques. Covers the full range of techniques used in proofs, such as the contrapositive, induction, and proof by contradiction. Explains how to identify which techniques are used and how they are applied in the specific problem. Illustrates how to read written proofs with many step-by-step examples. Includes new, expanded appendices related to discrete mathematics, linear algebra, modern algebra and real analysis.

    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.

    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.

    Inspired by and expanding on a series of lectures presented by Leonard Peikoff, David Harriman presents a fascinating answer to the problem of induction-the epistemological question of how we can know the truth of inductive generalizations.Ayn Rand presented her revolutionary theory of concepts in her book Introduction to Objectivist Epistemology. As Dr. Peikoff subsequently explored the concept of induction, he sought out David Harriman, a physicist who had taught philosophy, for his expert knowledge of the scientific discovery process.Here, Harriman presents the result of a collaboration between scientist and philosopher. Beginning with a detailed discussion of the role of mathematics and experimentation in validating generalizations in physics-looking closely at the reasoning of scientists such as Galileo, Kepler, Newton, Lavoisier, and Maxwell-Harriman skillfully argues that the inductive method used in philosophy is in principle indistinguishable from the method used in physics.

    In this little book Welsh writer and artist David Wade paints a picture of one of the most elusive and pervasive concepts known to man.

    It will effectively reveal and dispel any wrong-thinking surrounding this idea upon which all else stands. The purpose? To unburden you from all notions of ‘self’, allowing you to directly discover the raw, non-dual truth of Being.This isn't the first work that tackles this subject. But others have left it at “we can’t really know whether there’s anything beyond our experience”, while I go all the way and say that we can know – and in this book I’ll show you exactly how and why this idea of an objective, physical universe of time and space beyond our perceptions is nothing but a figment of our imagination.But it’s a book unlike all others on the contemporary non-dual awakening scene. You won’t find any ‘pointers’ in it. What you’ll find is stone cold logic hacking away at the very foundation of existence itself. And in its wake; when the dust finally settles; you’ll recognize that, not only were the words of the sages true all along, but they've gone from being a remote possibility to being the light and guiding principle of your life. What words?"Consciousness is all."

    The arguement is developed by means of the notion of possible worlds and ranges over key problems including the nature of essence, trans-world identity, negative existential propositions, and the existence of unactual objects in other possible worlds. In the final chapters Professor Plantinga applies his logical theories to the elucidation of two problems in the philosophy of religion: the Problem of Evil and the Ontological Arguement. The first of these, the problem of reconciling the moral perfection and omnipotence of God with the existence of evil, can, he concludes, be resolved, and the second given a sound formulation. The book ends with an appendix on Quine's objection to quantified modal logic.

    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

    Heath's translation of the thirteen books of Euclid's Elements. In keeping with Green Lion's design commitment, diagrams have been placed on every spread for convenient reference while working through the proofs; running heads on every page indicate both Euclid's book number and proposition numbers for that page; and adequate space for notes is allowed between propositions and around diagrams. The all-new index has built into it a glossary of Euclid's Greek terms.Heath's translation has stood the test of time, and, as one done by a renowned scholar of ancient mathematics, it can be relied upon not to have inadvertantly introduced modern concepts or nomenclature. We have excised the voluminous historical and scholarly commentary that swells the Dover edition to three volumes and impedes classroom use of the original text. The single volume is not only more convenient, but less expensive as well.

    You may find it for free on the web. Purchase of the Kindle edition includes wireless delivery.

    A compelling and revolutionary work that calls for the immediate extension of our human rights to the great apes.The Great Ape Project looks forward to a new stage in the development of the community of equals, whereby the great apes-chimpanzees, gorillas, and orangutans-will actually receive many of the same protections and rights that are already accorded to humans.This profound collection of thirty-one essays by the world's most distinguished observers of free-living apes make up a uniquely satisfying whole, blending observation and interpretation in a highly persuasive case for a complete reassessment of the moral status of our closest kin.

    David Peat explains the development and meaning of this Superstring Theory in a thoroughly readable, dramatic manner accessible to lay readers with no knowledge of mathematics. The consequences of the Superstring Theory are nothing less than astonishing.

    Beautifully illustrated with old engravings as well as contemporary imagery, Sacred Number introduces basic counting systems; significant numbers from major religious texts; the importance of astronomy, geometry, and music to number quality; how numbers affect architecture. Lundy explains why the ideas of Pythagoras still resonate, and she profiles each number from one to ten to show its distinct qualities: why, for example, the golden section is associated with five, and seven with the Virgin Mary.