Abstract

Los gráficos existenciales de Peirce proveen un entendimiento geométrico de una variedad de lógicas (clásica, intuicionista, modal, primer orden). La interpretación geométrica se da en el plano, pero puede ser extendida a otras superficies (esfera, cilindro, toro, etc.) Yendo más allá, se pueden dibujar gráficos existenciales sobre superficies de Riemann arbitrarias, y, con la introducción de herramientas de geometría algebraica (haces, topos de Grothendieck, topos elementales), se pueden capturar las lógicas emergentes vía un nuevo Topos de Gráficos Existenciales sobre Superficies de Riemann y su clasificador de subobjetos. Ofrecemos algunas perspectivas (conceptos, definiciones, ejemplos, conjeturas) a lo largo de ese camino.