CUESTIONARIO SOBRE CONCEPTOS BASICOS DE LA LGICA

Autor Xavier Muoz

1. Qu es la lgica?
Segn Irvin M. Copi la lgica es el estudio de los mtodos y los
principios usados para distinguir el razonamiento correcto del
incorrecto1. La lgica es una ciencia que se ocupa del conocimiento,
no de su gnesis, del cual se ocupara la psicologa, ni del acto del
conocimiento que es tema de la gnoseologa o epistemologa, se
ocupa del resultado del acto del conocimiento de su verdad y
fundamento.
2. Puede pensar y razonar el hombre sin hacer uso explcito o
implcito de la lgica? s o no? por qu?
Esta pregunta tiene dos partes, una referida al pensar y otra al
razonar, que son dos facultades distintas. Empezaremos por la
segunda. No es necesario saber lgica, conocerla de modo explcito,
para razonar correctamente, Copi, en el libro ya nombrado 2, lo
ejemplifica poniendo el caso del atleta que no necesita saber de
fisiologa para ser un buen atleta y un fisilogo por ms conocimiento
explcito que tenga sobre la fisiologa ello no garantiza que pueda ser
un atleta.
Sin embargo, en el caso del razonamiento, se puede hacer un uso
implcito de la lgica, Copi sugiere cierto innatismo lgico, en todos
los seres humanos. Este innatismo lgico aparecera en el transcurso
del desarrollo del individuo, segn las teoras cognitivas del
epistemlogo gentico J. Piaget; se desplegara segn una secuencia
de etapas del desarrollo del pensamiento y que se hara manifiesto
luego de los siete aos en la etapa de operaciones concretas. Pero si
bien hay una disposicin innata a pensar lgicamente, tambin es
cierto que el que estudia lgica, el que hace un uso explicito de ella,
tiene, como dice
Copi mayor probabilidad de razonar
correctamente.
Pero, por otra parte, hablando del pensamiento, si como han
descubierto los psiclogos y epistemlogos cognitivos, el
razonamiento lgico, ms no el pensamiento, aparece hacia los siete
aos en adelante, en la etapa de operaciones concretas, quiere decir
que es posible un pensamiento sin lgica, anterior a los siete aos y
que no tiene nada de anormal o patolgico. De hecho se habla de un
pensamiento pre-lgico para hacer referencia al pensamiento
sensorio motriz y al preoperatorio; en este ltimo se da un
pensamiento sincrtico siguiendo una lgica transductiva basada en
1 Copi. I.M. Introduccin a la lgica. Pag. 17.
2 dem.

la intuicin sensible y caracterizada, por el Artificialismo, el animismo

