¿Es la lógica una disciplina filosófica o científica?

¿Es la lógica es una disciplina filosófica o científica?

Lic. Luis Carrera Honores
jorge.carrera@unmsm.edu.pe
Universidad Nacional Mayor de San Marcos
Lima – Perú

Resumen: La interrogante si la lógica es una disciplina filosófica o científica, plantea el problema de qué es
la lógica, qué estudia, cuál es su objetivo e incluso su aplicación. En nuestro trabajo, para responder a estas
preguntas, haremos una breve exposición de la historia de la lógica, y así comprenderemos su desarrollo,
de cómo se independizó de la filosofía y se transformó en una ciencia formal. Resaltaremos la importancia
de la matemática en este proceso. Asimismo, explicaremos sus principios lógicos como las implicaciones y
equivalencias notables y, sobre todo, su método denominado deducción natural. Además, expondremos el
objetivo de la lógica que consiste en distinguir una inferencia válida de aquella que es inválida. Por último,
explicaremos la importancia de la lógica en tanto como ciencia formal dentro del conocimiento científico y en
el desarrollo de los ordenadores.

Palabras clave: Lógica, filosofía, ciencia formal, principios lógicos, deducción natural.

Abstract: The question whether logic is a philosophical or scientific discipline raises the question of what is
the logic, what studies, what is its purpose and even its application. In our work to answer these questions
we will make a brief presentation of the history of logic, and so understand how their development philosophy
independence and became a formal science. We will highlight the importance of mathematics in this
process. Also, we explain its logical principles as the implications and equivalences remarkable and, above
all, his method called natural deduction. In addition, we will discuss the purpose of the logic is to distinguish a
valid inference that it is invalid. Finally, we will explain the importance of logic in both formal science in the
development of scientific knowledge and that of computers.

Keywords: Logic, Philosophy, Formal Science, Logical Principles, Natural Deduction.

1. Introducción “La lógica es la ciencia que transmite la verdad y

Una dificultad muy común en un curso de lógica es
que la primera interrogante que no pueden
responder los alumnos es si la lógica es una
disciplina filosófica o científica. Sobre esta
interrogante, los alumnos no tienen una respuesta
clara, ya que hay distintas definiciones de lo qué es
la lógica. Distintas definiciones que los alumnos
pueden encontrar no solo en Internet, sino en libros
de lógica. Por ejemplo, en el libro de lógica del Dr.
Óscar García Zárate, podemos recoger las
siguientes definiciones: “La lógica ha sido definida
como la ciencia de las leyes del pensamiento”
(2007: 28) u “otra definición común de la lógica es
aquella que la caracteriza como la ciencia del
razonamiento” (2007: 29). Definiciones que el
mismo autor afirma que no son adecuadas.
Estas definiciones inadecuadas que cita García
Zárate son las más comunes que los alumnos
pueden encontrar en Internet. En síntesis, estas
definiciones inapropiadas son aquellas que definen
a la lógica como una disciplina o ciencia que estudia
razonamientos, argumentos o pensamientos.
Mientras que podemos encontrar una mejor
definición de lo qué es la lógica en el texto de Irving
Copi: “La lógica es el estudio de los métodos y
principios usados para distinguir el buen (correcto)
razonamiento del malo (incorrecto)” (2000:3).
Incluso podemos encontrar definiciones más
complejas como la del Dr. Luis Piscoya Hermoza:
retrotransmite la falsedad” (2007: 19). Además,
Piscoya Hermoza afirma que la lógica constituye un
poderoso instrumento de análisis epistemológico.
Como podemos observar, no hay un consenso
sobre lo qué es la lógica y desde la perspectiva de
un alumno tampoco queda claro qué estudia la
lógica y menos, cuál es la función de la lógica. De
modo que nuestro objetivo es elucidar qué es la
lógica, qué estudia y cuál es su objetivo con la
finalidad de que los alumnos de pregrado puedan
comprender qué se estudia en una asignatura de
Lógica.
2. Historia de la lógica
Ahora, para aclarar qué es la lógica, es decir, para
contestar la interrogante si la lógica es una
disciplina filosófica o científica, tenemos que
explicar el proceso de desarrollo de la lógica. Para
ello, haremos una exposición breve de este proceso
desde la época antigua hasta el siglo XX, y al final
intentaremos una definición precisa sobre lo qué es
la lógica.
Por cultura general, sabemos que el padre de la
lógica es Aristóteles, que nació en Estagira, en la
polis de Macedonia, y que fue el más importante
discípulo de Platón. Además, Aristóteles fue
maestro de Alejandro el Grande, más conocido
como Alejandro Magno. Sin embargo, si

