Title: The logic of description and existence
Subjects: Description (Philosophy), First-order logic, Predicate (Logic)