- Ciencias formales
-
Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su método de trabajo es la lógica educativa, con todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias factuales que estudian el ser.
Algunos ejemplos de las ciencias formales son: matemáticas, la lógica, ciencias de la computación, la teoría de juegos, etc.
Metodología de estudio
Las ciencias formales estudian el razonamiento y no el contenido de los saberes. Los dos modos de demostración más frecuentes usados por las ciencias son la inducción y la deducción, este último es el modo que usan de manera casi exclusiva las ciencias formales, la deducción es un proceso de razonamiento que va de unas premisas generales a una conclusión particular.
- Axiomas: verdades que aceptamos como verdaderas pero que no podemos razonar. Ejemplo: el todo es mayor que la parte.
- Reglas de formación: Reglas que nos indican la manera válida de relación entre los elementos lingüísticos. Todo sistema formal tiene símbolos, los elementos y los operadores.
- Reglas de transformación: transforman expresiones bien formadas del lenguaje en otras bien formadas.
- Teoremas: Verdades que se derivan de los axiomas.
La estructura y el alcance de un sistema axiomático están determinados por sus axiomas.
Véase también
Portal:Ciencias naturales y formales. Contenido relacionado con Ciencias naturales y 'Ciencias formales'.La ciencia es el metodo de obtener conocimiento
Wikimedia foundation. 2010.