y el finalismo.3
3. Por qu la lgica es formal?
La lgica es una ciencia formal que estudia la forma de una inferencia
es decir su estructura abstrada. Si la lgica formal se define como
ciencia del conocimiento es 8 en cuanto al conocimiento como
producto, al resultado de la actividad de conocer, le interesa su
validez o su fundamento formal, apriorstico, no su fundamento
metodolgico o emprico4.
4. Qu es la deduccin? De un ejemplo.
La deduccin es un tipo de inferencia que se caracteriza porque se
extrae una conclusin de premisas universales y porque la verdad de
las premisas se transfiere de modo necesario a la conclusin, es decir
si las premisas en una inferencia deductiva son verdaderas la
conclusin tambin ser verdadera por necesidad. Segn Ferrater
Mora5 Muchas son las definiciones que se han dado de la deduccin.
He aqu algunas: (1) es un razonamiento de tipo mediato; (2) es un
proceso discursivo y descendente que pasa de lo general a lo
particular; (3) es un proceso discursivo que pasa de una proposicin a
otras proposiciones hasta llegar a una proposicin que se considera la
conclusin del proceso; (4) es la derivacin de lo concreto a partir de
lo abstracto; (5) es la operacin inversa a la induccin; (6) es un
razonamiento equivalente al silogismo y, por lo tanto, una operacin
estrictamente distinta de la inductiva; (7) es una operacin discursiva
en la cual se procede necesariamente de unas proposiciones a otras,
pero tambin agrega los inconvenientes que se asocia a cada
definicin: As (1) es insuficiente, pues el vocablo 'razonamiento' es
aqu demasiado vago, pero subraya el carcter mediato y, por lo
tanto, no intuitivo de la operacin deductiva; (2) tiene supuestos
ontolgicos que no son estrictamente necesarios y que resultan
patentes en la nocin de descendente, pero alude al paso de lo ms
general a lo menos general; (3) es correcto, pero olvida la necesidad
de "mediacin" (trmino medio, regla de inferencia, etc.); (4) muestra
el carcter abstracto, cuando menos en el punto de partida, del
proceso deductivo, pero descuida otros importantes aspectos del
mismo; (5) es justo siempre que no se interprete en sentido
demasiado estricto el trmino 'inverso', y siempre que no se olvide
que tanto la deduccin como la induccin son operaciones de ndole
formal; (6) es aceptable solamente en la medida en que muestra que
el silogismo es una operacin deductiva, pero falla en la afirmacin
3 Piaget, J. Seis estudios de psicologa.
4 Sacristn M. Introduccin a la lgica formal. Pag. 18.
5 Ferrater Mora, F. Diccionario de Filosofa.

de la equivalencia entre deduccin y silogismo, por cuanto este

ltimo es slo una de las muchas posibles operaciones deductivas;
(7) es poco explcito, pero destaca un elemento fundamental en la
operacin deductiva: el de necesidad. Como ejemplo tenemos:
Si todo atleta es deportista, y
Algn futbolista es atleta; entonces,
Algn futbolista es deportista.
8
5. Qu es la induccin? Cuntas
clases hay? De un ejemplo.
Es un tipo de razonamiento o inferencia que va de lo particular o
menos general a lo universal o ms general. Aristteles le atribuye a
Scrates el mrito de haber descubierto los razonamientos
inductivos6. Los razonamientos inductivos se caracterizan porque la
verdad de las premisas no se transfiere de manera necesaria a la
conclusin pero si de manera probable. Sin embargo, dado que el
nmero de casos particulares es siempre un nmero finito y la
generalidad abarca al universo cuyo nmero es indeterminado y se
puede asumir infinito, la probabilidad de verdad de la conclusin
general extrada a partir de casos particulares es tendiente a cero.
Por ejemplo:
La Tierra es un planeta y gira alrededor de una estrella,
Marte es un planeta y gira alrededor de una estrella,
Venus es una estrella y gira alrededor de una estrella,
Mercurio es un planeta y gira alrededor de una estrella.
Podemos hacer n observaciones de planetas que giran alrededor de
una estrella pero no podemos concluir como verdad universal y
necesaria que todo planeta gira alrededor de una estrella, puesto que
el nmero de planetas en el universo tiende al infinito y el nmero de
planetas observados, como casos particulares es siempre finito, la
probabilidad de verdad es tendiente a cero. Se nota claramente que
la verdad de las premisas no se transfiere a la conclusin de forma
necesaria sino probable y aun esa probabilidad es casi nula.
Segn Brugger7, al dominio de la induccin pertenecen las leyes de
las ciencias naturales y de la psicologa emprica, distingue entre
induccin completa, que consiste en la observacin de todos los
casos particulares y que en estricto no es un razonamiento sino una
enumeracin. Tenemos tambin la induccin matemtica, que en
realidad es una forma de deduccin en donde, por ejemplo, si
decimos que cierta frmula es vlida para n, tambin vale para n +
1, esto ltimo se demuestra partiendo deductivamente de la misma
frmula. Por ltimo tenemos la induccin incompleta, que es la
verdadera induccin, en donde a partir de cierto nmero de casos
observados se saca una conclusin de todos los casos semejantes, es
la que hemos definido como induccin al principio.
6. Qu es la tautologa? De dos definiciones.
6 Abbagnano, N. Diccionario de Filosofa.
7 Brugger, W. Diccionario de Filosofa.

