Ver el código de «Ciencias formales»

Las '''ciencias formales''' son un conjunto de [[ciencia]]s que estudian los [[lenguajes formales]] y los [[sistemas formales]]. Si bien su objeto de estudio no es el mundo físico o natural, sino [[objetos abstractos]], sus conocimientos pueden ser más o menos aplicados a dicha realidad físico-natural. 

El método propio de las ciencias formales es la [[razonamiento deductivo|deducción]]; y a diferencia de las [[ciencias fácticas]], no admite la [[razonamiento inductivo|inducción]] ni la [[razonamiento abductivo|abducción]].<ref>[https://deconceptos.com/general/ciencias-formales Concepto de ciencias formales] en DeConceptos.</ref> Es aquella que trabaja con formas, es decir, con objetos ideales que existen en la mente y son obtenidos por abstracción. 

La verdad en las ciencias formales es entendida como [[verdad lógica]]: consecuencias que siguen necesariamente de considerar todas las posibilidades o «formas» en las que podrían combinarse los hechos preestablecidos.

Ejemplos de ciencias formales son las [[matemáticas]], la [[lógica]] y las [[ciencias de la computación]].

Las ciencias formales son las [[ramas de la ciencia]] que estudian [[sistemas formales]]. Las ciencias formales validan sus teorías con base en [[proposiciones]], [[definiciones]], [[axioma]]s y [[reglas de inferencia]]. Todas ellas son [[Distinción analitico-sintético|analíticas]] y por regla general se asumen exactas o perfectas, a diferencia de las [[ciencias sociales]] y las [[ciencias naturales]], que se argumentan de manera empírica o con métodos experimentales; es decir, observando el mundo real para encontrar más o menos evidencia a favor de una hipótesis. Los conocimientos de la ciencia formal suelen llamarse «[[Teorema|teoremas]]», que a su vez provienen de [[Demostración en matemática|demostraciones matemáticas]].

== Ejemplos ==

=== Matemática ===

{{Extracto|Matemáticas}}

=== Lógica ===

{{Extracto|Lógica}}

=== Ciencias de la computación ===

{{Extracto|Ciencias de la computación}}

== Véase también ==

* [[Ciencias naturales]]
* [[Ciencias sociales]]
* [[Ciencias aplicadas]]

== Referencias ==
{{Listaref}}

{{Control de autoridades}}
[[Categoría:Ciencias formales| ]]