Copi 2
Copi 2
Copi 2
EJERCICIOS
Identifique la forma y explique la validez o invalidez de cada uno de los
siguientes argumentos.
* 1. Si un hombre no pudo haber hecho otra cosa distinta de la que en
realidad hizo, entonces no es reponsable por su acción. Pero si el
determinismo es verdadero, es verdadero de cada acción que el agente no
pudo haberlo hecho de otra forma. Por lo tanto, si el determinismo es
verdadero, nadie es responsable de lo que ha hecho.
- WINSTON NESBIT y STEWART CANDLISH, "El determinismo
y la habilidad para hacerlo diferente", Mind, julio de 1978
2. No puedo hacer más con esa operación. Si lo hiciera, tendría que
mentirle al embajador y no puedo hacerlo.
- HENRY BROMELL, "Conozco tu corazón, Marco Polo",
The New Yorker, marzo 6 de 1978
Silogismos disyuntivo e hipotético 307
* 25. No hay un caso conocido (ni de hecho es posible) en el cual una cosa
resulte ser causa eficiente de sí misma, porque en ese caso sería anterior a
sí misma, lo cual es imposible.
- TOMÁS DE AQUINO, Suma Teológica, Cuestión 1, Artículo 3
Sé que este lápiz existe, pero no podría saber esto si los principios
de Hume fuesen verdaderos; por lo tanto, los principios de Hume, uno de
ellos o los dos, deben ser falsos.
- GEORGE EDWARD MOORE, Algunos problemas
primordiales de la filosofía
Una posición sin teoría es posible solamente si no hay teorías de la
evidencia, pero hay teorías de la evidencia; por lo tanto, no es posible una
posición sin teoría.
- HENRY W. JONSTONE, JR., "La ley de no contradicción",
Logique et Analyse, n.s., Vol. 3, 1960
* 30. Es claro que con palabras como sustancia, cambio, causa, etc., sig-
nificamos algo, y algo diferente cada vez. Si no fuese así no las podríamos
usar consistentemente, y es obvio que las aplicamos consistentemente.
— C. D. BROAD, Pensamiento científico
Si un número fuese una idea, entonces la aritmética sería psicología.
Pero la aritmética no se parece más a la psicología de lo que se parece la
astronomía, por poner un ejemplo. La astronomía se refiere no a las ideas
de los planetas, sino a los planetas mismos, y por la misma razón, los
objetos de la aritmética tampoco son ideas.
- GOTTLOB FREGE, Los fundamentos de la aritmética
7.7 El dilema
La conclusión del primer dilema es que el hijo será odiado (por los
hombres o por los dioses), mientras que la conclusión del contradilema es
que el hijo será amado (por los dioses o por los hombres). Pero estas dos
conclusiones son perfectamente compatibles. El contradilema refutatorio
sirve meramente para establecer una conclusión diferente de la original.
Ambas conclusiones pueden ser verdaderas a la vez, de tal forma que no
se llegue a ninguna refutación. Pero al calor de la controversia, el análisis
no suele ser bienvenido y si tal refutación ocurre en un debate público, la
audiencia en general estaría de acuerdo en que la refutación destruyó
totalmente al argumento original.
Que ese tipo de maniobra no refuta, sino que sólo dirige la atención a
un aspecto diferente de la misma situación se muestra quizás más clara-
mente en el caso del siguiente dilema propuesto por un "optimista":
EJERCICIOS
Discuta los varios argumentos que se pueden ofrecer para refutar cada
uno de los siguientes dilemas.
¿No está enterado el caballero de que hay una ley que prohíbe, bajo
pena de cárcel, prestar dinero a un interés mayor del doce por ciento? Si no
lo sabe, es demasiado ignorante para ser puesto a la cabeza del comité, y
si lo sabe, su negligencia para mencionar este hecho es un muy dudoso
mérito acerca de la confianza que se puede depositar en él.
- ABRAHAM LINCOLN, Discurso pronunciado
el 11 de enero de 1837, en la Legislatura de Illinois
... un hombre no puede investigar lo que ya sabe ni lo que no sabe:
porque si ya lo sabe, no necesita investigarlo; y si no lo sabe, no puede
investigarlo porque no conocería siquiera el tema a investigar.
- PLATÓN, Menón
Lógica simbólica
321
322 Lógica simbólica
'Existen muchas pruebas de que incluso los antiguos romanos no usaron sus numerales
en cálculos. En su lugar utilizaron "tablas de contar", versión occidental del ábaco oriental.
Véase Karl Menninger, Nu mber Words and Number Symbols, MIT Press, Cambridge, Mass.,
1969.
2A. N. Whitehead, An Introduction tu Mathematics, Oxford University Press, Nueva
York, 1911.
Los símbolos para la conjunción, la negación y la disyunción 323
Y
Si el señor Robinson es el vecino del maquinista, entonces el señor
Robinson vive entre Detroit y Chicago.
El señor Robinson no vive entre Detroit y Chicago.
Por lo tanto, el señor Robinson no es el vecino del maquinista.
3 Por esta explicación más complicada pero más satisfactoria de los enunciados compues-
tos y de sus componentes agradecemos al profesor C. Mason Myers de la Northern Illinois
University, al profesor Alex Blum de la Bar-flan University (quienes enviaron comunicacio-
nes independientes) y al profesor James A. Martin de la University of Wyoming por su
artículo "How Not to Define Truth-Functionality", Logique et Analyse, Vol. 14, Núm. 52,
1970, pp. 476-482.
324 Lógica simbólica
1. Conjunción
P •q
V V V
V F F
F V F
F F F
2. Negación
~P
V
F V
3. Disyunción
p q pvq
V V V
V F V
F V V
F F V
'Un silogismo es un argumento deductivo que consiste en dos premisas y una conclusión.
6E1 estudiante ha de observar que el término "silogismo disyuntivo" se usa en un sentido
más amplio que en el capítulo anterior.
Los símbolos para la conjunción, la negación y la disyunción 329
exclusiva, por medio de la frase "pero no ambos ", por ejemplo, tenemos la
maquinaria para formular indirectamente esa condición en forma simbólica.
En todos los casos en que los dos disyuntos tienen el mismo sujeto o el
mismo predicado, frecuentemente es natural comprimir la formulación de
su disyunción en español colocando el "o" de manera tal que se evite la
repetición. Así, "O bien Smith es el propietario o Smith es el administra-
dor" se puede escribir como "Smith es el propietario o el administrador"
y se simboliza como O v M. Y "Red es el culpable o Butch es el culpable"
se enunciaría como "Red o Butch es el culpable" y se simboliza como R
B. Se puede observar que las palabras "a menos que" se pueden usar para
formar la disyunción de dos enunciados. Así, "Se hará el picnic a menos
que llueva" y "A menos que llueva se hará el picnic" equivalen a "Se hará
el almuerzo o lloverá" y se simbolizan A y L.
4. Puntuación
Y
Jane y Dick ambos no serán elegidos.
Los símbolos para la conjunción, la negación y la disyunción 331
EJERCICIOS
I. Cuáles de los siguientes enunciados son verdaderos?.
25. Libia eleva el precio del petróleo y Egipto disminuye sus aprovi-
sionamientos; sin embargo, Saud iarabia compra quinientos aviones de
guerra y Jordania pide más ayuda a Estados Unidos.
V V F F V V
V F V V F F
F V F F V V
F F V F V V
Aquí las dos primeras columnas de la tabla son las guías; la tercera se
llena en referencia a la segunda, la cuarta en referencia a la primera y
tercera, la quinta en referencia a la cuarta y la sexta es idéntica por
definición a la quinta.
El símbolo "D" no se reconoce como denotando el significado de "si-
entonces" o representando la relación de implicación. Sería imposible,
porque no hay un único significado de la implicación, sino varios diferen-
tes. Ni el símbolo "D" se reconoce como algo que representa todos los
significados de "si-entonces", ya que son todos diferentes y cualquier
intento de abreviar todos ellos por medio de un único símbolo lógico
resultaría tan ambiguo como la frase del español "si-entonces" o la pala-
bra "implicación". El símbolo "o" es totalmente no ambiguo. Lo que
abrevia p D q es -(p • -q), cuyo significado está incluido en los signifi-
cados de cada uno de los diferentes tipos de implicaciones considerados,
pero esto no constituye el significado total de cualquiera de ellos.
Podemos considerar el símbolo "D" como representación de otro tipo
de implicación y será conveniente hacerlo así, puesto que una forma
adecuada de leer p D q es "si p entonces q". Pero no se trata del mismo tipo
de implicación que cualquiera de los mencionados antes. Los lógicos le
llaman implicación material y al darle un nombre especial admiten que es
una noción especial, la cual no debe confundirse con los otros tipos más
usuales de implicación.
No todos los enunciados condicionales del español han de afirmar uno
de los cuatro tipos de implicación previamente considerados. La implicación
material es un quinto tipo que se puede afirmar en el discurso ordinario.
340 Lógica simbólica
pDq
V V V
V F F
F V V
F F V
... George Bernard Shaw una vez envió a Winston Churchill dos boletos
para la función de estreno de su nueva obra de teatro, haciéndole notar "Ve
con un amigo si lo tienes"; a lo cual Churchill respondió diciendo que no podía
ir al estreno, pero que agradecería que le enviaran boletos para la segunda
función, "si es que la hay"?
EJERCICIOS
'Aristides, "The Gentle Art of the Resounding Put-Down", The American Scholar,
verano de 1987, p. 313.
344 Lógica simbólica
5. ( A D B) D Z 6. (XD D Z
7. ( A D B) D C 8. (X D Y) D C
9.AJ(BiZ) * 10.XD(YDZ)
11. [(A D B)D C] D Z 12. [(A D D Y] Z
13. [A (X D Y)] D C 14. [A D (B D Y] D X
15. [(X D Z) DC] D Y 16. [(Y D B) D Y] D Y
[(A D Y) D B] D Z
[(A • X) D C] D [(A D C) D XI
19. [(A • X) D D [(A D X) D C1
*20. [(A • X) D Y] D [(X D A) D (A D Y)]
[(A • X) V (-A -X)] D [(A D X) (XD A)]
24.[PD(AvX)]D[(PDA)D X]
B G A D
GY
B A
'Suponemos que los enunciados simples implicados no son lógicamente verdaderos (por
ejemplo, "Todas las sillas son sillas") ni lógicamente falsos (por ejemplo, "Algunas sillas no
son sillas"). También suponemos que las relaciones lógicas entre los enunciados simples sólo
son las implicadas o afirmadas por las premisas. El objetivo de estas restricciones es el de
limitar nuestras consideraciones en este capítulo y el siguiente a los argumentos veritativo-
funcionales solamente y excluir otra clase de argumentos cuya validez depende de conside-
raciones lógicas más complejas que no se han introducido en forma apropiada hasta este
momento.
348 Lógica simbólica
p Dq
q
BG
G
B
PI q P D LI p p
q r r
-.. P .•.P
Formas argumentales y argumento 349
tilde, la " y " y la herradura. Por ende, obtenemos todas las posibles
instancias de sustitución cuyas premisas y conclusiones tienen diferentes
valores de verdad, examinando todos los arreglos diferentes posibles de
los valores de verdad de los enunciados que se pueden sustituir en lugar
de las diferentes variables enunciativas que aparecen en la forma
argumental.
Cuando una forma argumental contiene solamente dos diferentes
variables enunciativas p y q, todas sus instancias de sustitución son
resultado de sustituir enunciados verdaderos para p y q, o un enunciado
verdadero para p y falso para q, o uno falso para p y uno verdadero para
q o falsos para las dos. Estos casos diferentes se pueden conjuntar más
apropiadamente en una tabla de verdad. Para decidir la validez de la
forma argumental:
p D
V V V
V F F
F V V
F F V
sencillo usar una versión un poco más compleja. Luego de que cada una
de las premisas y la conclusión tengan su columna correspondiente llena
con V y F, deben escribirse de nuevo todas la premisas en el orden en que
ocurren en el argumento seguidas inmediatamente por la conclusión y las
columnas bajo ellas se llenan de nuevo con V y F. La tabla de verdad
expandida será la siguiente:
pDfri q
V V V V
F F F V
F V V V F
F F V F F
En esta tabla es más fácil ver que hay un renglón (el tercero) en el cual
todas las premisas son V y la conclusión F, lo cual establece la invalidez
de la forma argumental en cuestión.
Para mostrar la validez de la forma argumental del silogismo disyun-
tivo:
p vq
11
p v -1)
V V F
F V F
F V V V
F F F V
Aquí también escribimos bajo las columnas guías o iniciales todos los
diferentes valores de verdad de los enunciados sustituidos en lugar de las
variables p y q. Encontraremos los valores de la tercera columna por
referencia a las primeras dos y los de la cuarta por referencia a la primera
solamente. Ahora, el tercer renglón es el único en el que aparecen las V bajo
ambas premisas (la tercera y la cuarta columnas) y hay una V también bajo
la conclusión (la segunda columna). La tabla de verdad muestra que la
forma argumental no tiene instancias de sustitución con premisas verda-
deras y conclusión falsa y, así, prueba la validez del argumento.
352 Lógica simbólica
Aquí la tabla más extensa es sólo un poco más larga que la original. De
hecho, solamente se necesita una columna más, encabezada por la conclu-
sión g . La tabla de verdad más larga es:
P v q -P
V V F V
F V F F
F V V V V
F F F V F
"donde leemos la validez" de la forma argumental directamente de las tres
últimas columnas de la tabla.
La técnica de tablas de verdad proporciona un método completamente
mecánico para probar la validez de cualquier argumento del tipo general
que aquí hemos considerado. Ahora estamos en condiciones de justificar
nuestra propuesta de traducir cualquier ocurrencia del "si-entonces" con
nuestro símbolo "D " de la implicación material. En la sección anterior se
ha hecho la afirmación de que todos los argumentos válidos del tipo
general en los cuales estamos interesados, que involucran oraciones del
tipo "si-entonces", permanecen como válidos cuando estos enunciados se
interpretan como afirmando solamente la implicación material. Las tablas
de verdad se pueden usar para probar esta afirmación y justificar así
nuestra traducción de "si-entonces" en el símbolo de la herradura.
El tipo más simple de argumento intuitivamente válido que involucra
un enunciado condicional se ilustra por el argumento:
Si el segundo nativo dice la verdad, entonces solamente uno de los
nativos es político.
El segundo nativo dice la verdad.
Por lo tanto, solamente un nativo es político.
La forma específica de este argumento, conocido como modus ponens es:
P q
p q
V V
F F
F V V
F F V
Formas argumentales y argumento 353
V V V V V
V F F V F
F V V F V
F F V F F
pDq
qDr
p r
p q r P q q Dr p Dr
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V V V V
F V F V F V
F F V V V V
F F F V V V
P q
P
Formas argumentales y argumento 355
tiene una semejanza superficial con la forma válida del modus ponens y la
nombramos la falacia de afirmar el consecuente. Otra forma inválida a la
que se ha dado un nombre especial es:
p q
-q
-p
que se llama modus tollens.
Como se señaló en la página 348, un argumento dado puede ser una
instancia de sustitución de varias formas argumentales diferentes. Un
determinado argumento válido como el silogismo disyuntivo de la página
328 se puede simbolizar como:
RvW
-R
W
EJERCICIOS
1. En las páginas siguientes, el lector encontrará un grupo de argumentos
(Grupo A, de la a a la o) y un grupo de formas argumentales (Grupo B, de la
1 a la 24). Para cada uno de los argumentos, indique de cuál forma argumental
en el grupo Bes una instancia de sustitución, si es que lo es de alguna de ellas.
Adicionalmente, para cada argumento del grupo A indique cuál de las
formas argumentales del grupo B es su forma específica.
Grupo A, argumentos.
* a. A • B b. C D D c. E
:.A C D (C • D) :. E vF
d.GiH * e. 1 f. (K D L)•(M D N)
—H J KvM
—G :. I • J L vN
g. O D P h. Q D R
—O Q D S LI D V
R v S :. V T
* j. (IN-X)D(Y•Z) m. [G D (G H)] [H D (H • G)]
( W • )0 [ ( 1/\1 X) ( Y G (G • H)
k. A D B n. (I v J) D (/ • J)
:. (A D B) v C --(/ J)
—(I • J)
I. (D v E) • —F o. (K D L)•(M D N)
:.DvE KD L
Formas argumentales y argumento 357
3. p • q 4. p
••• P p vq
5. p 6. p D q
pD q P (P • q)
7. (p v q)D (p•q) 8. pD q
(p D q) • (q D p) —p
--q
9. p D q * 10. p
P•q
11. p q 12. p q
p D r qDr
q v r :.rDp
13. p D (q D r) 14. p D (q r)
p D q (q v r)D
p
15. p (q r) 16. (p q) • (r D
q D (p D r) p vr
(p v q) r qvs
17. (p D q) • (r D s) 18. p D (ti D r)
q D (r D s)
—q
—p V ...pDs
19. p D (q D r) * 20. (p D q) • [(p q)D r]
(q D r) D 5
p D (r D s)
.•.pDs pDS
21. (p v q)D (t) • q) 22. (p v q) (p • q)
—(p v q) P°q
— (P • q) pvq
23. (p •q)D (r • s) 24. (p D q) • (r D s)
q) [(P • (I) • ( r • 5)] p Dq
II. Use tablas de verdad para probar la validez o invalidez de cada una
de las formas argumentales del grupo B, de arriba.
358 Lógica simbólica
9.(RvS)DT 10. 11 D (V v W)
T D (R • S) (V•W) D —U
(R • S) D (R v S) —U
V F V
F V V
Hay solamente una columna guía o inicial de esta tabla de verdad, puesto
que la forma bajo consideración contiene solamente una variable enun-
ciativa. En consecuencia, hay solamente dos renglones, los cuales repre-
sentan todas las posibles instancias de sustitución. Sólo hay V en la
columna bajo la forma enunciativa en cuestión, y este hecho muestra que
todas sus instancias de sustitución son verdaderas. Cualquier enunciado
que es una instancia de sustitución de una forma enunciativa tautológica
es verdadero en virtud de su forma y se dice que es un enunciado
tautológico o tautología.
Una forma enunciativa que tiene solamente instancias de sustitución
falsa se dice que es contradictoria o que es una contradicción y es lógica-
mente falsa. La forma enunciativa p • —p es contradictoria, pues en su tabla
de verdad solamente ocurren F bajo ella, lo cual significa que todas sus
instancias de sustitución son falsas. Cualquier enunciado tal como W •—W
que es una instancia de sustitución de una forma enunciativa contradicto-
ria, es falso en virtud de su forma y se dice que él mismo es un enunciado
contradictorio o una contradicción.
Las formas enunciativas que tienen entre sus instancias tanto enuncia-
dos verdaderos como falsos se dice que son formas enunciativas contin-
gentes. A cualquier enunciado cuya forma enunciativa es contingente se le
llama enunciado contingente." Así, p,—p,p«q,p v q, p q son todos ellos
formas enunciativas contingentes. Y enunciados tales como L, —L, L • W,
L v W, L W son enunciados contingentes puesto que sus valores de
verdad son dependientes o contingentes respecto a su contenido más que
a su forma.
No todas las formas enunciativas son tan obviamente tautológicas o
contradictorias o contingentes como los ejemplos simples que aquí se han
citado. Por ejemplo, la forma enunciativa [(p q)Dp[Dp no es tan obvia,
aunque su tabla de verdad muestra que es una tautología. Tiene incluso un
nombre especial: "Ley de Peirce".
"Debe resaltarse que suponemos aquí que ningún enunciado simple es lógicamente
verdadero como tampoco lógicamente falso. Sólo se admiten los enunciados simples
contingentes. Véase la nota 9 de la página 347.
362 Lógica simbólica
Equivalencia material
Se dice que dos enunciados son 'p af erialinente equivalentes oeq iva len tes
en su valor de verdad cuando ambos son verdaderos o falsos a la vez. Esta
noción se expresa con el símbolo La equivalencia material es una
función de verdad y se puede definir por medio de la siguiente tabla de
verdad:
-P P=
V V V
V F F
F V F
F F V
Siempre que dos enunciados son materialmente equivalentes, se implican
materialmente uno al otro. Esto se puede verificar fácilmente por medio de
una tabla de verdad. Aquí el símbolo "a" debe leerse como "si y solamente
si". Un enunciado de la forma p .E.: q se llama bicondicional y la forma enun-
ciativa se llama también bicondicional.
Equivalencia lógica
- P
V F V V
F V F V
lo cual prueba la equivalencia lógica de p y
La diferencia entre la equivalencia lógica y la material es grande y muy
importante. Dos enunciados son lógicamente equivalentes sólo cuando es
absolutamente imposible que tengan diferentes valores de verdad. Por lo
tanto, los enunciados lógicamente equivalentes tienen el mismo significa-
do y se pueden sustituir uno por otro en cualquier contexto veritativo
funcional sin que se modifique el valor de verdad en ese contexto. Pero dos
enunciados son materialmente equivalentes (aun si no tienen conexiones
Formas argumentales, equivalencia material y equivalencia lógica 363
5. Teoremas de De Morgan
-p
P q pvq -(pvq) -q -p • -q -(P v q ) (-p • - q )
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V
disyunción)
La negación de la conjunción de dos enunciados es lógicamen-
disyunción
te equivalente a la de las negaciones de los dos enun-
conjunción
ciados.
364 Lógica simbólica
p
p
q
EJERCICIOS
1. Para cada enunciado de la columna de la izquierda indicar cuál, si
hay alguna, de las formas enunciativas de la columna de la derecha tiene
Formas argumentales, equivalencia material y equivalencia lógica 365
1. A v B a.p•q
C•—D b.pDq
—E (F • G) c. p v q
4. H p (1•1) d.p •—q
5. (K•L)v(M•N) e. p q
(O 13 )D (P • Q) f. (p D q) (r • s)
(RDS)v(T•LI) g•[(pDq)Drs
VD (W -W) h.[(pDq)Dp]Dp
[(XD Y)D X]D X i. (p • q) v (r • s)
10.Z -•=• --Z j. p (q —r)
5. P IP • (P v 11)1 6. p [p (p • q)]
7. P ' [P • (P 8. p a-•-• [p • (q p)]
9. p [p (p * 10.(p q) [(p q) q]
considerarse, sin embargo, que las tres leyes del pensamiento tienen cierta
posición especial en relación con las tablas de verdad. Si tomamos las
columnas iniciales como base para llenar las siguientes, nos orientamos
por el principio de identidad: si se escribe una V bajo un símbolo determi-
nado, al llenar otras columnas correspondientes a ese símbolo se le
asignará el mismo valor de verdad. Al llenar las columnas iniciales en cada
renglón ponemos una V o una F orientados por el principio del tercero
excluido. Y sin importar dónde ponemos V y F, con ambos nos orientamos
por el principio de no contradicción. Las tres leyes del pensamiento se
pueden considerar como los principios básicos que gobiernan la construc-
ción de tablas de verdad.
Sin embargo, es preciso notar que cuando se trata de construir la
lógica como un sistema, las tres leyes anteriores no son más importantes
o fructíferas que las otras; por el contrario, hay otras tautologías más
adecuadas para los propósitos de la deducción. La explicación de este
punto está más allá de la intención de este libro.12
' 2E1 lector interesado puede consultar a I. M. Copi y J. A. Gould, comps, Readings on
Logic, Parte 3, 2a. ed., Macmillan Publishing Company, Nueva York, 1972; e I. M. Copi y
J. A. Gould, comps., Conteniporary Philosophical Logic, Parte 8, St. Martin's Press, Nueva
York, 1978.
9
El método de la deducción
371
372 El método de la deducción
AB
B DC
CDD
-D
AvE
E
AB
BDC
C D
--D
AvE/.*.E
AD C 1,2 S.H.
ADD 6,3, S.H.
--A 7,4 M.T.
9. E 5,8, S.D.
(A • B) D [C (D E)]
A•B
C —= (D v E)
p Jq
••• q
Reglas de inferencia
q —p
3. Silogismo hipotético (S.H.) 4. Silogismo disyuntivo (S.D.)
P q pvq
q r
.'.ppr
5. Dilema constructivo (D.C.) 6. Absorción (Abs.)
(p D q) • (r D s)
p vr ••• P (q • P)
.*. q v s
7. Simplificación (Simp.) 8. Conjunción (Conj.)
P •q
P
••• P • q
9. Adición (Ad.)
.°. p v q
EJERCICIOS
1. Para cada uno de los siguientes argumentos elementales válidos
enuncie la regla de inferencia mediante la cual se sigue su conclusión de
sus premisas.
1. (A • B) C 2. (D E) • (F G)
(A • B) [(A • B) • G] DvE
3. H D I 4. ~(1 • K) • (L D
;.(HDI)v(HD—I) ~(1 • K)
5. [N ( 0 • P)] • [Q D (0 • R)] 6. (X Y) D -- ( Z • —A)
N v Q ---(Z • —A)
.*. (O • P) v (O • R) —(X v Y)
Prueba formal de validez 375
7. (S T) v [(U • V) v (U • W)] 8. -(B • C) D (D v E)
-(S T) -(B
(U • V) V (U • W) DvE
9. (F G) D -(G —F) * 10. -(H • -I) D (H I)
-(G • -F)D (G D F) (I H) D -(H • -/)
(F G) D (G D F) (/ -= H) D (H I)
11. (A D B) D (C V D)
12. [E D (F -= -G)] v(Cv D)
A D B -[E D (F -G)]
C v D Cv D
13. (CvD)D[(JvK)D(J•K)] 14. -[1, D (M D N)] D D)
-ft] v K)D (J • K)] -[L D (l14 D N)]
-(C v D) v D)
(J D K) • (K D L)
LM
[(I D K) • (K D L)]•(L D M)
N D (O P)
QD(OvR)
[QD (0v R)] • [N D (O v P)]
(SDT)D(UDV)
;.(SDT)DRSDT)•(1/DV)]
(W•-X) (Y D Z)
[(W • -X) (Y D Z)] v (X -Z)
[(H • -I) D C] • [(I • -H)D 13]
(H • -I) v (I • -H)
C vD
[(0 D P) D Q] D -(C V D)]
(CvD)D[(0DP)DQ]
(C v D) D -(C v D)
II. Cada una de las siguientes es una prueba formal de validez del
argumento indicado. Enuncie la "justificación" de cada línea que no sea
una premisa de la prueba.
1. 1. A • B 2. 1. (E v F)•(G v H)
2. (A vC)DD/.'. A • D 2. (E D G) • (F D H)
3. A 3. -G / H
4. A v C 4.EvF
5.D 5.GvH
6. A • D 6. H
376 El método de la deducción
3. 1. /D J 4. 1. N D O
JDK (N « 0)D P
LDM -(N • P) / .*. -N
4. IvL/.*. KvM N D (N • O)
5.1 D K NDP
(1 D K) • (L D M) N D (N • P)
KvM -N
5. 1. QDR 6. 1. WD X
-S D (TD U) 2. (WDY)D(Zvffl
S v (Q v 3. (W•X)D Y
-S/.*.RvU 4. -Z / .*. X
TDU 5. WD(W•X)
6. (Q D R) • (T D U) 6.WDY
7.QvT 7. Z v X
8.RvU 8. X
7. 1. (A v B) D C 8. 1. D -G
(C v B)D [A D (D = E)] -F D (H D -G)
A•D / D -= E (-Iv-H)D-G
A -I / -H
AvB -I v -H
C --G
CvB -F
A D (D E) H D -G
D=E E -H
9. 1. ID j
I v (--K • --J) -K -1
L D -K -K
-(1 . J) / -L v -1 -L
1D(1•1) -L v -J
6. -I
10. 1. (L D D (N O)
(P D ~Q) D 5 -Q)
{(P D -Q) v (R S)] • (N v Q)} D [(R = S) D( L D M)]
(P ~Q) v (R.= S)
N v O / .*. (M -Q) v (N O)
[(P -Q)v (R-= S)] • (N v O)
(Rm S) D (L D M)
(R -= S) D (N O)
[(P D -Q) D (M -Q)] • [(R S) D (N -- -- O)]
10. (M.= v (N -= O)
Prueba formal de validez 377
III. Para cada uno de los puntos siguientes, añadir los dos enunciados
que se necesitan para producir una prueba formal de validez. Construya
una prueba formal de validez de cada uno de los siguientes argumentos.
1. A 2. D D E
B /;.( A v C) • B D • F /.". E
3.G 4. JD K
H/.". ( G • H) v 1 j /.*. K v L
5. MvN 6. 13•(2
-M--0/.*.N R /.*. P • R
7. SDT 8. VvW
-T--U/.".-S -V /.*.WvX
9. YDZ * 10.A D B
Y/.'. ( A • B) D C ADC
11.DD E 12. (G D H) • (1 D 1)
( E D F )•( F D D )/.". D D F G /.*. H vJ
13. - ( K • L) 14.(MD N )•( M D O )
K D L /.". - K NDO / M DO
15. (P D Q)• ( R D S) 16.(TD U)•( T D V)
( P v R )•(Qv R )/.'.Qv S T/.". UvV
17.(W X)D Y 18. (Z « A) D ( B • C)
W/.•.Y Z D A /.". Z D( B • C)
19.DD E
[ D D ( D • E)] D (F D -G) / .". F D -G
20. ('- Hv I)vJ
-(- H v I )/.4v- H
(KDL)DM
-M•-(LDK)/.'. '-(KDL)
(N D D (P D Q)
[P D (N D O)] • [ N D (P D Q)] / .". P D ( P D Q)
RDS
S D (S R) / .". [ R D (R • S)] • [S D (S • R)]
[T D (U v V)] • [U D (T v V)]
(TvU)•(UvV)/;.(UvV)v(TvV)
25. (W • X) D (Y • Z) 26.ADB
-[( W • X) • (Y Z)] AvC
••• • X) C D D /.". B v D
378 El método de la deducción
Para cada uno de los puntos siguientes, añadir tres enunciados a las
premisas producirá una prueba formal de validez. Construya una prueba
formal de validez para cada uno de los siguientes argumentos.
* 1. A v( B DA) 2. (D v E) D (F • G)
- A • C /:.- B D / F
3. ( H D1)•( H DI) 4. (K-L)DM
H•(1v1)/:.lvj K D L / K D [ ( K L) • MI
* 5. N D [( N •O) D PI 6. Q D R
N •0/:. P RDS
-S / •. -12 • -R
7. TDU 8. -XD Y
V v -U ZDX
-V • W / -T
9. ( A v B )D -C * 10. E -F
CvD Fv(EvG)
A/ D -E / G
11. (HDI)•(JDK) 12. L (MD N)
KvH -L D (N D O)
-K / I -L / M D O
13. ( P D Q) • (Q D P) 14. (Y D U) • (V D W)
RDS (UD X) - (W D Y)
P v R /:.Qv S T / :. X vY
15. ( Z •A) D B
BDA
(B•A) D (A • B) / (Z • A) D (A • B)
Construya una prueba formal de validez para cada uno de los
siguientes argumentos.
1. A D B 2. (F D G) • ( H D I)
A v (C • D) JD K
-B • -E (F v J) • (H v L)
C GvK
Prueba formal de validez 379
VI. Construya una prueba formal de validez para cada uno de los
siguientes argumentos, usando las abreviaturas sugeridas en cada caso.
* 1. Si gana Gertrudis o Heriberto, entonces pierden tanto Juana como
Kenneth. Gertrudis gana. Por lo tanto, pierde Juana (G: Gertrudis gana, H:
Heriberto gana, J: Juana gana, K: Kenneth pierde).
Si ingresa Adams, entonces crecerá el prestigio social del club; si
Baker ingresa, la posición financiera del club será más segura. O bien
Adams o Baker ingresarán. Si se incrementa el prestigio social, ingresa-
rá Baker y si la posición financiera se hace más segura, entonces ingresará
Wilson. Por lo tanto, o bien Baker o Wilson ingresarán (A: ingresa Adams,
S: el prestigio social del club crecerá, B: ingresará Baker, F: la posición
financiera del club será más segura, W: Wilson ingresará).
Si Brown recibió el cable, entonces tomó el avión; y si tomó el avión,
entonces no llegará tarde a la reunión. Si el cable tenía una dirección
equivocada, entonces Brown llegará tarde a la reunión. O bien Brown
recibió el cable, o bien el cable tenía una dirección equivocada. Por lo tanto,
o bien Brown tomó el avión o bien llegará tarde a la reunión (R: Brown
recibió el cable, T: Brown llegará tarde a la reunión, A: Brown tomó el
avión, E: el cable tenía una dirección equivocada).
4. Si Neville compra el terreno, entonces se consturirá un edificio pa-
ra oficinas; mientras que si Peyton compra el terreno, entonces lo ven-
derá de nuevo rápidamente. Si Rivers compra el terreno, entonces se
380 El método de la deducción
reglas de inferencia que se han dado antes. Por ejemplo, para construir una
prueba formal de validez del argumento obviamente válido:
A D B
C D —B
A D -C
por reemplazo.
Para definir la nueva regla, listamos un número de bicondicionales
tautológicos o lógicamente verdaderos que se pueden usar. Estos
bicondicionales proporcionan reglas adicionales de inferencia que deben
ser usados al probar la validez de los argumentos extendidos. Los nume-
ramos consecutivamente luego de las nueve reglas de inferencia ya enun-
ciadas.
AB
BDC
CD
-D
AvE / E
AC 1,2, H.S.
AD 6,3, H.S.
--A 7,4, M.T.
9. E 5,8, S.D.
'Debe notarse que la palabra "tautología" se usa en tres distintos sentidos: 1) una forma
enunciativa cuyas instancias de sustitución siempre son verdaderas, 2) un enunciado cuya
forma específica es una tautología en el sentido (1), y 3) la equivalencia lógica particular con
el número 19 de nuestra lista de Reglas de inferencia.
384 El método de la deducción
'Un método para probar esta clase de completitud para un conjunto de reglas de
inferencia puede hallarse en I. M. Copi, Symbolic Logic, 5a. ed., MacMillan Publish-
ing Company, Nueva York, 1979, capítulo 8. Véase también John A. Winnie, "The
Completeness of Copi's System of Natural Deduction", Notre Dame Journal of Formal
Logic, Vol. 11, No. 3, julio, 1970, pp. 379-382.
La regla de reemplazo 385
cualquier argumento del tipo que nos interesa, podemos siempre construir
una tabla de verdad para probar su validez siguiendo las reglas simples
establecidas en el capítulo anterior. Pero no tenemos reglas mecánicas o
efectivas para la construcción de pruebas formales. Aquí debemos pensar
o "figurarnos" cómo y dónde comenzar. Sin embargo, probar que un
argumento es válido por medio de la construcción de una prueba formal
de validez es mucho más sencillo que la construcción mecánica de una
tabla de verdad que puede tener cientos o hasta miles de renglones.
Hay una diferencia importante entre las primeras nueve y las últimas
diez reglas de inferencia. Las primeras nueve reglas se pueden aplicar
solamente a líneas enteras de la demostración. Así, en una prueba formal
de validez el enunciado A se puede inferir a partir de A • B por simplifica-
ción solamente si A • B aparece como una sola línea . Es obvio que A no se
puede inferir válidamente de (A B) D C ni de C D (A • B) porque estos
dos enunciados pueden ser verdaderos mientras que A es falso. Y el
enunciado A D C no se sigue del enunciado (A • B) D C por simplifica-
ción ni por las demás reglas de inferencia. No se sigue, en absoluto, por-
que si A es verdadero y B y C son ambos falsos, (A B) C es verdadero
pero A D C es falso. Nuevamente, aunque A v B se sigue de A por adición,
no podemos inferir (A v B) D C de A D C por adición ni por cualquier otra
de las reglas de inferencia. Porque si A y C son ambos falsos y B es
verdadero, A D C es verdadero pero (A v B) D C es falso. Por otra parte,
cualquiera de las últimas diez reglas se puede aplicar a líneas enteras o a
partes de una línea. No solamente el enunciado A D (B D C) se puede inferir
de la línea (A • B) D C por exportación, sino que de la línea [(A B) D C]
D podemos inferir [A D (B D C)] V D por exportación. Por medio del
reemplazo, las expresiones lógicamente equivalentes se pueden reempla-
zar entre sí dondequiera que aparezcan, aun si no constituyen toda la línea
de la demostración. Pero las primeras nueve reglas de inferencia se pueden
usar solamente con líneas enteras de una prueba que sirven como premisas.
Aunque no tenemos reglas mecánicas para construir pruebas formales,
se pueden sugerir algunas reglas heurísticas. La primera de ellas consiste
simplemente en comenzar a deducir las conclusiones de las premisas
dadas por medio de las reglas de inferencia. Mientras más de esas
subconclusiones se obtienen como premisas para posteriores deduccio-
nes, mayor es la probabilidad de ser capaces de ver cómo deducir la
conclusión del argumento cuya validez debe ser probada. Otra sugerencia
es la de tratar de eliminar enunciados que aparecen en las premisas pero
no en la conclusión. Tal eliminación puede proceder, por supuesto, sólo de
acuerdo con las reglas de inferencia. Pero las reglas contienen muchas
técnicas para eliminar enunciados. La simplificación es una de esas reglas,
por medio de la cual un conjunto de la derecha se puede borrar de una línea
que es una conjunción. Y la conmutación es una regla que permite pasar el
conjunto izquierdo de una conjunción hacia el lado derecho de la misma,
La regla de reemplazo 387
del cual puede ser eliminado ahora por simplificación. El término "medio"
q, se puede eliminar mediante un silogismo hipotético dados dos enuncia-
dos del tipo p D q yqD r. La distribución es una regla útil para transformar
una disyunción de la forma p v (q • r) en la conjunción (p y q) • (p y r) cuyo
conjunto derecho se puede eliminar ahora por simplificación. Otra regla
heurística consiste en introducir por medio de la adición un enunciado que
aparece en la conclusión pero no en las premisas. Otro método es trabajar
hacia atrás de la conclusión buscando algún enunciado o enunciados de los
cuales se pueda deducir, y luego tratar de deducir esos enunciados
intermedios a partir de las premisas. No hay, sin embargo, sustituto algu-
no de la práctica como método para adquirir pericia en la construcción de
pruebas formales.
EJERCICIOS
1. Para cada uno de los siguientes argumentos, enunciar la regla de
inferencia por la cual la conclusión se sigue de las premisas.
1. (A D B) • (C D D) 2. (E D F) • (G D - H)
.*. (A D B) • (- . D D -C) (-E y F) • (G -H)
3. ([I D (J D K)1 • (J D -I) 4. [L D (M v N)] v [L D (M v n)]
;. [ ( I J)D K] • (I D ~1) L D (M y N)
5. OD[(PDQ)•(QDP) 6. •-•(R v S) (~R v -S)
OD ( P Q) (-R • -S) D (-R y -S)
(T v --10 • [(W — V) D
(T v -41) [1/11 -7)]
(X y Y) • (-X y --Y)
[(X y Y) —XI y [(X y Y) • --Y]
9. ZD(ADB)
.*.ZD(—ADB)
(H D --.1) D D -fl
(H D (I D I)
13. (-K D L) D (-M - N)
;.(-KDL)D-(M•N)
388 El método de la deducción
7. YDZ 8. AB
Z D [YD (R v S)] B DC
R S CDA
--(R • S) / .". -Y A D -C :. -A • -C
(R • S) v (-R • -S) A DC
-R•--S (A D C) • (C D A)
-(R v S) A -= C
Y D [Y D (R v S)] (A • C) v (-A • -C)
(Y•Y) D (R v -A v
Y D (R v S) -(A • C)
11. --Y 11. -A • -C
9. (D • E) D -F 10. (I v --1) • K
F v (G•H) [-L D --(K • DI •
D E DDG [KD( I D~M)]
(D D E) • (E D D) -(M • -L)
DD E [(K • J) D L ] •
D D (D • E) [K D (1 • -M)]
D D -F [(K • I) D L] •
(F v G) • (F v H) [(K • I) D
FvG (1vD•K
-F v G K•(1v1)
-F G (K•I) v (K • J)
DD G (K • J) v (K • I)
9. L v -M
-M v L
-M v --L
12. -(M•--L)
11. C D 12. F G
-(F • G) / -F -G
13. HD (I • J) 14. (L D M) • (N DM)
ID(JDK)/:.HDK LvN / M
15. (OvP)D(QvR) 16. (S• T) (U • V)
Pv0/:.QyR -S v -T / U • V
17. (W•X)D Y 18. (A v B) D (C V D)
(XDY)DZ /:. WDZ -C • -D / -(A B)
19. (E • F) D (G • H) * 20. /D [Jv (K v L)]
F«E/GH -[(JvK)vL]/:.-I
21. (MD N) • (-O (3) 22. (-Q D -R) • (-S D -T)
Mv0/:.NlYP --(-Q v -S) / -R v -T
23. -[(U D V) • (V U)]
24. (Y D Z) • (Z D Y)
(W.=.X)D(LI, V) / :. (Y • Z) v (-Y . Z)
/ • -(W X)
25. A v B 26. [(E y F) • (G y H)] D (F 1)
CvD/.'. [(AvB)•C]v (G v H) • (E v F) / F • I
[(A v B) • D]
(J K) D [(L • M) v (N • O)]
-(L • M) • -(N • O) / -(J•K)
S) . (T U)]
(P D Q) D [(R y
(RyS)D[(TU)DQ]/:.(PDQ)DQ
[V• (WvX)] D(YDZ)
.--(YDZ)V(-1N-=-A)/:.[V•(WVX)D(-W-=-A)
--[(B D -C) • (-CD B)]
(D • E) D (B -C) / E)
IV. Para cada uno de los siguientes argumentos, añadir los tres enun-
ciados que hacen falta a las premisas para poder producir una prueba
formal de validez. Construir una prueba formal de validez para cada uno
de los siguientes argumentos.
9. W•(X v Y) 10. (Z v A) v B
—Wv—X/.'.W•Y —A/:.ZvB
11. (C v D) D (E • F) 12. G D H
D v C / E HDG/:.(G•H)v(—G•H)
13. (I D J)•(K D L) 14. (N • 0)D P
Iv(K•M)/.'.JvL (—PD-0)DQ/.'. NDQ
15. [R D (S D 7)] • [(R • T) D U]
R•(SvT)/.*.TvU
V. Los ejercicios de esta serie corresponden a patrones frecuentes de
inferencia que se hallan en pruebas más extensas de validez. La familiari-
dad con ellas será útil en el trabajo subsecuente. Construir una prueba
formal de validez para cada uno de los siguientes argumentos.
1. —A 2. C
A D B DD C
3. E D (F G) 4. HD(I•J)
F D (E D G) :.HDI
5. KDL 6. N D O
K D (L v M) (N • P) D O
7. (QvR)DS 8. TD U
.'.QDS TD V/.'. TD(U«
9. W D X 10. Z D A
Y DX ZvA
(W v Y) D X A
VI. Construir una prueba formal de validez para cada uno de los
siguientes argumentos.
1. A D —B 2. (13 • ~E)D F
—(C • —A) —(E v F)
C D —B
3. (G D —H) D I 4. (Jv K)D —L
—(G • H)
:.1v—H
5. [(M • N) • O] D P 6. R v (S • —T)
Q D [(0 • M) • N] (RvS)D(Uv—T)
.°. —Q v P .*. T D U
7. (—V D W)• (X D W) 8. [(Y • Z) D A ] • [(Y • B) D C]
V) (B v Z) • Y
W .'. A v C
392 El método de la deducción
19. ( M D N) • ( O D P) 20. (R S) D (T U)
-N v -P -R D ( V D -V)
- ( M • O) D Q -T
••• Q -v
VII. Construir una prueba de validez para cada uno de los siguientes
argumentos, usando en cada caso la notación sugerida.
* 1.O bien el gerente no notó el cambio o lo aprobó. Él notó el cambio, por
lo tanto, debe haberlo aprobado. (N, A)
2.0 bien el oxígeno del tubo se combinó con el filamento para producir
un óxido, o bien se evaporó completamente. El oxígeno del tubo no se
evaporó totalmente. Por tanto, el oxígeno del tubo se combinó con el
filamento para producir un óxido. (C, E)
Si un hombre de Estado que comprende que sus anteriores opiniones
eran erróneas no modifica su política, es culpable de engañar a la gente, y
si altera, su política, se expone a que lo acusen de contradecirse. O bien
altera su política o no lo hace. Por tanto, o bien es culpable de engañar a la
gente o bien se expone a que lo acusen de contradecirse. (A, D, 1)
No es el caso que o bien se olvidó o no fue capaz de terminar. Por lo
tanto, fue capaz de terminar. (O, T)
* 5. Si el papel tornasol se vuelve rojo, entonces la solución es un óxido.
Luego, si el papel se vuelve rojo, entonces o la solución es un óxido o hay
algo que anda mal. (R, A, W)
La regla de reemplazo 393
14. Si Inés recibe el mensaje, vendrá, siempre que esté todavía interesa-
da. Aunque no haya venido, aún está interesada. Luego, no recibió el
mensaje. (C, M, 1)
* 15. Si la descripción mosaica de la cosmogonía es estrictamente cierta,
el Sol no fue creado sino hasta el cuarto día. Y si el Sol no fue creado hasta
el cuarto día, no puede haber sido la causa de la sucesión del día y de la no-
che durante los tres primeros días. Pero, o bien las Escrituras usan la
palabra "día" en un sentido diferente al aceptado corrientemente en la ac-
tualidad, o bien el Sol debe haber sido la causa de la sucesión del día y de
la noche durante los primeros tres días. De esto se sigue que, o bien la
descripción mosaica de la cosmogonía no es estrictamente cierta, o bien
la palabra "día" se usa en las Escrituras en un sentido diferente al acepta-
do corrientemente en la actualidad. (M, C, A, D)
Si el cajero o el contador hubieran apretado el botón de alarma, la
bóveda se habría cerrado automáticamente y la policía habría llegado en
tres minutos. Si la policía hubiera llegado en tres minutos, habría podido
alcanzar el automóvil de los ladrones, luego el cajero no apretó el botón de
alarma. (T, C, V, P, O)
Si un hombre se orienta siempre por su sentido del deber, tiene que
renunciar al goce de muchos placeres, y si se guía siempre por su deseo de
placer, a menudo olvidará su deber. O bien un hombre se guía siempre por
su sentido del deber, o bien siempre se orienta por su deseo de placer. Si
un hombre se guía siempre por su sentido del deber, no descuidará a
menudo su deber, y si siempre se guía por su deseo de placer, no
renunciará al goce de muchos placeres. Luego, un hombre debe renunciar
al goce de muchos placeres si y sólo si no descuida a menudo su deber. (D,
O, F, N)
Aunque está aumentando la población mundial, la producción
agrícola está decayendo y la producción manufacturera permanece cons-
tante. Si la producción agrícola declina y la población mundial se incre-
menta, entonces o bien se dispondrá de nuevas fuentes de alimentación o
habrá una redistribución radical de los recursos alimenticios en el mundo
a menos que los requerimientos alimenticios humanos disminuyan. No se
dispondrá de nuevas fuentes alimenticias, ni la planeación familiar se
estimulará ni disminuirán los requrimientos alimenticios. Por lo tanto,
habrá una radical redistribución de los recursos alimenticios en todo el
mundo. (W, A, M, N, R, H, P)
0 bien el ladrón entró por la puerta, o el robo fue cometido desde
dentro y uno de los sirvientes debe estar involucrado en él. El ladrón sólo
pudo entrar por la puerta si el cerrojo fue levantado desde dentro; pero uno
de los sirvientes seguramente se halla implicado en el robo, si el cerrojo fue
Prueba de invalidez 395
lenvantado desde dentro. Por ende, uno de los sirvientes está involucrado
en el robo. (D, 1, S, L)
* 20. Si pago al sastre, no me quedará dinero. Solamente puedo llevar a
mi novia al baile si tengo dinero. Si no la llevo al baile, se sentirá
desdichada. Pero si no le pago al sastre, no me entregará el traje y sin él no
puedo llevar a mi novia al baile. O le pago al sastre o no le pago. Por tanto,
mi novia tendrá que sentirse desdichada. (P, M, D, U, S).
Si estudias humanidades, desarrollarás tu comprensión de las
demás personas. Si estudias ciencias, desarrollarás un entendimiento del
mundo que te rodea. Si estudias ciencias o humanidades, desarrollarás un
entendimiento de las personas o del mundo que te rodea. (H, P, S, W)
Si estudias humanidades, desarrollarás una comprensión de las
demás personas, y si estudias ciencias, desarrollarás un entendimiento del
mundo que te rodea. Si estudias tanto ciencias como humanidades com-
prenderás a las demás personas y al mundo que te rodea. (H, P, S, W)
Si tienes libre albedrío, tus acciones no están determinadas por
eventos anteriores. Si tienes libre albedrío, entonces si tus acciones no están
determinadas por eventos anteriores, entonces tus acciones no se pueden
predecir. Si tus acciones no están determinadas por eventos anteriores,
entonces si tus acciones no se pueden predecir, entonces las consecuencias
de ellas tampoco se pueden predecir. Por lo tanto, si uno tiene libre
albedrío, las consecuencias de las propias acciones no se pueden predecir.
(F, A, P, C)
Sócrates fue un gran filósofo. Por tanto, Sócrates estuvo felizmente
casado o no estuvo felizmente casado. (G, H)
25. Si o bien Sócrates estuvo felizmente casado o no estuvo felizmente
casado, entonces fue un gran filósofo. Por lo tanto, fue un gran filósofo. (H,
G)
FDR
PDR
FDP
F R P F D R P D R F D P
EJERCICIOS
* 1. A D B 2. -(E • F)
C DD (-E • - F )D (G • H)
A v D HDG
B v C G
3. I v 4. M D (N v O)
-(-K • L) ND(Pv Q)
-(-I • -L) QDR
- I D K - ( R v P)
-M
398 El método de la deducción
* 5. SD (TD U) 6. A (B C)
VD(WD X) B-(GvA)
TD (V • W) G 7.- (A B)
-(T • X)
-A
.*. S= U BvC
7. DD(EvF)
8. K D (L • M)
G (H I) (L D N) y -K
-ED(1v1) O D (P v -N)
(1 G) • (-H D -G) (-P v Q) . -Q
(R -13) -M
DD (G v I) KDR
9. (S D T) • (T D S) 10.A D (B D C)
(U . T) v (-T -U) (D D B) • (E D A)
(U V) v (S v T) FvC
-UD (W • X) G D -H
(VD -S) . (-VD --Y) (1 D G) • (H D J)
XD (--• YD ~X) I=-D
(U v S)•(V
v Z) (B D H) • (-H D D)
.*.X•Z EF
9.4 Inconsistencia
Si no se puede dar ninguna asignación de valores de verdad a los
componentes enunciativos simples de un argumento que hagan verdade-
ras sus premisas y falsa su conclusión, entonces el argumento debe ser
válido. Aunque esto se sigue de la definición de "validez" tiene una
consecuencia curiosa. Consideremos el siguiente argumento, cuyas
premisas parecen totalmente irrelevantes respecto a su conclusión.
Si el avión tiene un problema en su motor, aterrizará en Bridgeport.
Si el avión tiene un problema en su motor, aterrizará en Cleveland.
El avión no aterrizó en Bridgeport ni en Cleveland.
Por lo tanto, el avión debe haber aterrizado en Denver.
A B
-A C
-(BvC)/;.D
-B • -C 3, De M.
-B 4, Simp.
-A 1,5, M.T.
C 2,6, M.P.
-C —B 4, Comp.
-C 8, Simp.
C D 7, Ad.
11. D 10,9, S.D.
En símbolos, tenemos:
S
-S/.'. M
La prueba formal de su validez es casi obvia:
3.SvM 1, Ad.
4. M 3, 2,S.D.
¿Qué anda mal aquí? ¿Cómo es posible que tales premisas, insuficientes y
hasta inconsistentes, hagan válido cualquier argumento en el que apare-
cen?
Debemos notar en primer lugar que si un argumento es válido debido
a la inconsistencia de sus premisas, no es posible que sea un argumento
sólido. Si las premisas son inconsisténtes entre sí, no pueden ser todas a la
vez verdaderas. Ninguna conclusión se puede establecer como verdadera
por medio de un argumento con premisas inconsistentes porque sus
premisas no pueden ser ellas mismas verdaderas.
Esta situación se halla íntimamente relacionada con la llamada "para-
doja de la implicación material". Al analizarla, notamos que la forma
enunciativa -p D (p D q) es una tautología, cuyas instancias de sustitución
son todas verdaderas. Expresada en español, nos dice que "un enunciado
falso implica materialmente cualquier enunciado", lo cual se demuestra
fácilmente mediante las tablas de verdad. El resultado al que hemos
llegado con esta discusión es que la forma argumental:
p
-P
q
EJERCICIOS
1. (A D B) • (C D D) 2. (E D F) • (G D H)
.'. (A • C) D (B v D) (E v G) D (F•H)
3.ID(JvK)
4. M D (N • O)
(I • K)D L (NvO)DP
.'.MDP
402 El método de la deducción
5. [(X•Y) • Z] D A 6. [(D E) • F] D G
(ZDA)D(BDC) (F D G)D (H D I)
B H
X D C DDI
7. (J • K) D (I, D 8. (O « P) D (Q D R)
N D —M S D —R
(K D —N) —(P D -S)
-(J D —L) —(0 D Q)
9. T D (LI • V) 10. A D (B • C)
D (W B D (D • E)
(T D W) D (Y Z) (A D D) D(F= G )
(TD 11)D —Y A D (B —F)
D (-Z D X) —F D (—G D E)
:. X :. E
II. Para cada uno de los siguientes argumentos, o bien construir una
prueba formal de validez o probar la invalidez por el método de asignar
valores.
* 1. Si los lingüistas están en lo cierto, entonces en caso de que haya
habido más de un dialecto en la antigua Grecia, diferentes tribus descen-
dieron en épocas diferentes desde el Norte. Si diferentes tribus descendie-
ron en épocas diferentes desde el Norte, deben haber llegado del valle del
Danubio. Pero las excavaciones arqueológicas habrían revelado en ese
caso rastros de tribus diferentes y las excavaciones no han revelado tales
rastros. Por ende, si en la antigua Grecia había más de un dialecto, los
lingüistas no están en lo cierto. (C, M, D, V, A)
Si se presentan los síntomas ordinarios de un resfriado y el paciente
tiene fiebre, entonces si tiene pequeñas manchas en la piel, tiene saram-
pión. El paciente no puede, evidentemente, tener sarampión si su historia
clínica revela que ya lo ha tenido antes. El paciente tiene alta temperatura
y su historia clínica revela que ya ha tenido antes sarampión. Además de
los síntomas ordinarios de un resfriado, el paciente tiene pequeñas man-
chas en la piel. Podemos concluir que el paciente tiene una infección viral.
(O, T, S, M, R, V)
Si Dios quisiera evitar el mal, pero no puede hacerlo, entonces es
impotente; si fuera capaz de hacerlo pero no lo hace, es malvado. El mal
puede existir solamente si Dios no quiere o no puede evitarlo. El mal existe.
Si Dios existe, no es impotente ni malévolo. Por lo tanto, Dios no existe. (W,
A, 1, M, E, G)
Inconsistencia 403
Teoría de la
cuantificación
A
H
:.M
407
408 Teoría de la cuantificación
'La lógica clásica o aristotélica se dedicó a estudiar los argumentos de este tipo, como se
describe en los capítulos 5 y 6. Los métodos antiguos, empero, no poseen la generalidad ni
el poder de la nueva lógica simbólica y no pueden extenderse para cubrir todas las inferencias
asilogísticas.
'En este caso seguiremos la costumbre de ignorar el factor temporal, y utilizamos el verbo
"ser" en sentido intemporal. Cuando las consideraciones del cambio de tiempo son funda-
mentales, se requiere el simbolismo un poco más complicado de la lógica de las relaciones
para un tratamiento adecuado.
Proposiciones singulares 409
10.2 Cuantificación
La sustitución de variables individuales por constantes individuales no
es la única forma de obtener proposiciones a partir de funciones
proposicionales. Las proposiciones se pueden obtener también mediante
el proceso llamado generalización o cuantificación. Los términos pre-
dicativos aparecen con frecuencia en proposiciones que no son singulares.
Así, las proposiciones "Todo es mortal" y "Algo es bello" contienen
términos predicativos, pero no son proposiciones singulares, puesto que
no contienen los nombres de individuos particulares. En realidad no se
refieren especificamente a ningún individuo particular, son más bien
proposiciones generales.
La primera se puede expresar en varias formas lógicamente equiva-
lentes: o bien como "Todas las cosas son mortales", o como:
Dada una cosa individual cualquiera, ella es mortal.
En la última formulación, la palabra "ella" es un pronombre que hace
referencia a la palabra "cosa". Utilizando la letra x, como nuestra variable
individual, en lugar de "ella", la expresión anterior se escribiría como:
Dada cualquier x , x es mortal.
O, usando la notación introducida en la sección precedente, podemos
escribir:
Dada cualquier x, Mx.
Aunque la función proposicional Mx no es una proposición, aquí tenemos
una expresión que la contiene que es una proposición. La frase "Dada
cualquier x" suele simbolizarse como "(x)", que se denomina cuantifi-
cador universal. Nuestra primera proposición general se puede simbolizar
de manera completa como sigue:
(x)Mx
Cuantificación 411
(3x).--0x
Subcontrarias
FIGURA 19
y finalmente como:
y luego como:
(3 x) (Hx • Mx)
416 Teoría de la cuantificación
(3 x) (Hx • .--Mx)
1
o
(3x)(0 x • vi x) (3x)(0 x • -
FIGURA 20
Proposiciones tradicionales tipo sujeto-predicado 417
EJERCICIOS
I. Traduzca cada uno de los siguientes enunciados a la notación lógica
de funciones proposicionales y cuantificadores, usando en cada caso las
abreviaturas sugeridas, y comience cada fórmula con un cuantificador, no
con el símbolo de la negación.
* 1. Los murciélagos son mamíferos (Bx : x es un murciélago; Mx :x es un
mamífero).
Los gorriones no son mamíferos (Gx : x es un gorrión; Mx : x es un
mamífero).
Hay damas presentes (Dx: x es una dama, Px: x está presente).
Proposiciones tradicionales tipo sujeto-predicado 419
Si a,b,c,d,... son todos los individuos que hay, se sigue que de la verdad de
las premisas uno puede inferir válidamente la verdad de todas las instan-
cias de sustitución de la función proposicional Gx T Mx. Puesto que la
cuantificación universal de una función proposicional es verdadera si y
sólo si todas sus instancias de sustitución son verdaderas, podemos inferir
la verdad de (x) (Gx D Mx), que es la conclusión del argumento dado.
El párrafo precedente se puede concebir como una prueba informal de
la validez del argumento en cuestión, en la cual se utilizan el principio del
silogismo hipotético y los dos principios que rigen la cuantificación. Pero
describe secuencias indefinidamente largas de enunciados: las listas de
todas las instancias de sustitución de las dos funciones proposicionales
cuantificadas universalmente en las premisas y la lista de todas las
instancias de sustitución de la función proposicional cuya cuantificación
universal es la conclusión. Una prueba formal no puede contener esas
secuencias indefinidamente largas, quizá incluso infinitamente lar-
gas, de enunciados, de modo que debemos buscar algún método para
expresar esas secuencias indefinidamente largas de manera definida.
Un método para hacerlo lo sugiere una técnica común de matemáticas
elementales. Un geómetra que busca probar que todos los triángulos
tienen un cierto atributo, puede comenzar con las palabras "Sea ABC
422 Teoría de la cuantificación
(x)(Hx Mx)
(x)(Gx Hx) (x)(Gx D Mx)
Hy D My 1, UI
Gy D Hy 2, UI
5. Gy D My 4,3, H.S.
(x)(Hx i -Px)
(x)(Gx Hx) / . *.(x)(Gx D -Px)
Hy D -Py UI
Gy D Hy UI
Gy D -Py 4,3, H.S.
(x)(Gx -Px) 5, GU
pueden aplicar esas reglas para derivar la conclusión deseada. Los principios
de cuantificación enriquecen, pues, nuestro aparato lógico permitiéndole
validar argumentos que incluyen esencialmente proposiciones no compues-
tas (generalizadas) al igual que los otros tipos (más simples) de argumento
explicados en los capítulos anteriores. Por otra parte, pese a esta diferencia
formal, debe haber una equivalencia lógica entre (x)(0 x) yOy o las reglas IU
y GU no serían válidas. Tanto la diferencia como la equivalencia lógica son
importantes para nuestro propósito de validar los argumentos con referen-
cia a una lista de reglas de inferencia. La adición de IU y GU a nuestra lista
la fortalece considerablmente.
La lista debe ser ampliada aún más cuando volvamos a considerar los
argumentos que incluyen proposiciones existenciales. Un ejemplo conve-
niente para comenzar es "Todos los criminales son viciosos. Algunos
humanos son criminales. Por lo tanto, algunos humanos son viciosos".
Esto se simboliza:
(x)(Cx Vx)
(3 x)(Hx • Cx) / . (3 x)(Hx • Vx)
Pruebas de validez 425
Ha • Ca IE
Ca JVa 1, IU
Ca • Ha Conm.
Ca 5, Simp.
Va 4,6, M.P.
Ha 3, Simp.
9. Ha • Va 8,7, Conj.
Hasta aquí hemos deducido Ha • Va, que es una instancia de sustitu-
ción de la función proposicional cuya cuantificación existencial es afirma-
da por la conclusión. Puesto que la cuantificación existencial de una
función proposicional es verdadera si y sólo si tiene por lo menos una
instancia de sustitución verdadera, añadimos a nuestra lista de reglas de
inferencia el principio de que de cualquier instancia de sustitución verda-
dera de una función proposicional podemos inferir válidamente la
cuantificación existencial de esa función proposicional. Esta cuarta y
última regla de inferencia es el principio de generalización existencial,
abreviado como "G E" y enunciado como:
(3 x)(Ax • Cx)
(3 x)(Bx • Cx) / .'.(3x)(Ax • Bx)
3. Aa • Ca 1, IE
Ba • Ca IE (errónea)
Aa Simp.
Ba Simp.
Aa • Ba 6, Conj.
8. (3 x)(Ax • Bx) 7, G E
426 Teoría de la cuantificación
EJERCICIOS
1. Construya una prueba formal de la validez de cada uno de los
siguientes argumentos:
1. (x)(Ax --Bx) 2. (x)(Dx —Ex)
(3 x)(Cx • Ax) (x)(Fx D Ex)
.*. (3 x)(Cx • —Bx) (x)(Fx —Dx)
3. (x)(Gx Hx) 4. (3 x)(Jx • Kx)
(x)(Ix 1 —.Hx) (x)(Jx iD Lx)
(x)(Ix —Gx) .*. (3 x)(Lx —Kx)
existe por lo menos un individuo. Para que sea válido un argumento con
cuantificadores, debe ser imposible que sus premisas sean verdaderas y su
conclusión falsa en tanto exista por lo menos un individuo.
El supuesto general de que existe por lo menos un individuo se satisface
si existe estrictamente un individuo, o exactamente dos individuos, o
exactamente tres individuos, o... Si se hace cualquiera de estos supues-
tos acerca del número exacto de individuos, hay una equivalencia entre
las proposiciones generales y los componentes veritativo funcionales
de las proposiciones singulares. Si hay exactamente un individuo, diga-
mos a, entonces:
(x)(0 x) -= 0a =-= (3 x)(0 x)
Ma D la
Ga D -Ma
GaD -la
'Suponemos que los predicados simples Ax, Bx, Cx, Dx, ... que aparecen en nuestras
proposiciones no son necesarios, es decir, lógicamente verdaderos para todos los indivi-
duos (por ejemplo, x es idéntico a sí mismo), ni imposibles , es decir, lógicamente falsos para
todos los individuos (por ejemplo, x es diferente de sí mismo). Suponemos también que las
únicas relaciones lógicas entre los predicados simples involucradas son las afirmadas o
implicadas lógicamente por las premisas. El objetivo de estas restricciones es permitir
asignar valores de verdad de manera arbitratria en las instancias de sustitución de estos
predicados simples sin incurrir en inconsistencias, pues la descripción correcta de cualquier
modelo debe, desde luego, ser consistente.
430 Teoría de la cuantificación
EJERCICIOS
I. Pruebe la invalidez de los siguientes argumentos:
1. (3 x)(Ax • Bx) 2. (x)(Dx ID -Ex)
(3 x)(Cx • Bx) (x)(Ex E) Fx)
(x)(Cx -Ax) (x)(Fx E) -Dx)
3. (x)(Gx : Hx)
4. (3 x)(J x • Kx)
(x)(Gx D Ix) (3 x)(Kx • Lx)
(x)(1x E) Hx) (3 x)(Lx • Jx)
5. (3 x)(Mx • Nx) 6. (x)(Px -Qx)
(3 x)(Mx • Ox) (x)(Px D -Rx)
.*. (x)(Ox D Nx) .*.(x)(Rx D -Qx)
Hw • Sx IE
Hw D (Ca • • Dw) 1, IU
H7l, Simp.
Cu' • DU7 4,5, M.P.
Cw 6, Simp.
Sw • Hw 3, Com.
Sw 8, Simp.
Cm • Sw 7,9, Conj.
11. (3 x) (Cx Sx) 10, G E
y no como:
Pues decir que las ostras y las almejas son deliciosas equivale a decir
que es deliciosa cualquier cosa que sea ostra o almeja, pero no equivale a
decir que toda cosa es deliciosa si a la vez es ostra y almeja.
En tercer lugar, debemos indicar distintas maneras de simbolizar las
proposiciones exceptivas. Proposiciones como:8 "Todos excepto los ante-
riores ganadores son elegibles", "Salvo los anteriores ganadores, todos son
elegibles", o "Solamente los anteriores ganadores no son elegibles", se
llaman tradicionalmente proposiciones exceptivas. Cualquier proposi-
ción de esta forma se puede traducir como una conjunción de dos propo-
siciones generales, por ejemplo:
EJERCICIOS
I. Traduzca los siguientes enunciados al simbolismo lógico, utilizando
las abreviaturas que se sugieren.
436 Teoría de la cuantificación
1. Las manzanas y las naranjas son deliciosas y mi tritivas. (Mx, Nx, Dx,
Ax)
III. Para cada uno de los siguientes casos, constrúyase una prueba
formal de su validez o pruébese su invalidez usando la notación sugerida.
* 1. Los ácidos y las bases son químicos. El vinagre es un ácido. Por lo
tanto, el vinagre es un químico. (Ax, Bx, Qx, Vx)
Los maestros son o entusiastas o fracasados. Los maestros no son
todos fracasados. Por lo tanto, hay maestros entusiastas. (Mx, Ex, Fx)
Los compuestos de argón y los de sodio son grasos o volátiles. No
todos los compuestos de sodio son grasos. Por lo tanto, algunos com-
puestos de argón son volátiles. (Ax, Sx, Gx, Vx)
4. Ningún empleado que es sucio o descortés puede ser ascendido. Por
lo tanto, ningún empleado sucio puede ser ascendido. (Ex, Sx, Dx, Ax)
* 5. Ningún patrón desconsiderado o tiránico puede tener éxito. Algu-
nos patrones son desconsiderados. Hay patrones tiránicos. Por lo tanto,
ningún patrón puede tener éxito. (Ex, Dx, Tx, Px)
438 Teoría de la cuantificación
No hay nada que esté hecho de oro que no sea caro. Ningún arma está
hecha de plata. No todas las armas son caras. Por lo tanto, no todo
está hecho de oro o de plata. (Ox, Cx, Ax, Px)
No hay nada que esté hecho de estaño que no sea barato. Ningún
anillo está hecho de plomo. No todo es estaño o plomo. Por lo tanto, no
todos los anillos son baratos. (Ex, Bx, Ax, Px)
Algunos boxeadores son agresivos pero no son inteligentes. Todos
los boxeadores usan guantes. No todos los boxeadores son agresivos.
Cualquier luchador es agresivo. Por lo tanto, no todo luchador usa
guantes. (Bx, Ax, Ix, Gx, Lx)
Algunos fotógrafos son hábiles pero no imaginativos. Solamente los
artistas son fotógrafos. Los fotógrafos no son todos hábiles. Cualquier
obrero capacitado es hábil. Por lo tanto, no todo artista es un obrero
capacitado (Fx, Hx, Ix, Ax, Ox)
10. Un libro es interesante solamente si está bien escrito. Un libro está
bien escrito solamente si es interesante. Por lo tanto, cualquier libro
es interesante y bien escrito si y sólo si es interesante o está bien escrito. (Lx,
Ix, Bx)
Inducción
11
Analogía e
inferencia probable
443
444 Analogía e inferencia probable
... los libros (de historia) no describen los cambios ni muestran la relación
entre un tipo de suceso y otro. Los textos del siglo diecinueve son enciclope-
dias más que libros de historia. Sus vastos índices contienen referencias a
cualquier cosa bajo el sol, pero no hay conexión entre una cosa y otra. Los
sucesos se presentan aislados bajo encabezados en negrillas, como islas en
algún archipiélago donde no se hubieran inventado aún las canoas.'
'Frances Fitzgerald, "Onward and Upward with the Arts (History Textbooks)", The New
Yorker, febrero 26, 1979, pp. 70-71.
'tules Henri Poincaré, Science ami Hypothesis.
446 Analogía e inferencia probable
los dos pares de zapatos. Hay tres puntos involucrados en la analogía: los
aspectos en los cuales se dice que las dos cosas se asemejan son, en primer
lugar, en que son zapatos; en segundo lugar, en que se han comprado en
la misma tienda; y, en tercer lugar, en su resistencia. Sin embargo, los tres
puntos de semejanza no desempeñan el mismo papel en el argumento. Los
dos primeros aparecen en las premisas, el tercero aparece tanto en las
premisas como en la conclusión. En términos generales, el argumento
dado se puede describir diciendo que contiene premisas que afirman,
primero, que dos cosas son similares en dos aspectos y, segundo, que una
de esas cosas tiene una característica adicional, de lo cual se extrae la
conclusión de que la segunda cosa tiene también esa otra característica.
Por supuesto, no todo argumento analógico necesita tratar exactamen-
te de dos cosas o exactamente de tres características distintas. Así, el
argumento citado de Reid establece una analogía entre seis cosas (los
planetas entonces conocidos) en unos ocho respectos diferentes. Aparte de
estas diferencias numéricas, sin embargo, todos los argumentos analógicos
tienen la misma estructura general o patrón. Toda inferencia analógica
parte de la similitud entre dos o más cosas en uno o más respectos, para
concluir la similitud de esas cosas en algún otro respecto. De forma
esquemática, donde a, b, c y d son entidades cualesquiera y P, Q y R son
atributos, o "respectos" cualesquiera, un argumento analógico se puede
representar de la siguiente forma:
a, b, c, d tienen los atributos P y Q.
a, b, c tienen el atributo R.
Por lo tanto, d probablemente tiene el atributo R.
Al identificar y especialmente al evaluar argumentos analógicos, pue-
de ser útil expresarlos en esta forma.
EJERCICIOS
Todos los pasajes siguientes contienen analogías. Distinga aquellos que
contienen argumentos analógicos de los que contienen usos no
argumentativos de la analogía.
* 1. Un hombre no debe presumir que es más sabio que una mujer, si debe
su ventaja en este terreno a una mejor educación, del mismo modo que no
debe presumir de valiente quien golpea a un hombre que tiene las manos
atadas.
— MARY ASTELL, Un ensayo en defensa del sexo femenino (1721),
citado en Germaine Greer, The Female E Ilnuch
2. El cerebro secreta pensamientos del mismo modo que el estómago
secreta jugos gástricos, el hígado bilis y los riñones orina.
— KARL VOGT, Kóhlerglaube und Wissenschaft
Argumento por analogía 447
algunos son más sólidos que otros. Los argumentos analógicos se pueden
evaluar con base en si establecen sus conclusiones como más o menos
probables. En esta sección estudiaremos algunos de los criterios que se
pueden aplicar a los argumentos de este tipo.
litro, Smith puede inferir con cierta probabilidad que su carro nuevo, de la
misma marca y modelo que el de Jones, le dará un rendimiento igualmente
bueno. En este caso, Smith puede construir argumentos distintos, con las
mismas premisas pero diferentes conclusiones. Puede concluir, con bas-
tante probabilidad, que su carro le dará unos ocho kilómetros por litro de
gasolina o que, lo cual es menos probable, rendirá mucho más de diez
kilómetros por litro. Sin embargo, su argumento será mucho más débil aun
si concluye que su automóvil rendirá exactamente diez kilómetros por
litro.
(6) Queda todavía por referir un criterio para los argumentos por
analogía, el cual, si bien lo hemos dejado al final de la lista, no es en modo
alguno el menos importante de ellos, sino al contrario. Los ejemplos que
hasta ahora se han presentado han sido todos ellos buenos argumentos,
porque sus analogías son todas ellas pertinentes. Así, en apoyo a la
conclusión de que el carro nuevo de Smith dará un buen kilometraje,
aducimos como evidencia el hecho de que el carro nuevo de Jones, el cual
tiene un buen kilometraje, es de la misma marca y modelo, esto es, que
tiene el mismo número de cilindros, el mismo peso y la misma potencia que
el de Smith. Todas estas son consideraciones pertinentes. Comparemos
este argumento con uno que llegue a la misma conclusión a partir de
premisas diferentes, de premisas que no afirman nada acerca de cilindros,
peso o potencia, sino que ambos carros tienen el mismo color, el mismo
número de indicadores en su tablero y el mismo estilo de tapicería en sus
interiores. Evidentemente este último razonamiento será mucho más débil
que el anterior. Sin embargo no se puede llegar a esta conclusión con base
en ninguno de los cinco criterios antes mencionados. Los dos razonamien-
tos aluden al mismo número de ejemplos y al mismo número de analogías.
La razón de que el primero sea un buen razonamiento, mientras que el
segundo sea ridículamente malo, reside en que los factores mencionados
en el primero tienen relación con el rendimiento, mientras que los mencio-
nados en el segundo son completamente ajenos al aspecto sobre el que
versa la conclusión.
La cuestión de la pertinencia es de gran importancia. Un argumento
basado en una sola analogía pertinente en conexión con un solo ejemplo
será más fuerte que un argumento que señala una docena de aspectos
irrelevantes de semejanza entre el ejemplo de la conclusión y un montón
de casos enumerados en las premisas. Así, es razonable que un médico
infiera que al señor Negrete le va a ayudar una droga específica fundado
en que el señor Blanco fue ayudado por la misma droga cuando su prueba
de sangre mostraba exactamente el mismo tipo de gérmenes en su organis-
mo que ahora están presentes en el caso del señor Negrete. Pero sería
fantasioso que extrajera su conclusión de la premisa de que Negrete y
Blanco acuden con el mismo sastre, manejan el mismo modelo de carro,
tienen igual número de hijos, poseen una educación similar y pertenecen
al mismo signo del zodíaco. La razón de la debilidad del segundo argu-
mento es que señala semejanzas irrelevantes para el asunto al cual se
refiere la conclusión.
454 Analogía e inferencia probable
Para probar que una caldera no corre el riesgo de explotar bajo cierta
presión de vapor, sería pertinente traer a colación otros ejemplos de calderas
que no han explotado bajo la misma presión, siempre y cuando esas calderas
sean esencialmente similares en cuanto a su modelo, antigüedad y otros
factores que se relacionan con su resistencia.6
6John H. Wigmore, Wigmore's Code of the Rules of Evidente in Trials at Lazv, Little,
Brown and Company, Boston, 1942.
Evaluación de los argumentos analógicos 455
EJERCICIOS
I. Para cada uno de los siguientes argumentos por analogía se proponen
seis premisas adicionales. Determine con respecto a cada una de ellas si su
inclusión en el argumento lo haría más o menos probable.
* 1. Un inversionista ha comprado cien acciones petroleras en diciembre
durante los pasados cinco años. En cada caso, el valor de la acción se ha
incrementado aproximadamente un 15 por ciento al año y ha pagado
dividendos regulares de un 8 por ciento al año sobre el precio de compra.
En el próximo mes de diciembre, piensa comprar otras cien acciones
petroleras, calculando que probablemente recibirá ganancias modestas,
aunque esperando que el valor de su nueva compra aumente con los años.
Suponga que él siempre había comprado acciones de compañías
petroleras del este de Norteamérica y también este año planea
comprar acciones de una compañía petrolera del este de Nor-
teamérica .
Suponga que compró acciones petroleras en cada mes de diciem-
bre en los últimos quince años en lugar de sólo cinco años.
Suponga que esas mismas acciones compradas anteriormente
subieron en un 30 por ciento al año, en lugar de sólo el 15 por
ciento.
Suponga que hizo sus compras anteriores de acciones de petró-
leo en compañías extranjeras tanto como en compañías petrole-
. ras del este, sur y oeste de Norteamérica.
Suponga que se entera de que el gobierno federal está conside-
rando la aprobación de una nueva ley para regular más estricta-
mente las compañías petroleras y gaseras.
Suponga que descubre que las acciones tabacaleras acaban de
aumentar sus dividendos.
5. En los últimos seis años, durante su visita anual a Nueva York que
realiza en el otoño, la doctora Brown ha residido en el Queen's Hotel y ha