{"id":59198,"date":"2023-08-16T21:40:28","date_gmt":"2023-08-16T19:40:28","guid":{"rendered":"https:\/\/www.carolinacampalans.com\/glossary\/ciencia-formal\/"},"modified":"2023-08-16T21:40:28","modified_gmt":"2023-08-16T19:40:28","slug":"ciencia-formal","status":"publish","type":"glosario","link":"https:\/\/www.carolinacampalans.com\/?glosario=ciencia-formal","title":{"rendered":"ciencia formal"},"content":{"rendered":"
<\/div>

Una disciplina cient\u00edfica que estudia objetos abstractos, como puede ser un sistema formal o un lenguaje formal.<\/p>\n<\/div>

\n<\/div><\/div><\/div><\/div><\/div>

Descripci\u00f3n<\/h2><\/div>

Las <\/span>ciencias formales son aquellas disciplinas que no se ocupan de los hechos del mundo f\u00edsico o natural,<\/span> sino de <\/span>objetos abstractos e ideales que solo existen en la mente humana.<\/span> A diferencia de la biolog\u00eda o la f\u00edsica,<\/span> no necesitan observar la realidad para validar sus conocimientos; se basan en el rigor de la l\u00f3gica y la coherencia interna de sus sistemas.<\/span><\/p>\n<\/div>

Ejemplos de ciencias formales son la estad\u00edstica, las matem\u00e1ticas, la l\u00f3gica o la ciencia inform\u00e1tica.<\/p>\n<\/div><\/div><\/div>

El objeto de estudio: entes ideales<\/h3><\/div>

Mientras que las ciencias f\u00e1cticas estudian objetos que podemos tocar o medir, las ciencias formales estudian formas<\/em>, como por ejemplo n\u00fameros, s\u00edmbolos y figuras o sistemas de signos.<\/span><\/p>\n<\/div><\/div><\/div>

El m\u00e9todo: la deducci\u00f3n<\/h3><\/div>

El m\u00e9todo principal es el <\/span>deductivo; e<\/span>sto significa que las ciencias formales parten de verdades aceptadas, llamadas <\/span>axiomas,<\/span> y, mediante reglas l\u00f3gicas, llegan a conclusiones, llamadas <\/span>teoremas<\/span>.<\/span><\/p>\n

En ciencias formales no hay experimentos; el resultado se demuestra mediante la l\u00f3gica de la propia ciencia.<\/p>\n

El criterio de verdad es muy diferente al de las ciencias f\u00e1cticas:\u00a0algo es verdadero<\/em> si no hay contradicciones dentro del sistema. Se busca la coherencia, no la concordancia con la realidad.<\/p>\n<\/div><\/div><\/div>

Historia<\/h3><\/div>

La historia de las ciencias formales es el relato de c\u00f3mo la humanidad pas\u00f3 de contar objetos f\u00edsicos a razonar sobre estructuras l\u00f3gicas puras.<\/span> Los precursores se pueden dividir en cuatro grandes etapas.<\/span><\/p>\n<\/div>

<\/span>La Antig\u00fcedad: El nacimiento del rigor<\/span><\/h4>\n

En esta etapa se pas\u00f3 de usar las matem\u00e1ticas como herramienta pr\u00e1ctica (para medir tierras o impuestos) a verlas como un sistema de verdades eternas.<\/p>\n