s of the conference can be found here: https://nnpscience.les.wordpress.com/ 2016/04/book-of-abstracts1.pdf

Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’). Leibniz’s theory of concepts, under this reconstruction, has a non-modal algebra of concepts, a concept-containment theory of truth, and a modal metaphysics...

(See for instance Metaphysics, Physics, Topics, . . . ) The part-whole relation is to ontology and metaphysics as fundamental as essentialaccident relation, the four different kinds of cause (material – as a constituent (ingredient: the bronze is cause of the statue) –; formal – the form is the account of the essence –, efficient – the source (the man who give the advice, the producer of the pr...

ion 39; Abraham D. Stone: Simplicius and Avicenna on the essential corporeity of material substance 73; David C. Reisman: Avicenna at the ARCE 131-182. ———. 2003. Avicenna's Metaphysics in Context. Ithaca: Cornell University Press. 75. ———. 2003. "Towards a history of Avicenna's distinction between immanent and transcendent causes." In Before and After Avicenna. Proceedings of the First Confere...