CIENCIAS FORMALES

Las ciencias formales son conjuntos sistemáticos de conocimientos racionales y coherentes, que se ocupan del estudio de los procesos lógicos y matemáticos, (por lo que su objeto de estudio no es el mundo, ni la realidad físico-natural, sino formas vacías de contenido) pero cuyos conocimientos pueden ser aplicados a dicha realidad físico-natural. El método propio de las ciencias formales es el método deductivo.Es aquella que trabaja con formas, es decir, con objetos ideales, que son creados por el hombre, que existen en su mente y son obtenidos por abstracción. Les interesan las formas y no los contenidos; no les importa lo que se dice, sino cómo se dice. La verdad de las ciencias formales es necesaria y formal.Las ciencias formales son las ramas de la ciencia que estudian sistemas formales. Las ciencias formales validan sus teorías con base en preposiciones definiciones, axiomas y reglas de inferencia. Todas ellas son analiticas, a diferencia de las ciencias sociales y las ciencias naturales, que las comprueban de manera empírica, es decir, observando el mundo real.

Las ciencias formales son aquellas que se ocupan de formas o estructuras ideales, analizando y teorizando sobre definiciones, axiomas o proposiciones, relacionando signos. Se basan en la  abstraccion mental o razonamiento, y no en la experimentación. Son precisas.Usan como método, el deductivo, pues partes de proposiciones generales o leyes para inferir conclusiones de tipo particular. Las leyes o reglas se cumplen en todos los casos, por lo tanto son universales, pues no estudia hechos concretos, como ocurre con las ciencias naturales, o con las ciencias sociales, sino las relaciones causales que pueden ocurrir en cualquier especie de razonamiento. Su contenido es vacío, es solo forma.Las más conocidas son la Lógica, la Matemática, la Teoría de Sistemas y la estadistica.En la Lógica, la veracidad o falsedad de sus enunciados no dependen de la realidad sensible, sino de la coherencia interna del discurso.

 La lógica aristotélica crea un lenguaje simbólico y convencional, que transforma el sujeto y predicado de las proposiciones en variables, sin tomar en cuenta si esas aseveraciones son verdaderas o falsas. “Todo S es P” reemplazaría por ejemplo a “Todo cuadrúpedo tiene cuatro patas”.Las conclusiones a las que se arriba no son demostrativas sino que aseguran una inferencia formal. Sin embargo, en la lógica hegeliana, se supera la pura formalidad, pues el sujeto pensante se confunde con el objeto del pensamiento, siendo las categorías del pensar, las mismas que las del ser.En Matemática también se actúa sobre entes abstractos (números,simbolos o figuras) que son estudiados partiendo de axiomas.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ó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 teórica, etc.

http://www.webdianoia.com/glosario/display.php?action=view&id=58&from=action=search%7Cby=C