jdh.hamkins.org
Famous quotations in their original first-order language
Historians everywhere are shocked by the recent discovery that many of our greatest thinkers and poets had first expressed their thoughts and ideas in the language of first-order predicate logic, a…