Book picks similar to
Logic: An Introduction to Elementary Logic by Wilfrid Hodges
philosophy
logic
non-fiction
mathematics
The Sacred and the Profane: The Nature of Religion
Mircea Eliade - 1957
Eliade traces manifestations of the sacred from primitive to modern times in terms of space, time, nature, and the cosmos. In doing so he shows how the total human experience of the religious man compares with that of the nonreligious. This book of great originality and scholarship serves as an excellent introduction to the history of religion, but its perspective also encompasses philosophical anthropology, phenomenology, and psychology. It will appeal to anyone seeking to discover the potential dimensions of human existence.
Wholeness and the Implicate Order
David Bohm - 1980
Although deeply influenced by Einstein, he was also, more unusually for a scientist, inspired by mysticism. Indeed, in the 1970s and 1980s he made contact with both J. Krishnamurti and the Dalai Lama whose teachings helped shape his work. In both science and philosophy, Bohm's main concern was with understanding the nature of reality in general and of consciousness in particular. In this classic work he develops a theory of quantum physics which treats the totality of existence as an unbroken whole. Writing clearly and without technical jargon, he makes complex ideas accessible to anyone interested in the nature of reality.
Applied Cryptography: Protocols, Algorithms, and Source Code in C
Bruce Schneier - 1993
… The book the National Security Agency wanted never to be published." –Wired Magazine "…monumental… fascinating… comprehensive… the definitive work on cryptography for computer programmers…" –Dr. Dobb's Journal"…easily ranks as one of the most authoritative in its field." —PC Magazine"…the bible of code hackers." –The Millennium Whole Earth CatalogThis new edition of the cryptography classic provides you with a comprehensive survey of modern cryptography. The book details how programmers and electronic communications professionals can use cryptography—the technique of enciphering and deciphering messages-to maintain the privacy of computer data. It describes dozens of cryptography algorithms, gives practical advice on how to implement them into cryptographic software, and shows how they can be used to solve security problems. Covering the latest developments in practical cryptographic techniques, this new edition shows programmers who design computer applications, networks, and storage systems how they can build security into their software and systems. What's new in the Second Edition? * New information on the Clipper Chip, including ways to defeat the key escrow mechanism * New encryption algorithms, including algorithms from the former Soviet Union and South Africa, and the RC4 stream cipher * The latest protocols for digital signatures, authentication, secure elections, digital cash, and more * More detailed information on key management and cryptographic implementations
e: the Story of a Number
Eli Maor - 1993
Louis are all intimately connected with the mysterious number e. In this informal and engaging history, Eli Maor portrays the curious characters and the elegant mathematics that lie behind the number. Designed for a reader with only a modest mathematical background, this biography brings out the central importance of e to mathematics and illuminates a golden era in the age of science.
Biomimicry: Innovation Inspired by Nature
Janine M. Benyus - 1997
Biomimics study nature's most successful ideas over the past 3.5 million years, and adapt them for human use. The results are revolutionizing how materials are invented and how we compute, heal ourselves, repair the environment, and feed the world.Janine Benyus takes readers into the lab and in the field with maverick thinkers as they: discover miracle drugs by watching what chimps eat when they're sick; learn how to create by watching spiders weave fibers; harness energy by examining how a leaf converts sunlight into fuel in trillionths of a second; and many more examples.Composed of stories of vision and invention, personalities and pipe dreams, Biomimicry is must reading for anyone interested in the shape of our future.
Logic Made Easy: How to Know When Language Deceives You
Deborah J. Bennett - 2004
This brilliantly clear and gratifyingly concise treatment of the ancient Greek discipline identifies the illogical in everything from street signs to tax forms. Complete with puzzles you can try yourself, Logic Made Easy invites readers to identify and ultimately remedy logical slips in everyday life. Designed with dozens of visual examples, the book guides you through those hair-raising times when logic is at odds with our language and common sense. Logic Made Easy is indeed one of those rare books that will actually make you a more logical human being.
Peoplewatching: The Desmond Morris Guide to Body Language
Desmond Morris - 1977
Desmond Morris shows us how people, consciously and unconsciously, signal their attitudes, desires and innermost feelings with their bodies and actions, often more powerfully than with their words.
The Age of Reason
Thomas Paine - 1794
The Age of Reason represents the results of years of study and reflection by Thomas Paine on the place of religion in society.Paine wrote: "Of all the tyrannies that affect mankind, tyranny in religion is the worst; every other species of tyranny is limited to the world we live in; but this attempts to stride beyond the grave, and seeks to pursue us into eternity."The cool rationale of Paine's The Age of Reason influenced religious thinking throughout the world; and its pervasieve influence continues to the present day.
Why We Make Mistakes: How We Look Without Seeing, Forget Things in Seconds, and Are All Pretty Sure We Are Way Above Average
Joseph T. Hallinan - 2009
Our eyes play tricks on us; our stories change in the retelling; and most of us are fairly sure we’re way above average. In Why We Make Mistakes, journalist Joseph T. Hallinan sets out to explore the science of human error—how we think, see, remember, and forget, and how this sets us up for wholly irresistible mistakes.In his quest to understand our imperfections, Hallinan delves into psychology, neuroscience, and economics, with forays into aviation, consumer behavior, geography, football, stock picking, and more. He discovers that some of the same qualities that make us efficient also make us error prone. Why We Make Mistakes is enlivened by real-life stories--of weathermen whose predictions are uncannily accurate and a witness who sent an innocent man to jail--and offers valuable advice, such as how to remember where you’ve hidden something important. He explains why multitasking is a bad idea, why men make errors women don’t. This book will open your eyes to the reasons behind your mistakes and have you vowing to do better the next time.
You Are Not So Smart: Why You Have Too Many Friends on Facebook, Why Your Memory Is Mostly Fiction, and 46 Other Ways You're Deluding Yourself
David McRaney - 2011
Whether you’re deciding which smart phone to purchase or which politician to believe, you think you are a rational being whose every decision is based on cool, detached logic, but here’s the truth: You are not so smart. You’re just as deluded as the rest of us--but that’s okay, because being deluded is part of being human. Growing out of David McRaney’s popular blog, You Are Not So Smart reveals that every decision we make, every thought we contemplate, and every emotion we feel comes with a story we tell ourselves to explain them, but often these stories aren’t true. Each short chapter--covering topics such as Learned Helplessness, Selling Out, and the Illusion of Transparency--is like a psychology course with all the boring parts taken out.Bringing together popular science and psychology with humor and wit, You Are Not So Smart is a celebration of our irrational, thoroughly human behavior.
Linked: How Everything Is Connected to Everything Else and What It Means for Business, Science, and Everyday Life
Albert-László Barabási - 2002
Albert-László Barabási, the nation’s foremost expert in the new science of networks and author of Bursts, takes us on an intellectual adventure to prove that social networks, corporations, and living organisms are more similar than previously thought. Grasping a full understanding of network science will someday allow us to design blue-chip businesses, stop the outbreak of deadly diseases, and influence the exchange of ideas and information. Just as James Gleick and the Erdos–Rényi model brought the discovery of chaos theory to the general public, Linked tells the story of the true science of the future and of experiments in statistical mechanics on the internet, all vital parts of what would eventually be called the Barabási–Albert model.
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.
Incompleteness: The Proof and Paradox of Kurt Gödel
Rebecca Goldstein - 2005
"A gem…An unforgettable account of one of the great moments in the history of human thought." —Steven PinkerProbing the life and work of Kurt Gödel, Incompleteness indelibly portrays the tortured genius whose vision rocked the stability of mathematical reasoning—and brought him to the edge of madness.
A Short History of Nearly Everything
Bill Bryson - 2003
Taking as territory everything from the Big Bang to the rise of civilization, Bryson seeks to understand how we got from there being nothing at all to there being us. To that end, he has attached himself to a host of the world’s most advanced (and often obsessed) archaeologists, anthropologists, and mathematicians, travelling to their offices, laboratories, and field camps. He has read (or tried to read) their books, pestered them with questions, apprenticed himself to their powerful minds. A Short History of Nearly Everything is the record of this quest, and it is a sometimes profound, sometimes funny, and always supremely clear and entertaining adventure in the realms of human knowledge, as only Bill Bryson can render it. Science has never been more involving or entertaining.
Theory of Games and Economic Behavior
John von Neumann - 1944
What began more than sixty years ago as a modest proposal that a mathematician and an economist write a short paper together blossomed, in 1944, when Princeton University Press published Theory of Games and Economic Behavior. In it, John von Neumann and Oskar Morgenstern conceived a groundbreaking mathematical theory of economic and social organization, based on a theory of games of strategy. Not only would this revolutionize economics, but the entirely new field of scientific inquiry it yielded--game theory--has since been widely used to analyze a host of real-world phenomena from arms races to optimal policy choices of presidential candidates, from vaccination policy to major league baseball salary negotiations. And it is today established throughout both the social sciences and a wide range of other sciences.This sixtieth anniversary edition includes not only the original text but also an introduction by Harold Kuhn, an afterword by Ariel Rubinstein, and reviews and articles on the book that appeared at the time of its original publication in the New York Times, tthe American Economic Review, and a variety of other publications. Together, these writings provide readers a matchless opportunity to more fully appreciate a work whose influence will yet resound for generations to come.