Arithmetical Semantics for Non-Classical Logic
SEP 21, 2020 | 4:15 PM TO 6:15 PM
The Graduate Center
September 21, 2020: 4:15 PM-6:15 PM
The Logic and Metaphysics Workshop will meet on September 21st from 4:15-6:15 (NY time) via Zoom for a talk by Yale Weiss (CUNY).
Title: Arithmetical Semantics for Non-Classical Logic
Abstract: I consider logics which can be characterized exactly in the lattice of the positive integers ordered by division. I show that various (fragments of) relevant logics and intuitionistic logic are sound and complete with respect to this structure taken as a frame; different logics are characterized in it by imposing different conditions on valuations. This presentation will both cover and extend previous/forthcoming work of mine on the subject.
This event is part of The Graduate Center's Philosophy Program.