12
comparamos la actividad que realizó Aristóteles en
su época con la de algún profesional en la
actualidad, Aristóteles sería considerado casi un
científico, ya que la actividad que realizó como
filósofo fue casi científica. La característica de la
actividad de Aristóteles fue observar y encontrarle
causas a todo, solo le faltaba realizar experimentos
y demostraciones para verificar sus especulaciones
reflexiones.
Esta actitud casi científica de Aristóteles la
desarrolló en su Liceo donde estableció un
zoológico y un jardín botánico. En el zoológico y en
el jardín botánico, Aristóteles realizó la clasificación
y estudio de las nuevas especies que su discípulo
Alejandro Magno le enviaba desde el oriente. Por lo
que podemos comprobar que la actitud de
Aristóteles fue casi científica. En este caso, fue casi
un biólogo. Por eso, no fue casual que Aristóteles
realizara desde su perspectiva, una particular
clasificación de las ciencias.
Para Aristóteles, las ciencias están clasificadas en
tres grupos: ciencias teóricas, prácticas y creadoras
o productivas. Las ciencias teóricas son aquellas
que buscan el saber por el saber: no tienen ninguna
utilidad en la vida práctica del hombre. En este
grupo de ciencias están la matemática, la física y la
metafísica o filosofía primera. Entre las ciencias
prácticas, se incluyen aquellas ciencias que buscan
el saber para guiar las acciones de los hombres en
la polis. Estas ciencias ya tienen utilidad para la vida
práctica del hombre. Aquí están las ciencias, como,
la economía, la política y la ética. Por último, en las
ciencias creadoras o productivas, están aquellas
ciencias que buscan el saber para crear
herramientas útiles y bellas en los hombres. Aquí
están las artes o técnicas, que provienen del
vocablo griego τέχνη que significa técnica y arte
simultáneamente. Por lo que, aquí están el arte de
la argumentación que es la retórica, el arte de
escribir que es la poética y el arte de enseñar que
es la didáctica, entre otras.
Sin embargo, en esta clasificación aristotélica no
aparece la lógica porque la lógica para Aristóteles
no fue una ciencia, sino un instrumento
propedéutico. A saber, para Aristóteles la lógica fue
una herramienta de preparación para luego estudiar
las ciencias. Por ejemplo, si necesitábamos
aprender matemática, primero teníamos que
aprender lógica porque este instrumento nos
permitía esclarecer nuestros razonamientos. Incluso
Aristóteles no utilizó el término “lógica”, sino
“analítica”. El término “lógica” es creación posterior y
proviene del vocablo griego λόγος, que significa en
griego, palabra y también razón.
Aristóteles desarrolló su tratado de lógica en su libro
titulado Organón, que significa en latín instrumento,
y cuyo nombre fue dado posteriormente por los
filósofos medievales. Organón es un libro
compuesto por varios libros donde Primeros
analíticos o Analíticos es el libro central. En general,
Aristóteles, en Organón, sintetiza el conocimiento
desarrollado en su época sobre lógica por los
megáricos y estoicos. No obstante, en Primeros
analíticos, Aristóteles desarrolló los conceptos
fundamentales de la lógica y su investigación se
centró en los razonamientos de tipo silogístico,
específicamente estudió los silogismos categóricos
que son un tipo de inferencia. Por ejemplo:
Ningún soltero está casado
Todos los niños son solteros.
Luego, ningún niño está casado.
Todo silogismo categórico consta de dos premisas y
una conclusión. Estas premisas y conclusión están
compuestas siempre por proposiciones categóricas.
Según Aristóteles, las proposiciones categóricas
son de cuatro tipos. A continuación, un ejemplo de
este tipo de propisicón:
Todo astrónomo es científico.
Ningún astrónomo es científico.
Algún astrónomo es científico.
Algún astrónomo no es científico.
Todos los silogismos categóricos están compuestos
por estas proposiciones. Además, Aristóteles
determinó, por medio de reglas intuitivas, que solo
hay diecinueve formas válidas del silogismo
categórico. Asimismo, esta lógica silogística de
Aristóteles se distingue de la lógica proposicional
porque no usa símbolos: es una lógica desarrollada
en lenguaje natural. Pero a pesar de que está
desarrollada en lenguaje natural, Aristóteles
descubrió que hay principios lógicos que rigen a
estas inferencias.
El desarrollo de la lógica por parte de Aristóteles fue
tan potente que durante la época medieval no hubo
avance significativo en la lógica. Los filósofos
medievales fueron buenos exégetas de este filósofo
macedonio. Sin embargo, el único aporte importante
que se dio en el Medioevo lo hizo el filósofo italiano
Severino Boecio. El aporte de Boecio consistió
simplemente en organizar la lógica aristotélica
mediante un Cuadro de oposición (o Cuadro de
Boecio) para determinar las equivalencias e
implicaciones entre las proposiciones categóricas.
Para esto, reemplazo las cuatro proposiciones
categóricas por las siguientes letras en mayúscula,
por ejemplo:
A: Todo astrónomo es científico.
E: Ningún astrónomo es científico.
I: Algún astrónomo es científico.
O: Algún astrónomo no es científico.
Estas proposiciones categóricas son representadas
por Boecio en su Cuadro de oposición de la
siguiente manera:
13
 SUBALTERNANTE