Recibe el nombre de tautologa un juicio cuyo sujeto y predicado son

idnticos real y c tambin conceptualmente. La tautologa expresa la
identidad necesaria y formal del sujeto y el predicado. Toda tautologa
es
un
juicio
analtico
pero
no
viceversa 8.
En lgica,
una tautologa (del griego , "decir lo mismo") es
una frmula bien formada de un sistema de lgica proposicional que
resulta verdadera para cualquier interpretacin; es decir, para
8
cualquier asignacin de valores de verdad que se haga a sus frmulas
atmicas.
En la terminologa filosfica tradicional 9, tautologa significaba
generalmente un discurso (en particular, una definicin) vicioso en
cuanto a intil, por repetir en la consecuencia, en el predicado, el
concepto ya contenido en el primer miembro. En el algebra lgica el
trmino tautologa adquiere un significado tcnico, y se establecen
leyes de tautologa como en el teorema: a U a = a.
7. Qu es verdad analtica? De dos ejemplos.
Una verdad de razn o verdad analtica es una proposicin que
predica algo sobre una entidad, tal que la definicin de dicha
entidad implica lgicamente el predicado. Es decir, una verdad de
razn es una forma ms o menos explcita de tautologa que involucra
algn predicado de primer orden. Por ejemplo:
Los crculos son redondos, Los alimentos son comestibles, Los
hombres son humanos,
8. Qu es verdad a priori? De dos ejemplos.
Las verdades a priori son aquellas cuya valor de verdad no se
determina recurriendo a la experiencia, o contrastando el enunciado
con la realidad. La verdad se determina por su correspondencia con
otras verdades ya aceptadas. Por ejemplo:
1. Si cada lado de un tringulo miden 5 y 8 metros, el otro lado no
puede ser ni de 2 metros ni de 14 metros, puesto que no puede
ser menor que la resta ni mayor que su suma de los otros dos
lados.
2. Los juicios analticos se caracterizan por que su verdad se
determina con independencia de la experiencia (a priori),
puesto que lo que dice el predicado ya est contenido en el
sujeto del enunciado u oracin: Todo hombre es humano
9. Qu es verdad a posteriori? De dos ejemplos
Es un juicio que se verifica recurriendo a la experiencia trata sobre
hechos. Tienen una validez particular y contingente. Ejemplos:
Los alumnos de filosofa son crticos, los gatos son
tranquilos, los libros son de matemticas.
10.
Qu es verdad contingente? De dos ejemplos.
En lgica y filosofa, la contingencia es el modo de ser de lo que no
es necesario ni imposible, sino que puede ser o no ser el caso.
8 dem.
9 Abbagnano, N. Diccionario de Filosofa.

Gottfried Leibniz se sirvi de la distincin entre contingencia y

necesidad
para
mostrar
la
diferencia
entre verdades
de
hecho (referidas a asuntos que pueden ser o no ser) y verdades de
razn (que son necesarias). Como ejemplo tenemos: la pizarra de
color verde o el lapicero es de color azul bien pudieron ser, no es
imposible que sean de otro color.
11.
Qu es verdad necesaria? De dos ejemplos.
8
Las verdades necesarias son aquellas
que describen o refieren algo y
lo que describen o refieren no puede ser de otra manera. Por ejemplo
todo triangulo tiene como mximo un ngulo recto, no puede ser de
otra manera puesto que la suma de los ngulos internos de todo
triangulo es 180o , y si ya uno es de 900 los otros deben sumar 90o .
Toda esfera es redonda, en este enunciado, llamado por Kant juicio
analtico, cuya validez es a priori, la verdad es necesaria puesto que
el predicado redonda, expresa la cualidad de la esfera, dice lo
mismo con otra palabra, o explicita lo que ya est implcito en el
sujeto.
12.
Cundo una proposicin es lgicamente verdadera? De
un ejemplo.
Las verdades lgicas se conocen como frmulas lgicamente
vlidas (que
tienen validez
lgica). Dos
caractersticas
generalmente aceptadas de las verdades lgicas son que son
formales y necesarias. Que sean formales implica que cualquier
instanciacin de una verdad lgica es tambin una verdad lgica. Que
sean necesarias significa que es imposible que sean falsas, es decir
que en todas las situaciones contrafcticas, las verdades lgicas
siguen siendo verdades lgicas. ~~~
A veces se confunde a las verdades lgicas con las tautologas. Las
tautologas son las verdades lgicas de la lgica proposicional. Si bien
toda tautologa es una verdad lgica, no toda verdad lgica es una
tautologa.
Algunos ejemplos conocidos de verdades lgicas en la lgica
proposicional son:
~ (p ^ ~p)

