Hace poco, en el clásico libro de Vicente Fatone, «Lógica e Introducción a la Filosofía» leí en un comentario al pie de página (p. 129) el siguiente argumento en contra del Solipsismo:

Y creo que dicho argumento se puede estructurar y extender un poco más 🧵 [1/9]

Este artículo me resultó algo extraño. No es muy común argumentar en pos de una metafísica naturalizada (informada por las ciencias), pero rechazando cualquier grado de realismo científico. No obstante, creo que sirve para explorar perspectivas quizás más deflacionistas en favor de tal metafísica.

Cabe decir, una crítica que formuló el propio Mosterín a la Ontología de Bunge conlleva dilucidar la insuficiencia de la definición básica de 'individuo concreto', pues, retomando a Putnam, su precisión se vería restringida por una limitación inherente del método axiomático (9/9)

Tanto Mosterín como Cotnoir y Varzi plantearon un modelo basado en los axiomas y operaciones del Álgebra Booleana. Aquí, en equivalencia con el lenguaje conjuntista, definen la relación de «parte» según la operación binaria de la 'unión', siendo ésta la «suma mereológica» (8/9)

Ahora, tomando influencia de Whitehead, Chisholm refiere a 4 axiomas y 3 definiciones básicas para fundamentar un «esencialismo mereológico» de s-partes, conservando la transitividad en el primer axioma, e introduciendo en el tercero la noción de "mundos posibles" (7/9)

Dado que asumieron la noción de «parte» como primitiva, desde allí definieron relaciones básicas como la de 'parte propia' (PP), la 'superposición', la 'disyunción', hasta llegar a la de 'universo' (U) o de 'complemento' (~A). Ya luego desarrollan otros modelos posibles (6/9)

Cotnoir y Varzi ostentan un profundo desarrollo en Mereología Analítica. Aquí emplean una colección de 5 axiomas -reflexividad, antisimetría, transitividad, resto, fusión irrestricta- junto a 11 definiciones. Nótese que los 3 primeros axiomas son también revisados por Smith (5/9)

Schaffer toma el concepto de «grounding» como noción primitiva en su elaboración de un 'Marco Neo-Aristotélico', considerando entidades fundamentales y derivadas. Luego postula las propiedades más generales que caracterizan a la 'Substancia', y a las relaciones de fundación (4/9)

Por otro lado, Romero se sirve de una colección de 16 postulados formales para fundamentar una Ontología de 'objetos concretos', partiendo de relaciones básicas como son la yuxtaposición, la superposición, o la composición entre cosas, hasta arribar a la noción de 'Evento' (3/9)

Barry Smith establece principios generales sobre el desarrollo de Ontologías, y definiciones formales sobre algunos conceptos elementales, como 'entidad material', 'región espacio-temporal' o 'universal'. Además revisa atributos de distintos tipos de relaciones mereológicas (2/9)

Axiomática Ontológica 🧵

Andaba leyendo sobre criterios de Individuación de Objetos en la metafísica de Strawson, que sostiene una identificación a través de la diferenciación espacio-temporal. Ahí me surgió la duda, ¿qué axiomas pueden satisfacer una Ontología de Objetos? (1/9)

Muchos (como @zugzjuan.bsky.social): "La IA algún día nos proporcionará todo conocimiento exacto actualizado sobre cualquier disciplina y sin ningún error"

También la puta IA: