A menudo se distingue entre dos campos de la lógica: la lógica formal y la lógica informal.

Lógica formal: Atiende al lenguaje formal, o sea, a la manera de expresar sus contenidos. Los emplea de manera estricta, sin ambigüedades, de modo tal que se pueda analizar el recorrido deductivo a partir de la validez de sus formas (de allí su nombre).
Lógica informal: Estudia sus argumentos a posteriori, distinguiendo las formas válidas e inválidas a partir de la información dada, sin reparar en su forma lógica o en su lenguaje formal. Esta variante surgió a mediados del siglo XX como una disciplina dentro de la filosofía.Se conoce como lógica formal o matemática a la aplicación del pensamiento lógico a determinadas áreas de la matemática y la ciencia. Esto implica el estudio del proceso de la inferencia mediante sistemas formales de representación como la lógica proposicional, la lógica modal o la lógica del primer orden, que permiten “traducir” el lenguaje natural al lenguaje lógico. Cada uno de estos sistemas opera sobre distintos elementos. La lógica proposicional opera sobre proposiciones con variables proposicionales y no utiliza cuantificadores o variables de individuo. La lógica de primer orden o lógica predicativa opera sobre predicados y utiliza cuantificadores y variables de individuo. La lógica modal opera sobre el valor de verdad de las distintas proposiciones y predicados.

Comentarios sobre el artículo «18 Diseños que no sabemos cómo pasaron todos los filtros de calidad»