Ciencias Formales

Ciencias formales
Las ciencias formales es una ciencia que establece el razonamiento lógico y trabaja con ideas hechas por la mente.
Las ciencias formales son conjuntos sistemáticos de conocimientoracional y coherente, por lo que su objetivo es el estudio de formas vacías de contenido por ejemplo cálculos, números, razonamientos, teorías, etc. y no del mundo real. El método propio es elmétodo deductivo.
Características
1- ) se ocupan de la forma y la estructura.
2- ) no se ocupan de los contenidos.
3- ) son instrumentos y base de las demás ciencias
4- ) son conocimientos elaborados:los más universales, justificados y ordenados que se pueda.
POR EJEMPLO:
Computación:
La ciencia de la computación es aquella que abarca el estudio de las bases teóricas de la información y lacomputación y en sistemas computacionales.
Hay diversos campos dentro de las ciencias de la computación; como los que enfatizan los resultados especifico de la computadora, mientras que otros como lateoría de la complejidad computacional se relacionan con propiedades de los algoritmos usados cuando se utiliza la compu.
Matemática:
La matemática es el estudio de propiedades y relaciones comonúmeros, figuras geométricas, etc.
También la matemática es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.
Dentro de las Matemáticas se encuentransubcategorí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 lamatemá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 LÓGICA.
Se dedica al estudio dela inferencia mediante la construcción de lenguajes formales, sistemas deductivos.
Dentro de la Lógica se encuentran:
a) Demostradores de teoremas.
b) Falacias lógicas.
c) Lógica deductiva.
d)...