SUBALTERNA
I O
SUBCONTRARIAS
Gráfico Nº 1: Cuadro de Boecio
Fuente: Diógenes Rosales

En la época moderna, con el renacer de la ciencia

griega en Europa por medio de los árabes y sobre
todo por la creación del método experimental de
Galileo, se comenzó a cuestionar las ideas
aristotélicas. En el ámbito de la lógica, el filósofo y
matemático alemán Leibniz, considerado precursor
de la lógica matemática, quiso darle un lenguaje y
un instrumento formal a la lógica para estudiar los
razonamientos científicos y filosóficos. A saber,
quiso darle a la lógica una estructura formal, como
la de la matemática, para determinar la verdad de
sus afirmaciones con más precisión. Sin embargo,
este proyecto de Leibniz no prosperó porque
Inmanuel Kant consideró que la lógica aristotélica ya
estaba concluida, que no había nada más que
investigar en lógica, que ya todo lo había dicho
Aristóteles.
Sin embargo, el proyecto de Leibniz tuvo que
esperar hasta la época contemporánea cuando a
mediados del siglo XIX aparecieron matemáticos
interesados en la lógica. Estos matemáticos y
lógicos fueron John Venn, George Boole, Augustus
De Morgan, Gotto Frege, Kurt Gödel y Giuseppe
Peano. Los matemáticos ingleses Venn y Boole
introdujeron a la lógica la teoría de conjuntos y
fórmulas algebraicas, respectivamente. Los trabajos
de Venn y de Boole fueron muy significativos porque
las proposiciones categóricas fueron representadas
por conjuntos y fórmulas algebraicas, por ejemplo:

Modo Proposición categórica Diagramas de Venn Fórmulas de Boole

A Todo S es P S P =
S P

E Ningún S es P S P=
S P

x
I Algún S es P S P
S P

x
O Algún S no es P S P
S P

Gráfico Nº 2: Proposiciones categóricas

Fuente: Diógenes Rosales

La consecuencia de los aportes de Venn y de Boole
fue importante porque se demostraron ahora los
silogismos categóricos de Aristóteles basándose en
la matemática. Por lo tanto, su demostración fue
precisa y se demostró que de los diecinueve
silogismos categóricos válidos, solo quince eran
válidos.
Este proyecto de construir la lógica con una base
matemática llegó a su culminación en el siglo XX
con Bertrand Russell, Alfred Whitehead y Ludwig
Wittgenstein. En 1910, Bertrand Russell comenzó a
publicar su libro Principia mathematica donde
concibió la lógica proposicional, la lógica que
actualmente estudiamos. Russell, Peano y Scholz,
entre otros, son los creadores de las variables

