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.

    Here is an altogether new, refreshing, alternative history of math revealing how simple questions anyone might ask about space -- in the living room or in some other galaxy -- have been the hidden engine of the highest achievements in science and technology. Based on Mlodinow's extensive historical research; his studies alongside colleagues such as Richard Feynman and Kip Thorne; and interviews with leading physicists and mathematicians such as Murray Gell-Mann, Edward Witten, and Brian Greene, Euclid's Window is an extraordinary blend of rigorous, authoritative investigation and accessible, good-humored storytelling that makes a stunningly original argument asserting the primacy of geometry. For those who have looked through Euclid's Window, no space, no thing, and no time will ever be quite the same.

    This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes.Yanofsky describes simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve; perfectly formed English sentences that make no sense; different levels of infinity; the bizarre world of the quantum; the relevance of relativity theory; the causes of chaos theory; math problems that cannot be solved by normal means; and statements that are true but cannot be proven. He explains the limitations of our intuitions about the world -- our ideas about space, time, and motion, and the complex relationship between the knower and the known.Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there.

    Within the past ten years, however, mathematicians have proven that they hold the key to unlocking the mysteries of our world--and ourselves. In The Mathematics of Life, Ian Stewart provides a fascinating overview of the vital but little-recognized role mathematics has played in pulling back the curtain on the hidden complexities of the natural world--and how its contribution will be even more vital in the years ahead. In his characteristically clear and entertaining fashion, Stewart explains how mathematicians and biologists have come to work together on some of the most difficult scientific problems that the human race has ever tackled, including the nature and origin of life itself.

    Its author's engaging voice is one reason, and the compelling subjects he addresses is another; the nature of space and time, the role of God in creation, the history and future of the universe. But it is also true that in the years since its publication, readers have repeatedly told Professor Hawking of their great difficulty in understanding some of the book's most important concepts. This is the origin of and the reason for A Briefer History of Time: its author's wish to make its content more accessible to readers - as well as to bring it up-to-date with the latest scientific observations and findings.Although this book is literally somewhat "briefer", it actually expands on the great subjects of the original. Purely technical concepts, such as the mathematics of chaotic boundary conditions, are gone. Conversely, subjects of wide interest that were difficult to follow because they were interspersed throughout the book have now been given entire chapters of their own, including relativity, curved space, and quantum theory.This reorganization has allowed the authors to expand areas of special interest and recent progress, from the latest developments in string theory to exciting developments in the search for a complete unified theory of all the forces of physics. Like prior editions of the book - but even more so - A Briefer History of Time will guide nonscientists everywhere in the ongoing search for the tantalizing secrets at the heart of time and space. Thirty-seven full-color illustrations enhance the text and make A Briefer History of Time an exhilarating addition in its own right to the literature of science.

    The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. To help students construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. Previous Edition Hb (1994) 0-521-44116-1 Previous Edition Pb (1994) 0-521-44663-5

    Brian Greene, one of the world's leading string theorists, peels away the layers of mystery surrounding string theory to reveal a universe that consists of eleven dimensions, where the fabric of space tears and repairs itself, and all matter—from the smallest quarks to the most gargantuan supernovas—is generated by the vibrations of microscopically tiny loops of energy.Today physicists and mathematicians throughout the world are feverishly working on one of the most ambitious theories ever proposed: superstring theory. String theory, as it is often called, is the key to the Unified Field Theory that eluded Einstein for more than thirty years. Finally, the century-old antagonism between the large and the small-General Relativity and Quantum Theory-is resolved. String theory proclaims that all of the wondrous happenings in the universe, from the frantic dancing of subatomic quarks to the majestic swirling of heavenly galaxies, are reflections of one grand physical principle and manifestations of one single entity: microscopically tiny vibrating loops of energy, a billionth of a billionth the size of an atom. In this brilliantly articulated and refreshingly clear book, Greene relates the scientific story and the human struggle behind twentieth-century physics' search for a theory of everything.Through the masterful use of metaphor and analogy, The Elegant Universe makes some of the most sophisticated concepts ever contemplated viscerally accessible and thoroughly entertaining, bringing us closer than ever to understanding how the universe works.

    The emphasis is, instead, on the myriad ways in which the universe presents itself to us--and how, as observers and participants in its processes, we respond to it. "Life, like a dome of many-colored glass," wrote Percy Bysshe Shelley, "stains the white radiance of eternity." The author seeks here to explore the variety that gives life its beauty.Taken from Dyson's recent public lectures--delivered to audiences with no specialized knowledge in hard sciences--the book begins with a consideration of the practical and political questions surrounding biotechnology. As he seeks how best to explain the place of life in the universe, Dyson then moves from the ethical to the purely scientific. The book concludes with an attempt to understand the implications of biology for philosophy and religion.The pieces in this collection touch on numerous disciplines, from astronomy and ecology to neurology and theology, speaking to the lay reader as well as to the scientist. As always, Dyson's view of human nature and behavior is balanced, and his predictions of a world to come serve primarily as a means for thinking about the world as it is today.

    In this fascinating book, Mario Livio tells the tale of a number at the heart of that mystery: phi, or 1.6180339887...This curious mathematical relationship, widely known as "The Golden Ratio," was discovered by Euclid more than two thousand years ago because of its crucial role in the construction of the pentagram, to which magical properties had been attributed. Since then it has shown a propensity to appear in the most astonishing variety of places, from mollusk shells, sunflower florets, and rose petals to the shape of the galaxy. Psychological studies have investigated whether the Golden Ratio is the most aesthetically pleasing proportion extant, and it has been asserted that the creators of the Pyramids and the Parthenon employed it. It is believed to feature in works of art from Leonardo da Vinci's Mona Lisa to Salvador Dali's The Sacrament of the Last Supper, and poets and composers have used it in their works. It has even been found to be connected to the behavior of the stock market!The Golden Ratio is a captivating journey through art and architecture, botany and biology, physics and mathematics. It tells the human story of numerous phi-fixated individuals, including the followers of Pythagoras who believed that this proportion revealed the hand of God; astronomer Johannes Kepler, who saw phi as the greatest treasure of geometry; such Renaissance thinkers as mathematician Leonardo Fibonacci of Pisa; and such masters of the modern world as Goethe, Cezanne, Bartok, and physicist Roger Penrose. Wherever his quest for the meaning of phi takes him, Mario Livio reveals the world as a place where order, beauty, and eternal mystery will always coexist.From the Hardcover edition.

    Simulations allow us to stage actual interactions among a population of agents and to observe the emergent wholes that result from those interactions. Simulations have become as important as mathematical models in theoretical science. As computer power and memory have become cheaper they have migrated to the desktop, where they now play the role that small-scale experiments used to play. A philosophical examination of the epistemology of simulations is needed to cement this new role, underlining the consequences that simulations may have for materialist philosophy itself. This remarkably clear philosophical discussion of a rapidly growing field, from a thinker at the forefront of research at the interface of science and the humanities, is a must-read for anyone interested in the philosophy of technology and the philosophy of science at all levels.

    Admittedly, computers now play chess at the grandmaster level, but do they understand the game as we do? Can a computer eventually do everything a human mind can do? In this absorbing and frequently contentious book, Roger Penrose--eminent physicist and winner, with Stephen Hawking, of the prestigious Wolf prize--puts forward his view that there are some facets of human thinking that can never be emulated by a machine. Penrose examines what physics and mathematics can tell us about how the mind works, what they can't, and what we need to know to understand the physical processes of consciousness. He is among a growing number of physicists who think Einstein wasn't being stubborn when he said his little finger told him that quantum mechanics is incomplete, and he concludes that laws even deeper than quantum mechanics are essential for the operation of a mind. To support this contention, Penrose takes the reader on a dazzling tour that covers such topics as complex numbers, Turing machines, complexity theory, quantum mechanics, formal systems, Godel undecidability, phase spaces, Hilbert spaces, black holes, white holes, Hawking radiation, entropy, quasicrystals, the structure of the brain, and scores of other subjects. The Emperor's New Mind will appeal to anyone with a serious interest in modern physics and its relation to philosophical issues, as well as to physicists, mathematicians, philosophers and those on either side of the AI debate.

    He also looks at philosophical issues in particular sciences, including the problem of classification in biology, and the nature of space and time in physics. The final chapter touches on the conflicts between science and religion, and explores whether science is ultimately a good thing.About the Series: Combining authority with wit, accessibility, and style, Very Short Introductions offer an introduction to some of life's most interesting topics. Written by experts for the newcomer, they demonstrate the finest contemporary thinking about the central problems and issues in hundreds of key topics, from philosophy to Freud, quantum theory to Islam.

    The Golden Section—otherwise known as phi, the golden mean, or the golden ratio—is one of the most elegant and beautiful rations in the universe.Defined as a line segment divided into two unequal parts, such that the ratio of the shorter portion to the longer portion is the same as the ratio of the longer portion to the whole, it pops up throughout nature—in water, DNA, the proportions of fish and butterflies, and the number of teeth we possess—as well as in art and architecture, music, philosophy, science, and mathematics.Beautifully illustrated, The Golden Section tells the story of this remarkable construct and its wide-ranging impact on civilization and the natural world.

    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

    Tackling the questions that had been left open by Being and Event, and answering many of his critics in the process, Badiou supplements his pioneering treatment of multiple being with a daring and complex theory of the worlds in which truths and subjects make their mark - what he calls a materialist dialectic. The radical recasting of ontology in Being and Event is followed and complemented here by a thoroughgoing transformation in our very understanding of logic, conceived as a theory not of being but of appearing. Unafraid to resurrect and reinvent the classical themes of philosophy, Badiou gives new meaning to concepts such as object, body and relation, mobilising them in arresting studies that range from the architectural planning of Brasilia to contemporary astronomy, and confronting himself with towering philosophical counterparts (Leibniz, Kant, Hegel, Kierkegaard, Lacan, Deleuze). The book culminates in an impassioned call to 'live for an Idea'.