We show that logic has more to offer to ontologists than standard first or- der and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and even simplify their logical formulation.
Logical operators for ontological modeling / Borgo, S; Porello, D; Troquard, N. - STAMPA. - (2014), pp. 23-36. ( FOIS 2014 RJ, Brazil 25 September 2014) [10.3233/978-1-61499-438-1-23].
Logical operators for ontological modeling
Porello D;
2014-01-01
Abstract
We show that logic has more to offer to ontologists than standard first or- der and modal operators. We first describe some operators of linear logic which we believe are particularly suitable for ontological modeling, and suggest how to interpret them within an ontological framework. After showing how they can coexist with those of classical logic, we analyze three notions of artifact from the literature to conclude that these linear operators allow for reducing the ontological commitment needed for their formalization, and even simplify their logical formulation.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
