Ciencias formales

Las ciencias formales comenzaron antes de la formulación del método

científico, con los textos matemáticos más antiguos que datan del 1800 a.
C. (matemáticas babilónicas), 1600 a. C. (matemáticas egipcias) y 1000 a.
C. (matemáticas indias).

¿Que es?
La ciencia formal es una rama de la ciencia que estudia las disciplinas del
lenguaje formal relacionadas con los sistemas formales, como la lógica, las
matemáticas, la geometría, la estadística, la informática teórica, la
inteligencia artificial, la teoría de la información, la teoría de juegos, la
teoría de sistemas, la teoría de decisiones y la lingüística teórica .
¿En que consiste?

consisten en un conjunto sistemático de conocimientos coherentes y racionales.

Su objetivo no es el mundo físico-natural, sino los objetos plenamente abstractos;
sin embargo, los conocimientos de las ciencias formales pueden ser aplicados en
la realidad físico-natural y son utilizados por las ciencias fácticas o empíricas.
El método empleado por las ciencias formales es la deducción y, a diferencia de
las ciencias fácticas, las formales no admiten ni la abducción ni la inducción. Por lo
tanto, una ciencia formal trabaja con las formas; es decir, con objetos que solo
existen en la mente humana y se obtienen por abstracción.

la verdad para las ciencias formales es entendida como una verdad lógica: se trata
de una serie de consecuencias que siguen luego de considerar todas las
posibilidades o las formas en las que se pudieron haber combinado los hechos
preestablecidos.

Características

El método que emplean las ciencias formales es el de la deducción.

– El criterio de una ciencia formal para establecer la verdad se basa en la

consistencia o en la no contradicción.

– Los enunciados de una ciencia formal siempre son analíticos, lo que quiere decir
que se deducen a través de teoremas o postulados.

– Las entidades de las ciencias formales solo pueden existir dentro de la mente
humana.
– Los matemáticos y los lógicos construyen sus propios objetos de estudio a
través de símbolos vacíos.

– La demostración de una ciencia formal es completa, total y final.

– El estudio de las ciencias formales vigoriza el hábito de rigor.

Ejemplos de ciencias formales

1. Lógica. El estudio de los métodos de pensamiento, es decir, de las
proposiciones y los mecanismos de deducción que se desprenden de ellas.
2. Ciencias de la computación. Conocida como informática o programación, se
ocupa de los sistemas lógicos-computacionales que permiten la
automatización de la información.
3. Aritmética. La ciencia del cálculo y de los números, que son abstracciones
mentales.
4. Estadística. Se ocupa del estudio de las probabilidades y las proporciones.
5. Geometría. Estudia las formas geométricas, es decir, las representaciones
mentales o gráficas que podemos hacer del mundo real en nuestras
mentes.

Objeto de estudio
se puede decir que el objeto de estudio de las ciencias formales son las formas;
estas se pueden presentar como relaciones, abstracciones u objetos ideales que
han sido construidos en la mente del hombre.
Su interés reposa en los sistemas formales de relaciones que no cuentan con
contenido propio, pero que pueden ser utilizados durante el análisis de cualquier
aspecto de la realidad.
Las ciencias formales validan sus teorías con base
en proposiciones, definiciones, axiomas y reglas de inferencia. Todas ellas
son analíticas y por regla general se asumen exactas o perfectas,
¿Cómo se construye?

las ciencias formales se construyen delineando un conjunto de axiomas y

definiciones a partir de los cuales se deducen otros enunciados
(teoremas). Por ello, en la concepción lógico -positivista de la
epistemología de la ciencia de Rudolf Carnap, se entiende que las teorías
pertenecientes a las ciencias formales no contienen enunciados sintéticos,
sino que todos sus enunciados son analíticos.