Definición de Ciencia formal | Diccionario Economico
La ciencia formal es aquella que se dedica al estudio de las formas y relaciones abstractas, sin tener en cuenta la realidad empírica.
Por lo tanto, podemos decir que son necesarios para el conocimiento. Gracias a ellos, se pueden aplicar a la realidad. Por otro lado, por su acercamiento al conocimiento, se utiliza el método de la deducción.
Matemáticas y ciencias formales
Quizás las matemáticas puedan ser consideradas una ciencia formal por excelencia. Estudian estructuras y relaciones abstractas. Para lograr su objetivo, parten de axiomas que se desarrollan a través del razonamiento lógico. Por lo tanto, su estudio es necesario.
Además, utiliza un lenguaje formal y universal que permite que todos los que lo conocen lo entiendan. Así todo el mundo conoce los símbolos más comunes como la suma (+), la resta (-) u otros como la raíz cuadrada o la integral.
Lógica y ciencia formal
La lógica es la rama de la filosofía que estudia la evidencia, las falacias y similares. Dentro de él, la parte matemática utiliza sus sistemas formales para llegar a sus propias conclusiones.
Por tanto, en la ciencia formal, la lógica es más que necesaria. De hecho, este tipo de razonamiento se usa muy a menudo en economía. Por ejemplo, la escuela austriaca utiliza la praxeología para estudiar esta ciencia social.
Ciencias de la Computación
En este caso, estamos ante una ciencia formal que estudia los fundamentos teóricos de la computación.
Así, algoritmos como el algoritmo de Google se basan en las prescripciones formales mencionadas, aplicándolas a problemas reales.
Por tanto, hoy el mundo digital es posible gracias a la teoría subyacente. Sin estos aspectos teóricos, sería posible ir a ciegas y con el consiguiente riesgo. De ahí la importancia de este tipo de ciencia.
ejemplo de ciencia formal
Para concluir, veamos algunos ejemplos que pueden parecer obvios, pero que reflejan perfectamente el método deductivo utilizado en este tipo de ciencia.
- Imagina que en biología partimos de un axioma. Las ovejas no vuelan. Por otro lado, sabemos que los animales voladores tienen alas. La conclusión es que las ovejas no tendrán alas. Esto es obvio, pero en realidad los fenómenos son mucho más complicados.
- en criminología. El asesino era un hombre negro. El principal sospechoso es Eastern. No será un asesino. Una vez más, la realidad es mucho más compleja, pero el método es el mismo.
- Este último ejemplo sería el contrario si se utiliza el método inductivo. Mi abuelo estaba estreñido, mi abuelo es un hombre, los hombres se estreñin. Como ves, en este caso vamos de lo particular a lo general.
Estos son ejemplos muy simples, pero con su ayuda queríamos mostrar cómo funciona el método deductivo utilizado en la ciencia formal, a diferencia del inductivo. De hecho, la realidad, como mencionamos anteriormente, es mucho más complicada. Por supuesto, en muchos casos podemos abordar esto de forma sencilla.
¿Problemas o dudas? Te ayudamos
Si quieres estar al día, suscríbete a nuestra newsletter y síguenos en Instagram. Si quieres recibir soporte para cualquier duda o problema, no dude en ponerse en contacto con nosotros en info@wikieconomia.org