14
proposicionales como p, q, r, etc., de los operadores principios lógicos como Modus Ponens, Modus
lógicos, como: , , , etc.,y sobre todo de los Tollens, silogismo hipotético, etc. Por ejemplo:

Modus Ponens Modus Tollens

p q p q
p q
q p
(p q) p q (p q) q p

Gráfico Nº 3: Algunos principios lógicos

Fuente: Óscar García Zárate

Por otro lado, Wittgenstein, en su libro Tractatus bicondicional y negación. Estas tablas de verdad
logico-philosophicus concibió la idea de las tablas son un método que tiene como finalidad determinar
de verdad, idea que luego devino en las tablas de la validez o invalidez de las proposiciones lógicas. A
verdad de la conjunción, disyunción, condicional, continuación, los valores de las tablas de verdad:

Conjunción Disyunción Condicional Bicondicional Negación

p q p q p q p q p
V V V V V V V V V V V V V F
V F F V F V V F F V F F F V
F V F F V V F V V F V F
F F F F F F F F V F F V

Gráfico Nº 4: Tablas de verdad

Fuente: Francisco Miró Quesada

Incluso, en el siglo XX, Giuseppe Peano introdujo la
lógica como parte de la aritmética, ya que el
proyecto de estos matemáticos y lógicos, como
Bertrand Russell, fue demostrar los principios de la
matemática con los principios lógicos. A saber,
reducir la matemática a la lógica, un proyecto que
posteriormente fracaso.
3. Definición y estudio de la lógica
Después de haber visto el desarrollo de la lógica
desde la antigüedad hasta el siglo XX, podemos
afirmar lo siguiente: la lógica tiene dos etapas muy
marcadas, la primera etapa es desde la antigüedad
hasta mediados del siglo XIX y la segunda es desde
mediados del siglo XIX hasta el siglo XX. De la
primera etapa, podemos afirmar que la influencia de
Aristóteles ha sido fundamental y potente. No hubo
cuestionamiento a la lógica silogística de Aristóteles
en estos siglos. Además, la lógica, en esta primera
etapa, estuvo dedicada al estudio de los
razonamientos. De modo que, los pensadores
medievales, influidos por Aristóteles, concibieron a
la lógica como una disciplina filosófica encargada de
estudiar los razonamientos o pensamientos con la
finalidad de distinguir los razonamientos correctos
de los incorrectos.
De la segunda etapa, podemos afirmar que la lógica
aristotélica fue cuestionada que asimiló una
estructura similar a la de la matemática y, por ende,
se independizó totalmente de la filosofía. Este
proceso de independizarse de la filosofía se
consiguió por el trabajo de matemáticos interesados
en la lógica. De esta manera, la lógica consiguió
mayor precisión y rigurosidad para determinar la
validez o invalidez de sus inferencias. De modo que,
a partir de inicios del siglo XX podemos definir a la
lógica como una ciencia formal que estudia los
principios y los métodos lógicos para determinar la
validez o invalidez de las inferencias. Ésta sería una
definición consensual y vigente de lo que es la
lógica.
En síntesis, ante la interrogante si la lógica es una
disciplina filosófica o científica, podemos decir que
hasta mediados del siglo XIX se la consideró una
disciplina filosófica. Sin embargo, a partir del siglo
XX se la considera una ciencia formal. Ahora
explicaremos esta definición que considera a la
lógica como una ciencia formal y cuyo objeto de
estudio son los principios y los métodos lógicos para
determinar la validez o invalidez de las inferencias.
Primero, la lógica es una ciencia formal porque al
igual que la matemática hace abstracción de su
contenido, usa símbolos para realizar sus
representaciones. En términos de Mario Bunge: “La
lógica y la matemática son ciencias formales: no se
refieren a nada que se encuentre en la realidad, y,
por tanto, no pueden utilizar nuestros contactos con
la realidad para convalidar sus fórmulas” (1975: 38).
Ahora, estos símbolos, en lógica, son las variables
proposicionales, los operadores lógicos y los signos
de agrupación.

15

