https://docs.google.com/Doc?docid=0AXBgH5rReFW9ZGpkaGt4Nl8yZnY2ajM2Y2s&hl=en
- 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
Algunos ejemplos de las ciencias formales son: matemáticas, la lógica, ciencias de la computación 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 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).
A diferencia de las ciencias aplicadas, las ciencias naturales son parte de la ciencia básica, pero tienen en ellas sus desarrollos prácticos, e interactúan con ellas y con el sistema productivo en los sistemas denominados de investigación y desarrollo o investigación, desarrollo e innovación (I+D e I+D+I).
No deben confundirse con el concepto más restringido de ciencias de la tierra o geociencias.
A diferencia de las ciencias aplicadas, las ciencias naturales son parte de la ciencia básica, pero tienen en ellas sus desarrollos prácticos, e interactúan con ellas y con el sistema productivo en los sistemas denominados de investigación y desarrollo o investigación, desarrollo e innovación (I+D e I+D+I).
No deben confundirse con el concepto más restringido de ciencias de la tierra o geociencias.
- 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
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
0 comentarios:
Publicar un comentario