Metraipolis › archive › dc_7cbef76da18b

Ciencias formales — Wikipedia (es)

Source: Wikipedia (es)
Original: https://es.wikipedia.org/wiki/Ciencias_formales
License (as archived): CC-BY-SA-4.0
Archived: 2026-10-06T20:07:28.244Z
SHA-256 of the archived text: d600bcd262b82c5adf09cb7408f9ba4f2ca3eaf0ac59db2a209a196ae4b60e32
Stable URL of this page: https://metraipolis.com/documento/dc_7cbef76da18b

How to cite

Ciencias formales — Wikipedia (es) — Wikipedia (es), https://es.wikipedia.org/wiki/Ciencias_formales (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_7cbef76da18b (Metraipolis archive dc_7cbef76da18b, sha256 d600bcd262b82c5adf09cb7408f9ba4f2ca3eaf0ac59db2a209a196ae4b60e32)

BibTeX

@misc{dc7cbef76da18b,
  title = {Ciencias formales — Wikipedia (es)},
  howpublished = {Wikipedia (es)},
  url = {https://es.wikipedia.org/wiki/Ciencias_formales},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_7cbef76da18b; sha256 d600bcd262b82c5adf09cb7408f9ba4f2ca3eaf0ac59db2a209a196ae4b60e32},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (es), https://es.wikipedia.org/wiki/Ciencias_formales. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Las ciencias formales son un conjunto de ciencias que estudian los lenguajes formales y los sistemas formales. Se consideran ciencias puras la matemática, la lógica, la estadística y, recientemente, la ciencia de computación. 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 deducción; y a diferencia de las ciencias fácticas, no admite la inducción ni la abducción. 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, axiomas y reglas de inferencia. Todas ellas son 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 «teoremas», que a su vez provienen de demostraciones matemáticas.

Tema degli esploratori: statistica e scienza dei dati (deposito sistematico; ricerca «inferencia estadística»).
Fonte: Wikipedia in spagnolo, voce «Ciencias formales» — https://es.wikipedia.org/wiki/Ciencias_formales
Wikidata Q816264: «Scienze applicate che si basano su concetti astratti, sociali e naturali.» (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q816264
Autori: i contributori di Wikipedia (cronologia: https://es.wikipedia.org/wiki/Ciencias_formales?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 173580172, consultata il 2026-10-06T18:33:16.898Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: ad13a70e261c53eda3af4f470c88e44fc803d2c85603d2451a9a3eeee12328c8