LÓGICA FORMAL
La lógica formal es la doctrina sobre las formas del
raciocinio humano; doctrina que establece un
divorcio entre el estudio de estas formas y su
contenido (la Naturaleza y la Sociedad). A esta
lógica no le interesa la verdad material (el reflejo
correcto de los fenómenos de la Naturaleza en el
pensamiento), sino la verdad formal (la
consonancia con las reglas de la lógica). De aquí
su denominación de “lógica formal”. La lógica
formal se dedica a investigar las diversas formas
de los juicios humanos, de los argumentos,
interesándose sólo por si están o no construidos en
consonancia con las reglas de la lógica. La lógica
formal es la base del método metafísico.
Diccionario filosófico marxista
Ciencia de las leyes y de las formas del
pensamiento, cuyos orígenes se remontan
a Aristóteles. La lógica formal enseña a pensar
acertadamente observando las reglas de identidad,
de no contradicción, de determinación, de
demostración, de consecuencia. Si el pensamiento
es contradictorio, incoherente, inconsecuente, no
es posible ningún conocimiento científico, ningún
razonamiento bien fundado, ninguna solución
valedera. “No debe haber ninguna ‘contradicción
lógica’ a condición, desde luego, de que el
pensamiento lógico sea justo, ni en el análisis
económico ni en el análisis político”   empleo en la lógica de los métodos formales de
La lógica formal establece cuatro leyes
fundamentales del pensamiento:
1) El pensamiento debe respetar el principio de
identidad. 2) El pensamiento no debe ser
contradictorio. 3) Si se trata de una cuestión
planteada y comprendida convenientemente, es
inadmisible responder a ella de una manera
indeterminada, ni por sí ni por no.  4) Todo
pensamiento es justo a condición de que esté bien
fundado, de que derive de otro pensamiento justo
que, en ese caso, le sirve de premisa (ley de la
razón suficiente).
Diccionario filosófico abreviado
Ciencia que estudia los actos del pensar –
concepto, juicio, razonamiento, demostración–
LÓGICA SIMBÓLICA
O lógica Matemática se ha formado como resultado
de aplicar, en el terreno de la lógica, los métodos
formales de la matemática basados en el empleo
de un lenguaje especial de símbolos y fórmulas. En
la lógica matemática, el pensamiento lógico de
contenido (procesos del juicio y de la
demostración) se estudia representándolo por
medio de sistemas lógicos formales o cálculos.
Resulta, pues, que la lógica matemática, por su
objeto es lógica, y por su método es matemática.
La lógica matemática contiene generalizaciones de
largo alcance, y el desarrollo de las ideas y
métodos de la lógica formal tradicional constituye
precisamente la etapa presente del desarrollo de la
lógica formal. La lógica matemática contemporánea
incluye en sí una serie de cálculos lógicos,
constituye una teoría sobre dichos cálculos, acerca
de sus premisas, propiedades y aplicaciones. Junto
al estudio de la estructura formal de los cálculos
lógicos (Sintaxis lógica), en la lógica matemática
surge también la necesidad de examinar las
relaciones entre los cálculos y las esferas de
contenido que sirven para las interpretaciones y
modelos de dichas relaciones.
Diccionario filosófico
Esfera del saber, que se formó en virtud del
las matemáticas y de la investigación lógica de los
razonamientos y demostraciones matemáticos. La
lógica matemática estudia los procesos lógicos
reflejándolos en lenguajes formalizados o cálculos
lógicos. Además del estudio de la estructura formal
de los cálculos lógicos (Sintaxis lógica), la lógica
matemática se plantea también la tarea de
examinar aquellas relaciones entre los cálculos y
las esferas substanciales que constituyen
sus interpretaciones y modelos.
Diccionario de filosofía  momento del mismo.
La lógica matemática, también llamada lógica
simbólica, lógica teorética, lógica formal o logística,
LÓGICA DIALÉCTICA
Teoría lógica del materialismo dialéctico, ciencia
acerca de las leyes y formas en que el desarrollo y
el cambio del mundo objetivo se reflejan en el
pensar, acerca de las leyes que rigen el
conocimiento de la verdad. En su expresión
científica, la lógica dialéctica ha surgido como parte
componente de la filosofía marxista.
Diccionario filosófico
Doctrina lógica del materialismo dialéctico, ciencia
sobre las leyes y formas de reflejo en el
pensamiento del desarrollo del mundo objetivo y
sobre las regularidades del conocimiento de la
verdad. 
 La lógica dialéctica segrega las leyes y formas del
