05.04 Categoricity arguments and their philosophical use
W środę 5.04 o 16.45 w sali 109 na Wydziale Filozofii UW odbędzie się wykład Categoricity arguments and their philosophical uses prof. Jouko Väänänena z Uniwersytetu Helsińskiego, na który zapraszamy wszystkich zainteresowanych. Wykład odbędzie się w języku angielskim.
Jouko Väänänen jest fińskim matematykiem, logikiem i filozofem znanym ze swojego wkładu w podstawy matematyki, logikę oraz teorię modeli. Obecnie jest profesorem na Uniwersytecie Helsińskim oraz Uniwersytecie Amsterdamskim.
Serdecznie zapraszamy!
Categoricity arguments and their philosophical uses
Abstract: I will discuss arguments that have been given for the categoricity of second-order foundational theories such as arithmetic and set theory. I will present the concept of internal categoricity which lowers the meta-theoretic assumptions behind the categoricity theorems. Finally, I show that internal categoricity is a phenomenon that exists for first-order arithmetic and set theory, too.