(p v ~p)
(pq)
13.
Qu es una falacia? De dos ejemplos.
Refiere Copi10 que la palabra falacia es en s misma vaga, pues hace
referencia a ideas o creencias falsas. Los lgicos le dan un significado
ms estrecho, refiriendo con ella los errores de razonamiento o de
argumentacin. Por lo tanto una falacia es un razonamiento
incorrecto. Pero adems agrega, que no slo son razonamientos
incorrectos sino que son psicolgicamente persuasivos, es decir
parecen ser razonamientos correctos, y que su error se determina
cuando se les somete a anlisis. Dado que nuestro autor las clasifica
como formales y no formales pondremos un ejemplo de cada uno.
10 Copi. I.M. Introduccin a la lgica. Pg. 59.

Fujimori es inocente, de crmenes de lesa humanidad, puesto

que no se ha encontrado ningn documento que pruebe que
saba o autorizara la existencia del grupo Colina, dice su
abogado Nakazaki.
El hecho que no se encuentren documentos no implica que no
conociera de la existencia de dicho grupo pues haba en los medios
8
de
comunicacin
suficientes
referencias
adems
de
las
desapariciones y la matanza de Barrios altos, para que l como jefe
de estado tomara alguna accin de oficio y no lo hizo, adems
durante su gobierno se le dio amnista a dicho grupo, lo cual es un
perdn presidencial, Cmo se puede perdonar a un grupo juzgado y
condenado si no se le conoca y no se estaba relacionado
jerrquicamente con l. Aqu se comente la falacia no formal,
denominada Argumento por la ignorancia o Ad Ignoratiam.
Si todo Fsico cuntico es matemtico, y
Todo matemtico es una persona lgica; entonces
Toda persona lgica es un fsico cuntico.
Esta es una falacia formal, denominada Falacia del menor ilcito,
puesto que viola la regla que dice: si un trmino est distribuido en
la conclusin tambin debe estar distribuido en su respetiva
premisa. El trmino menor persona lgica est distribuido en la
conclusin pero no en la premisa menor.
14.
Qu es una falacia formal? De dos ejemplos.
Las falacias formales son aquellos errores de razonamiento que se
cometen al hacer uso errneo de las leyes o principios de la lgica.
Ponemos como ejemplo la siguiente falacia:
Si todo filosofo es crtico, y
Todo poltico es crtico; entonces
Todo poltico es filsofo.
Aqu el razonamiento es falaz, por una razn a priori, se le conoce
como Falacia del medio ilcito, fundamentada en las reglas del
silogismo, segn la cual: el trmino medio debe distribuirse en al
menos una de las premisas, y vemos que el trmino medio:
crtico, no se distribuye en ninguna de las dos premisas, pues en
las universales afirmativas es el sujeto, y no el predicado, el que se
distribuye, y el trmino medio es el predicado en las respectivas
premisas.
Otro ejemplo, de falacia formal, es:
Si haces el trabajo de lgica, entonces aprobars el curso.
Pero,
no hiciste el trabajo de lgica; por lo tanto,
no aprobars el curso de lgica.

Por qu este razonamiento es una falacia, radica en consideraciones

