October 19-21, Universidad del Valle - Cali, Colombia

Speakers / Programme / Registration / Location

Click here for a printable pdf

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 (Krmer, Marquis, McLarty). Forty years after
GrothendieckÕs departure from the IHES, the Symposium will be devoted in part to his legacy.

This symposioum is part of the Third Colombian Congress of Philosphy.

- Colin McLarty (Case Western Reserve University)
- Xavier Caicedo (U. de los Andes, Colombia)
- Jean Pierre Marquis (Université de Montréal)
- Andrés Villaveces (U. Nacional, Colombia)
- Ralf Krömer (Nancy Université / University of Siegen)
- Fernando Zalamea (U. Nacional, Colombia)

**Tuesday 19**- 9.00-10.00 Colin McLarty

*Grothendieck's 'incorrigible naivety' in building worlds for Mathematics* - 10.00-10.30 Discussion
- 11.00-12.00 Xavier Caicedo

*The Model Theory of Sheaves or the Logic of Variable Structures* - 12.00-12.30 Discussion

- 9.00-10.00 Colin McLarty
**Wednesday 20**- 9.00-10.00 Jean-Pierre Marquis

*Sheaves, Spaces and Logic* - 10.00-10.30 Discussion
- 11.00-12.00 Andrés Villaveces

*Bridging a gap between Physics and Logic: the role of Sheaves* - 12.00-12.30 Discussion

- 9.00-10.00 Jean-Pierre Marquis
**Thursday 21**- 9.00-10.00 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 - 10.00-10.30 Discussion
- 11.00-12.00 Fernando Zalamea

*Sheaf Logic: a mathematical conspectus and a philosophical prospectus* - 12.00-12.30 Discussion

- 9.00-10.00 Ralf Krömer

To register send an e-mail to Fernando Zalamea (fernandozalamea_at_gmail.com)

Top

Top