desafio 3

DESAFIO 3. Buscar en wikipedia o en otras páginas de internet, el significado de:


Ciencia Formal: 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 el lógico inductivo, 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 teórica, 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.

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 aximático están determinados por sus axiomas.


1. Ciencia Natural: Ciencias naturales, ciencias de la naturaleza, ciencias físico-naturales o ciencias experimentales son aquellas ciencias que tienen por objeto el estudio de la naturaleza siguiendo la modalidad del método científico conocida como método experimental. Estudian los aspectos físicos, y no los aspectos humanos del mundo. Así, como grupo, las ciencias naturales se distinguen de las ciencias sociales o ciencias humanas (cuya identificación o diferenciación de las humanidades y artes y de otro tipo de saberes es un problema epistemológico diferente). Las ciencias naturales, por su parte, se apoyan en el razonamiento lógico y el aparato metodológico de las ciencias formales, especialmente de las matemáticas, cuya relación con la realidad de la naturaleza es menos directa (o incluso inexistente


Ley de inferencia: Una inferencia es una evaluación que realiza la mente entre conceptos que, al interactuar, muestran sus propiedades de forma discreta, necesitando utilizar la abstracción para lograr entender las unidades que componen el problema, creando un punto axiomático o circunstancial, que nos permitirá trazar una línea lógica de causa-efecto, entre los diferentes puntos inferidos en la resolución del problema. Una vez resuelto el problema, nace lo que conocemos como postulado, o una transformada de la original, que al estar enmarcado en un contexto referencial distinto, se obtiene un significado equivalente. Utilizada a menudo en los motores de inferencia de los Sistemas Expertos.