Fernando Zalamea Traba

Departamento de Matemáticas Universidad de Colombia (Colombia)

fzalameatunal.edu.co

Filosofía de la Lógica/Lógica Filosófica/Lógicas no Clásicas

Categorical Logic and the Logic of Sheaves: Foundations for a Synthetic Philosophy of Mathematics.

The presentation will include two parts. First, we will give a brief overview of the emergence of sheaves (1942-1950), Grothendieck and elementary toposes (1962-1970), Kripke models for intuitionism (1963) and Caicedo’s logic of sheaves (1995). Second, we will show how a synthetic philosophy of modern (1830-1950) and contemporary (1950-today) mathematics can be understood, building on an analogy with toposes of sheaves on Kripke models, and studying therein some main polarities of mathemati- cal thought (multiplicity/unity, continuum/discrete, along Galois, Riemann, Poincar ́e, Cantor, Gödel, Grothendieck, Connes, or Gromov, for example).


CV

Fernando Zalamea obtuvo su doctorado en lógica categórica (University of Massachusetts, 1990, bajo Ernest Manes). Profesor Titular del Departamento de Matemáticas de la Universidad Nacional de Colombia. Director de la División de Investigación (1998-2000) de la Universidad Nacional. Ha ofrecido numerosos cursos y seminarios en lógica matemática (lógicas no clásicas, lógica categórica) y en cruces con la filosofía (historia de la lógica, filosofía de la matemática contemporánea).

Es editor de los Cuadernos de Sistemática Peirceana (www.acervopeirceano.org), única revista especializada en Peirce a nivel mundial. Ha publicado una veintena de libros. Cuenta con cerca de un centenar de artículos sobre matemáticas, lógica y crítica de la cultura.

Ha obtenido algunos de los premios centrales de ensayo en el ámbito hispanoamericano: Siglo XXI (México 2013), Jovellanos (España 2004), Gil-Albert (España 2004), Kostakowsky (México 2001), Andrés Bello (Colombia 2000).

Ha sido incluido en 100 Global Minds – The Most Daring Cross-Disciplinary Thinkers in the World (Roads, 2015). Prepara actualmente (2016-2018) una monografía sobre la obra entera publicada de Alexandre Grothendieck: Grothendieck. Una guía a su obra matemática y filosófica.