• « A veces uno se encuentra con una cuarta visión de la lógica: se trata de una manipulación puramente formal de los símbolos según algunas reglas prescritas. »
• « Veremos más adelante que en muchas definiciones de la lógica, la inferencia lógica y la inferencia con contenido puramente formal son la misma cosa. »
