================================================================ Symposium Philosophy of the Logic of Sheaves October 19 - 21, 2010 Cali, Colombia http://staff.science.uva.nl/~rlealrod/ sheavessymposioum.html CALL FOR PARTICIPATION ================================================================ Classical Logic and Set Theory influenced deeply the emergence of Analytical Philosophy at the beginning of XXth Century. After a hundred years, it may be time that the Logic of Sheaves and Category Theory help to create alternative forms of practicing Philosophy. Closer to the concepts of movement, flow, passage, boundary and contamination, Sheaf Logic and Category Theory must reinvigorate some regions of Philosophy abandoned by the Analytical dogmae. “Naturalized” Phenomenology, “Mathematical” Metaphysics, “Semiotical” Hermeneutics, between others, may thus emerge with new instruments at hand. The Symposium Philosophy of the Logic of Sheaves hopes to establish the state of the question, profiting from a creator of the Logic of Sheaves (Caicedo) and some major specialists in the Philosophy and History of Category Theory (Krömer, Marquis, McLarty). Forty years after Grothendieck’s departure from the IHES, the Symposium will be devoted in part to his legacy. Speakers: - Colin McLarty (Case Western Reserve University) - Xavier Caicedo (U. de los Andes, Colombia) - Jean Pierre Marquis (Université de Montréal) - Andres Villaveces (U. Nacional, Colombia) - Ralf Kromer (Nancy Université / University of Siegen) -Fernando Zalamea (U. Nacional, Colombia) PROGRAMME: Colin McLarty Grothendieck's 'incorrigible naivety' in building worlds for Mathematics Xavier Caicedo The Model Theory of Sheaves or the Logic of Variable Structures Jean-Pierre Marquis Sheaves, Spaces and Logic Andrés Villaveces Bridging a gap between Physics and Logic: the role of Sheaves Ralf Krömer From Cantor to Sheaves. The development of the concepts of direct and inverse limits – a case study on shifts in mathematical methodology in the prehistory of Category Theory Fernando Zalamea Sheaf Logic: a mathematical conspectus and a philosophical prospectus REGISTRATION: Registration is free of charge. To register send an e-mail to Fernando Zalamea (fernandozalamea@gmail.com) LOCATION: UNIVERSIDAD DEL VALLE - CALI, COLOMBIA [For admin and other information see: http://www.mta.ca/~cat-dist/ ]