Text this: ¿Se puede considerar formal la lógica de Aristóteles?