Here are 100 books that Philosophy and Model Theory fans have personally recommended if you like
Philosophy and Model Theory.
Shepherd is a community of 12,000+ authors and super readers sharing their favorite books with the world.
I am an academic researcher and an avid non-fiction reader. There are many popular books on science or music, but it’s much harder to find texts that manage to occupy the space between popular and professional writing. I’ve always been looking for this kind of book, whether on physics, music, AI, or math – even when I knew that as a non-pro, I wouldn’t be able to understand everything. In my new book I’ve been trying to accomplish something similar: A book that can intrigue readers who are not professional economic theorists, that they will find interesting even if they can’t follow everything.
A simple (not perfect) test of whether you’re going to love this book: Just check out the author’s blog, called “shtetl-optimized”. The style is similar: sharp, funny, mixing professional theoretical Computer Science with broader takes.
I am still in the middle of the book, and nevertheless, I’m happy to recommend it. As an amateur with superficial CS knowledge, I am enjoying this introduction to classical complexity theory and the basic theory of quantum computation.
Aaronson’s distinctive style makes the ride all the more enjoyable. It’s neither a “real” textbook nor a pop-science book. It’s in a weird space somewhere in between, and I love it!
Written by noted quantum computing theorist Scott Aaronson, this book takes readers on a tour through some of the deepest ideas of maths, computer science and physics. Full of insights, arguments and philosophical perspectives, the book covers an amazing array of topics. Beginning in antiquity with Democritus, it progresses through logic and set theory, computability and complexity theory, quantum computing, cryptography, the information content of quantum states and the interpretation of quantum mechanics. There are also extended discussions about time travel, Newcomb's Paradox, the anthropic principle and the views of Roger Penrose. Aaronson's informal style makes this fascinating book accessible…
The Victorian mansion, Evenmere, is the mechanism that runs the universe.
The lamps must be lit, or the stars die. The clocks must be wound, or Time ceases. The Balance between Order and Chaos must be preserved, or Existence crumbles.
Appointed the Steward of Evenmere, Carter Anderson must learn the…
Philosophy’s core questions have always obsessed me: What is real? What makes life worth living? Can knowledge be made secure? In graduate school at the University of Virginia I was drawn to mathematically formalized approaches to such questions, especially those of C. S. Peirce and Alain Badiou. More recently, alongside colleagues at Endicott College’s Center for Diagrammatic and Computational Philosophy and GCAS College Dublin I have explored applications of diagrammatic logic, category theory, game theory, and homotopy type theory to such problems as abductive inference and artificial intelligence. Philosophers committed to the perennial questions have much to gain today from studying the new methods and results of contemporary mathematics.
Zalamea’s book is the perfect introduction and survey if you want to understand how developments in contemporary mathematics are relevant to current philosophy.
Zalamea’s own approach follows closely in the steps of Peirce, Lautman, and Grothendieck, merging pragmatism, dialectics, and sheaf theory, but he also engages the work of dozens of other key mathematicians and philosophers coming from different points of view, sometimes cursorily, always tantalizingly.
No philosopher can read this book without a quickened heartbeat and eager plans to clear shelf space for some of the many volumes of mathematics and philosophy of mathematics canvassed here by Zalamea.
A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest.
A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest, this book gives the inquisitive non-specialist an insight into the conceptual transformations and intellectual orientations of modern and contemporary mathematics.
The predominant analytic approach, with its focus on the formal, the elementary and the foundational, has effectively divorced philosophy from the real practice of mathematics and the profound conceptual shifts in the discipline over the last century. The first part discusses the…
Philosophy’s core questions have always obsessed me: What is real? What makes life worth living? Can knowledge be made secure? In graduate school at the University of Virginia I was drawn to mathematically formalized approaches to such questions, especially those of C. S. Peirce and Alain Badiou. More recently, alongside colleagues at Endicott College’s Center for Diagrammatic and Computational Philosophy and GCAS College Dublin I have explored applications of diagrammatic logic, category theory, game theory, and homotopy type theory to such problems as abductive inference and artificial intelligence. Philosophers committed to the perennial questions have much to gain today from studying the new methods and results of contemporary mathematics.
From a strictly philosophical perspective, the emergence of category theory as a unifying paradigm rivaling set theory is probably the most important development in mathematics in the last half-century.
But for philosophers without a lot of mathematical background, learning even its rudiments can be daunting. Among many introductory texts (Lawvere and Schanuel, Awodey, Riehl, Spivak), Cheng’s book stands out as perhaps the friendliest and most accessible.
She does not forego rigor, but she isn’t afraid to put aside precise formalism when necessary for intuition and clearer understanding. Her book takes the reader from mathematical beginnings through category theory’s core constructions to glimpses of higher-order categories (one of Cheng’s areas of expertise).
A mathematically novice philosopher who wants to understand the basics of category theory couldn’t do better.
Mathematician and popular science author Eugenia Cheng is on a mission to show you that mathematics can be flexible, creative, and visual. This joyful journey through the world of abstract mathematics into category theory will demystify mathematical thought processes and help you develop your own thinking, with no formal mathematical background needed. The book brings abstract mathematical ideas down to earth using examples of social justice, current events, and everyday life - from privilege to COVID-19 to driving routes. The journey begins with the ideas and workings of abstract mathematics, after which you will gently climb toward more technical material,…
Magical realism meets the magic of Christmas in this mix of Jewish, New Testament, and Santa stories–all reenacted in an urban psychiatric hospital!
On locked ward 5C4, Josh, a patient with many similarities to Jesus, is hospitalized concurrently with Nick, a patient with many similarities to Santa. The two argue…
Philosophy’s core questions have always obsessed me: What is real? What makes life worth living? Can knowledge be made secure? In graduate school at the University of Virginia I was drawn to mathematically formalized approaches to such questions, especially those of C. S. Peirce and Alain Badiou. More recently, alongside colleagues at Endicott College’s Center for Diagrammatic and Computational Philosophy and GCAS College Dublin I have explored applications of diagrammatic logic, category theory, game theory, and homotopy type theory to such problems as abductive inference and artificial intelligence. Philosophers committed to the perennial questions have much to gain today from studying the new methods and results of contemporary mathematics.
The Univalent Foundations program in foundations of mathematics launched by Voevodsky and others in the past decade and a half has contributed to a promising new paradigm unifying computation, mathematics, logic, and proof theory.
Understanding the core elements of this research program, Homotopy Type Theory, is essential for contemporary philosophers who want to engage directly with current developments in mathematics and computer science.
Corfield is a well-established name in philosophy of mathematics, and this book is the best introduction to Homotopy Type Theory for philosophers.
Working within themes and problematics that will be familiar to philosophers with a basic background in logic, Corfield covers the elementary constructions of homotopy types from a logical point of view and provides plenty of provocative suggestions for how these formal tools might reinvigorate philosophical research today.
"The old logic put thought in fetters, while the new logic gives it wings."
For the past century, philosophers working in the tradition of Bertrand Russell - who promised to revolutionise philosophy by introducing the 'new logic' of Frege and Peano - have employed predicate logic as their formal language of choice. In this book, Dr David Corfield presents a comparable revolution with a newly emerging logic - modal homotopy type theory.
Homotopy type theory has recently been developed as a new foundational language for mathematics, with a strong philosophical pedigree. Modal Homotopy Type Theory: The Prospect of a New…
I'm a mathematician but an unusual one because I am interested in how mathematics is created and how it is learned. From an early age, I loved mathematics because of the beauty of its concepts and the precision of its organization and reasoning. When I started to do research I realized that things were not so simple. To create something new you had to suspend or go beyond your rational mind for a while. I realized that the learning and creating of math have non-logical features. This was my eureka moment. It turned the conventional wisdom (about what math is and how it is done) on its head.
Lots of people have a priori ideas about what mathematics is all about but Lakatos had the brilliant idea of looking at what actually happened. His book is all about one famous theorem: “for all regular polyhedra, V – E + F =2, where V is the number of vertices, E is the number of edges, and F is the number of faces. Think of a cube where V=8, E = 12, F = 6.
We tend to think that mathematics proceeds from a well-defined hypothesis to conclusion. But that is only the finishing step. Along the way the definitions keep changing as do the hypotheses and even the conclusion. Everything is moving! This is what makes doing mathematics so exciting!
Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Lakatos shows that mathematics grows through a process of improvement by attempts at proofs and critiques of these attempts, and his work continues to inspire mathematicians and philosophers aspiring to develop a philosophy of mathematics that accounts for both the static and the dynamic complexity of mathematical practice. With a…
Lilli Botchis, PhD, is a psycho-spiritual counselor, educator, and vibrational medicine developer with four decades of experience in advanced body/soul wellness and the development of higher consciousness. Her expertise includes botanicals, gems, color, flower essences, bio-energy therapies, and holographic soul readings. Lilli is an alchemist, mystic, and translator of Nature’s language as it speaks to our soul. A brilliant researcher in the field of consciousness, she understands the interconnectedness of Nature and the human being and is known as an extraordinary emissary of the natural world. Lilli has been inducted into the Sovereign Order of St. John of Jerusalem, Knights Hospitaller. Many seek her out for her visionary insights and compassionate wisdom.
According to Michael Schneider, "The universe may be a mystery, but it's no secret." This book is a comprehensive yet simple visual guide to understanding the hidden meaning in the mathematical composition of all physical form. It is fun and fascinating to discover the sacred geometry visible throughout nature, in flowers, crystals, plants, shells, and the human body. You don't have to be a mathematician to see the beauty and symmetry of these patterns in every expression of God's creation, once revealed.
Discover how mathematical sequences abound in our natural world in this definitive exploration of the geography of the cosmos
You need not be a philosopher or a botanist, and certainly not a mathematician, to enjoy the bounty of the world around us. But is there some sort of order, a pattern, to the things that we see in the sky, on the ground, at the beach? In A Beginner's Guide to Constructing the Universe, Michael Schneider, an education writer and computer consultant, combines science, philosophy, art, and common sense to reaffirm what the ancients observed: that a consistent language of…
A Duke with rigid opinions, a Lady whose beliefs conflict with his, a long disputed parcel of land, a conniving neighbour, a desperate collaboration, a failure of trust, a love found despite it all.
Alexander Cavendish, Duke of Ravensworth, returned from war to find that his father and brother had…
As a kid I read every popular math book I could lay my hands on. When I became a mathematician I wanted to do more than teaching and research. I wanted to tell everyone what a wonderful and vital subject math is. I started writing popular math books, and soon was up to my neck in radio, TV, news media, magazines... For 12 years I wrote the mathematical Recreations Column for Scientific American. I was only the second mathematician in 170 years to deliver the Royal Institution Christmas Lectures, on TV with a live tiger. The University changed my job description: half research, half ‘outreach’. I had my dream job.
Mathematicians are constantly baffled by the public’s lack of awareness, not just of what mathematics does, but what it is. Today’s technological society functions only because of a vast range of mathematical concepts, techniques, and discoveries, which go far beyond elementary arithmetic and algebra. This was one of the first books to tackle these misunderstandings head on. It does so by examining not just the math and what it’s used for, but the social structures, the ‘conditions of civilization’ that have brought us to this curious state: utterly dependent on math, almost universally unaware that we are.
"A passionate plea against the use of formal mathematical reasoning as a method for solving mankind's problems. . . . An antidote to the Cartesian view that mathematical and scientific knowledge will suffice to solve the central problems of human existence." — The New York Times "These cogitations can and should be read by every literate person." — Science Books and Films "A warning against being seduced or intimidated by mathematics into accepting bad science, bad policies, and bad personal decisions." — Philadelphia Inquirer Rationalist philosopher and mathematician René Descartes visualized a world unified by mathematics, in which all intellectual…
I have taught a broad array of humanities and social sciences courses over the years, sometimes employing case studies from the realm of law, most notably stories about undocumented migrants, refugees, or homeless people. I’ve also had occasion to teach in law schools, usually in ways that bridge the gap between the legality of forced displacement, and the lived experiences of those who have done it. I won a Rockefeller Foundation grant to write my newest book, Clamouring for Legal Protection, in which I considered the idea that we can learn a lot about refugees and vulnerable migrants with references to people we know well: Ulysses, Dante, Satan, and even Alice in Wonderland.
Weinstein takes the age-old question – what is literature? – and transforms it into why we (would want to) read literature. For him, literature changes us, allows us to be someone else, and provides us insight into the world we inhabit, and many more worlds we haven’t. He reads a broad array of works, from Sophocles to James Joyce and Toni Morrison, and thinks about such issues as identification, empathy, and sympathy with those we come to ‘know’ through our reading.
Mixing passion and humor, a personal work of literary criticism that demonstrates how the greatest books illuminate our lives
Why do we read literature? For Arnold Weinstein, the answer is clear: literature allows us to become someone else. Literature changes us by giving us intimate access to an astonishing variety of other lives, experiences, and places across the ages. Reflecting on a lifetime of reading, teaching, and writing, The Lives of Literature explores, with passion, humor, and whirring intellect, a professor's life, the thrills and traps of teaching, and, most of all, the power of literature to lead us to…
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.
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’m a scientist at the University of Cambridge who’s worked on
environmental research topics such as jet streams and the Antarctic
ozone hole. I’ve also worked on solar physics and musical acoustics.
And other branches of science have always interested me. Toward the
end of my career, I became fascinated by cutting-edge issues in
biological evolution and natural selection. Evolution is far
richer and more complex than you’d think from its popular description
in terms of ‘selfish genes’. The complexities are central to
understanding deep connections between the sciences, the arts, and
human nature in general, and the profound differences between human
intelligence and artificial intelligence.
It achieves an important and unusual cross-fertilization between two
very different kinds of expertise. Both authors are highly
innovative, and creative, thinkers, Cohen in biology and Stewart in
mathematics.
Cohen is a biologist fascinated by the complexity
observed in the living world, and Stewart is an expert on the
mathematics of chaos and complexity. The result is a profound and
multifaceted view of many natural phenomena, and of evolution in
particular. It becomes very clear how selfish-gene theory fails to
take account of important evolutionary mechanisms.
Moving on from his books on chaos ("Does God Play Dice?") and symmetry ("Fearful Symmetry"), the author of this book deals with the wider field of complexity theory. The book tackles the question of how complexity arises in nature, of how life overcomes chaos and entropy to create developing order. Co-written with biologist Jack Cohen, the book will range across the central areas of modern science, from quantum mechanics and cosmology to evolution and intelligence, looking at the central questions of order, chaos, reductionism and complexity.