Title: The situation in logic-IV
Subjects: Theory of Knowledge, Model theory