Second order logic, intended models and ontology