Resumen de Existential Graphs on nonplanar surfaces

Arnold Oostra

• español

  Los gráficos existenciales sobre el plano constituyen una representación bidimensional de la lógica clásica, en la cual una curva de Jordan indica la negación de su interior. En este artículo se propone un programa para desarrollar los gráficos existenciales Alfa, que corresponden a la lógica proposicional, sobre diferentes superficies. La geometría de cada variedad determina las posibles curvas de Jordan sobre ella, lo cual conduce a interpretaciones diversas de la negación. Esto puede abrir el camino para asignar una lógica "natural" a cualquier superficie.

• English

  Existential graphs on the plane constitute a two-dimensional representation of classical logic, in which a Jordan curve stands for the negation of its inside. In this paper we propose a program to develop existential Alpha graphs, which correspond to propositional logic, on various surfaces. The geometry of each manifold determines the possible Jordan curves on it, leading to diverse interpretations of negation. This may open a way for appointing a "natural" logic to any surface.