Logica formale e antiformalismo (da Aristotele a Decartes)