Desafio # 3

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

1. Ciencia Formal:

2. Ciencia Natural:

3. Ley de inferencia:

CIENCIA FORMAL

son aquellas ciencias que establecen el razonamiento logico y trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su método de trabajo es el logico 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: matematicas, la logica, ciencias de la computacion teórica, etc.

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 cientifico conocida como metodo esperimental. 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 metodologico de las ciencias formales, especialmente de las matematicas, cuya relación con la realidad de la naturaleza es menos directa (o incluso inexistente).

LEY DE INFERENCIA

Alguna reglas de inferencia clásicas, muy utilizadas en matemáticas para la demostración de Teoremas, se detallan a continuación:

Ley de separación (modus ponens): Si p y p → q son ambos verdaderos, se infiere que q también lo es.

En símbolos:

p, p → q entonces, q

Ley del modus Tolens: si p → q es verdadero y q es falsa, infiere que p es falsa, ya que si la proposición p fuera verdadera, la proposición compuesta p → q sería falsa.

En símbolos:

p → q, -q entonces, -p

Ley del Silogismo hipotético: si p → q y q → r son ambos verdaderos, entonces p → r

En símbolos:

p → q, q → r entonces, p → r