Results 1 - 1 of 1
- In Achille Varzi and Laure Vieu, editors, Formal Ontology in Information Systems (FOIS'04 , 2004
"... ..."(Show Context)
... in first-order logic is here performed by terms (names) for universals. Since we quantify over these terms, our framework simulates some aspects of second-order logic while remaining of first order. =-=[7, 8, 9, 10]-=- 1.2 Universal-Particular Structure According to the Aristotelian perspective, change is the succession of distinct quality particulars inhering in the same substance particular. Hence a formal theory...
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2016 The Pennsylvania State University