Respuestas
Respuesta:
ciencia formal que estudia los principios de la demostración e inferencia válida
La lógica es la ciencia formal y rama tanto de la filosofía como de las matemáticas que estudia los principios de la demostración y la inferencia válida,[1] las falacias, las paradojas y la noción de verdad.[2]
Existe una clasificación muy difundida del quehacer científico en dos grandes troncos: las ciencias formales y las ciencias empíricas. Entre las últimas se cuentan todas aquellas disciplinas cuyo criterio de éxito lo constituye una suerte de acuerdo entre la teoría y la experiencia matizado por otros valores epistémicos como la simplicidad.
El caso de las ciencias formales es distinto, pues la verdad o falsedad de sus afirmaciones se puede conocer a priori aplicando exclusivamente la razón no ayudada por la observación, y sus conclusiones tienen carácter necesario: es imposible que sean falsas. En esta categoría entran, por ejemplo, las matemáticas. Pero hay otra ciencia formal bastante
famosa entre el público general: la Lógica.