Salzburg Colloquium on Logic and Ontology (1973)