apriorsticas, se le conoce
como falacia de la negacin del
antecedente radica que en que el antecedente de la condicional es
condicin necesaria pero no suficiente para que ocurra o suceda el
consecuente. Se le confunde con el Modus Tollendo Tollens.
15.
Qu es una falacia ad hominen? De un ejemplo.
8 significa argumento dirigido contra
Llamada argumento ad hominen
el hombre. Se puede entender de dos maneras:
a. Ad hominen de tipo ofensivo. Se comete cuando en vez de
tratar de refutar la verdad de lo que se afirma se ataca al
hombre que hace la afirmacin, por ejemplo: Rafael Rey
argumenta que las conclusiones hechas por los miembros de la
comisin de la verdad son falsas porque sus miembros fueron
simpatizantes de ideas comunistas, Sostener que lo que digan
los miembros de la comisin de la Verdad es falso por ser
simpatizantes comunistas, porque las simpatas de un
individuo por ciertas ideas no es importante desde el punto de
vista de la lgica, para determinar la verdad o falsedad de sus
afirmaciones, o la correccin de su razonamiento.
b. Ad hominen de tipo circunstancial. Se comete cuando se
olvida o ignora totalmente la verdad o falsedad de lo que se
afirma , y se trata que el antagonista las acepte debido a la
situacin o circunstancia en las que ste pueda hallarse, por
ejemplo: si uno de los individuos es psiclogo, el otro puede
tratar de hacerlo aceptar sus argumentos sobre la no
existencia de Dios dicindole que T como psiclogo debes
aceptar que Dios no existe realmente ya que slo es una
proyeccin de deseos y del temor a la muerte. Se nota
claramente que no prueba su tesis sobre la inexistencia de
Dios, pero quiere forzar al otro aceptarla basada en una
especulacin psicolgica.
16.
Qu es un axioma? De dos ejemplos de lgica y dos de
matemtica.
La palabra axioma significa originariamente dignidad o valor, El
trmino viene del verbo griego (axioein), que significa
"valorar", que a su vez procede de (axios): "valioso" o "digno",
y fue usada por los matemticos para
designar los principios
indemostrables, pero evidentes de su ciencia, segn Aristteles los
axiomas son las proposiciones primeras de las que se parte en la
demostracin, y por ende los principios que debe poseer todo aquel
que quiera aprender algo. Como ejemplo de ellos tenemos en la
lgica, segn Aristteles el principio de no contradiccin, es el
principio de todos los axiomas11. Podemos agregar que al principio
del tercio excluido como otro axioma lgico. Se reconocen tambin
como axiomas lgicos:
11 Abbagnano, N. Diccionario de Filosofa.

