"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 - wh

Modal Homotopy Type Theory: The Prospect of a New Logic for Philosophy provides a reasonably gentle introduction to this new logic, thoroughly motivated by intu

This is the first book on category theory for a broad philosophical readership. There is no other discussion of category theory comparable in its scope. It is d

This innovative monograph explores a new mathematical formalism in higher-order temporal logic for proving properties about the behavior of systems. Developed b