Formal
Ciencia
Factual
Gráfico Nº 5: Clasificación de las ciencias
Fuente: Mario Bunge
Segundo, los principios que estudia la lógica son las
implicaciones o equivalencias notables (o
tautológicas). Las implicaciones notables son el
Modus Ponens, Modus Tollens, silogismo hipotético,
silogismo disyuntivo, mientras que las equivalencias
notables son definición de condicional, definición de
bicondicional, la propiedad conmutativa, asociativa,
distributiva. En cambio, los métodos que estudia la
lógica son el método de las tablas de verdad y el
método de deducción natural por prueba directa, por
prueba condicional y por prueba de reducción al
absurdo.
Por último, la finalidad de estudiar estos principios y
métodos es para determinar si una inferencia es
válida o inválida. Una inferencia es un tipo de
razonamiento que consta de varias premisas y de
una conclusión. Todas estas premisas y la
conclusión son denominadas proposiciones lógicas.
Además, las inferencias pueden ser razonamientos
inductivos o deductivos.
Ahora, las inferencias deductivas pueden ser válidas
o inválidas, su validez se determina cuando la
inferencia se rige por algún principio lógico. Por
ejemplo:
Si eres londinense, entonces eres inglés.
Si eres inglés, entonces eres europeo.
Luego, si eres londinense, entonces eres europeo.
En este caso, la inferencia es válida porque está
regida por la implicación notable llamada silogismo
hipotético. En cambio, las inferencias inductivas son
razonamientos inválidos porque de casos
particulares no se puede generalizar. Por ejemplo:
El cobre es buen conductor de electricidad.
El aluminio es buen conductor de electricidad.
El hierro es buen conductor de electricidad.
Luego, todos los metales son buenos conductores
de electricidad.
4. El objetivo y aplicación de la lógica
Después de haber explicado qué es la lógica y qué
estudia, podemos afirmar que el objetivo de la lógica
es determinar si una inferencia es válida o inválida.
Según Piscoya, la lógica “transmite la verdad y
16
Lógica
Matemática
Física
Natural Química
Biología
Sociología
Cultural Economía
Antropología
Historia
retrotransmite la falsedad” (2007: 19). Por eso,
todos los principios y métodos de la lógica han sido
desarrollados con la finalidad de aclarar esa
distinción. La distinción entre inferencia válida e
inválida es el problema fundamental de la lógica.
Para tal fin, fueron desarrollados los métodos de
tablas de verdad y de deducción natural. Sin
embargo, el método más potente y eficaz para
determinar la validez de una inferencia es la
deducción natural, que se divide en tres tipos: por
prueba directa, por prueba condicional y por prueba
de reducción al absurdo.
Para comprender la importancia y el objetivo de la
lógica, explicaremos cómo se aplica el método de
deducción natural, por ejemplo, la deducción por
prueba directa. Hemos dicho que una inferencia es
un tipo de razonamiento. Un ejemplo de una
inferencia es una ley o una teoría científica. Toda
ley o teoría científica es un razonamiento que
representa las regularidades de los fenómenos de la
realidad. Al respecto, podemos decir que los
científicos no trabajan con hechos o fenómenos,
sino con los enunciados (leyes o teorías) que los
representan. Ahora, estos razonamientos de las
leyes y teorías científicas se expresan en
proposiciones lógicas, donde podemos observar un
conjunto de premisas y una conclusión. De modo
que, estos razonamientos se pueden formalizar
usando variables proposicionales, operadores
lógicos y signos de agrupación con la finalidad de
obtener una estructura formal, como, por ejemplo,
de la siguiente manera:
1. r q
2. q p
3. r / p
En esta estructura 1, 2 y 3 son las premisas de la
inferencia y la variable p representa la conclusión. El
método de deducción por prueba directa consiste en
demostrar la conclusión con las premisas, es decir,
que de las premisas se pueda deducir la conclusión.
Para tal fin, se operan de par en par las premisas
usando las implicancias y equivalencias notables
hasta tener como resultado la conclusión. A
continuación, la aplicación del método de deducción
natural:
1. r q
2. q p
3. r / p
4. q Silogismo disyuntivo en 1 y 3
5. p Modus Ponens en 2 y 4
De esta manera, hemos demostrado que de las tres
premisas se deduce la conclusión y, por ende,
podemos afirmar que esa inferencia (teoría o ley
científica) es válida. En síntesis, el método de
deducción natural se aplica en la ciencia para
determinar si una teoría o ley científica es válida o
inválida.
Por otro lado, cuando el Dr. Luis Piscoya afirma que
la lógica constituye un poderoso instrumento de
análisis epistemológico es porque nos permite, por
ejemplo, distinguir entre ciencia y pseudociencia.
Para explicitar esta distinción, plantearemos el
siguiente caso:
Tercero, el criterio que emplea la lógica para
distinguir que es ciencia de lo que no es ciencia es
que ningún enunciado científico (ley o teoría
científica) tenga en su estructura una contradicción.
En lógica una contradicción se representa: p ~p, y
si le damos valores de verdadero y falso su valor
siempre será falso. Por último, si tomamos como
referencia el conjunto de los números primos: C.P. =
{2, 3, 5, 7, 11, 13, 19,…}, podemos proponer las
siguientes proposiciones:
a) El número 3 es primo y el número 5 es primo,
entonces el número 7 es primo.
b) El número 3 es primo y el número 3 no es primo,
entonces el triángulo es un número primo.
Tenemos dos proposiciones con estructura
condicional que formalizadas se representan de la
siguiente manera:

