Ciencias formales
rama de la ciencia que estudia los sistemas formales
From Wikipedia, the free encyclopedia
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.[1] 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.
Ejemplos
Matemática
.png)
Las matemáticas o, también, la matemática [3][4][5] (del latín mathematĭca, y a la vez del griego μαθηματικά, transliterado como mathēmatiká, derivado de μάθημα, tr. máthēma ‘lo que se comprende’) es una ciencia formal que estudia los patrones, propiedades, estructuras y relaciones presentes en sistemas lógicos y abstractos creados por los humanos, conceptos tales como cantidad, forma, espacio y número se podrían considerar como el objeto de estudio de la matemática.[6][7][8][9][10]
Lógica
La lógica es una rama de la filosofía[11][12][13][14][15] de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida,[16] las falacias, las paradojas y la noción de verdad.[17]
La lógica se divide en varias categorías según su campo de estudio. La lógica filosófica estudia el concepto y la definición, la enunciación o proposición y la argumentación utilizando los métodos y resultados de la lógica moderna para el estudio de problemas filosóficos. La lógica matemática estudia la inferencia mediante sistemas formales como la lógica proposicional, la lógica de primer orden y la lógica modal. La lógica informal se enfoca en el desarrollo lingüístico de los razonamientos y sus falacias. La lógica computacional es la aplicación de la lógica matemática a las ciencias de la computación.
Los orígenes de la lógica se remontan a la Edad Antigua, con brotes independientes en China, India y Grecia. Desde entonces, la lógica tradicionalmente se considera una rama de la filosofía, pero en el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, y por lo tanto ahora también se considera parte de las matemáticas, e incluso una ciencia formal independiente.
No existe un acuerdo universal sobre la definición exacta o los límites de la lógica.[18][19][20] Sin embargo, el ámbito de la lógica (interpretada en sentido amplio) incluye:
- La clasificación de los argumentos.
- El análisis sistemático de las formas lógicas.
- El estudio sistemático de la validez de las inferencias deductivas.
- La fuerza de las inferencias inductivas.
- El estudio de los argumentos defectuosos, como las falacias.
- El estudio de las paradojas lógicas.
- El estudio de la sintaxis y la semántica de los lenguajes formales.
- El estudio de los conceptos de sentido, denotación y verdad.
Históricamente, la lógica se ha estudiado principalmente en filosofía desde la antigüedad, en matemáticas desde mediados del siglo XIX y en informática desde mediados del siglo XX. Más recientemente, la lógica también se ha estudiado en lingüística y en ciencias cognitivas. En general, la lógica sigue siendo un área de estudio fuertemente interdisciplinaria.
Ciencias de la computación
 |
 |
 |
 |
Las ciencias de la computación, también denominadas ciencias de la informática, son un conjunto de ciencias formales que estudian los fundamentos teóricos de la información y de la computación, así como sus aplicaciones prácticas en los sistemas de información y en los sistemas informáticos.[21][22][23]
El cuerpo de conocimiento de las ciencias de la computación suele describirse como el estudio sistemático de los procesos algorítmicos que describen, transforman y representan información: su teoría, análisis, diseño, eficiencia, implementación y aplicación.[24]
En un sentido más específico, la disciplina aborda el estudio formal de la factibilidad, la estructura, la expresión y la automatización de procedimientos metódicos (o algoritmos) que intervienen en la adquisición, representación, procesamiento, almacenamiento, comunicación y acceso a la información.
La información puede estar codificada en forma de bits dentro de la memoria de una computadora o representada en otros sistemas físicos o biológicos, como los genes y las proteínas en una célula.[25]
Existen diversas ramas o disciplinas dentro de las ciencias de la computación; algunos resaltan los resultados específicos del cómputo (como los gráficos por computadora), mientras que otros (como la teoría de la complejidad computacional) se relacionan con propiedades de los algoritmos usados al realizar cómputo; y otros se enfocan en los problemas que requieren la implementación de sistemas informáticos. Por ejemplo, los estudios de la teoría de lenguajes de programación describen un cómputo, mientras que la programación de computadoras aplica lenguajes de programación específicos para desarrollar una solución a un problema computacional específico. Un computólogo se especializa en teoría de la computación y en el diseño e implementación de sistemas computacionales.[26]
Según Peter J. Denning, la cuestión fundamental en que se basa la ciencia de la computación es: «¿Qué puede ser (eficientemente) automatizado?».[27]
Estadística
La estadística es la disciplina que estudia la variabilidad de los fenómenos y los procesos aleatorios que la generan, conforme a las leyes de la probabilidad. El término proviene del alemán Statistik —forma femenina derivada a su vez del italiano statista (‘hombre de Estado’)—, haciendo alusión a sus orígenes como herramienta para el análisis de datos del Estado.[28][29]
En el ámbito de las ciencias fácticas, la estadística se emplea como herramienta metodológica para la recolección, organización, análisis, interpretación y presentación de los datos obtenidos durante la investigación. Este proceso permite extraer conclusiones a partir de muestras y formular inferencias sobre las poblaciones de origen.