desarrollo del pensamiento en el curso del
desarrollo del conocimiento y la práctica socio-
histórica del género humano. Como principio lógico
general, la lógica dialéctica usa el método de
ascenso de lo abstracto a lo concreto (Abstracto y
concreto). Otro principio general de la lógica
dialéctica es la unidad de lo histórico y lo lógico.
Los dos principios están internamente
interrelacionados y se penetran mutuamente.
Diccionario de filosofía
La lógica dialéctica (lógica que estudia el
pensamiento y la forma de razonar) es una
mediación entre la lógica formal «pura» y el
análisis dialéctico de las contradicciones en el
movimiento. Este análisis dialéctico, mal situado,
poco cultivado, se ha oscurecido y su campo
desaparece —o más bien parece desaparecer–
ante la lógica |pura« y ante la lógica de las
oposiciones. Pero en la concepción más amplia
que aquí se presenta, el pensamiento lógico se
integra en el pensamiento dialéctico como un
desde el punto de vista de su estructura o forma
es el estudio formal y simbólico de la lógica, y su
lógica, o sea, haciendo abstracción del contenido
aplicación a algunas áreas de la matemática y
concreto de los pensamientos y tomando sólo el
la ciencia. Comprende la aplicación de las técnicas
procedimiento general de conexión entre las partes
de la lógica formal a la construcción y el desarrollo
del contenido dado. El objetivo básico de la lógica
de las matemáticas y el razonamiento matemático,
formal consiste en formular leyes y principios cuya
y conversamente la aplicación de técnicas
observancia es condición necesaria para alcanzar
matemáticas a la representación y el análisis de la
verdaderos resultados en el proceso encaminado a
lógica formal. La investigación en lógica
proporcionar un saber inferido. 
matemática ha jugado un papel crucial en el
Diccionario filosófico
estudio de los fundamentos de las matemáticas.
La lógica matemática estudia
Ciencia que estudia las formas del pensamiento – la inferencia mediante la construcción de sistemas
conceptos, juicios, razonamientos, demostraciones, formales como la lógica proposicional, la lógica de
&c.– desde el punto de vista de su estructura primer orden o la lógica modal. Estos sistemas
lógica, desentendiéndose del contenido concreto capturan las características esenciales de las
que expresan. Por ejemplo: en los juicios: “Todos inferencias válidas en los lenguajes naturales, pero
los estudiantes son escolares”, “Todas las ballenas al ser estructuras formales susceptibles de análisis
son mamíferos”, “Todos los hombres son matemático, permiten
mortales”, existe un contenido distinto; sin realizar demostraciones rigurosas sobre ellas.
embargo, desde el punto de vista de la lógica
La lógica matemática se suele dividir en cuatro
formal los juicios antes mencionados son de un
áreas: teoría de modelos, teoría de la
mismo tipo lógico y en ese sentido no existen
demostración, teoría de conjuntos y teoría de la
diferencias entre ellos. A la lógica formal le interesa
computabilidad.
únicamente el tipo de relación que existe entre el
sujeto y el predicado, el carácter de la generalidad Agazzi, Evandro (1986). Lógica simbólica.
del sujeto (si el sujeto refleja todos los objetos de
una clase dada o no), las condiciones bajo las
cuales los juicios son verdaderos, &c.; en fin, su
tarea fundamental consiste en establecer reglas de
conclusión admisibles para los juicios de que se
trate.
Diccionario marxista de filosofía 

Tabla comparativa
Diferentes tipos de lógica