¿Lógica Combinatoria o Teoría Estándar de Conjuntos?

Abstract

Filosóficamente la teoría estándar de conjuntos es insatisfactoria, al no existir ninguna noción presistemática como la que quieren aducir sus adeptos; esa concepción resulta sospechosamente híbrida. La teoría no puede ser verdadera, salvo interpretada de un modo no estándar. Afortunadamente, hay alternativas preferibles. Entre ellas una teoría combinatoria de conjuntos basada en una lógica no clásica. Esta lógica combinatoria gira en torno a la relación primitiva de abarcar, que puede también guardar reflexivamente un ente consigo mismo. Los conjuntos son, así, abarcamientos que no se sujetan al constreñimiento de la desnivelación.