Ciencias formales

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 el lógico inductivo, con todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias actuales que estudian el ser.
La matemática (del griego μάθημα, máthema:ciencia, conocimiento, aprendizaje, μαθηματικóς, mathematikós: el que aprende, aprendiz) es la ciencia que estudia lo "propio" de las regularidades, las cantidades y las formas, sus relaciones. En español también se puede usar el término en plural: matemáticas.Aunque la matemática sea la supuesta "Reina de las Ciencias",algunos matemáticos no la consideran una ciencia natural. Principalmente, losmatemáticos definen e investigan estructuras y conceptos abstractos por razones puramente internas a la matemática, debido a que tales estructuras pueden proveer, por ejemplo, una generalización elegante, o una herramienta útil para cálculos frecuentes. Además, muchos matemáticos consideran la matemática como una forma de arte en vez de una ciencia práctica o aplicada. Sin embargo, lasestructuras que los matemáticos investigan frecuentemente sí tienen su origen en las ciencias naturales, y muchas veces encuentran sus aplicaciones en ellas, particularmente en la física.
La Lógica es una ciencia formal y que por tanto, no tiene contenido, sino que simplemente estudia las formas válidas de inferencia[1] .La lógica tradicional se basaba en el silogismo como razonamiento basado en el juiciocategórico aristotélico. Hoy día la lógica utiliza como unidad básica la proposición y las reglas de inferencia en la argumentación discursiva.[2]
Las ciencias de la computación, rama de la matematica, abarcan el estudio de las bases teóricas de la información y la computación y su aplicación en sistemas computacionales.[1] [2] [3] Existen diversos campos dentro de la disciplina de las cienciasde la computación; algunos enfatizan los resultados específicos del cómputo (como los gráficos por computadora), mientras que otros (como la teoría de la complejidad computacional) se relacionan con propiedades de los algoritmos usados al realizar cómputos. Otros por su parte se enfocan en los problemas que requieren la implementación de cómputos. Por ejemplo, los estudios de la teoría de lenguajesde programación describen un cómputo, mientras que la programación de computadoras aplica lenguajes de programación específicos para desarrollar una solución a un problema computacional concreto.

METODO CIENTIFICO
El método científico (del griego: -meta = hacia, a lo largo- -odos = camino-; y del latín scientia = conocimiento; camino hacia el conocimiento) presenta diversas definicionesdebido a la complejidad de una exactitud en su conceptualización: "Conjunto de pasos fijados de antemano por una disciplina con el fin de alcanzar conocimientos válidos mediante instrumentos confiables", "secuencia estándar para formular y responder a una pregunta", "pauta que permite a los investigadores ir desde el punto A hasta el punto Z con la confianza de obtener un conocimiento válido". Así elmétodo es un conjunto de pasos que trata de protegernos de la subjetividad en el conocimiento.
El método científico está sustentado por dos pilares fundamentales. El primero de ellos es la reproducibilidad, es decir, la capacidad de repetir un determinado experimento en cualquier lugar y por cualquier persona. Este pilar se basa, esencialmente, en la comunicación y publicidad de los resultadosobtenidos. El segundo pilar es la falsabilidad. Es decir, que toda proposición científica tiene que ser susceptible de ser falsada (falsacionismo). Esto implica que se pueden diseñar experimentos que en el caso de dar resultados distintos a los predichos negarían la hipótesis puesta a prueba. La falsabilidad no es otra cosa que el modus tollendo tollens del método hipotético deductivo experimental....