Ontologia della partecipazione. Verso una formalizzazione della metafisica di Tommaso d'Aquino - 9788854875586

Ontologia della partecipazione. Verso una formalizzazione della metafisica di Tommaso d'Aquino: Il lavoro vuole essere un contributo alla realizzazione di una ontologia formale di stampo "tommasiano". A questo scopo si intende sottolineare l'importanza di una interpretazione ontica (che riguarda la causalità reale metafisica e fisica) dello schema modale KD45. E si vuole proporre un assioma di fondazione che definisca in termini causali l'appartenenza degli oggetti (degli enti) di una teoria alla Collezione universale, e analogicamente, al genere naturale. Tale assioma consente lo split tra la usuale condizione formale di appartenenza ad una classe, e una "nuova" condizione causale che agisce sulla esistenza dell'ente. L'esistenza di un ente non dipende da una condizione formale (il soddisfacimento di qualsiasi proprietà) ma da una relazione causale. L'operatore logico che si utilizzerà è la contro-implicazione della logica classica, "stretta" al modo di C. I. Lewis. Essa formalizza il postulato classico secondo cui "non è possibile un effetto senza causa". Sarà applicata in modo "nested" nella costituzione trascendentale e ontologico-predicativa dell'ente.
The work is intended to be a contribution to the achievement of a formal ontology to die "tommasiano". For this purpose we intend to stress the importance of ontic interpretation (which concerns the actual causality metaphysics and physics) modal KD45 schema. And you want to propose an axiom of Foundation that defines membership in causal terms of objects (entities) of a theory to collection universal, and similarly, to natural gender. This axiom allows the split between the usual formal condition of belonging to a class, and a "new" causal condition that affects the existence of the institution. The existence of an institution does not depend on a formal condition (the fulfillment of any property) but from a causal relationship. The logical operator that will be used is the implication of classical logic, "close" to the way of c. i. Lewis. It formalizes the classic postulate according to which "cannot be an effect without a cause." Will be applied in a "nested" in the transcendental Constitution and the institution's ontological-predicative.