Toda teoría fundamental comienza con un primitivo que no explica. Este artículo demuestra que esto no es un descuido sino una necesidad estructural. El Teorema de la Cadena Media se establece mediante tres lemas independientes — autorreferencia, regresión y violación del orden de dependencia — cuya exhaustividad se prueba antes del teorema. Ninguna teoría de dominio puede fundamentar de manera no circular su conjunto primitivo propio usando solo recursos internos al dominio. La demostración comparte un paralelo estructural con los resultados de incompletitud de Gödel a nivel de estrategia de prueba: en ambos casos, el intento de un sistema de asegurarse a sí mismo desde dentro codifica justamente la presuposición que intentaba evitar. Lo que todo intento de fundamentación presupone sin fundamentar no es la nada. Se identifican tres restricciones de validez — distinción, persistencia y orden — cada una de las cuales es autoaseguradora: cualquier negación coherente emplea la restricción que niega. Luego se establece un criterio de generalización que provee una condición formal que determina de antemano, sin análisis caso por caso, qué conceptos pertenecen a la clase de cadena media. El artículo concluye especificando las condiciones necesarias y suficientes que debe satisfacer cualquier respuesta predominio válida. Se establecen tres condiciones explícitas de derrota. El problema queda abierto. Su estructura no.
Building similarity graph...
Analyzing shared references across papers
Loading...
Nikita Shchevyev
Building similarity graph...
Analyzing shared references across papers
Loading...
Nikita Shchevyev (Sun,) estudió esta cuestión.
www.synapsesocial.com/papers/69d49fe5b33cc4c35a2284da — DOI: https://doi.org/10.5281/zenodo.19430954