Sipser's candid, crystal-clear style allows students at every level to understand and enjoy this field. His innovative "proof idea" sections explain profound concepts in plain English. The new edition incorporates many improvements students and professors have suggested over the years, and offers updated, classroom-tested problem sets at the end of each chapter.

    It is state-of-the-art Aristotle: it employs the most recent philological, philosophical, and logical advances which since the 1970’s at least have rendered previous translations and commentaries obsolete. The translation is the first to take account of the recent epistemically orientated natural-deduction approach, which restores Aristotle’s reputation as a consummate logician and reveals much more of Aristotle’s method than previous approaches. Every page of Robin Smith’s commentary shows extensive learning, taste, imagination, and skill. . . . An important and lasting contribution, not only to Aristotle scholarship and to the history of logic, but also to the history of philosophy itself." --John Corcoran, SUNY Buffalo"The translator has adhered to the recent tendency in Aristotle translations to translate Greek technical terms with one-to-one English equivalents as far as possible. This enables the Greekless reader to independently assess Aristotle's variations in terminology. Debatable points of translation and general interpretation are taken up by the translator in an extensive commentary. Such commentary is essential for any nonspecialist attempting to read the Prior Analytics... A substantial twenty-page Introduction provides an overview of Aristotle's logic from the point of view of the recent literature. It is an excellent starting point for anyone wishing to gain an up-to-date perspective on this scholarship... This is the volume that contemporary logicians should and will reach for when they want to learn about the origin of their field." --Michael Scanlan, Mathematical Reviews

    Would you believe that these five pieces can be reassembled in such a fashion so as to create two apples equal in shape and size to the original? Would you believe that you could make something as large as the sun by breaking a pea into a finite number of pieces and putting it back together again? Neither did Leonard Wapner, author of The Pea and the Sun, when he was first introduced to the Banach-Tarski paradox, which asserts exactly such a notion. Written in an engaging style, The Pea and the Sun catalogues the people, events, and mathematics that contributed to the discovery of Banach and Tarski's magical paradox. Wapner makes one of the most interesting problems of advanced mathematics accessible to the non-mathematician.

    Volume 1 presents twenty-five key texts, chronologically arranged, beginning with Peirce's "On a New List of Categories" of 1867, a highly regarded alternative to Kantian philosophy, and ending with the first sustained and systematic presentation of his evolutionary metaphysics in the "Monist Metaphysical Series" of 1891-1893. The book features a clear introduction and informative headnotes to help readers grasp the nature and significance of Peirce's thought system. Bringing together all the writings needed for the study of Peirce's systematic philosophy and its development, Volume 1 is ideal for classroom use. Volume 2, covering the period from 1894 until Peirce's death in 1914, will highlight the development of his system of signs and his mature pragmatism."...a first-rate edition, which supersedes all other portable Peirces.... all the Peirce most people will ever need." --Louis Menand, The New York Review of Books"The Monist essays are included in the first volume of the compact and welcome Essential Peirce; they are by Peirce's standards quite accessible and splendid in their cosmic scope and assertiveness." --London Review of Books

    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.

    Now, in an exciting, fast-paced historical narrative ranging across two centuries, Mark Ronan takes us on an exhilarating tour of this final mathematical quest. Ronan describes how the quest to understand symmetry really began with the tragic young genius Evariste Galois, who died at the age of 20 in a duel. Galois, who spent the night before he died frantically scribbling his unpublished discoveries, used symmetry to understand algebraic equations, and he discovered that there were building blocks or atoms of symmetry. Most of these building blocks fit into a table, rather like the periodic table of elements, but mathematicians have found 26 exceptions. The biggest of these was dubbed the Monster--a giant snowflake in 196,884 dimensions. Ronan, who personally knows the individuals now working on this problem, reveals how the Monster was only dimly seen at first. As more and more mathematicians became involved, the Monster became clearer, and it was found to be not monstrous but a beautiful form that pointed out deep connections between symmetry, string theory, and the very fabric and form of the universe. This story of discovery involves extraordinary characters, and Mark Ronan brings these people to life, vividly recreating the growing excitement of what became the biggest joint project ever in the field of mathematics. Vibrantly written, Symmetry and the Monster is a must-read for all fans of popular science--and especially readers of such books as Fermat's Last Theorem.

    Topics are structured in three parts in the book. Part I, Reference and Referring Expressions, includes topics such as Russell's Theory of Desciptions, Donnellan's distinction, problems of anaphora, the description theory of proper names, Searle's cluster theory, and the causal-historical theory. Part II, Theories of Meaning, surveys the competing theories of linguistic meaning and compares their various advantages and liabilities. Part III, Pragmatics and Speech Acts, introduces the basic concepts of linguistic pragmatics, includes a detailed discussion of the problem of indirect force and surveys approaches to metaphor.Unique features of the text: * chapter overviews and summaries* clear supportive examples* study questions* annotated further reading* glossary.

     Euclid in living color   Nearly a century before Mondrian made geometrical red, yellow, and blue lines famous, 19th century mathematician Oliver Byrne employed the color scheme for the figures and diagrams in his most unusual 1847 edition of Euclid's Elements. The author makes it clear in his subtitle that this is a didactic measure intended to distinguish his edition from all others: “The Elements of Euclid in which coloured diagrams and symbols are used instead of letters for the greater ease of learners.” As Surveyor of Her Majesty’s Settlements in the Falkland Islands, Byrne had already published mathematical and engineering works previous to 1847, but never anything like his edition on Euclid. This remarkable example of Victorian printing has been described as one of the oddest and most beautiful books of the 19th century. Each proposition is set in Caslon italic, with a four-line initial, while the rest of the page is a unique riot of red, yellow, and blue. On some pages, letters and numbers only are printed in color, sprinkled over the pages like tiny wild flowers and demanding the most meticulous alignment of the different color plates for printing. Elsewhere, solid squares, triangles, and circles are printed in bright colors, expressing a verve not seen again on the pages of a book until the era of Dufy, Matisse, and Derain.

    In this book, William Cook takes readers on a mathematical excursion, picking up the salesman's trail in the 1800s when Irish mathematician W. R. Hamilton first defined the problem, and venturing to the furthest limits of today's state-of-the-art attempts to solve it. He also explores its many important applications, from genome sequencing and designing computer processors to arranging music and hunting for planets.In Pursuit of the Traveling Salesman travels to the very threshold of our understanding about the nature of complexity, and challenges you yourself to discover the solution to this captivating mathematical problem.

    Arguing that the best way to learn about philosophy is to think about itsquestions directly, Thomas Nagel considers possible solutions to nine problems--knowledge of the world beyond our minds, knowledge of other minds, the mind-body problem, free will, the basis of morality, right and wrong, the nature of death, the meaning of life, and the meaning of words. Althoughhe states his own opinions clearly, Nagel leaves these fundamental questions open, allowing students to entertain other solutions and encouraging them to think for themselves.

    Written by two of the best-known names in categorical logic, Conceptual Mathematics is the first book to apply categories to the most elementary mathematics. It thus serves two purposes: first, to provide a key to mathematics for the general reader or beginning student; and second, to furnish an easy introduction to categories for computer scientists, logicians, physicists, and linguists who want to gain some familiarity with the categorical method without initially committing themselves to extended study.

    In The Logical Structure of the World, Carnap adopts the position of “methodological solipsism” and shows that it is possible to describe the world from the immediate data of experience. In his Pseudoproblems in Philosophy, he asserts that many philosophical problems are meaningless.

    Stimulating, illuminating, and always surprising, The Big Questions challenges readers to re-evaluate their most fundamental beliefs and reveals the relationship between the loftiest philosophical quests and our everyday lives.

    The new edition provides invitations - not requirements - to use technology, as well as new conceptual problems, and new projects that focus on writing and working in teams.

    To understand the universe in the far future, we must first describe its present state and structure on the grand scale, and how its present properties arose. Dr Islam explains these topics in an accessible way in the first part of the book. From this background he speculates about the future evolution of the universe and predicts the major changes that will occur. The author has largely avoided mathematical formalism and therefore the book is well suited to general readers with a modest background knowledge of physics and astronomy.