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 la lógica deductiva, con todas sus variantes. Las ciencias formales estudian el saber en contraposición a las ciencias factuales que estudian el ser.
Algunos ejemplos de las ciencias formales son: matemáticas, la lógica, ciencias de la computación, la teoría de juegos, etc.
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος …ver más…

Estudian los aspectos físicos, y no los aspectos humanos del mundo. Así, como grupo, las ciencias naturales se distinguen de las ciencias sociales o ciencias humanas (cuya identificación o diferenciación de las humanidades y artes y de otro tipo de saberes es un problema epistemológico diferente). Las ciencias naturales, por su parte, se apoyan en el razonamiento lógico y el aparato metodológico de las ciencias formales, especialmente de las matemáticas, cuya relación con la realidad de la naturaleza es menos directa (o incluso inexistente).
Ciencias sociales es una denominación genérica para las disciplinas o campos de saber que reclaman para sí mismas la condición de ciencias y que se ocupan de distintos aspectos de los grupos sociales y los seres humanos en sociedad, ocupándose tanto de sus manifestaciones materiales como las inmateriales. Otras denominaciones confluyentes o diferenciadas, según la intención del que las utiliza, son las de ciencias humanas, humanidades o letras (términos que implican distintas consideraciones epistemológicas y metodológicas). También se utilizan distintas combinaciones de esos términos, como la de ciencias humanas y