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.