The Logic and Metaphysics Workshop will meet on May 20th from 4:15-6:15 in room 7314 of the CUNY Graduate Center for a talk by Vincent Peluce (CUNY).
Title: The Perception of Time in Intuitionistic Arithmetic
Abstract: In L.E.J. Brouwer’s first act of intuitionism, the subject’s perception of time is put forth as the foundation on which arithmetic will be built. According to Brouwer, proper intuitionistic arithmetic, as with the rest of intuitionistic mathematics, is not tied to any particular formal system. When we try to axiomatically approximate an intuitionistic arithmetical system, we are faced with the problem of incorporating the subject and their perception into the axiom system itself. We discuss some unsatisfactory responses to this problem and then offer a solution.