Giovanni Gigliotti

Este artículo aborda el arduo problema de la compatibilidad entre la omnisciencia divina y la contingencia de los estados de cosas futuros y concretos. Intenta hacer una reconstrucción formal de la solución que a este problema Guillermo de Ockham presenta en el _Tractatus de praedestinatione et de praescientia Dei respectu futurorum contingentium_. Hay una supuesta inconsistencia entre: (1) la bivalencia para las proposiciones futuras (∀_p_ ∈ _Φ_, ∀_t _∈ T, ∀_x _∈ ℕ: π (_t_,_ _F(_x_)_ p_)_ _∈ {0,1}); (2) la necesidad del pasado (P(_y_)F(_x_)_p_ ⊃ NP(_y_)F(_x_)_p_); y (3) la infalibilidad divina (F(_x_)_p ≡ _DF(_x_)_p_). De estas se derivaría un presunto colapso modal: si en _t_ a Dios supiera que _p_ ocurrirá en _t_ b (DF(_x_)_p_ en _t_ a ), y si en el presente las verdades pasadas son necesarias (NP(_y_)F(_x_)_p_), se seguiría NF(_x_)_p_ y, por tanto, N_p_. Brevemente, la asignación precisa del valor de verdad implicaría la necesidad del estado de cosas denotado. Ockham, sin embargo, mostraría que esta inferencia se apoya sobre premisas falsas, y que no hay contradicción entre sostener que Dios conoce el futuro, por un lado, y que los estados de cosas futuros y concretos son contingentes, por el otro. Se estudiará su recepción y formulación del problema sobre la base de su análisis del capítulo 9 del _Περὶ Ἑρμηνείας_ de Aristóteles, y su formulación del argumento determinista aristotélico, que supone el colapso modal entre verdad y necesidad e implica –según la lectura ockhamiana– que el Estagirita debe suspender la operatividad universal de la bivalencia. Finalmente, se mostrará que la tesis ockhamiana representa un conjunto ordenado y no-contradictorio de proposiciones y genera una solución filosóficamente válida, si se lo interpreta dentro de un marco formal adecuado de lógica temporal. En este análisis, la solución ockhamista encaja en_ _el modelo instantáneo discreto de tipo (T.