Ciencias formales

las ciencias formales las proposiciones analíticas o contradictorias recogen los

enunciados de las matemáticas y la lógica que en general constituyen las ciencias
formales. El positivismo lógico considera a estas ciencias no empíricas.

Las ciencias formales están divididas de una forma radical: por un lado las ciencias
reales y por otro lado las ciencias empíricas. Las empíricas deben satisfacer
determinados requisitos lógicos en sus inferencias y deben adaptarse a las
formalizaciones derivadas de la lógica matemática.

Hay varias maneras de clasificar las ciencias. Una de ellas las distingue entre: ciencias
formales, ciencias naturales y ciencias sociales.

Las ciencias formales tienen dos peculiaridades respecto a las naturales y a las sociales.
En primer lugar, el objeto de estudio surge de la abstracción humana, es decir; no
estudia el mundo real, sino sistemas creados ad hoc. La segunda peculiaridad es la
manera en la que operan: mientras las ciencias naturales y las sociales son empíricas,
las ciencias formales son analíticas, y usan el método deductivo.

Aunque hayamos dicho que son abstractas y que no estudian el mundo real, son
fundamentales para el desarrollo de cualquier otra ciencia, ya que, siendo poéticos, las
ciencias formales ofrecen el lenguaje a las demás ciencias.

La ciencia según Mario Bunge

La ciencia según Mario Bunge La ciencia es el conocimiento racional, sistemático,
exacto, verificable y por ende falible, el ser humano. amasa y remoldea la naturaleza,
sometiéndola a sus necesidades. ... Las ciencias fácticas alcanzan un
tipo de conocimiento racional y objetivo.

Concepto de ciencias formales

El conjunto de conocimientos que denominamos "ciencia" está compuesto por

diferentes tipos de conocimiento que agrupamos y clasificamos en diferencias ciencias.
Esta clasificación surge aplicando varios criterios como el tipo de objetos que estudian
o el método que emplean para conocer "cientificamente" esos objetos. Vamos ahora a
centrarnos en este último aspecto: el metodo científico. A continuación analizaremos
los dos métodos principales usados respectivamente por cada tipo de ciencia: las
ciencias formales y las ciencias experimentales. Previamente veremos qué es un
método científico.
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 abstracción 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 concusiones 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 Estadística.

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, símbolos o figuras)
que son estudiados partiendo de axiomas.

Método de las ciencias formales

Las ciencias formales se basa en las construcciones lógicas, su método tiende a probar
la coherencia de su razonamiento con base en los supuestos o axiomas que se adoptan.

Axioma
Un axioma es un supuesto de una ciencia formal, cuya corrección se da por aceptada y,
por tanto, no se discute. La prueba consiste en demostrar la coherencia interna y la
corrección de una afirmación, partiendo de los axiomas o de conclusiones basadas en
esos axiomas. Por ejemplo:
Etapa 1. Se adoptará este axioma: “dos cosas iguales a una tercera, son iguales entre sí.
Etapa 2. Para facilidad del razonamiento, le damos una representación literal a cada una
de esas tres cosas. Respectivamente llamaremos: a, b y c.
Etapa 3. Las dos primeras etapas nos permiten formular el axioma dicho de la siguiente
manera: si a = b, y b = c, entonces a = b.
Etapa 4.Si le damos un valor de 1 a “b”, entonces podemos concluir que también a = 1,
y que también c = 1.
Para demostrar o probar ésta conclusión no se está obligado a la confrontación con la
realidad. Basta cumplir con las leyes internas de la lógica que se ha adoptado. Sobre ésta
conclusión es posible, si se siguen estrictamente las reglas de la lógica, construir otras
conclusiones, hasta elaborar un sistema coherente de pensamiento.
Las ciencias fácticas se dividen en: ciencias naturales y ciencias sociales. Las ciencias
naturales se dedican al estudio de procesos, cambios y transformaciones de la materia
tal como se presenta en la naturaleza. En tanto que las Ciencias Sociales estudian las
relaciones de los hombres entre sí.
Entre las ciencias sociales se encuentran la economía, la antropología, la historia,
la geografía humana, la psicología social y, por supuesto, la sociología.

División radical de las ciencias formales