Primero, en la ciencia una proposición científica se a) (p q) r

expresa de manera condicional. Por ejemplo: “si el
borrador cae al suelo, entonces hay gravedad en el b) (p ~p) q
salón”. Segundo, si formalizamos esta proposición
científica, sería de la siguiente manera: p q, y Ahora, si a estas fórmulas le damos valores de
recordemos que en la tabla de verdad del verdadero y falso de acuerdo con el contenido de
condicional solo cuando el antecedente es las proposiciones que representan, tendremos los
verdadero y el consecuente es falso su valor es siguientes datos:
falso, en las otras combinaciones su valor sale
verdadero.

a) (p q) r
p q
V V V
V V
V F F
F V F
V V
F F F
V

b) (p ~p) q p q
V V V
V F V F F
F V V
F F F F V
V

Podemos observar que ambas proposiciones son
verdaderas. Sin embargo, hemos observado que en
la proposición (b) es absurdo sostener que el
número 3 sea número primo y no sea número primo
a la vez, y sobre todo que una figura geométrica sea
un número. Entonces, ¿cuál es el problema? El
problema consiste en que si un enunciado científico
tiene en su estructura una contradicción, entonces
podremos concluir como verdadero lo que sea. En
la proposición (b) podríamos reemplazar su
consecuente por otra expresión absurda, como por
ejemplo: “los caballos vuelan”, y también hubiera
resultado su valor verdadero. Lo que pretende la
lógica es que el criterio para distinguir qué es
ciencia de lo que no es ciencia, es que ninguna ley
o teoría científica posea en su estructura una
contradicción, de lo contrario cualquier idea
absurda, dogmática o errada pasaría como si fuera
conocimiento científico.
Al respecto, recordemos lo que afirma Luis Piscoya
sobre la ciencia:
“El conocimiento científico no reconoce dogmas ni
resultados definitivos e inamovibles, pues su
dinámica interna es esencialmente crítica y somete
permanentemente a prueba toda afirmación antes
de incorporarla a su repertorio. Esto significa que la

17
 ciencia es siempre un saber provisional que no se
