Ciencia formal

Por tanto, podemos decir que son esenciales para el conocimiento. Gracias a ellas se pueden aplicar estos a la realidad. Por otro lado, debido a su forma de aproximación al conocimiento, el método utilizado es la deducción.

Quizá las matemáticas puedan ser consideradas la ciencia formal por excelencia. Estas estudian las estructuras y relaciones abstractas. Para conseguir su objetivo parten de axiomas que se desarrollan mediante el razonamiento lógico. Por eso, su aprendizaje es esencial.

Además, utiliza un lenguaje formal y universal que permite entenderlo a todo el que lo conozca. De esta forma, todo el mundo conoce los símbolos más frecuentes, como el de la suma (+), la resta (-), u otros como la raíz cuadrada o una integral.

La lógica es una rama de la filosofía que estudia las demostraciones, las falacias y más cuestiones similares. Dentro de ella, la parte relacionada con las matemáticas utiliza los sistemas formales de estas para llegar a sus concusiones.

Por tanto, en la ciencia formal, la lógica es más que necesaria. De hecho, en economía es muy habitual utilizar este tipo de razonamiento. Por ejemplo, la escuela austriaca se sirve de la praxeología para sus estudios sobre esta ciencia social.

En este caso, estamos ante una ciencia formal que estudia las bases teóricas de la computación.

De esta forma, los algoritmos, como el de Google, se basan en los preceptos formales mencionados aplicándolos a problemas reales.

Por tanto, hoy en día el mundo digital es posible gracias a la teoría que subyace en él. Sin esos aspectos teóricos se habría andado a ciegas y con el consiguiente riesgo. De ahí, la importancia de este tipo de ciencia.

Veamos, para terminar, algunos ejemplos que pueden parecer obvios pero que reflejan perfectamente el método deductivo que se utiliza en este tipo de ciencia.

• Imaginemos que en biología partimos de un axioma. Las ovejas no vuelan. Por otro lado, sabemos que los animales que vuelan tiene alas. La deducción es que las ovejas no van a tener alas. Es evidente, pero en la realidad los fenómenos se complican mucho más.
• En criminología. El asesino fue un varón negro. El principal sospechoso es oriental. Este no va a ser el asesino. Una vez más la realidad es bastante más compleja, pero el método es el mismo.
• Este último ejemplo sería al contrario, utilizando el método inductivo. Mi abuelo se constipó, mi abuelo es hombre, los hombres se constipan. Como vemos, en este caso vamos de lo particular a lo general.

Son ejemplos muy sencillos, pero con ellos hemos querido mostrar cómo funciona el método deductivo utilizado en la ciencia formal, en contraposición al inductivo. De hecho, la realidad, como hemos mencionado antes, es mucho más compleja. Eso sí, muchas veces podemos aproximarnos a ella con la sencillez.