Causalidad aparente en un mundo estrictamente causalmente determinado

Imagine un universo de autómatas (un ejemplo de un universo en el que toda causalidad se define como una operación en el estado actual del objeto de cambio definido por un conjunto de reglas/axiomas inmutables, que se aplican a intervalos discretos).

Para un observador, dentro de los autómatas, con conocimiento de que el mundo es un autómata, ¿se vería toda la causalidad como una causalidad formal (en el sentido aristotélico)?

Mi pensamiento inicial es que dado que el cambio está determinado por reglas fijas, y todas las resultantes del cambio son necesariamente afectadas por la condición previa del objeto de cambio, entonces un objeto que ha sido cambiado ha sido cambiado en virtud de la configuración previa del objeto.

¿Qué quiere decir con causalidad formal en el sentido aristotélico?
Como en una causa formal es una de las cuatro causas que identifica: material, formal, eficiente y final.

Respuestas (2)

El matemático David Woplert demostró en 2008 que ningún agente inteligente puede predecir completamente la evolución de un sistema del que forma parte. En el contexto de su pregunta, un observador dentro de los autómatas nunca puede predecir completamente el estado futuro de los autómatas. La única forma de hacerlo sería desde fuera de los autómatas. Esto significa que habría límites en la capacidad del observador para proporcionar explicaciones/modelos causales formales de su universo de autómatas, y algunas partes tendrían que parecer no causales/no deterministas (incluso si los autómatas están completamente determinados cuando observado desde el exterior).

Su resultado es análogo en cierto modo a "Ninguna teoría puede probar su propia consistencia" de Gödel, en el sentido de que muestra que ningún universo puede predecirse completamente desde el interior, por lo tanto, ningún universo puede predecirse a sí mismo. El universo es inherentemente impredecible desde el interior, lo que demuestra que las explicaciones causales formales están destinadas a ser incompletas.

Aquí está el artículo original y una explicación general de la idea.

Los autómatas celulares son ejemplos de los autómatas que describe. En particular, son autómatas deterministas. La causa efficiens según Aristóteles es justamente lo que hoy llamamos causalidad.

Soy consciente de los autómatas celulares, simplemente no iba a hacer referencia explícita a ellos en caso de que algunos no estuvieran familiarizados. Mi pregunta apuntaba a si se puede decir que los objetos determinados por un autómata cambian en virtud de lo que son (objetos en los autómatas producidos de tal manera que su estado posterior está determinado por su estado actual, por lo que su estado actual es la causa de su estado posterior; una especie de causa formal).
@socrates No entiendo tu pregunta. Todo reloj es un objeto en el que su estado posterior está determinado por su estado anterior de acuerdo con una regla determinista.