(AB) (~A~B)
[(AB) ^A]B
Kant llama a los axiomas principios sintticos a priori. En un sistema
hipottico-deductivo es toda proposicin no deducida (de otras), sino
que constituye una regla general de pensamiento lgico.
La nocin de axiomas en el mundo
contemporneo ha cambiado se le
8
ha negado su la inmediatez de su verdad, la evidencia, la certeza.
Esto es consecuencia del desarrollo del formalismo matemtico, se
dice, segn este formalismo que los axiomas de la matemtica no son
ni verdaderos ni falsos, se les adopta por convencin, por
conveniencia como premisas o fundamentos del discurso matemtico.
Como ejemplos de axiomas matemticos tenemos:
En teora de conjuntos:
El axioma del conjunto vaco es un axioma que postula la
existencia de un conjunto vaco, es decir, un conjunto sin elementos.
El axioma del infinito es un axioma que garantiza la existencia de
un conjunto con un nmero infinito de elementos.
17.
Qu es un teorema? De dos ejemplos en lgica y dos de
matemtica.
Un teorema es
una
frmula
bien
formada
que
puede
ser demostrada dentro de un sistema formal. Demostrar teoremas es
un asunto central en la lgica y la matemtica. Un teorema requiere
de un marco lgico; este marco consistir en un conjunto
de axiomas (sistema axiomtico) y un proceso de inferencia, el cual
permite derivar teoremas a partir de los axiomas y teoremas que han
sido derivados previamente.
En lgica los teoremas usualmente son proposiciones condicionales
del tipo p q (esto es, si p, entonces q"), aunque el enunciado del
teorema o proposicin a veces oculta este hecho. Cuando un teorema
se expresa como una proposicin condicional pq, la proposicin p
se llama hiptesis y la proposicin q se llama tesis. Cabe sealar que
no todo teorema es una proposicin condicional. Algunos tienen la
forma Bicondicionales pq (que puede expresarse como dos
proposiciones condicionales). Otros teoremas son simplemente
proposiciones p. Como ejemplos tenemos: al teorema de unicidad:
Todas las proposiciones idnticas a otra (y que estn ligadas
por las mismas variables) corresponden a una misma nica (y
suficiente) proposicin del mismo tipo (ligada a
las mismas variables) que esta otra.
Otro ejemplo de teorema lgico es Teorema
fundamental de la Lgica.
Si de un sistema formal se deduce al menos un
teorema y tambin su negacin, entonces el
sistema formal se dice inconsistente.
En matemticas tenemos el famoso Teorema de Pitgoras:
En todo tringulo rectngulo el cuadrado de la hipotenusa es
igual a la suma de los cuadrados de los catetos.
Tambin est el primer Teorema primero de Tales:

Si en un tringulo se traza una lnea paralela a cualquiera de

sus lados, se obtiene un tringulo que es semejante al
tringulo dado.
18.
Qu es la demostracin o prueba en la lgica
matemtica? De un ejemplo.
La teora de la demostracin o teora de la prueba es una rama
de la lgica matemtica que trata a las demostraciones como objetos
8
matemticos, facilitando su anlisis
mediante tcnicas matemticas.
Las demostraciones suelen presentarse como estructuras de
datos inductivamente definidas que se construyen de acuerdo con
los axiomas y reglas de inferencia de los sistemas lgicos. En este
sentido, la teora de la demostracin se ocupa de la sintaxis, en
contraste con la teora de modelos, que trata con la semntica. Por
ejemplo Si pq figura en una demostracin y p tambin figura en la
misma demostracin, entonces se puede concluir q en la
demostracin. Esta regla universal se conoce con el nombre de
Modus Ponendo Ponens o Modus Ponens.
19.
Formule el principio de no contradiccin, de un ejemplo
y diga por qu es ley.
El principio de no contradiccin, o a veces llamado principio de
contradiccin, es un principio clsico de la lgica y la filosofa,
segn el cual una proposicin y su negacin no pueden ser ambas
verdaderas al mismo tiempo y en el mismo sentido. Se formula: ~ (p
^ ~p). Desde el punto de vista de las tablas de verdad se obtiene
una matriz tautolgica lo que indica su validez formal. Un ejemplo
Es imposible que el libro sea de lgica y al mismo tiempo ese
libro no sea de lgica.
20.
Formule el tercio excluido, de un ejemplo, y diga por
qu es ley.
El principio del tercero excluido, propuesto y formalizado
por Aristteles, tambin llamado principio del tercero excluso o en
latn principium tertii exclusi (tambin conocido como tertium
non
datur o una
tercera
(cosa)
no
se
da),
es
un principio de lgica clsica
segn
el
cual
la disyuncin de
una proposicin y su negacin es siempre verdadera. Se formula (p v
~p) y se obtiene una matriz tautolgica lo que indica su validez. Por
ejemplo
El libro es de lgica o no es de lgica.
21.
Formule el principio de identidad, de un ejemplo, y diga
por qu es ley.
El principio de identidad es un principio clsico de la lgica y
la filosofa, segn el cual toda entidad es idntica a s misma. Se
formula: (pq)
As tenemos que
Si el libro es de lgica entonces es de lgica, el libro de lgica
es idntico a s mismo.