entiende satisfactoriamente con independencia de
las circunstancias históricas que lo produjeron. Las
leyes científicas están muy lejos de ser leyes o
principios lógicos definitivos, dado que ellas podrían
cambiar sustantivamente mañana debido a que solo
son la expresión de una imagen del mundo cuya
eventualidad no es razonable descartar” (1992: 13).
Finalmente, podemos afirmar que el desarrollo de la
lógica como ciencia formal propició el desarrollo de
los ordenadores y de la informática a través de los
aportes de Alan Turing y Claudio Shannon. En
lógica los principios lógicos llamados equivalencias
notables son también conocidos como leyes lógicas,
que son propiedades que los matemáticos del siglo
XIX y XX asimilaron del álgebra para darle precisión
a la lógica. Estas propiedades son la conmutación,
asociación, distribución, y en lógica este sistema de
p
q
Gráfico Nº 6: Circuito eléctrico
Fuente: Elaboración propia
Primero, en los circuitos eléctricos hay varias
maneras de graficar un interruptor cuando está
cerrado o abierto. Por lo que, en este caso,
Mientras que un interruptor está abierto con la
siguiente gráfica:
Segundo, en los circuitos en serie, los interruptores
se representan con una fórmula molecular
conjuntiva, mientras que en los circuitos en paralelo
los interruptores se representan con una fórmula
molecular disyuntiva.
1. [(p ~q) ~p] q
2. ~ [~ (p ~q) p] q
3. ~ [(~p q) p] q
4. ~ [(p q) p] q
5. [(p q) p] q
18
propiedades se conoce como el álgebra de las
proposiciones lógicas.
Ahora, Claudio Shannon, en 1938, fue quien “realizó
la aplicación del álgebra de las proposiciones al
diseño de circuitos eléctricos, lo que constituye el
aporte más importante a la construcción de las
modernas computadoras electrónicas digitales”
(2012: 17). En otros términos, lo que hizo Shannon
fue aplicar las equivalencias e implicaciones
notables como un método decisorio para determinar
cuándo un circuito eléctrico deja pasar corriente
eléctrica. Si un circuito eléctrico está regido por una
implicancia notable, entonces el circuito deja pasar
corriente. Para demostrar que el circuito está
determinado por un principio lógico, se usan las
equivalencias notables. Por ejemplo, veamos el
siguiente circuito eléctrico:
q
asumiremos que un interruptor está cerrado con la
siguiente gráfica:
Tercero, la fórmula lógica del circuito eléctrico del
gráfico 6 es de la siguiente manera:
[(p ~q) ~p] q
Cuarto, operamos aquella fórmula aplicando las
equivalencias notables de la siguiente manera:
De Morgan en 1
De Morgan en 2
Definición de condicional en 3
Definición de condicional en 4
Por último, la fórmula obtenida:[(p q) p] q es
un Modus Ponens. Por lo tanto, hemos demostrado
que el circuito eléctrico del gráfico 6 está regido por
un principio lógico y, por ende, sí pasa corriente
eléctrica en aquel circuito.
De esta manera, hemos demostrado que
actualmente la lógica es una ciencia formal y que
posee principios y métodos potentes e importantes
para el desarrollo de la ciencia y de la informática.
Incluso ha quedado pendiente la explicación de
cómo la lógica nos permite distinguir razonamientos
incorrectos en nuestra vida cotidiana: tema que en
lógica se denomina falacias no formales.
Referencias bibliográficas
[1] Aristóteles, (1995), Tratados de lógica
(Órganon), Madrid: Editorial Gredos, S.A. Tomo
II. Traducción de Miguel Candel Sanmartín.
[2] Bunge, Mario, (1975), La investigación
científica, Barcelona: Editorial Ariel. Traducción
castellana de Manuel Sacristán.
[3] Clark, Ronald, (1985), Russell, Barcelona:
Salvat Editores, S.A. Prólogo de Jesús
Mosterín.
[4] Copi, Irving, (2000), Introducción a la lógica,
Buenos Aires: Eudeba. Traducción de Néstor
Alberto Míguez.
[5] García Zárate, Óscar, (2007), Lógica, Lima:
CEPREDIM-UNMSM.
[6] García Zárate, Óscar, (2012), Elementos de
lógica, Lima: CEPREDIM-UNMSM.
[7] Gribbin, John, (2002), Historia de la ciencia
1543-2001, Barcelona: RBA. Traducción de
Mercedes García Garmilla.
[8] Miró Quesada, Francisco, (1967), Lógica, Lima:
Imp. De Miranda.
[9] Piscoya, Luis, (1992), “Reflexiones sobre
ciencia y dependencia”, Alma Máter, N°2, julio
de 1992, Lima, UNMSM, pp. 11-24.
[10] Piscoya, Luis, (2007), Lógica general, Lima:
Fondo Editorial de la UNMSM.
[11] Rosales, Diógenes, (1988), Introducción a la
lógica, Lima: Amaru Editores.
[12] Wittgenstein, Ludwig, (2001), Tractatus Logico-
Philosophicus, Madrid: Alianza Editorial.
19