Master LCAM Seminar. Introduction to generalized quantifiers and Generalized quantifiers and Kripke's theory of truth

Thursday, May 14th, 12:00,

Jose Martínez (Barcelona)
Introduction to generalized quantifiers


Natural languages have many quantifier expressions that cannot be formalized in standard first-order logic: most students, many cars, etc. The talk will present a brief introduction to the theory of Lindström quantifiers and their applications to the formalization of natural language quantifier expressions.


Friday, May 15th, 12:00,

Jose Martinez (Barcelona)
Generalized quantifiers and Kripke's theory of truth


Kripke's theory of truth provides one of the most influential contemporary theories of truth. We will discuss the modifications that should be made to Kripke's theory to accommodate languages expressing generalized quantifiers.