Intensional Ontology
“Intensional interpretation”:
- Given a conceptualization C and a first order language L, interpret predicate symbols in L by conceptual relations from C, instead of by (extensional) “mathematical” relations à la G&N
- L commits to C if any (extensional) model I for L is in Xw(C) for some possible world, i.e. ?w such that for each predicate symbol r, if its intensional interpretation is ? ? C, then ?(w) = I(r)