FACULTAD DE INGENIERÍA,

ARQUITECTURA Y URBANISMO

ESCUELA ACADÉMICO PROFESIONAL DE

INGENIERÍA CIVIL

CIENCIAS FORMALES

Alumno (s):
Alcalde Cajo Tatiana
Cervera Sánchez Jimena
Díaz Fernández José
Orderique Chilón Carlos
Rivera Segura Miguel

Docente:
García Merino Luis Santiago

Pimentel – Perú
2019
 CIENCIAS FORMALES

Estudian las ideas, están constituidas por las matemáticas y la lógica. Se valen

del método axiomático deductivo, este consiste en un conjunto de enunciados
no demostrados o axiomas y unas reglas deductivas que se le aplican para
obtener teoremas. No pueden validar sus fórmulas a través del contacto con la
realidad ya que se refieren a lo abstracto. Es autosuficiente por su contenido y
método de prueba, que le permiten conseguir una verdad completa. Se vale de
fórmulas analíticas que pueden convalidarse por medio del análisis racional.
Estas ciencias además constituyen una herramienta conceptual para todas las
otras ciencias y áreas del conocimiento.

Objeto de las Ciencias

La mayoría de las ciencias tienen como objeto primordial de estudio los hechos
objetivos, o sea, hechos que suceden en la naturaleza. Por ejemplo,
la botánica estudia las transformaciones y cambios que ocurren en el reino
vegetal. La vegetación, las plantas y los árboles están ahí. Son un hecho
objetivo.

Un científico botánico puede verlos, tocarlos, observarlos, reproducirlos,

injertarlos, podarlos, etc. Está trabajando con hechos. Pero no todos los
científicos trabajan con hechos objetivos.

Hay algunos que trabajan primordialmente con formas. Los dos casos más
importantes son la lógica y la matemática. En ambos casos, se trata de la
construcción de entes ideales, abstractos, que no corresponden directamente a
hechos de la realidad y cuya existencia se ubica en la mente humana. Por lo
tanto, las ciencias fácticas trabajan primordialmente con los hechos y las
ciencias formales primordialmente con formas.

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á obligada 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
fórmulas. 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.

Diferencias entre las Ciencias Formales y Fácticas

La palabra fáctica proviene del latín facto que significa hecho. Las ciencias
fácticas son, entonces, las que estudian los hechos. Las formales, como su
nombre lo indica, estudian las formas. En consecuencia, la primera diferencia
entre las ciencias formales y las fácticas son su objeto de estudio.

Es necesario poner atención a la palabra “primordialmente”, porque quiere

decir que las ciencias fácticas también trabajan con abstracciones y que las
ciencias formales reciben influencia de los procesos reales.

Es claro que el botánico, después de observar muchos árboles, construye un

ente abstracto que es el concepto de “árbol”, el cual no corresponde a un árbol
en particular. Por otro lado, para ayudarse en su estudio, el botánico tiene que
recurrir a conceptos más formales, como los números, a fin de formular las
leyes científicas que él trata de probar. Otra diferencia entre las ciencias
exactas y las fácticas radica en su método de estudio.

El método científico tiende:

 En las ciencias formales, a demostrar o probar.

 En las ciencias fácticas, a confrontar las leyes con la práctica.
Referencias

EcuRed. (s/f). Ciencia Formal. Recuperado de:

https://www.ecured.cu/Ciencia_Formal

Estela, M. (2018). Concepto de Ciencias Formales. Recuperado de:

https://concepto.de/ciencias-formales/

Paredes, M. (2014). Ciencias Fácticas y Ciencias Formales. Recuperado

de: https://es.slideshare.net/milagrosparedesgastelu/ciencias-fcticas-y-ciencias-
formales

Wikipedia. (s/f). Ciencias Formales. Recuperado de:

https://es.wikipedia.org/wiki/Ciencias_formales

Caballero, R. (s/f). Concepto de Ciencia, Ciencias Formales y Ciencias

Factuales. Recuperado de: https://sites.google.com/site/fisicacbtis162/in-the-
news/1-4---concepto-de-ciencia-ciencias-formales-y-ciencias-factuales