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 deductiva, 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.
[editar] 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.
El ideal metodológico de las ciencias formales se basa en constituirse en un sistema axiomático, que está compuesto de los siguientes elementos:
- 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.
[editar] Véase también
Portal:Ciencias naturales y formales. Contenido relacionado con Ciencias naturales y 'Ciencias formales'.[[zh-min-nan:Hêng-sek kho-ha̍k]nesesitamos mas informacion de la logica
