Logica vetus et nova, quadripartita