INSTITUTO TECNOLOGICO DE LA CHONTALPA

Definición de ciencia
La ciencia (del latín scientia 'conocimiento') es el conjunto de conocimientos
sistemáticamente estructurados obtenidos mediante la observación de patrones
regulares, de razonamientos y de experimentación en ámbitos específicos, de los
cuales se generan preguntas, se construyen hipótesis, se deducen principios y se
elaboran leyes generales y esquemas metódicamente organizados.
 ¿Qué son las ciencias
formales?
Las ciencias formales son aquellas ciencias que establecen el razonamiento lógico y
trabajan con ideas creadas por la mente. Esta crea su propio objeto de estudio; su
método de trabajo es el Lógica deductiva, con todas sus variantes. Las ciencias
formales estudian el saber en contraposición a las ciencias factuales que estudian el
ser.
 Objetivos de las ciencias
formales
Los objetos de la ciencias formales son ideales
 Su método es la deducción.
 Y su criterio de verdad: la consistencia o no contradicción de los resultados.
 Todos sus enunciados son analíticos: es decir se deducen de postulados o teoremas
 Importancia de las ciencias
formales
 Las ciencias formales se podrían considerar sin importancia en la vida cotidiana,
pero la realidad es muy diferente, se debe de analizar en todas las veces que se
utiliza el tipo de razonamiento que permite:
 -Ejercitar formas de conocimiento cada vez más complejas y alcanzar niveles de
abstracción que con otro tipo de ciencias no podemos
 Ejemplo:
 Metodología

En las ciencias formales, la metodología de aplicación es el método deductivo:

inducción, deducción y lógica. La metodología dependerá además del objeto de
estudio y de su ambiente y medio, a veces real, y a veces ideal.
 Herramientas

Las ciencias formales se valen de definiciones, axiomas, reglas de inferencia y

proposiciones, siempre del tipo analítico, pues no es posible hacer observaciones del
mundo real. Las ciencias fácticas se valen de metodologías empíricas, observación,
estudio y análisis. En las ciencias formales y fácticas, las herramientas conjugarán
ambas alternativas, de acuerdo al objeto y a su medio en la situación analizada
 Símbolos
 En las ciencias formales los símbolos suelen ser vacíos e interpretables (por
ejemplo, un cálculo como ‘x+5=7’ merece la interpretación que defina a ‘x’). En las
ciencias fácticas los símbolos son determinados, no abiertos a interpretación (en la
composición química del agua ‘H2O’, ‘H’ es el elemento Hidrógeno
inequívocamente).
 El símbolo utilizado ha de adecuarse al objeto del estudio, pudiendo usarse símbolos
inequívocos en algunos casos, aunque normalmente se requiere del análisis de los
símbolos (si se estudia un período histórico se adecuará al sitio, a las personas
analizadas, y más).
 Ejemplos de ciencias formales
 Matemáticas
 Lógica
 Ciencias de la computación teórica
 Teoría de sistemas
 Estadística
 Ciencia de la computación teórica: División dentro de las ciencias de la
computación, que s enfoca en los aspectos más abstractos y matemáticos del área.
Incluye el análisis de algoritmos y sobre todo la semántica formal de lenguajes de
programación.
 Estadística: Ciencia que se encarga de recopilar, organizar, procesar, analizar e
interpretar datos con el fin de deducir las características de una población objetivo.
 Lógica: Disciplina que estudia los procedimientos formales de la razón, intentando
conocer qué tipo de procedimientos son los que usa el cerebro humano por medio
de proposiciones formales.
 Matemáticas: Ciencia deductiva que se dedica al estudio de las propiedades de los
entes abstractos y de sus relaciones. Trabaja con números, símbolos, y figuras
geométricas.
 Teoría de sistemas: Estudio interdisciplinario de los sistemas en general, de modo
tal de estudiar los principios aplicables a los sistemas en cualquier nivel en todos los
campos de la investigación.