Ejercicio 4

Las CIENCIAS FORMALES son conjuntos sistemáticos de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos LÓGICOS y MATEMÁTICOS, (por lo que su objeto de estudio no es el mundo, la realidad físico-natural, sino formas vacías de contenido), pero cuyos conocimientos pueden ser aplicados a dicha realidad físico-natural.
El método propio de las ciencias formales es el MÉTODO DEDUCTIVO.
Las CIENCIAS FORMALES trabajan con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción.
EJEMPLOS:

- La LÓGICA. Dentro de la Lógica se encuentran:
a) Demostradores de teoremas.
b) Falacias lógicas.
c) Lógica deductiva.
d) Lógica inductiva
e) Lógica modal.
f) Metodología.
g) Paradojas.

- La MATEMÁTICA. Dentro de las Matemáticas se encuentran subcategorías como:
1) Ciencia de los ordenadores.
2) Didáctica de la matemática
3) Disciplinas de matemática
4) Filosofía de la matemática
5) Herramientas matemáticas
6) Historia de la matemática
7) Miscelánea matemática
8) Notación matemática
9) Principios y leyes matemáticas
10) Teoremas
11) Teorías matemáticas
12) Terminología matemática


LA CIENCIA FÁCTICA Se refieren en su mayoría a sucesos y procesos. Necesitan más que la lógica formal o una teoría, necesita de sucesos reales, como la observación, para confirmar sus enunciados. Esto quiere decir que necesitan basarse en la realidad para poder experimentar con esta y comprobar sus teorías, por ejemplo la medicina no puede inventar una droga y colocarla inmediatamente al mercado sin antes probarla para conocer si es o no eficaz. Por el contrario de las ciencias formales, las ciencias fácticas utilizan símbolos interpretados, por ejemplo el agua, tiene...