Logical form, predication, and ontology | lit.salon