Informes
10/01/07 - 13/01/07 The classical model of science, Amsterdam Free University: 12/10/07 Paolo Mancosu: Completeness & categoricity of axiomatic systems / Bruce Halimi: The equaivalence of logical universality and necessity as a problem from the model theoretic viewpoint / Catarina Dutilh-novaes: Two aspects of formalization; axiomatization and symbolization / Lunch conversations / William R de Jong: The analytic synthetic distinctio and the Asristotelian model of science; Kant, Bolzane & Ferge