Verso una ontologia formale "tommasiana": la contro-implicazione stretta causale

Proponiamo una interpretazione "ontica" dello schema modale KD45. "Ontica" sta per interpretazione causale (fisica e metafisica) della relazione di accessibilita tra i mondi. KD45 con le sue proprieta di transitivita, riflessivita e simmetricita secondarie, esprime e traduce efficacemente la struttura "fondazionale" della metafisica della partecipazione di Tommaso d’Aquino, nel suo aspetto dinamico che e la causalita. Definiamo inoltre la contro-implicazione stretta causale per formalizzare la relazione reale effetto-causa, e attraverso di essa proponiamo: 1- un assioma di fondazione che a) lega l’essere ente, all’avere essere da parte di un "datore di essere"; b) "costruisce" l’universo degli enti e c) da una condizione di appartenenza ad esso diversa dalla consueta autoidentita . 2- un assioma di causalita secondaria, che formalizza la condizione di possibilita che enti diversi possano esercitare l’un l’altro un’azione causale. 3- un assioma di genere, che formalizza la condizione causale di appartenenza di genere.