 Aristotle, General Topics: logic |  existence |  generalized quantifiers |  logic: classical |  logic: free |  logic: intuitionistic |  logic: modal |  logic: second-order and higher-order |  logic and ontology |  model theory |  ontological commitment |  plural quantification |  possibilism-actualism debate |  square of opposition 