Wed Nov 16, 2016
234 Moses Hall, 6–8 PM
|Working Group in the History and Philosophy of Logic, Mathematics, and Science
Juliette Kennedy (University of Helsinki)
Squeezing arguments and strong logics
G. Kreisel has suggested that squeezing arguments, originally formulated for the informal concept of first order validity, should be extendable to second order logic, although he points out obvious obstacles. We develop this idea in the light of more recent advances and delineate the difficulties across the spectrum of extensions of first order logics by generalised quantifiers and infinitary logics. This is joint work with Jouko Väänänen.