Calendar

20 Mon
All-day
2019 Association for Symbolic Logic North American Annual Meeting @ CUNY Grad Center
2019 Association for Symbolic Logic North American Annual Meeting @ CUNY Grad Center
May 20 all-day
Program Committee: Sam Buss, Johanna Franklin, Wesley Holliday (chair), Elaine Landry,Andrew Marks, and Joel Nagloo.Local Organizing Committee: Evangelia Antonakos (co-chair), Sergei Artemov, AlfredDolich, Shoshana Friedman (co-chair), Gunter Fuchs, and Joel Hamkins. Please see https://asl2019.commons.gc.cuny.edu http://aslonline.org/wp-content/uploads/2019/04/Schedule19AnnMtg.pdf for additional information. All plenary and tutorial lectures will be held in Proshansky Auditorium, on the lower levelof the Graduate Center. All special session and contributed talks will be in the nearbyrooms C197, C198, and C201–C205. The welcoming reception will be held at 6:00 pm onMonday, May 20 in the Concourse Lobby, in front of Proshansky Auditorium.
12:00 am
1:00 am
2:00 am
3:00 am
4:00 am
5:00 am
6:00 am
7:00 am
8:00 am
9:00 am
10:00 am
11:00 am
12:00 pm
1:00 pm
2:00 pm
3:00 pm
4:00 pm
5:00 pm
6:00 pm
7:00 pm
8:00 pm
9:00 pm
10:00 pm
11:00 pm
4:15 pm The Perception of Time in Intuitionistic Arithmetic (Vincent Peluce) Logic & Metaphysics Workshop @ CUNY Grad Center, 7314
The Perception of Time in Intuitionistic Arithmetic (Vincent Peluce) Logic & Metaphysics Workshop @ CUNY Grad Center, 7314
May 20 @ 4:15 pm – 6:15 pm
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. The Logic and Metaphysics Workshop will be meeting on Mondays from 4:15 to 6:15 in room 7314 of the Graduate Center, CUNY (365 5th Avenue). The (provisional) …

Continue reading