Escoto

Escoto plantea un sistema lógico no formal pero que es susceptible de análisis. Se hará respecto a la suma de varios sistemas formales.  fue propuesto con base en las ideas de Santo Tomás de Aquinoen la Summa Theologica, y justo cuando la Lógica aún era discursiva y cuando faltaba mucho para obtener una formalización seria de la Matemática. Ahora, con la existencia de la Lógica formal y desistemas como De la ciencia formal se puede corregir cada defecto derivado del discurso informal.
se siguen las siguientes abreviaciones simbólicas: a) el operador va al comienzo y las expresionesoperadas a continuación del mismo tal que sólo se toma como sea legible dicha expresión, y b) los cuantificadores se agrupan en uno solo. O sea, A↔B se representa en este sentido como ↔AB.
Cabe decirse queel lenguaje original de Escoto es ambiguo, de allí la frase lógica discursiva. Con ello se quiere decir que no todas las personas tienen o pueden llegar a tener claro (cosa fácil de probar) qué esun intelecto infinito. La intuición no nos permite llegar a ello directamente. Por el contrario, para cualquier científico es usual la expresión p es el principio de f porque en ello consiste su trabajo,o sea, en hallar el principio del fenómeno. De no ser un científico quien analice la expresión, puede fácilmente aprender y convencerse con uno o dos ejemplos en qué consiste esta expresión.
Así, sepuede decir que uno ve que una manzana cae al suelo, que una bala de cañón cae al suelo, que un globo con helio asciende, que el agua desciende y que un globo con aire desciende con dificultad. Deestos fenómenos se puede hallar lo siguiente: a) todos los sólidos descienden, b) todos los líquidos descienden, c) todos los gases menos densos que el aire ascienden, d) todos los gases de igualdensidad que el aire descienden con dificultad. Luego uno se percata de que la Luna es sólida (por cierta evidencia). Entonces los resultados anteriores se corrigen porque los fenómenos han sido ampliados...