### The Philosophy of the Logic of Sheaves

#### Posted by John Baez

An unusual conference in an unusual venue:

- Symposium on the Philosophy of the Logic of Sheaves, October 19 - 21, 2010, Universidad del Valle, Cali, Colombia.

Colin McLarty will be speaking about the work of Grothendieck!

Here’s the announcement:

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 Krömer (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

## Re: The Philosophy of the Logic of Sheaves

Contamination?