Book description
"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…
Why read it?
1 author picked Modal Homotopy Type Theory as one of their favorite books. Why do they recommend it?
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…
From Rocco's list on mathematics for the philosophically inclined.
If you love Modal Homotopy Type Theory...
These Blue Mountains
A moving story of love, betrayal, and the enduring power of hope in the face of darkness.
German pianist Hedda Schlagel's world collapsed when her fiancé, Fritz, vanished after being sent to an enemy alien camp in the United States during the Great War. Fifteen years later, in 1932, Hedda…
Want books like Modal Homotopy Type Theory?
Our community of 12,000+ authors has personally recommended 100 books like Modal Homotopy Type Theory.
Share your top 3 reads of 2025!
And get a beautiful page showing off your 3 favorite reads.
1,366
readers submitted
so far, will you?
📚 If you like Modal Homotopy Type Theory, you might also like...
Pioneer Paddles of the Colonial South
Award-winning novelist William Auman, author of If Trees Could Testify..., takes the reader on a time-traveling odyssey featuring 345 bodies of water in six states within the historical context through which they unfold.
Journey into remaining Colonial-era wilderness with stories of pirate treasure, epic frontiersmen, Indigenous Peoples, and Revolutionary…
A Winter's Disgrace
Cyprian, a marquess’s heir, will not let his mother choose his next bride. Leaving a house party in a blizzard to avoid her stratagems, he finds a woman trudging half frozen toward the London road. Rosamund fled disgrace, hoping to reach the one person who might shelter her, but even…
