ontología del ser y lógica