LENGUAJE Y LA LÓGICA

La lógica es un lenguaje artificial pero que como todos los lenguajes artificiales están hechos por el hombre y mantiene continuos contactos con el lenguaje natural, de este modo es útil para ordenar y clarificar el propio lenguaje natural y es imprescindible para la obtención de las verdades científicas y filosóficas propias de lo que podría denominarse "lógica material" de la realidad.

La lógica formal es la ciencia de los principios de la inferencia formal y que permite establecer la consistencia y validez de los razonamientos o de las argumentaciones.