Ontology after Carnap