¿Por qué la lógica es formal?

Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del "lenguaje apofántico" como manifestador de la verdad en la ciencia.

Pensaba que la verdad se manifiesta en el juicio verdadero y el argumento válido en el silogismo : “Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente”.

Nació así la lógica formal.

La lógica es una ciencia formal y que por tanto, no tiene contenido, sino que simplemente estudia las formas válidas de inferencia.

Es el estudio de métodos y principios utilizados para distinguir el razonamiento correcto del incorrecto.

La lógica tradicional, es una rama de la filosofía que estudia los principios de la demostración e inferencia válida.

La lógica tradicional, se basa en el silogismo como razonamiento basado en el juicio categórico aristotélico.

Hoy día la lógica utiliza como unidad básica la proposición y las reglas de inferencia en la argumentación discursiva.

Históricamente la palabra "lógica" ha ido cambiando de sentido.

Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría.