Dana Scott

Free Logic: its Formalization and some Applications

VCLA hosted a talk by Dana Scott

DATE:Monday, September 30, 2019
TIME:16:00 c.t.
VENUE:FAV Hörsaal 1 (ground floor), Favoritenstrasse 9-11, 1040, Vienna

ABSTRACT

Karel Lambert (Emeritus Professor, UC Irvine) gave the subject its name and its profile as a well defined field of research over 60 years ago. “Free logic” is logic free of existential presuppositions in general and with respect to singular terms in particular. This talk will discuss its formalization and models for both classical and intuitionistic logic. Applications to understanding properties of descriptions, virtual classes, and structures with partial functions will be presented.  

CONTACT

Matthias Baaz, Agata Ciabattoni

Comments are closed.