Ciencias formales

Carta Rara · N.º 44276

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…

Leer en Wikipedia