En las ciencias formales las proposiciones analíticas o contradictorias recogen los
enunciados de las matemáticas y la lógica que en general constituyen las ciencias
formales. El positivismo lógico considera a estas ciencias no empíricas.
Las ciencias formales están divididas de una forma radical, por un lado las ciencias reales
y por otro lado las ciencias empíricas. Las empíricas deben satisfacer determinados
requisitos lógicos en sus inferencias y deben adaptarse a las formalizaciones derivadas
de la lógica matemática.
Las expresiones y formulas de la lógica y de las matemáticas no deben verificarse por
ser analíticas, pero el resto de los enunciados científicos deben ser comprobados en la
realidad o por observación.
La lógica y la matemática son ciencias formales, por ocuparse de inventar entes formales
y establecer relaciones entre ellos. Estos objetos no son cosas ni procesos, sino formas
en las que se puede verter un surtido ilimitado de contenidos, tanto fácticos como
empíricos. Se pueden establecer correspondencias entre estas formas u objetos
formales relacionándolas con objetos o procesos pertenecientes a cualquier nivel de la
realidad.
Los teoremas formales solo deben ser probados apoyados en la lógica. Las ciencias
formales no se refieren a nada que se encuentre en la realidad, por eso no pueden
utilizar nuestros contactos con la realidad para convalidar sus formulas. Estas ciencias
estudian conceptos abstractos, además de las leyes lógicas, es decir las leyes que
permiten inferir proposiciones a partir de enunciados verdaderos. Su característica
típica es que demuestran o prueban sus enunciados con base en principios lógicos o
matemáticos, pero no los confirman experimentalmente.
De esta forma las ciencias formales no dan información acerca de la naturaleza,
conformándose con ser recursos o instrumentos meramente formales, que el científico
 necesariamente tendrá que manejar en la práctica de investigaciones, comprobaciones
y verificaciones.

LA LÓGICA
Como ciencia del razonamiento se ha visto modificada en varios aspectos a través de la
historia, hasta tal punto que actualmente se habla de varias lógicas. Estas son, Las lógicas
extendidas: se llaman así porque se consideran extensiones de la lógica clásica, como en
el caso de la lógica modal.
Las lógicas divergentes: llevan este nombre puesto que no están de acuerdo en algunas
tesis sustantivas de la lógica clásica, como en el caso de la lógica trivalente.

LA MATEMÁTICA
Consta de la teoría de conjuntos y las geometrías no euclidianas, instrumentos
matemáticos descubiertos y formulados para auxiliar y entender los nuevos aspectos
del universo que surgen a los ojos de las nuevas teorías físicas.

Características de las ciencias formales

Índice
 1. Objeto de estudio
 2. La “verdad”
 3. Metodología
 4. Herramientas
 5. Clasificación
 6. Objetivo
 7. Símbolos
 8. Comprobación
 9. Tiempos
 10. Ejemplos

1. Objeto de estudio

Las ciencias formales tienen por objeto de estudio las formas vacías de contenido, los
objetos creados por el hombre en su mente, sus formas. Las fácticas tienen por objeto
la realidad física y natural, el mundo real: estudia los hechos y sus correlaciones.

Las ciencias formales y fácticas analizan objetos reales en medios ideales, y objetos
ideales en ambientes formales (como las emociones en la mente humana).

2. La “verdad”
 Las ciencias formales buscan demostrar teoremas, toma como “verdad” aquello que es
necesario y formal, lo que tenga coherencia lógica dentro de un sistema.

Las ciencias fácticas consideran como “verdad” aquello que apruebe el contraste del
análisis, los resultados, y verifique o refute la hipótesis inicial.

El resultado de los análisis se considera una “verdad provisoria”, pues en este análisis
la realidad y el marco del análisis puede ir modificándose

3. Metodología

En las ciencias formales, la metodología de aplicación es el método deductivo:

inducción, deducción y lógica. En las ciencias fácticas, el método es de observación y
experimentación: el método científico. La metodología de ambas dependerá además
del objeto de estudio y de su ambiente y medio, a veces real, y a veces ideal.

4. Herramientas

Las ciencias formales se valen de definiciones, axiomas, reglas de inferencia y

