Arithmetical Semantics for Non-Classical Logic

SEP 21, 2020 | 4:15 PM TO 6:15 PM

Details

WHERE:

The Graduate Center
Online

WHEN:

September 21, 2020: 4:15 PM-6:15 PM

ADMISSION:

Free

SPONSOR:

Logic and Metaphysics

Description

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.