Here are 69 books that Logic fans have personally recommended if you like
Logic.
Book DNA is a community of 13,000+ authors and super readers sharing their favorite books with the world.
I hate nothing more than feeling uncertain about my views on an important topic. That’s why I cherish tools for thought that help me cut through the various confusions to which humans are prone. The sharpest tool we’ve got is modern symbolic logic, as it has been developed since the late 19th century. I’ve loved symbolic logic since I took my first logic class in college. I’ve been teaching Intro Logic for over twenty years at Princeton University, and I’ve published several papers and books that employ logic to try to gain clarity on philosophical issues.
This is a mathematics textbook unlike any other you have encountered before. Remarkably, there are no numbers—only structures, patterns, and arrows.
However, this book is not designed to teach you how to construct proofs. Instead, it offers a fascinating introduction to a new way of thinking mathematically.
In the last 60 years, the use of the notion of category has led to a remarkable unification and simplification of mathematics. Conceptual Mathematics introduces this tool for the learning, development, and use of mathematics, to beginning students and also to practising mathematical scientists. This book provides a skeleton key that makes explicit some concepts and procedures that are common to all branches of pure and applied mathematics. The treatment does not presuppose knowledge of specific fields, but rather develops, from basic definitions, such elementary categories as discrete dynamical systems and directed graphs; the fundamental ideas are then illuminated by…
It is April 1st, 2038. Day 60 of China's blockade of the rebel island of Taiwan.
The US government has agreed to provide Taiwan with a weapons system so advanced that it can disrupt the balance of power in the region. But what pilot would be crazy enough to run…
I hate nothing more than feeling uncertain about my views on an important topic. That’s why I cherish tools for thought that help me cut through the various confusions to which humans are prone. The sharpest tool we’ve got is modern symbolic logic, as it has been developed since the late 19th century. I’ve loved symbolic logic since I took my first logic class in college. I’ve been teaching Intro Logic for over twenty years at Princeton University, and I’ve published several papers and books that employ logic to try to gain clarity on philosophical issues.
One of my teachers once described this as "the best book with the most misleading title." Despite the title, it’s not about physics—it’s about the symbolic reasoning that underpins theoretical physics.
If you’re looking for a fast-paced overview of the mathematical tools used in cutting-edge physics, this book is unparalleled.
Mathematical Physics is an introduction to such basic mathematical structures as groups, vector spaces, topological spaces, measure spaces, and Hilbert space. Geroch uses category theory to emphasize both the interrelationships among different structures and the unity of mathematics. Perhaps the most valuable feature of the book is the illuminating intuitive discussion of the "whys" of proofs and of axioms and definitions. This book, based on Geroch's University of Chicago course, will be especially helpful to those working in theoretical physics, including such areas as relativity, particle physics, and astrophysics.
I hate nothing more than feeling uncertain about my views on an important topic. That’s why I cherish tools for thought that help me cut through the various confusions to which humans are prone. The sharpest tool we’ve got is modern symbolic logic, as it has been developed since the late 19th century. I’ve loved symbolic logic since I took my first logic class in college. I’ve been teaching Intro Logic for over twenty years at Princeton University, and I’ve published several papers and books that employ logic to try to gain clarity on philosophical issues.
Although I’m not a programmer, I couldn’t leave programming—a quintessential example of symbolic reasoning—off this list. For someone like me, with a background in mathematics and philosophy, this book provides a concrete look at how abstract reasoning can be applied in programming.
For programmers, it’s an engaging introduction to category theory. This is a brilliant example of interdisciplinary thinking at its best.
Most of my books (101 Philosophy Problems, Wittgenstein's Beetle, Critical Thinking for Dummies, and so on) are on thinking skills, in the broad sense. However, I'm always a bit uncomfortable when I'm presented as an expert on thinking, as people tend to imagine I must have some brainy strategies for thinking better when my interest is also in the ways we "think badly." Because logic is really a blunt tool, compared to the brilliant insights that come with intuition. Yet how do you train your intuition? So the books I've chosen here are all ones that I've found don't so much tell you how to think, but actually get you thinking. And that's always been my aim in my books too.
Raymond Smullyan is a riddler, a puzzler, well-known for various Knights and Knaves puzzles, a type of logic game where some characters can only answer questions truthfully, and others only falsely. However, I recommend this book as here he offers not only logical tricks but many insights too. One section offers the World's shortest explanation of Gödel's theorem which is a magnificent achievement but frankly, reminds me why I like long explanations sometimes.
Basically, this is an examination of boolean logic, which is (rather boringly) a branch of algebra in which all operations are either true or false, and relationships are expressed with logical operators such as and, or, or not. So it’s serious stuff, but also pretty funny along the way.
"The most original, most profound, and most humorous collection of recreational logic and math problems ever written." — Martin Gardner, Scientific American "The value of the book lies in the wealth of ingenious puzzles. They afford amusement, vigorous exercise, and instruction." — Willard Van Orman Quine, The New York Times Book Review If you're intrigued by puzzles and paradoxes, these 200 mind-bending logic puzzles, riddles, and diversions will thrill you with challenges to your powers of reason and common sense. Raymond M. Smullyan — a celebrated mathematician, logician, magician, and author — presents a logical labyrinth of more than 200…
Apart from my professional expertise as a philosopher, I have directly observed science by working as a professional researcher in Physics and Astronomy. In any field, either arts, science, humanities, literature,... I observe the same thing: decline, ugliness, lack of spirit, lack of great intellectual achievements, and stupidity. Of course, we have technology, medicine, engineering, the Internet, and material things… and they are better than ever, but our culture and spirit are dying. Science is part of this culture, which is also in decadence, and working as a scientist and reading Spengler is a good combination to realize it.
There is a criticism of science in the discourses of philosophers of science, but it is usually detached from contact with the real problems that scientists worry about. There are some valuable rare exceptions, such as this work by Gillies.
I like this text because it enters into the real sociological problems of science nowadays beyond abstract epistemological theories. For instance, it enters into detail on the reasons why academics move into administration and management as a way to increase their professional status and in order to hide their lack of new ideas and boring research work.
This book presents detailed criticisms of existing systems for organising research, and outlines a new approach based on different principles. Part 1 criticizes the research assessment exercise (RAE) which has been used in the UK from 1986 to 2008. It is argued that the RAE is both very costly, and likely to reduce the quality of research produced. The UK government has decided that, from 2009, the RAE should be replaced by a system based on metrics. In Part 2 this system is criticized and it is argued that it is certainly no better, and probably worse, than the RAE.…
I started programming in high school and wrote software in many domains for 30 years, from the early ARPA-net to massive credit card software. I wrote a FORTRAN compiler with one assistant in a year. I got hassled to do proper project management. Nightmare. It was all about inflated expectations instead of moving fast and winning. Then in 25 years of venture capital investing, I learned from many young companies how the little startups built quickly and well things that giants like Google literally could not get done. This book and my others spell out what I learned from the little guys who beat the giants.
Nagel’s book is the most understandable explanation I’ve found about one of the most cosmically seminal math proofs: Godel’s incompleteness theorem.
It takes the idea of recursion and self-reference to the ultimate conclusion about truth, understanding, and boundaries of existence. This may sound hootie-tootie, but think of the sequence of abstraction in math: arithmetic, algebra, calculus, etc.
Once you add in recursion (self-reference), you’ve got the most important concepts underlying true understanding and productivity in software – something never discussed in computer science, and certainly not in practical programming.
Think about the so-called Von Neumann computer architecture, which underlies all modern computers – instructions are data, stored in the same place as ordinary data, and some instructions write data that are instructions. This is recursion taken to the next level.
An accessible explanation of Kurt Goedel's groundbreaking work in mathematical logic
In 1931 Kurt Goedel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Goedel 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…
An Heir of Realms tells the tale of two young heroines—a dragon rider and a portal jumper—who fight dragon-like parasites to save their realms from extinction.
Rhoswen is training as a Realm Rider to work with dragons and burn away the Narxon swarming into her realm. Rhoswen’s dream is to…
Of all my university courses, the one that had the greatest impact on me was called "Informal Logic." Accurate, but misleadingly dry and academic. One of the assignments in that course—and the one I remember most, of all my university assignments—was to prepare a "Crapbook": a collection of ten bits of crap—ads, arguments, whatever—that were full of crap (essentially, incorrect reasoning/logical fallacies). I loved it. So when, twenty years later, I was hired by a small university to teach Critical Thinking …
What can I say? Logic and Mr. Limbaugh is a crapbook (see my introduction) dedicated exclusively to Rush Limbaugh. Although dated (1995), this little book is extremely engaging, entertaining, and enlightening. And applicable to all the other Rush Limbaughs out there, past, present, and future. (Might there be a Logic and Mr. Trump manuscript-in-progress?)
Logic and Mr. Limbaugh is both an entertaining introduction to the elements of logic and a serious critique of the practical logic of a major conservative propagandist. Professor Perkins takes 50 examples of logical reasoning from Rush's statements, identifies the logical arguments, and points out fallacies.
I have devoted my entire career to mathematics, and have a life filled with meaning and purpose through my roles as an educator, researcher, and consultant. I teach at the Vancouver campus of Northeastern University and am the owner and principal of Hoshino Math Services, a boutique math consulting firm.
The author explains the importance of abstraction in logic, demonstrating its three main components: paths made of long chains of logic, packages made of a collection of concepts structured into a new compound unit, and pivots to build bridges to previously disconnected places.
Eugenia Cheng does an excellent job of abstracting principles of logic to better understand challenging real-world societal issues such as affirmative action and cancer screening. I found it quite compelling to understand how and why she came to her positions on various issues, through her axiom that "avoiding false negatives is more important than avoiding false positives." I appreciated the expertise by which she weaved numerous hard topics, in both mathematics and social justice, into a coherent and compelling narrative.
How both logical and emotional reasoning can help us live better in our post-truth world
In a world where fake news stories change election outcomes, has rationality become futile? In The Art of Logic in an Illogical World, Eugenia Cheng throws a lifeline to readers drowning in the illogic of contemporary life. Cheng is a mathematician, so she knows how to make an airtight argument. But even for her, logic sometimes falls prey to emotion, which is why she still fears flying and eats more cookies than she should. If a mathematician can't be logical, what are we to do?…
I make prints and visual books. I founded Bridge Press, now in Kennebunk, Maine, 1989 to publish limited edition artist's books and etchings. The name of the press underscores the collaborative nature of book making. Visual books offered possibilities for the continuity, connection, and unfolding of images—each image is complete yet linked to every other through the structure of the book. Books seemed an ideal vehicle to assemble and connect my prints, to order and unfold a sequence of images, with defined and recurrent shapes, motifs, and composition, and to create a setting in which each image is complete yet linked to every other through the structure of the binding or enclosure.
An endlessly fascinating and extensive compendium of reproductions of photographs, diagrams, charts, maps, paintings – bizarre, sublime, caustic, illuminating – from the ancients to the modern era. Each image retains something of its historical context, yet they are arrayed with a compelling visual logic by a brilliant visual editor.
An exploration of echoes and resonances across two millennia of visual culture, celebrating ten years of The Public Domain Review.
Gathering a remarkable collection of over 500 public domain images, Affinities is a carefully curated visual journey illuminating connections across more than two thousand years of image-making. Drawing on a decade of archival immersion at The Public Domain Review, the book has been assembled from a vast array of sources: from manuscripts to museum catalogues, ship logs to primers on Victorian magic. The images are arranged in a single captivating sequence which unfurls according to a dreamlike logic, through…
A poisonous maiden, a Daoist sex cult, and a violent insurgency.
The polyandrous Yan family in China's rural Shaanxi Province takes in two carpenter brothers. When one brother is convicted of murder after killing their neighbor in a dispute, a constable threatens to expose the family's rumored polyandry and extorts…
Most of my books (101 Philosophy Problems, Wittgenstein's Beetle, Critical Thinking for Dummies, and so on) are on thinking skills, in the broad sense. However, I'm always a bit uncomfortable when I'm presented as an expert on thinking, as people tend to imagine I must have some brainy strategies for thinking better when my interest is also in the ways we "think badly." Because logic is really a blunt tool, compared to the brilliant insights that come with intuition. Yet how do you train your intuition? So the books I've chosen here are all ones that I've found don't so much tell you how to think, but actually get you thinking. And that's always been my aim in my books too.
This is the book that got me thinking about thought experiments. It really opened up my eyes to a whole new way of thinking – mainly by introducing me to the wonderfully playful, indeed modern style of writing that Galileo used to present his groundbreaking scientific theories – way back in seventeenth-century Italy!
Sorenson is a philosophy professor and goes on a bit, but his book was also groundbreaking in a way. My own books owe him a debt and for scholarly types, he also suggests a general theory "of"thought experiments: meaning what they are, how they work, and what is good - and bad - about them.
In this book, Roy Sorensen presents the first general theory of the thought experiment. He analyses a wide variety of thought experiments, ranging from aesthetics to zoology, and explores what thought experiments are, how they work, and what their positive and negative aspects are. Sorensen also sets his theory within an evolutionary framework and integrates recent advances in experimental psychology and the history of science.