proposiciones, siempre del tipo analítico, pues no es posible hacer observaciones del
mundo real. Las ciencias fácticas se valen de metodologías empíricas, observación,
estudio y análisis. En las ciencias formales y fácticas, las herramientas conjugarán
ambas alternativas, de acuerdo al objeto y a su medio en la situación analizada.

5. Clasificación

Los objetos de estudio de las ciencias formales y fácticas pueden distinguirlas, según su
aplicación, en tres ramas principales:

 Ciencias naturales: Analizan el medio ambiente, el entorno natural, las

adecuaciones climáticas y otros).
 Ciencias sociales: Analizan al hombre como individuo, y más).
 Ciencias culturales: El humano como parte de un tiempo y un lugar – sociedad).

6. Objetivo

 En las ciencias formales el objetivo es hallar pruebas, demostrar una noción.

  En las ciencias fácticas el objetivo está puesto en probar o refutar hipótesis
iniciales.

7. Símbolos

En las ciencias formales los símbolos suelen ser vacíos e interpretables (por ejemplo,
un cálculo como ‘x+5=7’ merece la interpretación que defina a ‘x’). En las ciencias
fácticas los símbolos son determinados, no abiertos a interpretación (en la
composición química del agua ‘H2O’, ‘H’ es el elemento Hidrógeno inequívocamente).

El símbolo utilizado ha de adecuarse al objeto del estudio, pudiendo usarse símbolos

inequívocos en algunos casos, aunque normalmente se requiere del análisis de los
símbolos (si se estudia un período histórico se adecuará al sitio, a las personas
analizadas, y más).

8. Comprobación

En las ciencias formales el método de comprobación debe corresponderse a la lógica:

los resultados funcionan en una teoría estricta, y en todas las condiciones. En las
fácticas, la comprobación quedará demostrada en la práctica: la regla se cumple
siempre que suceda en ciertas condiciones. Por tanto, la comprobación dependerá del
análisis o estudio efectuado, en consideración a los objetos.

9. Tiempos

Las demostraciones formales son completas y finales, y las fácticas son temporales e
incompletas. En este caso, los tiempos de los resultados formales y fácticos también
serán temporales o provisorios, pues los elementos son tanto ideales como formales.

10. Ejemplos

Incluyen lo que suele denominarse como ciencias “naturales” (biología, geografía,

climatología, etc), las “sociales” (historia, literatura, demografía, etc.), y también las
llamadas “culturales” (psicología, sociología, antropología, economía, política, etc.).

Ejemplo 1: Matemáticas. Conocidas también como exactas, son, para muchos, la

fuente de conocimiento más fiable del mundo y la única que no está sujeta a cambio.
Una verdad matemática será verdad para siempre. Más que una ciencia, se puede
considerar como el lenguaje de las ciencias.
Ejemplo 2: Lógica. La lógica guarda una estrecha relación con las matemáticas,
existiendo el campo de conocimiento llamado "Lógica matemática". La lógica estudia
el proceso por el cual, a partir de proposiciones concretas, se llega a determinadas
conclusiones, y nos ayuda a entender si las conclusiones son correctas o no. El ejercicio
lógico más famoso es el silogismo, que consta de dos proposiciones y una conclusión.

Ejemplo 3: Ciencias de la computación. Más comúnmente conocidas como informática,

las ciencias de la computación operan en el mundo digital. Si los dispositivos
electrónicos funcionan es gracias a la informática. En una época de esplendor
tecnológico como la que estamos viviendo, las ciencias de la computación nos
permiten entender cómo funcionan y qué pueden hacer las máquinas, y, sobretodo,
cómo decirles lo que pueden hacer. Y esto es fundamental.

Fuentes

 Diccionario de psicología científica y filosófica. Disponible en: Ciencias-Deductivas

 Chávez Calderón, Pedro. Historia de las doctrinas filosóficas. Disponible en: Ciencias
formales
 Fuente:https://www.caracteristicas.co/ciencias-formales-y-ciencias-
facticas/#ixzz5LXSzMsOn
 Introducción las ciencias formalesdepartmento de educación universidad e
investigación
 Reflexiones sobre el desrrollo y clasificación de las ciencias. Garcia tuduri R(1955)
 La antigua tarea de ordenar y clasificar las ciencias . universum 206-216
 La ciencia método y su filosofía mario bunge