Ciencias formales

La ciencia formal es una rama de la ciencia que estudia las disciplinas del lenguaje formal relacionadas con los sistemas formales, como la lógica, las matemáticas, la estadística, la informática teórica, la inteligencia artificial, la teoría de la información, la teoría de juegos, la teoría de sistemas, la teoría de decisiones y la lingüística teórica. Mientras que las ciencias naturales y las ciencias sociales buscan caracterizar los sistemas físicos y los sistemas sociales, respectivamente, utilizando métodos empíricos, las ciencias formales son herramientas del lenguaje que se ocupan de caracterizar estructuras abstractas descritas por sistemas simbólicos. Las ciencias formales ayudan a las ciencias naturales y sociales proporcionando información sobre las estructuras utilizadas para describir el mundo físico y qué inferencias se pueden hacer sobre ellas.

El uso moderno del término ciencias formales, en la literatura en idioma inglés, ocurre al menos ya en 1860, en una publicación póstuma de conferencias sobre filosofía de Sir William Hamilton en las que la lógica y las matemáticas se enumeran como ciencias formales. Remontándose aún más a 1819, Wilhelm Esser publicó un libro de texto en alemán sobre lógica, aclarando el significado de la designación ciencia formal (Formalwissenschaft) aplicada a la lógica; se proporciona una traducción al inglés en la conferencia de William Hamilton:

Las ciencias formales comenzaron antes de la formulación del método científico, con los textos matemáticos más antiguos que datan del 1800 a. C. (matemáticas babilónicas), 1600 a. C. (matemáticas egipcias) y 1000 a. C. (matemáticas indias). A partir de entonces diferentes culturas como la griega, la árabe y la persa hicieron importantes aportes a las matemáticas, mientras que la china y la japonesa, independientemente de culturas más lejanas, desarrollaron su propia tradición matemática.

It is a long established fact that a reader will be distracted by the readable content of a page when looking at its layout. The point of using Lorem Ipsum is that it has a more-or-less normal distribution of letters, as opposed to using 'Content here, content here', making it look like readable English.

You must log in to access this content
Iniciar con Google
Iniciar con Facebook
x