Professional Documents
Culture Documents
PRESENTACIN
2
INTRODUCCIN
Por una parte, es un programa de formacin general vlido para cualquier profesional
de hoy en da que debe asumir una actitud crtica ante la realidad histrico-social
sobre la cual se quiere que incida de una manera eficiente y eficaz. Para ello debe
manejar las herramientas terico-metodolgicas que le permitan acceder al
conocimiento, procesarlo, sistematizarlo y comunicarlo. En este cometido, los
elementos conceptuales y las tcnicas de la Lgica Formal constituyen un insumo
insoslayable.
Por otra parte, el enfoque que hacemos de la lgica es de carcter eminentemente
instrumental; ante la cantidad abrumadora de informacin que nos llega es
imprescindible el manejo de procedimientos para analizar, desde el punto de vista
racional, la forma y contenido del discurso cientfico y, por supuesto, tambin del
discurso cotidiano. En este programa partimos siempre del lenguaje natural para su
anlisis lgico y volvemos, al final del proceso, al mismo lenguaje con una evaluacin
racional de sus estructuras y su utilidad o validez para las ciencias para la vida
profesional.
PROPOSITOS DE LA ASIGNATURA
3
1. Contribuir a desarrollar un mayor grado de abstraccin en el estudiante.
4
1. Analizar el discurso cotidiano, aplicando los conceptos bsicos de la Lgica Formal.
El texto que presentamos puede ser utilizado con distintas estrategias, segn que el
curso se implemente en una Modalidad de Educacin Presencial o en una Modalidad de
Educacin a Distancia.
En ambos casos, partimos de una concepcin de la educacin como proceso activo y
participativo por parte del estudiante, en el cual el profesor se convierte en facilitador del
aprendizaje. En ningn caso planteamos que el profesor exponga los temas magistralmente y
el alumno tome apuntes. Estos dos vicios de nuestro sistema escolar quedan soslayados, a
nuestro modo de ver, con el uso del Texto Autoinstruccional Lgica para un Profesional
5
Eficiente, que ofrecemos como material de estudio para esta asignatura. Esto permite
superar la concepcin tradicional y convertir el saln de clase en un Aula Taller donde, bajo
la orientacin del profesor, los estudiantes aprenden la lgica resolviendo los problemas y
ejercicios.
En el caso de la educacin presencial, el ciclo de enseanza aprendizaje se explcita
en esta secuencia:
Presentacin del tema por parte del profesor, el cual ofrece una visin panormica,
global, insistiendo en el logro de la conducta terminal que se pretende (induccin).
Lectura del material de estudio por parte del estudiante (trabajo personal).
Realizacin de los ejercicios de autoevaluacin (evaluacin formativa).
Resolucin de problemas en clase y aclaratorias por parte del profesor
(retroalimentacin).
Evaluacin del aprendizaje: evaluacin por objetivos, continua y acumulativa, con
carcter recuperativo (evaluacin sumativa).
Por ltimo, a continuacin les ofrezco el cuadro descriptivo de las unidades, con sus
respectivos temas y objetivos terminales, con el fin de proporcionar una panormica del
contenido del curso. Adems se propone una ponderacin de los objetivos que pueda ser
usada para la evaluacin.
CUADRO DESCRIPTIVO
7
UNIDAD TEMA OBJETIVOS
TERMINALES
UNIDAD I: A. USOS DEL LENGUAJE 1. Dada la distincin de las
LGICA Y funciones principales del lenguaje
LENGUAJE en una serie de prrafos, redactar
otros equivalentes que expresen,
en un lenguaje neutro, la
informacin correspondiente.
C. Razonamientos falaces. 4 6%
D. Lenguajes naturales y
cientficos. 5 4%
C. Demostracin de
validez. 8 12%
ESQUEMA DE CONTENIDO
Presentacin.
Introduccin.
Propsitos Generales de la Asignatura.
Objetivos Generales de la Asignatura.
Recomendaciones para el Aprendizaje.
Esquema de Contenido.
9
UNIDAD I: LOGICA Y LENGUAJE
INTRODUCCIN
B. EL RAZONAMIENTO
1. LA PROPOSICIN
2. TIPOS DE PROPOSICIONES
3. EL DISCURSO LGICO
4. EL RAZONAMIENTO
4.1. Premisas y Conclusin
4.2. Proceso del Razonamiento. Su Concepto
4.3. Identificacin de Razonamientos
5. TIPOS DE RAZONAMIENTOS
5.1. Razonamiento Inductivo
5.2. Razonamiento Analgico
5.3. Razonamiento Deductivo
6. VALIDEZ DE LOS RAZONAMIENTOS
6.1. Contenido y forma de los Razonamientos
6.2. Variables y Constantes Lgicas
6.3. Razonamiento Vlido
6.4. Validez y Verdad
C. RAZONAMIENTOS FALACES
1. FALACIAS DE ATINENCIA
1.1. Argumentum ad Baculum (apelacin a la fuerza)
1.2. Argumentum ad Hominem (argumento contra el hombre)
1.3. Argumentum ad Ignorantiam (argumento por la ignorancia)
1.4. Argumentum ad Misericordiam (argumento por misericordia)
1.5. Argumentum ad Populum (argumento de la multitud)
1.6 Argumentum ad Verecundiam (apelacin a la autoridad)
1.7. La Causa Falsa
1.8. La Pregunta Compleja
2. FALACIAS DE AMBIGEDAD
2.1 El Equivoco
2.2. Anfibologa
2.3. El nfasis
2.4. La Composicin
2.5. La Divisin
3.COMO EVITAR FALACIAS
10
D. LENGUAJES NATURALES Y CIENTIFICOS
1. SINTXIS Y SEMNTICA
2. LENGUAJES NATURALES Y CIENTFICOS
3. LENGUAJE FORMALIZADO, CARACTERISTICAS E IMPORTANCIA
4. LENGUAJE FORMALIZADO Y LOGICA FORMAL
5. LOGICA FORMAL Y LOGICA NATURAL
6. MATEMATIZACIN DE LA LGICA
7. SEMEJANZAS Y DIFERENCIAS ENTRE LA LOGICA TRADICIONAL Y LA
MODERNA
Lecturas Complementarias
Respuestas
Bibliografa
ndice
INTRODUCCION
11
A partir de las proposiciones como unidad informativa del lenguaje aprendemos, en el
objetivo 2, a distinguir y clarificar los tipos de construcciones del lenguaje que expresan
argumentos racionales. Con ello estamos ya centrados en el campo de la lgica: los
razonamientos.
En adelante, nos abocaremos a hacer una serie de precisiones conceptuales
preliminares, necesarias para poder abordar, con pi firme, el aspecto instrumental del curso:
los mtodos y tcnicas del anlisis lgico. Precisiones tales como Forma y Contenido,
Verdad y Validez' (objetivo 3); las falacias de contenido (objetivo 4); y, por ltimo, los
lenguajes naturales, cientficos y formales que nos permiten situarnos en la ptica de la
historia para precisar las dos grandes etapas del desarrollo de la lgica (objetivo 5).
Con ello habremos cumplido el cometido de esta unidad introductoria que, como tal,
es fundamental para adentrarnos en las dos unidades subsiguientes. Slo si tenemos bien
claro los conceptos bsicos, podremos avanzar sin dificultad en los procedimientos de la
lgica.
1.1. Dada una serie de pasajes, distinguir las funciones informativa, expresiva y
directiva.
1.2. En una serie de pasajes que cumplan mltiples funciones, explicitar cada
funcin sealando, tambin, la funcin principal.
1.4. Dados varios pasajes que cumplen mltiples funciones, redactar pasajes
equivalentes en un lenguaje neutro donde slo aparezca la informacin contenida en
ellos.
12
1 FUNCIONES BSICAS DEL LENGUAJE
(d) Cun triste es, Dios mo, la vida sin ti! (Santa. Teresa).
(e) Cmo me molesta 1a demora!
(f) Ojal castiguen a todos los corruptos!
(g) Nadie me apartar de mis principios!
Cuando lo usamos para motivar, originar o impedir en otra persona una accin,
conducta o actitud, su funcin es directiva. Veamos:
EJERCICIOS
En las siguientes expresiones, determina la funcin que cumplen y explique el porqu. Luego
compara tus respuestas
13
(1) Se recomienda consumir alimentos ricos en fibras.
En la realidad cotidiana el lenguaje no se usa de esta manera pura, sino que sus
diversas funciones se encuentran entremezcladas. En casi todas las frases encontramos
presente, en mayor o menor medida, cada funcin.
Veamos este caso:
As, pues, casi siempre el lenguaje tiene un uso mixto o mltiple; sin embargo, debemos
sealar que de las tres funciones siempre hay una que adquiere mayor relevancia, segn la
intencionalidad del emisor. Esto es lo que denominamos FUNCIN PRINCIPAL DEL
DISCURSO.
En el caso del ejemplo, notamos que predomina la funcin directiva, seguida de la
funcin expresiva que viene a reforzarla. La funcin informativa queda relegada a un ltimo
plano, por cuanto se da como un hecho evidenciado por todos.
14
La funcin principal del ejemplo es, pues, directiva. Algunas veces, la funcin principal
no se ve claramente definida en el texto y slo se puede inferir del contexto y las
circunstancias.
EJERCICIOS:
Determina en cada prrafo las funciones que cumple y cual puede tomarse como
funcin principal.
(1) "Entonces Francisco se haba levantado ante los tres mil hermanos reunidos. Noble
y salvaje, como madre a quien quieren arrancarle 1os hijos, haba gritado: El
Evangelio no tiene necesidad de ser justificado. Hay que tomarlo o dejarlo" (E.
Leclerc, La Sabidura de un pobre).
(2) En nuestro pas la funcin del escritor ha estado determinada por las presiones del
sistema. En algunos casos se han atrevido a denunciar las perversiones del rgimen de
su poca.
(3) "...Lo haba pensado mejor: su pobre mam estaba quebrantada para ir ella a
proporcionarle un disgusto. Pero ella cumplira con su deber de esposa mrtir hasta el
fin. Sentbase a almorzar y con ms calma tomara el partido que deba... Nada de
perdn eso s... (J.R. Pocaterra, La llave).
15
En un lenguaje llano, generalmente, la forma se corresponde con la funcin; sin
embargo, la mayora de las veces ocurre que el discurso, aunque expresamente se presenta
como declarativo o exclamativo, en la oculta intencin del emisor, tiene una funcin
directiva.
Por ejemplo, la seora resentida dir:
o bien:
Otro ejemplo:
EJERCICIOS
Seala en cada caso la forma del discurso, cada una de sus funciones y su funcin
principal:
(1)Seores, les informo que son las diez de la noche (Contexto: el caso tpico del
padre a los pretendientes de sus hijas).
(2) No te parece estrambtico y de mal gusto el abrigo de imitacin que trae la
esposa del gerente?
(3)Ah!, si mis compaeros de partido abrieran los ojos veran con claridad las
maniobras urdidas por los jerarcas para apartarnos de nuestros principios.
(4) No era tu esposo el que pasaba de la mano con la morena de los ojos claros que
acaba de comenzar en la oficina?
(5) Perdonad y seris perdonados" (San Mateo).
16
Ver las Respuestas
De otro diremos:
(a) l hace propaganda. (aqu la expresin posee una carga emocional peyorativa).
Resumiendo:
17
Ahora ilustraremos estos pasos con un ejemplo:
(c) Era yo pues, bien miserable; que por fuerza lo es el alma que sirve presa
en la amistad de las cosas mortales y se desgarra cuando las pierde (San
Agustn, Confesiones Lib. IV, N1).
La prdida de las cosas a las que estamos demasiado apegados causa gran
sufrimiento.
18
AUTOEVALUATIVO 1
Ahora te daremos varios textos para que procedas de manera similar y expreses la
funcin informativa en una frase neutral.
(1) Entre flores, msica fina, exquisita comida, rifas y concursos, transcurri la tarde.
Las secretarias departieron amigablemente y recibieron de sus jefes el mejor de los
regalos: cario y respeto (agasajo de una empresa a sus secretarias).
(2) Habemos unos cuantos, - todos locos! - que estamos enamorados del saber, y
venderamos nuestra ltima camisa por una pequea verdad, una punta de estrella para
alumbrar la tiniebla y el misterio de lo que llamamos nuestra vida (Morris West, El
Hereje, Acto lero, Escena 1).
(3) Segn voceros del Grupo Monaca, la inauguracin de una nueva planta,
demuestra la confianza que dicha corporacin tiene en el futuro del pas y en sus
instituciones (La Columna, 7-10-90, pg.6).
(4) Ocho de cada diez familias no cuentan con los recursos necesarios para cubrir sus
necesidades de alimentacin, vivienda, vestido, salud y educacin [...] [El Gobierno]
slo se ocupa de la deuda externa sin tomar en cuenta [...] una deuda social que se ha
acumulado a lo largo de los ltimos 15 aos". (E. Fernndez en Valera, La columna,
7-10-90, pg.12).
(5) Para m. Dios hizo de la mujer un cojn para el mundo, sus labios un panal de
miel, sus senos una fuente de dulzura, sus manos un milagro que cura, su vientre un
refugio de vida vacilante. Por qu l entonces pronunciara sentencia de tortura para
su obra maestra? (Morris West, El Hereje, Acto 1ero Escena 1).
(6) ...este problema se est atendiendo [...] con seriedad y no con programas
cortoplacistas [...] sino soportados por una ley de la Repblica y asegurarn su
vigencia no slo durante mi gobierno, sino en los prximos gobiernos que vengan en
Venezuela". (C.A.P. en Barinas, en referencia al problema de los hospitales, La
Columna, 7-10-90, pg.12).
B. EL RAZONAMIENTO
19
Objetivo Terminal 2: Identificar los razonamientos inductivos, deductivos y
analgicos en una serie de pasajes dados
2.4. Dada una serie de pasajes identificar aquellos que son razonamientos.
l. LA PROPOSICIN
20
Finalmente, slo los enunciados (a), (b), y (e), que son juicios declarativos, expresan
proposiciones porque pueden ser verificados objetivamente.
El enunciado (g), aunque no puede ser verificado o falsificado en estos momentos por
las ciencias, se puede explicitar el mtodo objetivo con el que se podra determinar si es
verdadero o falso. Por eso, se considera proposicin.
Resumiendo:
Slo las oraciones o juicios declarativos de cuyo contenido podemos establecer
inequvocamente su verdad o falsedad, expresan proposiciones, son proposiciones.
As pues, la proposicin es una expresin lingstica cuyo contenido objetivo es
inequvocamente verdadero o falso. Generalmente, su forma es declarativa, pero, a veces,
est camuflada de otra forma. En este caso siempre ser posible traducirla a una forma
declarativa equivalente. En consecuencia, no sern proposiciones aquellas expresiones
lingsticas que tienen como funcin preguntar, exclamar, dar rdenes, expresar dudas o
deseos. De ellas no se puede determinar si son verdaderas o falsas. En efecto, de una pregunta
se puede decir si es oportuna o no lo es; de una exclamacin si es expresiva o no lo es; de una
orden si es respetuosa o no lo es; de una duda si es fundada o no; de un deseo si es sincero o
no; pero de ninguna de ellas se puede decir si son verdaderas o falsas.
Son proposiciones:
(i) Los gusanos son vertebrados.
(j) Julio Verne escribi la Vuelta al Mundo en Ochenta Das.
(k) 7 no es nmero primo.
(1) Gabriel Garca Mrquez gan el premio Novel de Literatura en 1.990.
(m) Quine es un lgico moderno.
(n) No es cierto que Bolvar logr la independencia de cinco pases?
(o) Qu gran maestro fue Andrs Bello!.
Las primeras cinco proposiciones tienen una forma declarativa; la forma de (n) es
interrogativa y la de la (o) exclamativa, sin embargo ambas tienen la funcin de informar, por
lo cual se pueden traducir a una forma declarativa, a saber: Bolvar logr la independencia
de cinco pases y Andrs Bello fue un gran maestro, respectivamente.
Como podemos ver, a la ciencia slo le interesan los enunciados que son
proposiciones los cuales proporcionan informaciones verificables y tiles. Por ese motivo, la
lgica que vamos a estudiar en este curso se ocupar slo de proposiciones, aunque hay otros
campos de la lgica que trabajan con otro tipo de juicios.
(1) A menudo nuestros actos estn movidos por motivos desconocidos para
nosotros.
21
(4) En diciembre las noches son mas largas.
EJERCICIOS
De las siguientes expresiones lingsticas determina si son o no proposiciones dando
las razones correspondientes.
22
Las proposiciones compuestas son aqullas de las cuales se pueden obtener otras
proposiciones ms simples. Por ejemplo:
es una proposicin compuesta porque de ella pueden obtenerse dos ms simples, como son:
Frege fue un lgico y Coprnico fue un gran astrnomo.
Tambin es compuesta la proposicin:
Distinga con una S las proposiciones simples y con una C las compuestas.
3. EL DISCURSO LGICO
Como ves, hemos ido, poco a poco, delimitando dentro del lenguaje el campo en el
cual est ubicada la lgica. Ya sabemos que se trabaja con juicios u oraciones declarativas
que expresan proposiciones. Sin embargo, hay que precisar an ms qu es la lgica y de qu
se ocupa.
En el lenguaje diario usamos los trminos lgico o lgica de modo impreciso y,
muchas veces, equivocado. Veamos algunos casos:
En los dos primeros ejemplos (a) y (b) el trmino se refiere a la conexin natural de
un hecho A que tiene como consecuencia otro hecho o resultado B. En estos casos
23
podemos cambiar el trmino por otras expresiones: es natural, en consecuencia, debe
ocurrir que. Es decir, aqu se seala conexiones de causa-efecto, relaciones de hechos. Esto
no le compete a la lgica sino a las ciencias naturales.
En los ejemplos (c) y (d), en cambio, podemos notar que el trmino lgica seala la
relacin entre las partes de un discurso oral o escrito; se refiere pues a la coherencia o
incoherencia de lo que se ha dicho, de lo que se discurre, razona o argumenta. La palabra aqu
se puede sustituir por es coherente, est bien construida; es decir, seala una correccin
(o falta de ella) en la construccin del discurso, en su forma, en su estructura.
El trmino no tiene, pues, nada que ver con los hechos ni con la veracidad de las
afirmaciones, sino con la construccin o estructura del discurso, con la secuencia o
concatenacin rigurosa de sus partes.
El rigor lgico de un discurso est en la concatenacin de sus partes, en la correccin
de su construccin.
As, cuando un texto est coherentemente estructurado y sus partes llevan una
secuencia rigurosa, decimos que es un discurso lgico.
Resumiendo:
La palabra lgico, de uso corriente en el lenguaje castellano, no siempre responde al
uso estricto que se le da en lgica. As pues, para mayor claridad, distinguiremos dos usos de
esa palabra a saber: uso corriente y uso estricto.
equivale a decir:
Es natural que hayas triunfado.
(f) El abogado litigante refut con gran rigor lgico lo afirmado por el testigo,
se quiere decir que el abogado litigante concaten, relacion, uni, vincul de forma
coherente sus afirmaciones y sus argumentos; que una afirmacin se bas en otra y sta, a su
vez, en la anterior y as sucesivamente.
En el ejemplo dado (f) la palabra lgico no puede sustituirse por la palabra natural
sin que cambie su significado. En este caso, la palabra lgico est usada en sentido estricto.
En nuestro curso slo emplearemos la palabra lgico en sentido estricto.
4. EL RAZONAMIENTO
24
es decir, sin que estemos discurriendo, argumentando 0 razonando. Por eso, como decamos
al principio del punto anterior, todava no estamos en el campo de la lgica.
La lgica, pues, se ocupa del texto que exprese un razonamiento o argumento. Un
razonamiento es un pasaje, un trozo de texto, un discurso, en el cual se pretende probar o
demostrar alguna proposicin.
Este tipo de discurso racional o argumentativo es lo que interesa a la lgica como
herramienta de las ciencias, las cuales pretenden construir argumentos, razonamientos
slidos, que permitan demostrar o probar nuevos conocimientos a partir de la experiencia o
de las verdades ya conocidas. Veamos un ejemplo:
Primera etapa:
En la primera etapa se determina la verdad de las premisas. Si la primera premisa es
verdadera se contina, de lo contrario ah termina todo. Se hace lo mismo con las dems
premisas.
Segunda etapa:
La mente encuentra una relacin entre algunos trminos de las premisas. Nota que, en
el ejemplo dado, el nexo que se da entre los trminos `way' y `sintaxis' se logra en virtud del
trmino `lenguaje' que aparece en ambas premisas. Esta relacin permite, pues, que se d una
unin, un nexo que antes no se perciba, o se perciba confusamente entre:
way-lenguaje-sintaxis
Tercera etapa:
La percepcin del nexo entre esos tres trminos lleva a la conclusin: "Luego, el way
tiene sintaxis".
Finalmente, observa que la conclusin est contenida en las premisas, y que se ha
hecho explcita en virtud de la percepcin de su trabazn (unin, nexo) con las premisas.
Resumiendo:
25
Una ltima observacin. Los razonamientos en el lenguaje corriente estn, casi
siempre, ocultos dentro de una gran riqueza lingstica; por eso, el primer trabajo es extraer,
en un lenguaje neutro, el razonamiento presente en esos prrafos. Veamos un ejemplo y la
manera de proceder:
(a) Cuando se quiso averiguar los efectos del cigarrillo sobre la salud, los cientficos
aislaron las sustancias contenidas en el tabaco que eran absorbidas por los
fumadores,
"Se viene observando una mayor incidencia de cncer entre los fumadores. Sometidos
los animales del laboratorio a la accin de la nicotina, todos desarrollaron algn tipo
de cncer Por 1o tanto, el efecto de la nicotina en los fumadores est directamente
relacionado con la mayor incidencia de cncer en dicho grupo ".
Todo el que polemiza, todo el que debe sostener una tesis o una conclusin como, por
ejemplo, el abogado, el juez, el expositor cientfico, el estadista, el poltico, el economista, el
filsofo, etc., se ve obligado a unir, a vincular ordenadamente un conjunto de proposiciones
que le sirva de base para sustentar esas conclusiones o tesis. esto es, tiene que relacionar
coherentemente sus proposiciones, sus verdades, tiene que argumentar, tiene que razonar,
tiene que discurrir correctamente.
Alguien, por ejemplo, que no est de acuerdo con el neoliberalismo econmico podra
razonar de la siguiente manera:
(a) Las medidas econmicas conducentes a privilegiar una minora no son las ms
indicadas para el pas. No hay duda que las medidas econmicas basadas en el
neoliberalismo econmico favorecen a minora. Por lo tanto, el liberalismo econmico no es
lo que requiere el pas.
Otro ejemplo:
(b) Dado que la educacin fue la base de Japn para lograr un desarrollo
econmico; que el Plan Marshal tuvo xito en Europa por la preparacin de los
europeos; que los pases desarrollados han logrado serlo por contar, en general, con
ciudadanos con un buen nivel educativo; parece, por consiguiente, que la educacin
de los ciudadanos es imprescindible para lograr un pas desarrollado.
26
Observa cmo en los dos razonamientos anteriores unas afirmaciones se basan en
otras, cmo se extrae un conocimiento de otros, una proposicin de otras, cmo esto se
plasma en el lenguaje mediante determinadas expresiones que, unas veces, se anteponen a la
conclusin (como por lo tanto, pues, luego, por ende, por consiguiente, etc. ); y otras
que, a veces, preceden a las premisas (como dado que, ya que, puesto que,...).
En el primer razonamiento aparece la expresin por lo tanto precediendo a la
conclusin. En el segundo se antepone dado que a las premisas y parece, por consiguiente
a la conclusin.
Vemos, pues, que en todo razonamiento hay premisas y conclusin. Premisas son las
proposiciones que sirven de base para obtener la conclusin. Esta es la proposicin obtenida
de la relacin existente entre las premisas. Las premisas expresan verdades conocidas y, por
la relacin establecida entre ellas, se descubre una verdad desconocida o confusamente
conocida: la conclusin.
As pues, un razonamiento est compuesto de unas proposiciones iniciales llamadas
premisas y una proposicin final llamada conclusin. Partimos de las premisas y llegamos a
la conclusin. Una sola proposicin no es un razonamiento: debe haber, al menos, una
premisa y una conclusin.
Tampoco cualquier coleccin de proposiciones hace un razonamiento: deben estar
concatenadas de una manera coherente de modo que se desprenda de ellas la conclusin, si se
aceptan las premisas, hay que aceptar la conclusin.
(i) Los hombres estaban aqu hace aos, pero ahora no estn.
(ii) No tienen races y el viento los lleva a todas partes.
(iii)Por lo tanto, no se sabe nunca donde encontrarlos.
De esta manera son evidentes las premisas y la conclusin. El resto del dilogo no
forma parte del razonamiento.
Como sealamos antes, no todos los textos o pasajes contienen un razonamiento; por
eso es importante que aprendamos a distinguir cundo hay o no razonamiento.
27
A pesar de que en todo razonamiento hay un conjunto de proposiciones, sin embargo
no todo conjunto de proposiciones constituye un razonamiento. Cuando expresamos un
conjunto de proposiciones sucesivamente sin establecer una relacin entre ellas que nos
permita obtener otra nueva, ese conjunto de proposiciones no forma un razonamiento.
Si afirmamos:
(a) "El 27 de Noviembre de 1992 se intent, por segunda vez en el ao, un golpe de
estado en Venezuela. En el mismo estuvieron involucrados, a diferencia del primer
intento, varios generales de las fuerzas armadas. El pueblo, sin embargo, no se uni a
los golpistas",
EJERCICIOS
(1) En forma desprovista de todo espritu crtico, hase mezclado la Jurisprudencia con
la Psicologa y la Biologa con la tica y con la Teologa. Por eso hoy en da, casi no
hay ciencia especial en cuyo recinto el jurisperito se considere incompetente para
penetrar (Dr. Hans Kelsen: La Teora Pura del Derecho).
(2) Dice el World Resources Institute: Amrica Latina es una tierra de promesas y
paradojas. La regin en su conjunto es rica en recursos naturales [...]. Pero estos
recursos naturales no estn distribuidos equitativamente y diversos pases en la regin
enfrentan severas privaciones.
(3) La mejor ley de huelga es la que no existe, tal ha sido la consigna ms recurrida
cada vez que se plante la necesidad de una regulacin de una huelga, sobre todo por
lo que hace a moderar su impacto en los servicios pblicos (Humberto Villasmil P.,
SIC, No. 550)
(4) Tradicionalmente el Derecho Civil ha girado en torno a la regulacin de las
grandes instituciones: la persona y el patrimonio, que constituyen dos fines humanos
esenciales, de ah la importancia de su estudio.
(5) El problema de la violacin de los derechos humanos a travs de los atropellos
policiales, no puede ser visto como una fatalidad accidental producto de las
desviaciones de conducta de quienes la ejecutan ni tampoco como producto de la
casualidad (Luis Urdaneta A.: Nueva Sociedad, N 123).
(6) La democracia no se mejora limitndola o destruyndola, sino perfeccionndola.
Los pueblos no aumentan sus condiciones de vida bajo, el autoritarismo, sino
mediante una real participacin en las decisiones de los gobiernos (Comisin
Sudamericana de Paz).
(7) El lenguaje ha jugado el papel ms impactante en la constitucin de la herencia
social humana. La transmisin de las ideas y de la ciencia slo fue posible por el
28
lenguaje; el conocimiento que posee cada generacin puede ser transmitido en su
totalidad a la siguiente en virtud del lenguaje.
(8) Despus de una larga noche de terror, muerte y silencio, claramente verificable en
los hechos, nombres y cifras de tantos pases de la regin, hoy el 90% de la poblacin
latinoamericana vive bajo regmenes democrticos, porcentaje que hace slo una
dcada era el correspondiente a quienes estaban gobernados por dictaduras (Heidulf
Schmidt. Nueva Sociedad, N 123).
(9)Encontramos como primeros elementos en el conocimiento el sujeto pensante, el
sujeto cognoscente y el objeto. Todo conocimiento, cualquier conocimiento, ha de ser
de un sujeto sobre un objeto (Manuel Garca Morente: Lecciones Preliminares de
Filosofa).
(10) Yo puedo pensar que estoy soando, que nada de lo que pienso es verdad, pero es
verdad que lo pienso y que ese pensamiento es mo. Por consiguiente, si pienso existo
(cogito ergo sum: Descartes).
(11) Son las 4:30 a.m. y suenan unas palmadas. Son las madres que hacen milagros
con la masa para rendir 1as arepas para sus hijos. A partir de esa hora no hay descanso
posible: La cola de los carros para salir del barrio; los reales que no alcanzan para
comprar un pote de leche; el hospital que no atiende; los nios que necesitan ms
cosas para la escuela; no hay agua y hay que acarrearla. Lo cierto es que los valores
de la vida que nos son propios se van diluyendo, [...] hasta llegar a desconocerlos
como valores inherentes (Nueva Sociedad, N 123).
(12) El nombre de ley, tomado en su sentido ms amplio significa aquello que impone
una manera de obrar fija y determinada a un individuo cualquiera, a todos los
individuos de la misma especie o solamente a algunos. La ley que depende de una
necesidad natural es la que resulta necesariamente de la propia o de su definicin; la
que depende de la voluntad de los hombres es la que los hombres establecen para
comodidad y seguridad de la vida, o por otras razones suficientes: en este ltimo caso
se llama propiamente derecho (Baruch Sponoza, Tratado Teolgico Poltico).
(13)Grecia es una piedra de toque para el intelectual. El sonido que emita su alma al
tropezar con aquella revelar sus cualidades ltimas. Entonces se ve si es hombre de
meras frases, de postura, de carantoas, un lindo o, por el contrario, un hombre de
intuiciones inmediatas, afanoso de sumergirse en las cosas y de transmigrar desde s
mismo a los objetos para volver, como el buzo, sucio, roto, pero cubierto de algas y
autentica fauna abisal (Jos Ortega y Gasset, tica de los Griegos, Obras Completas,
T. III, pg. 529).
(14) Se trata que es la europea una cultura nacida y crecida en simbiosis con otra
cultura extraa y muerta: la griega. No creo que este caso se haya dado en otra
ocasin. Y ocurre preguntarse, constituye un organismo unitario y saludable, o es un
monstruo histrico, un caso de feroz parasitismo? Y si vale esto ltimo, quin es el
parsito y quin el anfitrin (Jos Ortega y Gasset, tica de los Griegos, Obras
Completas, T. III, pg. 329).
(15) Antes de intentar construir una teora del conocimiento humano, el filsofo debe
tratar de tener ante sus ojos el peculiar fenmeno de la conciencia que llamamos
conocimiento, y describir en sus rasgos esenciales lo que ve. Para ello debe
guardarse de introducir por su cuenta datos o interpretaciones extraas al fenmeno
(Johannes Hessen, Tratado de Filosofa, pg. 233).
(16) Hay una tica social y una tica ntima. La primera dicta normas y recetas para
resolver los conflictos del hombre con la sociedad que le rodea la ciudad y los dioses.
La segunda se preocupa de resolver los problemas interiores, de poner en orden la
29
barahnda de los instintos e impulsos (Jos Ortega y Gasset, tica de los Griegos,
Obras Completas, T. III, pg. 531).
(17) El solo nombre de Maquiavelo nos dice bien hasta que punto se afan el
renacimiento por renovar su concepcin del hombre y de su vivir social. Lo
especficamente nuevo est en que el hombre no se valora ya segn la medida de un
orden sobrehumano, al que se subordina y sirve, sino que comienza a buscar en s
mismo 1a medida ( J. Hirschberger, Historia de la Filosofa, pg. 498).
(18) Todo lo que esta en movimiento debe ser movido por otro, pues nada puede
moverse a s mismo, y como no se puede retroceder hasta el infinito en la dependencia
de los movidos respecto de sus motores (si no hay un primer motor, tampoco hay un
segundo, pues todas las segundas causas dependen de la primera), ha de admitirse
finalmente un primer motor que no sea a su vez movido por otro, sino que sea l por
s mismo movimiento, fuente de movimiento; pero a esto todos llamamos Dios
(Prueba de la existencia de Dios por el movimiento segn Santo Toms de Aquino.
Cf. J. Hirschberger, Historia de la Filosofa, pg. 401).
(19)La Geometra de Euclides estudia las propiedades de las figuras geomtricas en la
superficie plana, en tanto que la geometra no euclidiana estudia las propiedades de
las figuras en las superficies curvadas, por ejemplo, en una esfera. En estas superficies
curvas ya no puede haber lneas rectas, y las propiedades de las figuras geomtricas
son distintas de las de un plano. (I. Nvikov, Cmo explot el Universo, pg. 71).
(20) El dominio de las reglas de la lgica simblica tiene sobre la actuacin en el
razonar informal, el mismo efecto vigorizador que tiene la gimnasia en la actuacin en
los deportes (Kuppermann, Joel. Fundamentos de Lgica, pg. 251).
30
mano cae; si lo suspendemos en un resorte ste se deforma; si lanzamos una piedra
hacia arriba, su movimiento disminuya, acaba y la piedra vuelve a caer finalmente al
suelo; es obvio que, en la proximidad de la Tierra, todo cuerpo est sometido a una
fuerza.
(5) El ojo, segn sabemos, esta perfectamente acondicionado para discriminar colores
y percibir las forma; as mismo el odo est organizado para captar diferencias de
tonos y de volumen de sonidos; [...] la habilidad que tienen los nios recin nacidos
para localizar sonidos, sugiere que el organismo ya viene provisto de una estructura
que puede ordenar la supuesta experiencia virgen segn un esquema tpico. Teniendo
en cuenta estos elementos de juicio podemos concluir que la experiencia nos llega ya
conformada por las propias estructuras que la hacen posible. (Marx W. Wartofsky,
Introduccin a la Filosofa de la Ciencia).
(6) Los derechos humanos, planteados como lmite a la arbitrariedad del poder,
poseen fundamentos histricos y filosficos. Podemos reflexionar sobre ellos desde
los griegos, continuando con los romanos, pasando por la Magna Charta Libertatum
de los nobles ingleses hace ms de siete siglos, la Declaracin de los Derechos del
Hombre y del Ciudadano (1789) de los franceses, hasta la Declaracin Universal de
los Derechos del Hombre e la O.N.U. (Heidulf Schmidt, Nueva Sociedad, N 123).
(7) Y alzando los ojos vio a los ricos que echaban sus dones en el arca de las ofrendas.
Y vio tambin a una viuda pobre, que echaba all dos monedas. Y dijo: en verdad os
digo, que esta viuda pobre ha echado ms que todos. Porque stos, de lo que les sobra
han echado para las ofrendas de Dios; ms ella, de su indigencia, ha echado todo el
sustento que tena (Lucas, 21,1-4).
(8) - Quines son ustedes?- les pregunt el Principito sorprendido.
- Somos rosas- respondieron las flores. -
- Ah!- dijo el Principito.
[...] Su flor le haba dicho que ella era la nica especie en todo el universo, y ahora
vea que slo en este jardn haba cinco mil, todas semejantes (El Principito, A. de
Saint Exupry).
(9) La razn encuentra en s misma la idea de un ser, el ser sumo que se puede pensar.
Si este ser existiera slo en la mente; no sera el mayor ser pensable, pues se podra
pensar todava un ser superior a l, el ser, en efecto, que no slo existiera en la mente,
sino tambin en la realidad. Consiguientemente, la idea del ser sumo exige que este
ser no slo exista en la mente, sino tambin en la realidad (Anselmo de Cantorbery).
(10) El espectculo histrico del derrumbamiento del aristotelismo pone en primer
plano del pensamiento moderno una cuestin previa, antes de toda otra. La cuestin
que nos interesa [...] es la cuestin metafsica: quin existe?. Pero cuando Descartes
[...] acomete esa pregunta, ya todo es un fracaso en 1a primera filosofa y l no quiere
fracasar. Por eso, antes de acometer la pregunta de quien existe quiere asegurarse, y
resuelve pensar minuciosamente en un mtodo que permita evitar el error (Manuel
Garca Morente, Lecciones Preliminares de Filosofa).
5. TIPOS DE RAZONAMIENTO
31
Ya Aristteles afirmaba que: induccin es el trnsito de las cosas particulares al caso
universal, y lo ilustraba con el siguiente ejemplo:
(a)si el piloto mejor es el experto, y lo mismo sucede con el auriga, puede decirse
entonces, de forma general, que el hombre experto es el mejor en cada caso (Cf.
Tpica 1, 7 (1 3 a 6-14)).
En ambos ejemplos las premisas ofrecen cierta evidencia para afirmar la verdad de la
conclusin. Sin embargo, puede presentarse algn caso en que el cncer B no sea curado por
la medicina A, e igualmente podra suceder que no siempre el experto es el mejor en todos los
casos. Esto nos permite anotar las siguientes caractersticas de un razonamiento inductivo:
Resumiendo:
Los razonamientos por analoga no son deductivos, esto es, no pretenden demostrar la
verdad de sus conclusiones como derivaciones necesarias de sus premisas. Los razonamientos
analgicos slo aspiran a que sus conclusiones sean probablemente verdaderas, y, en ese
sentido, son razonamientos inductivos.
Adems, la mayora de nuestros razonamientos ordinarios los hacemos por analoga.
As, infiero que:
32
(a) un carro nuevo resultar bueno sobre la base de que otro carro de la misma
marca y vendido por la misma agencia me ha resultado bueno.
En base al ejemplo dado veamos las caractersticas del razonamiento por analoga. En
el ejemplo las dos cosas que consideramos similares son los dos carros. Hay cuatro elementos
anlogos o semejantes en ellos: primero, son carros; segundo son de la misma marca; tercero,
han sido comprados en la misma agencia; cuarto, han dado buen resultado. Ahora bien, los
cuatro elementos de analoga no desempean el mismo papel en el razonamiento. Los tres
primeros forman parte de las premisas, mientras que el cuarto se afirma en la conclusin. Este
es pues un razonamiento en el que las premisas afirman la semejanza de dos cosas en tres
aspectos (son carros, son de la misma marca y han sido comprados en la misma agencia) y la
conclusin afirma que son, adems, semejantes en otro aspecto (en el buen resultado).
Los razonamientos analgicos se pueden referir a dos o ms cosas y a dos o ms
aspectos. Sean muchas o pocas las cosas y sus respectivas semejanzas, todo razonamiento
analgico parte de la similitud de dos o ms cosas en uno o en ms aspectos para concluir que
esas cosas son similares en algn otro aspecto. Todos tienen la misma estructura. En efecto, si
A, B, C, D son cosas cualquiera, y a, b, c, d y e son aspectos cualesquiera, un razonamiento
anlogo se representara con el siguiente esquema:
Es preciso notar que no todas las analogas constituyen razonamientos analgicos. Las
analogas se usan tambin de dos maneras, a saber: primero, los escritores la utilizan, en la
metfora, en el smil, para obtener informaciones vvidas y bellas. As, un literato podra
escribir: El roco, cual arco iris sin igual, se vesta de colores y de luz. Aqu se compara el
roco y el arco iris, pero solamente para describir la belleza del roco de esa maana.
33
Aunque la conclusin de los razonamientos analgicos es slo probable; sin embargo,
no todas sus conclusiones tienen el mismo grado de probabilidad, sino que hay diversos
grados en ella. Hay varios criterios para determinar el grado de probabilidad de la conclusin
de un razonamiento analgico. Estos, son algunos de ellos:
El primer criterio para la estimacin de la conclusin de un razonamiento analgico es
el nmero de entidades entre las cuales se establece la analoga. Por ejemplo, aconsejar a un
amigo, recin llegado a Maracaibo, que no compre una camioneta Cherokee, en base a que ha
habido dos casos de robo, no tiene el mismo grado de convencimiento que basar ese consejo
en diez o ms casos ocurridos en el mismo lapso de tiempo.
El segundo criterio es el nmero de caractersticas que se tienen en cuenta para
establecer analogas entre distintos asuntos. Veamos el ejemplo ya citado de los carros. El
hecho de que el nuevo carro haya sido comprado en la misma agencia que el viejo que dio
buenos resultados es, ciertamente, una premisa de la cual podemos deducir que el nuevo carro
tambin tendr buenos resultados. Pero esta conclusin ser ms probable si las premisas,
adems de afirmar que fue comprado en la misma agencia, aaden que son de la misma
marca, que el vendedor es el mismo, que tendr el mismo uso.
El tercer criterio es determinar la fuerza de sus conclusiones en relacin a sus premisas. Por
ejemplo, si en los ltimos veinte aos los graduados de la Universidad del Zulia han
empleado, como promedio ocho aos de permanencia para obtener su titulo, se puede inferir
que el promedio de tiempo que emplear el nuevo contingente de estudiantes que ingresa en
la institucin para graduarse ser aproximadamente de ocho aos. Ahora bien, tambin se
puede concluir con esa misma premisa que los estudiantes que ingresan en LUZ
emplearn ms de siete aos para lograr su diploma. Tambin, con la misma premisa se
pueden tener otras conclusiones como que los recin ingresados en LUZ tardarn
exactamente ocho aos. Evidentemente, la ltima conclusin sera la menos probable;
mientras que la penltima sera ms probable que sus anteriores.
El cuarto criterio es determinar las diferencias entre las condiciones presentadas en las
premisas y en la de la conclusin. Las conclusiones del primer razonamiento y del ltimo se
hacen ms dudosas si se aade que en los tres ltimos aos, por diferentes circunstancias,
slo se ha podido ofrecer un solo semestre por ao acadmico. En cambio, las conclusiones
del segundo y tercer razonamiento se hacen ms probables.
El quinto criterio es que cuanto mayor sean las diferencias entre las condiciones
mencionadas en las premisas, tanto ms probable es la conclusin del razonamiento
analgico. La conclusin de que Luis Lpez, recin ingresado a la Universidad del Zulia,
terminar su carrera, puede considerarse con un grado de probabilidad muy alto, sobre la base
de que otros doce estudiantes del mismo instituto, del mismo estrato social y de la misma
etnia y sexo ingresaron en esa misma carrera en LUZ y terminaron sus estudios
universitarios. Ahora bien, el razonamiento sera ms fuerte si los doce estudiantes
mencionados se desenvuelven en circunstancias distintas. La conclusin es ms probable si se
aade que esos doce estudiantes son de diferente origen racial, de diferente estrato
econmico, de distinto sexo, provenientes de diferentes colegios, etc. Esto es como afirmar
que el recin ingresado terminar su carrera no importa de qu colegio venga, de qu sexo
sea, de qu etnia, etc. porque los doce alumnos que se han graduado lo han hecho a pesar de
que entre ellos haba circunstancias muy diferentes al ingresar a la universidad. Equivale, en
la prctica, a decir que implcitamente, la Universidad del Zulia es tan eficiente que, por
muchas que sean las diferencias de los estudiantes recin ingresados, stos terminarn sus
carreras.
El sexto y ltimo criterio es el llamado de Atingencia. La fortaleza de un
razonamiento analgico depende de la relacin de las premisas con la conclusin. Los
ejemplos citados hasta ahora guardan esa relacin y, por eso, son convincentes. Si en el
34
ejemplo anterior sacramos la conclusin de que Luis Lpez terminar su carrera porque,
como doce amigos suyos que se graduaron en esa carrera, es blanco, alto, buen atleta, le gusta
el cine, etc. Es evidente que este razonamiento es mucho ms dbil que el formulado en el
prrafo anterior, y la razn de ello es que en el segundo las caractersticas sealadas no
guardan ninguna relacin con el hecho de que Luis Lpez vaya a terminar su carrera. Es
decir, no hay atingencia entre las premisas y la conclusin.
La atingencia se explica en funcin de la causalidad, los razonamientos altamente
probables van de la causa al efecto o del efecto a la causa. Si un apartamento est frente al
Lago de Maracaibo y en l corre la brisa por la tarde, naturalmente, si el apartamento que
quiero comprar est tambin al frente del Lago de Maracaibo, puedo esperar con mucha
probabilidad que en l correr la brisa por la tarde. La analoga guarda una relacin causal
entre la ubicacin del apartamento y la brisa.
AUTOEVALUATIVO 2
35
(1) Los animales ante ciertos estmulos externos proceden, reaccionan externamente, en
forma. anloga a los racionales, luego tienen tambin percepciones sensibles (Ernesto
Dann, Lgica, pg., 208).
(2) Los cientficos, experimentando diversos metales sometidos a calor en distintos
ambientes, observaron que cada uno de ellos aumentaba su tamao; de ah concluyeron
con la verdad cientfica: "Los metales se dilatan con el calor".
(3) Del hecho de que el Dr. Robinson es un mdico por vocacin, puedo inferir lo mismo
del Dr. Allison, ya que ambos fueron educados en familias honorables, en el mismo
colegio, la misma universidad y ambos son hombres leales, generosos, responsables.
(4) Darwin en sus investigaciones observ que los organismos se reproducan
indefinidamente, por lo cual concluy afirmando que todos los organismos tienen la
tendencia a reproducirse indefinidamente.
(5) El mal, que consiste en el defecto de la accin, proviene siempre de algn defecto del
agente. Mas en Dios no hay defecto alguno, sino suma perfeccin... Luego, el mal que
consiste en el defecto de la accin o que es causado por deficiencia del agente, no puede
reducirse a Dios como causa (Suma Teolgica T II-III, lq, 49 a.2).
(6)Podemos observar gran similitud entre la Tierra que habitamos y los otros planetas,
Saturno, Jpiter, Martes, Venus y Mercurio. Todos ellos giran alrededor del sol, al igual
que la Tierra, aunque a distancia y perodos diferentes. Todos ellos toman su luz del Sol,
lo mismo que la Tierra. Se sabe que varios de ellos giran alrededor de sus ejes, como la
Tierra, y debido a esto deben presentar una sucesin de das y de noches. Algunos de
ellos tienen lunas que les dan luz en ausencia del sol, como lo hace nuestra Luna para
nosotros. En sus movimientos, todos ellos estn sometidos a la misma ley de gravitacin,
como ocurre con la Tierra. Tomando como base todas estas semejanzas no es disparatado
pensar que, al igual que en la Tierra, esos planetas puedan estar habitados por seres
vivientes de diversos rdenes (Cf. Irving M. Copi, Introduccin a la Lgica, pg. 304).
(7) Si la persona sometida a hipnosis recibe una informacin y, al salir de este estado, no
recuerdan nada, significa que esa informacin no est en la conciencia de esa persona.
Ahora bien, si despus de la insistencia del terapeuta, esta persona va recordando toda la
informacin, entonces hay en nuestra mente otro espacio distinto al de la conciencia, a
ese espacio de la mente se le llama inconsciente. Por lo tanto, existe el inconsciente.
(8) El abogado para ser eficiente tiene que contribuir a resolver el problema de la justicia.
El mdico para ser un profesional eficiente tiene que preocuparse por resolver la salud
pblica. Un ingeniero slo ser eficiente si contribuye a resolver los problemas sociales
con su profesin. Lo mismo cabe decir de los veterinarios, economistas, etc. Por tanto,
un profesional eficiente, adems de ser competente en su profesin, tiene que ser
socialmente til.
(9) Los estudiantes que ingresan a la universidad tienen muchas lagunas en matemticas.
Esa es la conclusin que obtuvieron los treinta profesores que hicieron la evaluacin a
los cuatro mil nuevos estudiantes que ingresaron en la universidad.
(10)Blanca siempre sobre el pinar siempre verde; rosa o azul, siendo blanca, en la aurora;
de oro o malva en la tarde, siendo blanca; verde o celeste, siendo blanca en la noche; la
Fuente vieja, Platero donde tantas veces me has visto parado tanto tiempo, encierra en s,
corno una clave o una tumba, toda la elega del mundo, es -... decir, el sentimiento de la
vida verdadera (Juan Ramn Jimnez, Platero y Yo).
36
Ver las Respuestas
3.3. En base a la relacin entre la verdad de las premisas y conclusin y la validez del
razonamiento determinar cules de los razonamientos dados cumple las condiciones
para que su conclusin sea necesariamente verdadera.
37
De ahora en adelante slo tendremos en cuenta los razonamientos deductivos, de tal
manera que, al escribir la palabra razonamiento, nos estaremos refiriendo al deductivo.
En todo razonamiento hay forma y contenido.
El contenido es el tema, el asunto, la materia sobre los cuales trata el razonamiento. El
contenido viene, pues, expresado en las diversas proposiciones que contiene el prrafo.
La forma, en cambio, es la estructura o la organizacin del razonamiento; es decir, la
manera como estn interrelacionadas esas proposiciones que lo conforman. Analicemos los
siguientes razonamientos y veamos cules son su forma y su contenido:
Esta forma del primer razonamiento es la misma que la del segundo. Basta sustituir la
proposicin el juez se atiene al expediente por A y el indiciado es declarado culpable por
B, para darnos cuenta de ello. Por tanto, ambos razonamientos tienen contenidos distintos,
pero su forma es la misma.
Analicemos dos razonamientos ms:
(c) Todos los nmeros naturales son racionales, todos los nmeros racionales son
reales,
___________________________________________________________________
por tanto, todos los nmeros naturales son reales.
38
(d) Todos los jueces son abogados, todos los abogados son egresados universitarios,
___________________________________________________________________
por tanto, todos los jueces son egresados universitarios
Sustituyamos en (c) las expresiones: los nmeros naturales por A, racionales por B
y reales por C. Y en (d) sustituyamos las expresiones: los jueces por A, abogados por B
y egresados universitarios por C. El resultado es la siguiente forma de los razonamientos (c)
y (d):
Nuevamente, observamos que los razonamientos (c) y (d) tienen la misma forma y
distinto contenido. En consecuencia, dos o ms razonamientos pueden tener la misma forma,
aunque su contenido sea diferente. Hay un sin nmero de razonamientos distintos para
cualquiera de las dos formas de razonamiento anteriores. Las palabras si entonces, pero
no, por tanto, todos y son no se refieren ni a objetos ni a propiedades, por lo cual no se
sustituyen por ninguna letra.
Observa tambin que la forma de un razonamiento se obtiene sustituyendo las
expresiones que se refiere a objetos y propiedades por letras como: A, B, C, D, etc.
En las formas de los cuatro razonamientos estudiados observamos que hay ciertas
letras: A, B, C. Estas letras reciben el nombre de variables. Pero, adems, en ambas formas
de razonamiento aparecen una serie de expresiones en castellano que no cambian aunque sea
diferente el contenido del razonamiento.
En los dos primeros razonamientos esas expresiones son:
EJERCICIOS
39
Abstraiga la forma lgica de los siguientes razonamientos usando las letras A, B, C,
D, ...
40
Ahora bien, la forma de un razonamiento es vlida si la conclusin se sigue, se
desprende, NECESARIAMENTE de las premisas. En otras palabras, en un razonamiento
vlido las premisas ofrecen una base segura para la conclusin, ya QUE LA CONCLUSIN
ESTA INCLUIDA EN LAS PREMISAS.
La conclusin: Todos los acusados son ladrones, es la nica que puede deducirse; y
su fundamentacin est en la manera en que estn distribuidos los trminos de las premisas,
manera que se hace patente al abstraer la forma lgica del razonamiento. Todo razonamiento
que tenga esta forma ser vlido, no importa el contenido que tenga. Es decir, razonando en
conformidad con esta FORMA razonaremos correctamente, independientemente de que
apliquemos nuestros razonamientos a fenmenos fsicos, qumicos, biolgicos o cualesquiera
otros.
La lgica, como toda ciencia, ser til en la medida en que nos ayude a encontrar la
verdad; por eso surge espontnea la pregunta: siempre que razonamos correctamente
llegamos a una conclusin verdadera? Sin lugar a dudas. Sin embargo, con la sola validez del
razonamiento no podemos garantizar la verdad de la conclusin; se necesita, adems, que las
premisas sean verdaderas. En consecuencia, la conclusin de un razonamiento ser verdadera
si se cumplen estas dos condiciones:
Observacin:
Fjate que las premisas y la conclusin, por ser proposiciones, pueden ser verdaderas o
falsas; pero no se puede decir lo mismo del razonamiento, pues en ste lo decisivo es la
forma, y de sta se dice nicamente si es vlida o no. De una forma no tiene sentido decir si
es verdadera o falsa.
41
De ah que de los razonamientos se dice slo si son vlidos o no, nunca si son
verdaderos o falsos.
AUTOEVALUATIVO 3
I. Determinar si las conclusiones de los razonamientos que cumplen los siguientes requisitos
son necesariamente verdaderas:
II. Determinar si los razonamientos son vlidos o no, de acuerdo a los siguientes datos:
42
C. RAZONAMIENTOS FALACES
4.1. Conocidos los diferentes tipos de falacias de atinencia (pertinencia), reconocerlas en una
serie de ejemplos dados, explicando el porqu de cada una.
4.2. Conocidos los diferentes tipos de falacias de ambigedad, reconocerlas en una serie de
ejemplos dados, explicando el porqu de cada una.
Las falacias no formales tienen que ver con el contenido de los razonamientos, se
cometen en gran medida por falta de atencin al punto que se desarrolla, por imprecisiones y
ambigedades en el lenguaje o por interferencia de las funciones expresiva y directiva del
lenguaje. Se dividen en dos tipos: falacias de ATINENCIA y falacias de AMBIGEDAD.
1. FALACIAS DE ATINENCIA
43
El nombre proviene de la palabra latina baculum que significa bastn. Se comete
esta falacia cuando se apela a la fuerza, a la amenaza para obtener su conclusin. El poltico
que, para apoyar sus proposiciones, recuerda a sus adversarios polticos la alta votacin que
obtuvo en las elecciones; el profesor que, ante las intenciones de sus alumnos de denunciarlo
por su incumplimiento, les recuerda que 1 es en ltima instancia e 1 que los va a calificar; e
1 exfuncionario de una agencia de inteligencia del estado que amenaza al gobierno con hacer
pblico un conjunto de documentos que lo involucran, si se le condena a prisin; las
amenazas de sanciones econmicas por parte de algunos pases para obtener sus propsitos,
son todas falacias argumentum ad baculum.
Se comete esta falacia cuando se afirma la verdad de una proposicin sobre la base de
que no se ha demostrado su falsedad; o, tambin cuando se afirma su falsedad porque no se
ha demostrado su verdad. Decir que es falso que en otras partes del universo hay vida
inteligente por el hecho de que no se ha probado que haya; afirmar que Dios no existe porque
no se ha probado su existencia; sostener que hay un mundo paralelo al nuestro porque no se
ha probado que no lo haya; afirmar que una ley es buena porque no se ha probado que sea
mala; o que hay fantasmas porque no se ha probado que no los haya; o que alguien es
culpable porque no se ha probado que no lo sea, todos son casos de argumentum ad
ignorantiam.
44
Es conveniente anotar que en un tribunal de justicia el argumentum ad ignorantiam no
se considera como falacia, pues por principio universalmente aceptado una persona es
inocente en un juicio hasta que se demuestre su culpabilidad. En el famoso juicio contra O.J.
Simpson el jurado dictamin que no era culpable porque la parte acusadora no pudo probar su
culpabilidad.
Hay otro caso que tenemos que aclarar. Hay hechos de los cuales se puede sostener
razonablemente que, de haberse dado, hay investigadores calificados que pueden obtener
pruebas de los mismos. En ese caso, si los investigadores calificados no han logrado ninguna
prueba, es razonable tomar la ausencia de pruebas como una prueba positiva de que esos
hechos no se han cometido. En efecto, esta prueba se basa en el CONOCIMIENTO de que, si
esos hechos se hubieran dado, los sabramos, no se basa en nuestra ignorancia. Por ejemplo,
si una seora sostiene que el seor X es el padre biolgico de su hijo, y los especialistas no
consiguen pruebas genticas que prueben esa paternidad, sera un error concluir que estas
investigaciones no han aportado ningn conocimiento. Al contrario, hay que concluir con
certeza que, en base a esos conocimientos, el seor no es el padre biolgico del nio en
cuestin.
Esta falacia se comete cuando se apela a la piedad, a la compasin para lograr una
determinada conclusin. As, un abogado defensor que deja de lado los hechos que
incriminan a su defendido y trata de despertar la compasin del jurado para lograr la
absolucin del mismo comete la falacia de argumentum ad misericordiam. Solicitar la
absolucin de una persona que ha cometido un crimen porque tuvo una niez desgraciada, es
padre de familia, sus hijos no pueden vivir sin su trabajo, etc. es una falacia de argumentum
ad misericordiam.
Esta falacia consiste en despertar las pasiones y emociones de una masa de gente para
intentar ganar su apoyo y asentimiento para una conclusin que no est sustentada por un
razonamiento vlido. La suelen utilizar los populistas y demagogos as como los
propagandistas de productos. Ante una medida determinada que perjudica sus intereses un
poltico demagogo, en lugar de realizar estudios y presentar argumentos que demuestren su
inconveniencia, tratar de despertar las pasiones e instintos de la gente en su contra
aduciendo que es una medida que atenta contra los logros alcanzados, que es una medida
antidemocrtica que slo favorece a unos cuantos privilegiados, etc.
45
sostiene que es verdadera porque todo el mundo la cree; el vendedor de un producto que
afirma que es el mejor porque es el ms consumido; el gobierno que defiende la bondad de
una medida porque es apoyada por la mayora, cometen argumentum ad populum. En efecto,
el apoyo mayoritario a un poltico no implica que sea el mejor; el hecho que alguna creencia
sea generalizada no demuestra que sea verdadera; el consumo masivo de un producto no
prueba que sea el mejor; el apoyo general a una medida no quiere decir que sea la mejor.
Es cierto que con ello no se prueba lo que se sostiene, pero tiende a confirmarlo.
Ahora bien, si la discusin anterior se hubiera realizado entre especialistas, apelar a la
autoridad de Cousteau, no significara un gran apoyo, ya que entre expertos solo cuentan las
investigaciones, los hechos y los razonamientos. Entre especialistas apelar a la autoridad de
otro especialista no tiene valor probatorio alguno.
La falacia de causa falsa se puede cometer de dos maneras: la primera, tomando por
causa de un efecto algo que no es su causa real; la segunda, inferir que un hecho es la causa
de otro solamente en base a que el primero es anterior al segundo. Para comprender a
cabalidad la primera forma habra que realizar un estudio pormenorizado sobre las
conexiones causales, estudio que rebasa nuestros propsitos en este curso. Por eso, para
nuestro estudio utilizaremos el concepto de causa tal como se usa en la vida cotidiana y en la
ciencia, esto es, presuponemos que la causa y el efecto se relacionan UNIFORMEMENTE,
de tal manera que causas similares producen efectos similares. Por ejemplo, el anhdrido
carbnico (CO2), proveniente de la combustin de los vehculos y fbricas, causa o ayuda a
causar el efecto invernadero en nuestro planeta. La falta de trabajo en una sociedad es causa
de su atraso.
Un ejemplo del segundo tipo de falacia de causa falsa es argir que el alimento X me
alivia la dolencia Y porque hasta ahora al tomar ese alimento ha desaparecido esa dolencia.
Aunque esta observacin puede ayudar a un mdico para hallar la causa real (que podra
probar, por otra parte, que es el alimento aducido), no podemos inferir slo por eso que el
mencionado alimento sea la causa real del alivio. Yo conozco a una persona que para
aliviarse del dolor de estmago tomaba leche porque, en efecto, lo aliviaba. Despus de
acudir al mdico y hacer los anlisis pertinentes, se prob, por el contrario, que la leche era la
46
causa principal del dolor de estmago de mi amigo, aunque momentneamente lo aliviar.
Atribuir a remedios milagrosos administrados con ritual determinado la causa de las curas
de enfermedades es una falacia, tambin, de causa falsa.
En todos los casos de pregunta compleja es preciso dividir la pregunta para evitar la
falacia. En el procedimiento parlamentario hay una mocin especial, la mocin de dividir la
cuestin. Con esto se reconoce que hay cuestiones y preguntas complejas que es preciso
analizar o responder por partes.
EJERCICIOS
47
cambio, aunque corra peligro mi vida no har nada de esto. El contraste puede
aparecer en su mente, predisponerlo en contra de m e instarlo a depositar su voto con
ira, debido a su disgusto conmigo por esta causa. Si hay alguna persona as entre
vosotros observad que no digo que la haya, pero si la hay- podra responderle
razonablemente de esta manera; Como amigo, yo soy un hombre, y como los otros
hombres una criatura de carne y sangre, y no de madera o piedra como dice Homero;
y tengo tambin familia, s, y tres hijos, oh! Atenienses, tres en nmero, uno casi un
hombre y dos an pequeos; sin embargo, no traer a ninguno ante vosotros para que
os pidan mi absolucin (Platn, Apologa de scrates).
(4) Un profesor, ante el reclamo de uno de sus estudiantes reprobados, aduce que su
conducta altanera y rebelde fue la causa de su mala calificacin.
(5) Las autoridades de un partido poltico amenazan con la expulsin a uno de sus
miembros, que es senador, si no vota la medida X de la menara como ellos han
decidido y, adems, argumentan que, por su condicin de miembro del partido, no
puede oponerse a lo dispuesto por ellos.
(6) No es cierto que un acuerdo con el FMI nos conducir a una mayor dependencia
de los pases desarrollados?
(7) El presidente de la repblica, en acto de apertura oficial de la 51 Asamblea
General de la SIP, acus a la propaganda surgida en torno a la devaluacin y una
amplia flexibilizacin del control de cambio de la cada de nuestras reservas
internacionales.
(8) Los concejales de esta tierra, raz de Venezuela, queremos hacer llegar a usted el
sentimiento de una raza que la indolencia y el abandono de todos los gobiernos desde
que lleg Cristbal coln la han asumido en el ms profundo olvido (PANORAMA
18-10-95).
(9) En libro Lanzas Coloradas Arturo Uslar Pietri, refirindose al terremoto del 26 de
marzo de 1812, expresa: El terremoto deshizo los poblados y desequilibr los
espritus. El pueblo, de monstruoso fanatismo, supersticiosamente interpret aquellas
seales como la prueba de que dios desaprobaba y castigaba a los rebeldes que se
alzaban contra el rey de Espaa. As lo predicaron los curas sobre las ruinas de las
iglesias, mientras la muchedumbre rezaba en voz alta, contricta y empavorecida.
(10) La Coca-Cola es, sin duda, el mejor refresco, de lo contrario no se explicara por
qu es el ms consumido en el pas.
(11) Todo lo que opinan los representantes de la Federacin de Cmaras sobre las
nuevas medidas de corte social no tiene que tenerse en cuenta, pues como empresarios
tienen que oponerse a ellas.
(12) - Esas son pendejadas de la vieja! El hombre no tiene sino carne. Bsquenme
en el cuerpo el sitio que ocupa el alma. Bsquelo, a ver si lo encuentra (Uslar Pietri,
Lanzas Coloradas).
(13) La posicin sostenida por el ponente sobre la Ley de Educacin Superior es
distinta a la que sostuvo hace un ao, por tanto, es contradictoria y hay que rechazarla.
(14) Profesor, arguye un estudiante, recuerde antes de poner la calificacin, que los
alumnos del turno de la noche trabajamos y disponemos de poco tiempo para estudiar.
(15) Preguntada la Miss Universo sobre las medidas econmicas tomadas por el
gobierno de su pas, responde que no tiene la menor duda de que van a ser positivas y
que, finalmente, la inflacin va ser controlada y el pas se va a recuperar rpidamente.
Esta respuesta ha convencido a mucha gente del pueblo sobre las medidas econmicas
propuestas por la administracin.
(16) No se puede tener en cuenta la oposicin del sacerdote X a la ley sobre el aborto,
porque, por el hecho de ser sacerdote, est obligado a oponerse a ella.
48
(17) Las medidas econmicas propuestas por el exministro Miguel Rodrguez eran
errneas, pues todo el pueblo las rechaz, y, como afirma el Dr. Caldera, el pueblo
nunca se equivoca.
(18) Un senador suplente, que no conoce bien el contenido de la ley que va a ser
sometida a votacin, pregunta al senador que sustituye como tiene que votar, y ste le
dice: Vota contra lo que proponga el presidente del senado.
(19) Seor Gobernador, esta medida atenta contra los trabajadores, y debe ser
rechazada. Recuerde que los votos de los obreros son tan vlidos como los votos de
los empresarios y, en nuestro estado, hay ms de medio milln de afiliados a nuestros
sindicatos.
(20) No cree que ya es tiempo que reconozca su fracaso?
(21) Marx sostena que la religin era el opio del pueblo. Que otra cosa puede
sostener un judo desleal como l?
(22) La economa de mercado no es conveniente para los pases del tercer mundo
porque es la defendida por el FMI que est al servicio de los pases ricos.
(23) En las elecciones presidenciales de Polonia en noviembre de 1995 los sacerdotes
pidieron a sus fieles que no elijan a personas que en la poca del rgimen totalitario
participaron en el ejrcito del poder (declaracin de la conferencia episcopal del 25
de agosto pasado), sealando as directamente a Kwasniesoski, quien a pesar de su
juventud (41 aos), fue miembro de los gobiernos comunistas entre 1985 y
1989)Varsovia, AFP, PANORAMA, 23-10-95).
(24) Con ocasin de una gran discusin televisiva en la que la Princesa Diana de
Gales, durante una hora, narr sus experiencias desde que entr a formar parte de la
familia real inglesa, el secretario de defensa, amigo del Prncipe Carlos, dijo que la
Princesa de Gales dio una prueba de una buena dosis de paranoia. Entonces el
diputado Andrew Mackinlay interpel al Primer Ministro John Mayor preguntando:
va Ud. a continuar tolerando que el secretario de Estado de Defensa contine
comportndose como el sirviente del Prncipe Carlos? (Londres, AFP,
PANORAMA, 24-11-95).
(25) No s que inters hay en el cierre de las carreras humansticas del Instituto
Universitario Santiago Mario dicta y lo que es an peor, cul es el roce que tiene
con el Director Nacional del Instituto, Dr. Ral Quero Silva. Lo nico que s, es que a
este seor (sic) s le debo el no salir de mi estado Nueva Esparta a estudiar a otra
parte, y as evitarle gastos mayores a mi familia (Br. Gladys Rodrguez, EL
NACIONAL, octubre 1995).
(26) Respecto de la gratuidad poco se dice (en el Proyecto de Ley de Educacin
Superior). Sin embargo, encierra un peligroso desliz: la Constitucin Nacional prev
que ser la ley quien establecer las excepciones a la gratuidad cuando se trate de
personas provistas de medios de fortuna, pero el proyecto lo nico que hace es decir
que esas personas estn obligadas a sufragar su educacin, y remite a la
reglamentacin interna de cada institucin el modo de hacerlo.
Pienso que esa salida no desarrolla adecuadamente el proyecto constitucional a la vez
que traslada al seno de cada universidad la potencialidad conflictiva de esa
reglamentacin. Luego, El mismo gobierno dir que las universidades no tienen
suficiente presupuesto porque no han cobrado la matrcula a los estudiantes ricos
(Jess Esparza, PANORAMA, 15-10-95).
(27) Fra e irresponsablemente, con el ms desparpajo, usted arremeti contra la moral
y la dignidad de todos los seores Generales de la Fuerza Area Venezolana. Con su
verbo incisivo y algunos gestos de ensayado dramatismo usted se refiri... a la
guerra entre los generales de la Fuerza Area Venezolana para repartirse el botn de
49
los cuarenta millones de dlares de la reparacin de los C-130. Asombra tan
semejante ofensa! (parte del comunicado de los Generales de la Fuerza Area
Venezolana al Seor Jos Vicente Rangel. EL NACIONAL, 19-10-95).
(28) Para muchos asiticos un eclipse total de sol es un evento crucial [...]. De acuerdo
con un antiguo mito de los sacerdotes brahmanes, un eclipse ocurre cuando el airado
Dios-monstruo Rahu trata de comerse el sol y la nica manera de evitar el desastre es
hacer que Rahu huya. En el pasado, muchas personas en el sur y sureste de Asia
tocaban tambores, ollas y sartenes durante el eclipse para ahuyentar a Rahu (Bangkok,
Reuter, EL NACIONAL, 29-10-95).
(29) Usted Seor Ministro, o no sabemos quin de su fabuloso entorno ntimo, en una
decisin arbitraria y leonina, orden descontar a los maestros venezolanos, dos das...
dos das, de su deteriorado y disminuido salario quincenal. Vaya regalo! Este
descuento obedece, segn lo transcrito en el taln de cheques, a los dos ltimos das
de PARO NACIONAL, parcial, ordenado por el Comando Nacional Intersindical.
Nosotros estamos convencidos que esa no es la verdadera razn, pues tenemos
argumentos sobradamente legales y legtimos que no pueden ser rebatidos; entre estos
mencionaremos estos dos:
a...
b. El Inspector Nacional de Asuntos Colectivos y del Trabajo del ministerio del
Trabajo, [...] decreta la inamovilidad de todos los trabajadores de conformidad con lo
establecido en el artculo 458 de la Ley Orgnica del Trabajo, segn la cual nadie
puede ser despedido, trasladado ni disminuido en sus condiciones de trabajo.
(30) Las siguientes son las palabras de un Comandante que conspir el 4 de febrero:
Hugo (se refiere a Hugo Chvez) fallaste porque no tuviste buena fe, pensando by-
pasear a rias Crdenas coqueteaste con Sanfeliz Ruz, con Ochoa Antich. Y basado
en estas palabras, el articulista Oscar Silva aade: Confirma lo que siempre hemos
sostenido. Chvez y rias eran y son lo mismo, los dos buscan traicionarse despus
del golpe de resultar con xito. (Oscar Silva, PANORAMA, 23-10-95).
2. FALACIAS DE AMBIGEDAD
2.1. El Equivoco
El equvoco consiste en utilizar la misma palabra o frase dentro del mismo contexto
con distinto sentido o distinta referencia sin percatarse de ello.
(a) "La democracia es el mejor sistema de gobierno, por eso debemos esforzarnos por
preservar esta democracia venezolana.
50
(b) Los estudios bsicos de las diferentes ingenieras son prcticamente los mismos
y los elementos bsicos del curriculum deben ser las prcticas profesionales.
Aqu la palabra bsica tiene dos significados: en el primer caso, significa los
estudios iniciales de toda ingeniera; en el segundo, por referirse al curriculum, significa los
elementos importantes del curriculum.
Un equvoco especial es el que se relaciona con los trminos relativos, que, en
contextos diferentes, tienen significados diferentes. Por ejemplo, la palabra pequeo es
relativa, pues la pequeez no se puede decir en el mismo sentido de un elefante y de un
ratn. Un elefante pequeo y un ratn pequeo son dos categoras diferentes. Un elefante es
pequeo con relacin a los elefantes, y el ratn en relacin con los ratones, de tal manera que
un elefante pequeo sigue siendo un animal grande. Hay equvocos con trminos relativos
ms sutiles.
Palabras como bueno, eficiente son trminos relativos que pueden usarse de forma
equvoca. Por ejemplo, decir que fulano de tal ser un gobernador eficiente porque es un
empresario eficiente, o que debe ser una buena persona porque es un buen mdico, son
equvocos, pues las palabras eficiente y bueno son relativas y su significado es distinto en
cada contexto.
2.2. Anfibologa
Esta falacia se debe a las distintas interpretaciones que se pueden dar a algunas
afirmaciones a causa de una combinacin o sintaxis descuidada de las palabras que las
componen. Un ejemplo sera la siguiente informacin aparecida en un peridico:
2.3. El Enfasis
La falacia de nfasis tiene lugar cuando, al destacar una u otra palabra, cambia el
significado de un enunciado. En forma hablada se destaca alguna parte de lo que se est
diciendo cambiando el tono o la intensidad de la voz; en forma escrita cambiando el tipo de
letra, tal como este:
El nfasis est en nuestros padres, y ese nfasis podra conducir a inferir que a los
que no son nuestros padres s los podemos desobedecer. El que extraiga esa conclusin
estara cometiendo la falacia de nfasis. Si se leyera sin ningn nfasis indebido la
prohibicin sera correcta y no habra ninguna falacia.
Otra forma de nfasis se puede presentar al hacer una cita, cuando al introducir o
suprimir alguna palabra o frase en letra especial, se cambia su significado. A veces se
51
produce un nfasis falaz cuando al introducir una cita aislada del contexto cambia el
significado de ella. Por eso, un autor responsable, que cita a otro autor directamente
especificar si las palabras con letras especiales son de l o del autor, as mismo indicar el
contexto de donde forma parte.
La afirmacin completa puede ser verdadera, pero la forma en que se destaca una de
sus partes la hace falsa.
2.4. La Composicin
Cuando partiendo del hecho de que cada una de las partes de un todo tiene una
determinada caracterstica, se infiere que el todo como tal tiene tambin esa caracterstica, se
comete la falacia de composicin. Afirmar, por ejemplo, que un equipo de bisbol es muy
bueno, sobre la base de que cada jugador individuamente lo es, es una falacia de
composicin, pues se da el caso de que individualmente los jugadores pueden ser buenos
jugadores y el equipo, como equipo, no lo sea. Luego, una forma de falacia de composicin
consiste en atribuir al todo, las propiedades de cada una de sus partes.
Una segunda forma ms sutil de esta falacia consiste en atribuir una propiedad a una
clase o conjunto en virtud de que cada uno de sus miembros aisladamente la poseen.
La segunda forma se debe a los dos sentidos que puede tener el verbo ser. La
proposicin Los astronautas son preparados significa que cada astronauta tomado
individualmente es preparado. Es decir, el verbo ser est usado aqu en forma
DISTRIBUTIVA. Ahora bien, en la proposicin Los astronautas son pocos el verbo ser
se usa en sentido colectivo, esto es, se entiende que la propiedad de ser pocos se predica
colectivamente de los astronautas, no de cada uno de ellos por separado. Por eso, no tiene
sentido afirmar Amstrong es poco. Afirmar, por ejemplo, que los discursos de Fidel Castro,
generalmente, han sido ms largos que los de los restantes polticos latinoamericanos, slo
ser verdadero y, por tanto, no falaz, si se toma distributivamente, esto es, uno por uno, pues
usualmente los discursos de Fidel Castro, son ms largos que los discursos, tambin uno a
uno, de los restantes polticos latinoamericanos. Ahora bien, si los discursos a que hacemos
referencia se toman colectivamente, la relacin se invierte, pues por mucho que sumen las
horas de los discursos de Fidel Castro tomados colectivamente siempre sern menores a las
52
horas de todos los discursos de todos los polticos latinoamericanos. Si se ignora esta
diferencia en un razonamiento se dara origen a una falacia de composicin.
2.5. La Divisin
EJERCICIOS
Distinguir y explicar las falacias por ambigedad contenidas en 1os siguientes
prrafos.
(1) Un comedor diettico promociona dieta a travs de este anuncio "Si haces la dieta
tal como est detallada, tendrs buenos resultados" Aparece un candidato que, a pesar
de cumplir rigurosamente con todo lo indicado por la dieta, despus de unos meses
sigue con el mismo peso. Entonces, se dirige al dueo del comedor reclamndole que
la dieta no haba surtido ningn efecto en l. Aquel le contest: Que mejor resultado
que no haber aumentado de peso!, luego la dieta dio buenos resultados.
(2) Estados Unidos es muy rico y, como yo soy ciudadano norteamericano, tambin
soy rico.
(3) Una casa comercial se promociona con este anuncio: "Todo cuesta menos".
(4) El ex vicerrector acadmico de LUZ, Profesor Jess Esparza, en su columna del
diario Panorama del 15-10-95 public un artculo titulado: "Las cinco falacias del
PLES". En uno de sus prrafos dice: "Se insiste en la Exposicin de Motivos del
Proyecto de Ley de Educacin Superior (PLES) en los aspectos positivos de la
autonoma universitaria la cual se extiende de inmediato a todas las universidades, y
gradualmente, a todas las instituciones de educacin superior, condicionado solamente
por su grado de desarrollo y madurez. Pero esta "autonoma" esta en definitiva
referida a una entidad directiva nacional, el Consejo Nacional de Universidades, cuya
composicin y atribuciones la desdice totalmente. Ese Consejo Nacional de
Universidades deja de ser un rgano de "Coordinacin", como el actual Consejo
53
Nacional de Universidades, para convertirse en un rgano de "direccin" con el
agravante de que en su constitucin colegiada queda fuera 1a universidad nacional
autnoma". autnoma"
(5) He aqu el anuncio en un peridico regional:
APRENDA INGLES GRATIS
ltimos cupos para aprender ingls en EE.UU. Horarios flexibles, grupos reducidos...
Aprovecha el Programa que ha revolucionado a Nuestra Querida Venezuela y
participa de los primeros 40 cupos sin costo alguno.........
54
3. COMO EVITAR LAS FALACIAS
No hay ninguna receta mgica para evitar las falacias. Sin lugar a dudas, una
condicin necesaria para lograr ese propsito es una vigilancia permanente, ya que son
muchas las maneras como se pueden infiltrar las falacias. Esa vigilancia ser mucho ms
efectiva si tenemos un dominio de todas las clases de falacia que se pueden cometer. Dicho
ms llanamente, evitaremos, en general, el razonar falazmente si entendemos a cabalidad las
falacias explicadas en este captulo. Esto nos permitir reconocerlas, analizarlas y, as lograr
una serie de hbitos para impedir ser engaados por esos modos incorrectos de razonar.
AUTOEVALUATIVO 4
Clasifica y explica cada una de las falacias contenidas en los siguientes prrafos
(Objetivo).
55
(6) Ningn estudiante de los aqu presentes, aisladamente, es capaz de incendiar un
autobs como seal de protesta; por lo tanto, no hay peligro de que esta manifestacin
de estudiantes termine quemando alguna unidad autobusera.
(7) No es cierto que la intervencin de la polica fue represiva?
(8) El gremio de transportes declarar persona no grata al ministro de transportes y
comunicaciones si no aprueba nuestras proposiciones.
(9) La democracia norteamericana ha logrado erradicar el fraude electoral; por lo
tanto, nuestra democracia venezolana, por ser tambin democracia corno la
norteamericana, garantiza la transparencia en el conteo de votos en las prximas
elecciones.
(10)Una persona tan inteligente, famosa y viajada como Julio Iglesias votar en las
prximas elecciones presidenciales por los conservadores; en consecuencia, creo que
la alternativa de stos es la mejor y yo tambin voy a votar por ellos.
Ver las Respuestas
56
OBJETIVO TERMINAL 5: Determinar las caractersticas de los lenguajes naturales
y cientficos y su importancia para el desarrollo de la lgica.
5.5. Como conclusin de todo lo anterior, establecer dos semejanzas y dos diferencias
entre la lgica tradicional y la moderna.
1. SINTAXIS Y SEMANTICA
Cuando uno se ocupa del lenguaje puede hacerlo, principalmente, desde dos puntos de
vista: su sintaxis y su semntica.
La sintaxis lgica es la sintaxis del lenguaje lgico. Ellas nos proporcionan las reglas
de formacin y reglas de transformacin. Estas sern estudiadas ms adelante.
57
Una expresin lingstica tiene semntica para quien la utiliza, si conoce el
significado de la misma. Por ejemplo, la palabra Hemeroteca, aunque como palabra
castellana tenga su significado, slo tendr valor semntico para aquellas personas que sepan
el objeto a quien se refiere.
EJERCICIOS
Tal como hemos venido insistiendo en este curso de lgica, lo importante es aprender
a razonar correctamente. Obviamente, esta capacidad est determinada, en gran medida, por
el manejo preciso y amplio dominio que tengamos de nuestra lengua. Por ser la lgica,
adems de una ciencia, un lenguaje, vamos a dedicarnos a reflexionar sobre los tipos de
lenguajes, a fin de facilitar el uso adecuado de los trminos y el acceso a la construccin del
lenguaje lgico (del lenguaje formal de la lgica) en las unidades subsiguientes. Hay que
sealar sin embargo, que el uso adecuado y pertinente de un lenguaje no es suficiente para la
lgica: el lenguaje corriente por su imprecisin y vaguedad no es el ms adecuado para la
ciencia. Los lenguajes naturales tienen una serie de limitaciones que desfavorecen y
obstaculizan el rigor y la precisin requeridos por las ciencias y por la lgica, como
herramienta para la sistematizacin del conocimiento. Por ese motivo, a travs de la historia
del pensamiento, los hombres de ciencia han ido haciendo, su propio lenguaje a manera de
recorte sobre el lenguaje natural, con miras a reducir o superar estas limitaciones. Esto ha
dado como resultado el surgimiento de los llamados lenguajes cientficos, los cuales se han
ido afinando y perfeccionando progresivamente para adaptarse a los fines y propsitos de las
diversas ciencias.
(i) En primer lugar, los lenguajes naturales son los diversos idiomas o lenguas que
usamos como lenguaje corriente, cotidiano. Sirven para comunicarnos en nuestra vida
ordinaria. Ya hemos visto, en el objetivo 1, que se usan para narrar, describir,
persuadir, influir, expresar sentimientos y emociones.
(ii) Los lenguajes naturales son, a menudo, imprecisos: muchas veces no sabemos con
exactitud a qu objeto se refiere una palabra, porque sta no seala las
determinaciones ms sutiles, sino que designa su objeto de una manera vaga
indeterminada.
(iv)Por otra parte, los lenguajes naturales adoptan tanto la forma de comunicacin oral
como escrita; sin embargo, bsicamente son lenguajes orales, por lo que escritura es
de tipo fontica: los signos representan sonidos.
(v)Adems, los lenguajes naturales poseen una gramtica ms o menos compleja, con
mltiples reglas y numerosas excepciones.
Por el contrario, los lenguajes cientficos tienen una gramtica simple, reglas
completas que no admiten excepciones.
59
(vi)Por ltimo, sealamos que los lenguajes naturales comprenden todos los campos
semiticos: sintaxis, semntica y pragmtica. En contraposicin, los lenguajes
cientficos son slo sintctico-semnticos y, en algunos casos, adoptan un carcter
exclusivamente sintctico, como es el caso de los lenguajes formales, que pasamos a
considerar.
Las diversas ciencias, al ir conformando sus propios lenguajes, han ido adoptando
diversas modalidades: los ms sencillos son un simple afinamiento precisin de los trminos
y elaboracin de construcciones lingsticas propias, con una jerga tcnica dentro del
lenguaje natural; algunos incorporan cierto nmero c expresiones simblicas; los ms
sofisticados constituyen un lenguaje totalmente simblico. En este caso, se trata de los
llamados lenguajes formales, como el de 1: matemticas, la computacin y la lgica.
Cada vez ms, se tiene la conviccin de que slo con los lenguajes formales, como
herramienta, puede una ciencia ser suficientemente rigurosa y lograr un avance permanente.
60
Hemos estudiado la diferencia entre lenguajes naturales y los lenguajes cientficos.
Hemos analizado cules son las principales propiedades de los lenguajes cientficos y hemos
explicado por qu su empleo es imprescindible para desarrollar las ciencias, especialmente
las matemticas y la lgica. Pero no hemos dicho por qu este lenguaje se llama formalizado.
Podra llamarse lenguaje simblico o lenguaje exacto o cualquier otra cosa parecida, porque,
en efecto, todo lenguaje formalizado es simblico y preciso. Sin embargo, se llama
formalizado porque su propiedad ms importante es la de revelar la forma de las
proposiciones y de las inferencias.
Sin embargo, no basta que un objeto est compuesto de elementos para que tenga
estructura. Para esto los elementos que integran el objeto deben relacionarse de alguna
manera muy definida. De modo general, puede decirse que para que un objeto tenga
estructura, debe haber un orden determinado entre los elementos que lo integran.
Estas dos propiedades son esenciales a toda estructura: el objeto debe ser compuesto y
debe haber un orden entre sus elementos. Obsrvese que estas dos propiedades se refieren
nicamente a los elementos como integrantes o componentes de la estructura, pero no se
refieren a las cualidades o propiedades de dichos elementos. Lo que interesa de una estructura
es la relacin de unos elementos con otros, pero no las cualidades intrnsecas de estos
elementos. As, si contemplamos los dos grficos:
Grficos
vemos de inmediato que aunque defieren en una serie de propiedades, como el tamao, el
color, el lugar de la pgina donde estn impresos, etc., tienen sin embargo exactamente la
misma estructura, porque tienen el mismo nmero de elementos, y el mismo orden entre estos
elementos. Esta comprobacin nos indica que el concepto de nmero tambin es propiedad
esencial de la estructura. Para que dos estructuras sean idnticas, deben tener el mismo
nmero de elementos. De otra manera no podrn ser idnticas. Podrn ser parecidas, pero no
idnticas.
Y ahora tenemos ya una visin ms clara y precisa de lo que es una estructura. Para
que un objeto tenga una estructura debe ser compuesto, debe tener un nmero determinado de
61
elementos y debe existir un orden entre ellos. Composicin, nmero y orden son las
cualidades esenciales de toda estructura.
Para concluir este punto, presentaremos aqu, algunas consideraciones sobre la lgica
formal o cientfica en contraposicin a lo que denominaremos lgica natural.
62
De un modo muy distinto, la lgica natural construye argumentos en los cuales, en
vez de premisas y conclusin, tenemos dos elementos: una proposicin apoyante, que es el
punto de partida, y una proposicin apoyada, que viene a ser la conclusin del argumento.
Pero las relaciones entre estos dos elementos no son necesariamente de causa-efecto
(causalidad). Son relaciones de muy diversa ndole: confirmacin en los hechos,
reformulacin del enunciado, comparacin, finalidad, entre otros.
Por ltimo, hay que sealar que estas dos lgicas, la del discurso comn y la del
discurso cientfico, no estn desvinculadas entre s. La lgica cientfica se deriva por un
proceso de depuracin de la lgica natural, de manera que aqulla constituye un recorte o
especializacin de sta. A su vez, la lgica cientfica aporta sus avances y sus logros al
argumento del discurso comn nutrindolo con nuevos elementos de persuasin,
impregnndolo con su rigor. Las personas que argumentan en su discurso cotidiano toman,
ms o menos, referencias de la lgica cientfica en la medida de su mayor o menor cercana al
conocimiento cientfico.
6. MATEMATIZACIN DE LA LGICA
La lgica formal naci, hace aproximadamente dos mil quinientos aos, con el
filsofo griego Aristteles. Desde entonces hasta el siglo XIX no experiment ningn
desarrollo significativo. El adelanto de los estudios matemticos en el siglo XIX prepar el
terreno para lograr un avance cualitativo en el desarrollo de la lgica incorporando, a la
misma con el rigor y la precisin del mtodo matemtico. En ese sentido se dice que la lgica
se matematiz.
63
representndolas por las letras A, B, C, D, etc., pero no simboliz las constantes, como
todo, si-entonces, algunos, etc. Esto se va a lograr en el ao 1847 por el lgico ingls
Boole. Este logro constituye la clave del desarrollo de la lgica formal que, desde este
momento, empieza a llamarse, entre otras denominaciones, lgica simblica o moderna. Por
ejemplo, desde la antigua Grecia exista el siguiente esquema de razonamiento:
A B, ~B ~A
EJERCICIOS
64
La lgica que se estudi desde Aristteles (s. IV a. C.) hasta G. Boole (s. XIX d. C.)
recibe el nombre de Lgica Tradicional o Formal; de Boole a nuestros das a la lgica se le
da distintos nombres: Logstica, Lgica Simblica, Lgica Matemtica, Algebra Lgica.
Nosotros, en adelante, la denominaremos Lgica Moderna.
A pesar del distinto desarrollo de ambas lgicas hay aspectos fundamentales comunes.
Ambas se centran en el estudio de los razonamientos y para ello lo hacen a travs de sus
formas o estructuras. Evidentemente, la lgica simblica, al lograr la simbolizacin total de
los razonamientos introduce el mtodo matemtico en sus demostraciones, permitindole
manejar y resolver, de forma rigurosa y transparente, problemas que la lgica formal, al no
simbolizar las constantes, no le era posible realizar.
Sin embargo a pesar de las diferencias anotadas entre ambas lgicas, la mayora de las
lgicas modernas consideran que la lgica simblica se sita en una lnea de continuidad de
la lgica formal.
En ese sentido el lgico H. Scholz anota que hasta hoy no existe ninguna forma
concebible de lgica, por muy distinta que sea de la lgica formal que no tenga una conexin
con la obra aristotlica1.
Por todo lo anterior podemos afirmar que la diferencia entre la lgica formal
tradicional y la lgica simblica no es de esencia sino de grado. Aunque es preciso insistir en
que la lgica simblica, al desarrollar un simbolismo ms tcnico, se ha convertido en un
instrumento ms eficaz y poderoso para el anlisis lgico. La notacin simblica facilita
extraordinariamente las deducciones. Veamos a este respecto lo que escribi Whitehead en su
libro An Introduction to Mathemathics: Con la ayuda del simbolismo, podemos efectuar
por medio de la vista y de manera casi mecnica transiciones en el razonamiento que
exigiran, sin aqul, el uso de las facultades superiores del cerebro3.
Ejercicios:
1
Scholz H. ABRISS GESCHICHTE DER LOGIK, Berln, 1931. Citado por E. Agazzi en
Lgica Simblica, pg. 60.
2
AGAZZII, E. La Lgica Simblica. Edit. Herder, Traduccin: J. Prez Ballestar, 1967,
Barcelona, pg.58.
65
3
WHITEHEAD, Alfred N. An Introduction to Mathemathics. Oxford University Press, 1911.
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
_______________________________________________________
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
AUTOEVALUATIVO 5
III. Enumere dos condiciones necesarias para la aplicacin del mtodo matemtico a la
lgica.
66
(1)_______________________________________________________________________
(2)_______________________________________________________________________
IV. Enumere dos ventajas de la matematizacin de la lgica.
(1)_______________________________________________________________________
(2)_______________________________________________________________________
V. Complete:
de una proposicin.
(3) Las partculas: "si... entonces", "todos", "Por tanto", "es", son elementos_____________
67
LECTURAS COMPLEMENTARIAS
Para cerrar el ciclo de aprendizaje, te proponemos ahora cinco lecturas que amplan y
complementan el contenido de los temas que han sido abordados en esta primera unidad.
La cuarta y quinta lecturas, constituyen un apndice que tocan, en forma breve, las
distinciones entre lenguaje objeto y metalenguaje y uso y mencin. Estos conceptos
permiten dilucidar algunas confusiones que haban generados problemas y paradojas. Estos
temas podran ser incluidos como puntos del temario de esta unidad, a juicio del profesor; por
ese motivo nos pareci conveniente ofrecerlos.
68
I. BREVE HISTORIA DE LA LGICA
En este recuento histrico usted va a encontrar una serie de trminos que en principio
no van a tener gran significacin para usted, por cuanto se refieren a conocimientos que ir
adquiriendo conforme adelanta el curso. Tambin es bueno anotar que en virtud de que ste
es un curso introductorio de un nivel elemental, no es posible hacer referencia a muchos
puntos complejos y propiamente lgicos estudiados especialmente a partir 'de la segunda
mitad del siglo XIX. El propsito es que, despus de una lectura atenta, se percate del
desarrollo histrico de la disciplina, de tal manera que pueda darse cuenta de las relaciones
existentes entre la lgica tradicional v aristotlica y la lgica moderna o simblica.
LA LGICA ARISTOTLICA
___________________________________
1
Refustaciones Sofisticas XXV, 183b, 34 s.s.
2
TPlCOS, A. 1.100a. 22 s.s.
La base de la teora silogstica est en la hiptesis de que todo razonamiento correcto
puede analizarse mediante proposiciones de una forma peculiar y que llamamos
proposiciones de sujeto-predicado. En esta clase de proposiciones hay un sujeto cuantificado,
o sea un sujeto precedido por alguna de estas palabras: todo, ninguno, alguno. Este
sujeto est unido al predicado por medio de un verbo. Ejemplos de ellos son:
69
Todos los alumnos son zulianos
Algunos, alumnos son marabinos
Ningn alumno es alemn
Algn alumno no es marabino
Todos S son P
Algunos, S son P
Ningn S es P
Algn S no es P
Toda A es B
Toda B es C
Por lo tanto, Toda A es C
________________________________
1
ANAL. prioria, 25b, 32-26a
Para terminar diremos que los estudios de Aristteles sobre lgica estn distribuidos
en cinco tratados; los cuales fueron reunidos por sus discpulos en uno solo que recibi el
nombre de Organon, palabra que quiere decir Instrumento.
70
LA OBRA DE LEIBNIZ Y EL NACIMIENTO DE LA LGICA SIMBLICA
Pasar de Aristteles a Leibniz supone un salto de dos mil aos. El hecho de que no
hagamos mencin en esta brevsima resea de la historia de la lgica a ese largo lapso, no
significa que en el mismo no se cultivara la lgica, y que en algunos campos, incluso, se
71
lograra un desarrollo de la misma; sin embargo, en su estructura fundamental es la misma
lgica aristotlica, y, como nuestro propsito, ms que sealar nombres de lgicos, es mostrar
el desarrollo de la misma lgica, consideramos innecesario hacer referencia a ese perodo.
Solamente del siglo XVI al siglo XVIII hubo una interrupcin total del desarrollo de la lgica
formal. En el siglo XVIII, precisamente, en el ao de 1787, Kant haba afirmado, como
anotamos anteriormente, que la lgica formal haba sido creada por Aristteles con tal
perfeccin que no haba dado ni un paso atrs ni un paso adelante en su desarrollo, de tal
forma que pareca completa y cerrada. Sin embargo, Leibniz no fue de la misma opinin y
con l empieza la lgica formal una vida nueva cuyo desarrollo posterior culminara en la
moderna lgica simblica. Leibniz, en efecto, se dio cuenta de que la lgica aristotlica era
incompleta, que era tarea de la lgica la obtencin de un instrumento potente que le
permitiera alcanzar el mismo rigor y objetividad que las ciencias matemticas. Leibniz tuvo
la intuicin de que la lgica se poda reducir a un simple clculo, y para ello propone el
estudio de la deduccin como simple operacin de smbolos a la manera como se opera en
matemticas.
Sera por lo tanto, un lenguaje simblico, con la propiedad de ser tratado como un
clculo del razonamiento, como un lgebra. Los caracteres o signos constituiran un alfabeto
del pensamiento humano que correspondera a todas las ideas simples posibles. Estas ideas
simples seran conceptos primitivos a partir de los cuales podran construirse conceptos
complejos por medio de reglas de combinacin. De esta manera Leibniz concibi tanto la
posibilidad de un clculo del razonamiento como la posibilidad de una matemtica universal,
que sera el origen, en definitiva, de la lgica simblica.
De aqu que Leibniz sostena que cuando se logre simbolizar todas las ideas, no habr
necesidad de discutir ms entre filsofos. Ser suficiente con tomar la pluma en la mano,
sentarse en la mesa y decir el uno al otro: calculemos. Leibniz, no pudo cumplir su sueo,
slo pudo ejecutar algunos fragmentos del programa que se haba trazado, pero tuvo el mrito
indiscutible de abrir y orientar el nuevo camino que desembocara en la lgica simblica
contempornea.
72
GEORGE BOOLE
73
Boole propuso los siguientes smbolos:
(i) Los objetos de nuestros conceptos los represent con las letras ltimas del alfabeto
x, y, z, . . .
(ii) Como signos de operacin emple: +, -, x.
(iii) Emple adems el signo de identidad.
Para Boole el recurso de la simbolizacin era capital. A este respecto he aqu sus
palabras: ... Nosotros estamos en condiciones de dar como caracterstica definitoria del
clculo la de que es un mtodo basado en el uso de los smbolos, cuyas leyes de combinacin
son conocidas y generales y cuyos resultados permiten una interpretacin exenta de
contradicciones. Sobre este principio general es sobre lo que yo me propongo construir el
clculo de la lgica y reclamo para l un lugar entre las formas reconocidas del anlisis
matemtico independientemente del hecho de que tal clculo deba, por ahora, apartarse de
ellas espontneamente en todo lo referente a su objeto e instrumentos1.
El camino sealado por Boole fue transitado por varios autores que condujeron a la
lgica matemtica o simblica a avances insospechados en lo que a construccin de sistemas
formalizados se refiere. Como dato curioso es bueno anotar que en 1860, Jevons,
______________________________
1
BOOLE, G. The Mathemathical Analyst of Logic, Londres-Cambridge 1847. Reimpreso
Oxford 1948-1951. Pg. 3s.
74
GOTTLOB FREGE
Hay otros muchos lgicos que habra que nombrar en esta poca, pero entre todos
sobresale Gottlob Frege (1848-1925). La lgica despus de Boole se haba convertido
fundamentalmente en un clculo. Con Frege aparece otra necesidad, la necesidad de
determinar las condiciones adecuadas para lograr un procedimiento deductivo riguroso.
Desde Boole todos los lgicos aceptaban que la lgica era una parte de las
matemticas, Frege ser el primero en sostener el punto de vista opuesto, es decir, que los
conceptos matemticos se pueden obtener a partir de conceptos lgicos, y de esta manera la
matemtica se converta en una parte de la lgica.
75
A pesar de su gran valor la obra de Frege pas casi inadvertida durante veinte aos
antes de que B. Russell llamara la atencin sobre ella. Como causa de ese olvido se seala lo
complicado y difcil de su simbolizacin, lo cual haca su lectura sumamente dificultosa.
A parte de este objetivo central los autores sealan en el prlogo de su libro que han
sido guiados por tres propsitos distintos, a saber:
(i) Efectuar el mayor anlisis posible de los conceptos de las matemticas y de los
procesos de la demostracin matemtica.
(ii)Expresar las proposiciones matemticas en la notacin ms conveniente a fin de
asegurar la expresin ms precisa.
(iii)Desarrollar un sistema especialmente construido para resolver las paradojas.
76
Para comprender a Russell y Whitehead as como el desarrollo de la lgica simblica
en el siglo XX es preciso referirse aunque sea brevemente al desarrollo de los fundamentos
de la matemtica, ciertamente uno de los procesos ms fascinantes de la cultura
contempornea.
George Cantor, expone a finales del siglo XIX la teora de los conjuntos. A travs de
esta teora logra definir los nmeros.
Desde el punto de vista lgico esto tiene singular importancia, pues el concepto de
nmero sobre el cual descansa la aritmtica ya no resulta ser primitivo sino reducible al
concepto de clase.
Para resolver las paradojas lgicas los matemticos y lgicos se dieron a la tarea de la
construccin de sistemas axiomticos puramente frmales, construyendo de esta manera la
teora axiomtica de los conjuntos.
77
La escuela logicista est defendida por Frege, Peano y Russell entre otros. Para ellos,
los nmeros y las clases existen en s mismos, tienen cierto carcter de objetividad, no los
inventamos nosotros. Las paradojas no seran, pues, segn esta escuela, sino el fruto de
nuestro modo inadecuado de hablar de las relaciones entre las clases, por lo cual, para
evitarlas era suficiente con ser ms cuidadosos en el lenguaje empleado al referirnos a esas
teoras. Russell pretende resolver el problema de las paradojas mediante su teora de los
tipos de predicados. Esta teora, sin embargo se demostr posteriormente que no era capaz
de evitar todas las paradojas cmo por ejemplo la enunciada por J. Richard en 1905.
La escuela formalista considera que las entidades matemticas son construidas por
nuestra inteligencia, y, por tanto, existirn en la medida que se puedan definir sin
contradiccin. Por eso la fundamentacin de las matemticas est supeditada a la
construccin de sistemas axiomticos perfectamente formalizados donde sea imposible que se
d la presencia de contradicciones. El adalid de esta escuela fue David Hilbert.
Esta escuela que tiene su mayor auge a partir de 1930, sufri un serio revs poco
tiempo despus. Efectivamente el alemn K. Godel demostr los lmites inherentes al
formalismo puro. Godel demostr que en cualquier teora deductiva que poseyera un mnimo
de complejidad hay proposiciones verdaderas que no son demostrables mediante ningn
sistema formalizado.
Asegrese de que conoce los puntos principales de la historia de la lgica; para ello:
Elabore en quince lneas, un resumen de los aportes principales de sus representantes:
___________________________________________________________________________
_______________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________
78
___________________________________________________________________________
_______________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
El estudio de la lgica nos permite conocer las reglas, leyes y procedimientos del
razonar correcto. De este modo estamos mejor preparados para descubrir y rebatir las ideas
errneas que aparecen en discusiones, en debates, en libros, en artculos.
79
El estudio de la lgica, al ser un estudio que, al menos, en este nivel, se hace teniendo
como referencia el lenguaje ordinario, permite determinar el sentido exacto de las palabras y
expresiones empleadas en el lenguaje hablado o escrito. En otras palabras, nos ayuda a ser
rigurosos y precisos en el uso del lenguaje corriente y a descubrir las falacias presentes, con
frecuencia, en el mismo.
Para terminar quiero hacerlo con las palabras de uno de los lgicos contemporneos
ms brillantes: Quine. Refirindose a la importancia de la lgica simblica seala Quine lo
siguiente: ... trata de todo. No en el sentido de que la lgica es una ciencia universal, que
abarque toda otra ciencia y de cuyas leyes puedan deducirse las leyes de cualquiera ciencia
especial. La lgica no es en tal sentido una ciencia universal; pero s es una ciencia general,
en el sentido de que las verdades lgicas se refieren a objetos cualesquiera... Por lo tanto no
podemos decir que la lgica incluye las dems ciencias, pero s que est incluida en todas las
otras ciencias, de manera que forma parte comn de todas ellas. La lgica es, como lo
sugiriera Tarski, el comn denominador de las ciencias especiales1.
Como resumen podemos, pues, anotar que la lgica simblica tiene aplicaciones en
los campos ms diversos. Es el fundamento de lo que se podra llamar interciencia, adems,
su tcnica de pensar, sus recursos de ordenacin pueden lograr el desarrollo de las
investigaciones cientficas, no ya por la va del tanteo y del empirsmo estril, sino merced al
empleo de una tcnica cuidadosa y confiable.
Ejercicios:
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
2. Enumere tres razones por las cuales el estudio de la lgica simblica es importante.
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
80
___________________________
1
QUINE, Willard. El Sentido de la Nueva Lgica. Traductor: Mario Bunge. Editorial Nueva
Visin, Buenos Aires, 1958, pp. 6 y 7.
___________________________________________________________________________
_______________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
81
III. APTITUDES QUE DEBEN APRENDERSE
PARA LLEGAR A RAZONAR BIEN
Es licito preguntar cmo puede uno aprender a ser racional?. Cul es el proceso
de educacin que produce el mejor desarrollo posible de esas diversas capacidades
racionales? No hay una respuesta sencilla para esa pregunta; y ciertamente los factores
comprendidos en la racionalidad son lo bastante diversos para que no pueda sugerirse que se
incluyesen cursos sobre racionalidad en los programas universitarios. Sin embargo, existen
ciertas aptitudes bsicas que parecen desempear un papel en la conquista de la excelencia en
ms de uno de los seis factores principales de racionalidad de que hemos tratado. Cuatro de
esas aptitudes bsicas son especialmente dignas de mencin.
Una aptitud de primera importancia que debe tener el que desea razonar bien es
destreza en utilizar su propio idioma de manera precisa y flexible. Quien ha dominado su
idioma ser tambin capaz de clasificar eficazmente los temas u objetos en discusin, y de
advertir inmediatamente las implicaciones, de los modos en que las palabras se utilizan en
descripciones, preguntas, peticiones, etc.
Una tercera aptitud es la que consiste en tener, y ser capaz de emplear, conocimiento
del mundo adquirido por la experiencia. Gran parte del razonamiento ordinario requiere
habilidad para anticipar regularidades, estimar verosimilitudes, etc. Es un mito filosfico que
razn y experiencia sean independientes en nuestro funcionamiento intelectual. Es
ciertamente verdad que el razonamiento deductivo no requiere una experiencia que no sea la
experiencia del lenguaje, pero la mayor parte de nuestro razonar ordinario no es deductiva. La
mayor parte de nuestro razonar ordinario se ocupa de hechos y conexiones entre hechos. Eso
slo pueda ser llevado a cabo por quien tenga una oportuna experiencia de hechos.
Una cuarta aptitud es la destreza general aprendida en la lgica formal. Hay muy
pocas operaciones de razonamiento cotidiano en las que esa destreza pueda entrar
directamente en juego. Sin embargo, el estudio y el dominio de la lgica formal fortalece
muchas capacidades que entrar en juego en la mayor parte del razonar cotidiano. Da al
estudiante un conocimiento de familiaridad de la finalidad y naturaleza de su razonamiento
que le libra de confusiones bsicas1. Adems, el dominio de las reglas de la lgica formal
tiene sobre la actuacin en el razonar informal el mismo efecto vigorizador
___________________________
1
KUPPERMAN, Joel. Fundamentos de lgica, Edit. Labor S. A. Barcelona. Trad. : Juan C.
Garca B., 1973, pg. 251-252
que tiene la gimnasia en la actuacin en los deportes. Dado que las diversas especies de
problemas racionales con que nos encontramos son demasiado distintas para ponerlas en un
82
vademcum, ese entrenamiento indirecto de nuestra capacidad de razonamiento es de la
mayor utilidad.
El inters de los lgicos modernos por los problemas del lenguaje se acenta con
ocasin de la aparicin, de las llamadas paradojas semnticas. Por paradoja semntica
entendemos, en sentido lato, una proposicin que es al mismo tiempo verdadera y falsa. Una
83
paradoja semntica desemboca, pues, en una contradiccin. A modo de ilustracin y no con
el nimo de que usted pueda realizar un anlisis exhaustivo de las paradojas semnticas, ni
siquiera de la que me propongo exponer, me voy a referir a una de ellas. La paradoja que
comnmente se suele denominar de mentiroso. Mi propsito al exponerla no es otro que el
que usted se percate de cmo el lenguaje usual, debido a su ambigedad, nos lleva a ciertas
contradicciones, y cmo es necesario un anlisis ms profundo del mismo para explicarlas y,
de alguna manera, evitarlas.
Se dice que todos los habitantes de Creta son mentirosos, no hay un solo cretense que
pronuncie una sola verdad. Ahora bien, Epimnides, que es un cretense dice: Todos los
cretenses son mentirosos.
Ahora se pregunta: lo afirmado por Epimnides, o sea, Todos los cretenses son
mentirosos, es verdadero o falso?
Veamos. Si decimos que es verdadero, entonces, todo lo dicho por los cretenses,
incluso lo dicho por Epimnides es falso; por lo tanto todos los cretenses son mentirosos
dicho por Epimnides es verdadero y falso a la vez. En otras palabras, si Epimnides dice la
verdad, entonces miente. Por otra parte, si decimos que lo afirmado por Epimnides es falso,
entonces lo dicho por los cretenses es verdadero, incluso lo dicho por Epimnides. Luego, lo
dicho por Epimnides, es verdadero por ser falso. Como usted puede observar, se considere
verdadero o falso lo afirmado por Epimnides siempre conlleva una contradiccin. A este
tipo de contradiccin es a lo que llamamos paradojas semnticas.
Estas paradojas, que vistas superficialmente parecen un juego, son sin embargo,
graves dificultades que amenazan los mismos fundamentos del razonar correcto, y, por lo
tanto, de la lgica, y que han obligado a los lgicos a realizar un estudio profundo del
lenguaje que les permita dar una explicacin satisfactoria de las mismas. El inters de los
lgicos por el lenguaje se impuso, pues, por la necesidad de eliminar estas contradicciones
que amenazaban los fundamentos mismos de la lgica.
El estudio de las paradojas permiti descubrir que hay distintos niveles en el lenguaje.
Veamos qu quiere decir esto. A veces empleamos un lenguaje para explicar otro lenguaje.
Por ejemplo, si queremos explicar a un estudiante de habla castellana lo que significa la frase
latina: "Ant. Caesar. aut nihil", la explicacin la tenemos que dar en castellano. Es decir, el
latn es el lenguaje que se est explicando o investigando, y el espaol es el lenguaje con el
cual se explica o investiga el latn. Hay pues, un lenguaje que es explicado y otro lenguaje
con el cual se explica ese lenguaje. Pues bien, el lenguaje que es "objeto de mi explicacin
a1 cual me refiero o que investigo lo llamaremos Lenguaje Objeto, y al lenguaje de que me
sirvo para explicar, referirme o investigar el lenguaje objeto, lo llamaremos Metalenguaje.
En este caso, el lenguaje objeto sera la frase latina y el metalenguaje el castellano con que
explico la frase latina. Observe que cuando hablamos de lenguaje objeto, la palabra objeto
no se refiere a ningn objeto extralingstico, sino que lenguaje objeto quiere decir: objeto
de mi estudio.
84
pases subdesarrollados queremos decir aquellos pueblos que todava no han alcanzado el
nivel cultural, econmico, poltico y social propio de los pases desarrollados. Dependientes
quiere decir, que estos pases estn dominados... etc.
85
expresin estudio de la mente, que forma parte del metalenguaje y dice: La expresin
estudio de la mente es una expresin imprecisa, es claro que con esta explicacin se est
refiriendo al metalenguaje sirvindose de otro nivel de lenguaje (tercer nivel), lo cual quiere
decir que el metalenguaje se ha convertido en lenguaje explicado, y por ende, el metalenguaje
pasa a ser lenguaje objeto. Tericamente, podemos tambin utilizar un nivel cuatro, un nivel
cinco, y, en general, un nivel n, aunque en la prctica su uso no sea frecuente.
Ejercicios:
1. Por qu los lgicos estn interesados en el estudio del lenguaje? Razone su respuesta en
dos lneas.
___________________________________________________________________________
_______________________________________________________________________
2. Podra usted escribir, con sus palabras o vocabulario, por qu se dan las paradojas
semnticas?
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
3. Escriba en tres lneas, qu es Lenguaje Objeto?
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
___________________________________________________________________________
_______________________________________________________________________
86
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
6. Podra usted explicar si puede haber lenguaje objeto sin metalenguaje? Justifique su
respuesta en tres lneas.
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
V. USO Y MENCIN
Muy relacionado con el lenguaje objeto y el metalenguaje est la teora del uso y
mencin de las palabras. Esta teora tiene sus races en la Edad Media. Los filsofos
escolsticos a partir del siglo XIII hablaban de la suposicin material y de la suposicin
formal. Esta teora cay en desuso siglos despus hasta que fue redescubierta por la lgica
simblica a partir del siglo pasado. A lo que los filsofos de la Edad Media llamaban
suposicin formal hoy lo llamamos uso de nombre, y a lo que llamaban suposicin material,
hoy lo llamamos mencin de nombre.
87
dice que est en suposicin formal, o en la terminologa moderna que el nombre de Caracas
est usado. En el segundo caso, como Caracas, se refiere a la misma palabra Caracas se
dice que est en suposicin material o que est mencionada. La palabra que est mencionada
(Suposicin material) se suele escribir entre comillas simples, mientras que la palabra que
est usada (Suposicin formal) se escribe normalmente sin ninguna indicacin.
(1) 2 + 3 = 5
Ejercicios:
88
2. Escriba con sus palabras, por qu es importante, la distincin entre uso y mencin de las
palabras? Hgalo en cuatro lneas.
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________
RESPUESTAS
(2) Cumple una funcin directiva, porque pretende cambiar los hbitos alimenticios
del receptor.
(3) Cumple una funcin expresiva. Refleja las emociones y el parecer del emisor.
(4) y (4) cumplen funcin informativa. (3) Nos refiere a otras clasificaciones de las
funciones del lenguaje; (4) nos habla de un hecho referido y de una futura
consecuencia.
Volver al texto
Volver al Texto
Las respuestas de los ejercicios (3), (4) y (5) consltalas con tu compaero o con tu asesor.
Volver al Texto
AUTOEVALUATIVO l: Pgina
(1) (a) El texto tiene forma declarativa y coincide con su funcin principal informativa:
resaltar las bondades y delicadeza de los jefes. La funcin directiva, muy sutil, es
propiciar una actitud positiva en el trabajo, aunque puede haber cierta irona respecto
al trato de los jefes hacia las secretarias.
(b) Palabras emotivas: fina, exquisita, amigablemente, cario y respeto.
(c) Trminos objetivos: flores, msica, comida, secretarias, jefes, regalos.
(d) Posibles versiones:
La empresa agasaj con una comida y otros detalles a sus secretarias.
90
Las secretarias recibieron un banquete y cariosos obsequios de los jefes de la empresa.
(Construye t otras)
El resto de los ejercicios puedes, si te parece, hacerlo en esta forma resumida, una vez
que ests bien ejercitado. Las respuestas de los ejercicios (3), (4), (5) y (6) consltalas con
algn compaero o tu asesor.
Si tienes alguna duda, vuelve a ese punto y repsalo.
Volver al texto
B. EL RAZONAMIENTO
Ejercicios: Pgina La Proposicin.
(1) Es un enunciado declarativo y puede ser verificado por cada uno y por la psicologa; por
tanto, es una proposicin.
(2) Es un enunciado interrogativo, su funcin es bsicamente expresiva, y no es susceptible
de ser verificado; por eso, no es una proposicin.
(3) Tiene forma declarativa, pero su contenido no puede ser verificado por cuanto depende de
cmo vea cada uno la vida; as pues, no es proposicin.
(7) Es declarativa y su contenido puede ser verificado en la realidad; por lo cual es una
proposicin.
Las respuestas de los ejercicios (4), (5) y (6) consltalas con un compaero o con tu
asesor.
Volver al Texto
Ejercicios: La Proposicin.
(1) No, expresa un deseo.
(2) No, es una simple frase.
91
(3) S, expresin declarativa verdadera.
(4) S, expresin declarativa falsa.
(5) S, es una pregunta cuya funcin es informar que en Venezuela no hay justicia confiable.
(6) No, es una recomendacin.
Las respuestas de los ejercicios (7), (8), (9) y (10) consltalas con tu compaero o tu asesor.
Volver al Texto
Las respuestas de los ejercicios (4), (5), (6) y (8) consltalas con algn compaero o con tu
asesor.
Volver al Texto
(1) No es razonamiento.
(2) S es razonamiento.
Premisas:
La regin en su conjunto es rica en recursos.
Diversos pases en la regin enfrentan severas privaciones.
Conclusin:
Amrica Latina es una tierra de promesas y paradojas. (La proposicin: Estos
recursos no estn distribuidos equitativamente sera la explicacin de la segunda premisa).
(6) No es razonamiento.
(11) Hay dos razonamientos
Primer razonamiento:
Premisas:
Las madres se levantan a las 4:30 a.m. para hacer rendir el alimento a sus hijos.
Tienen que hacer la cola de los carros para salir del cerro.
Los reales no les alcanzan para comprar un pote de leche.
El hospital no atiende.
Los nios necesitan ms cosas para la escuela.
No hay agua y hay que acarrearla.
Conclusin:
Por tanto, a partir de las 4:30 a.m. no hay descanso para las madres de los cerros.
Segundo razonamiento:
Premisas:
A partir de las 4:30 a.m. no hay descanso para las madres del cerro (conclusin del
primer razonamiento).
92
Conclusin:
Los valores de la vida se van diluyendo en ellas y hasta los desconocen como sus
valores inherentes.
Hay dos premisas implcitas en el segundo razonamiento: (a) los valores a que se
dedican las madres de los cerros desde las 4:30 a.m. no son los valores de la vida; (b) las
madres de los cerros no tienen tiempo para reflexionar sobre los valores inherentes al ser
humano.
(15) No es razonamiento.
(18) S es razonamiento.
Premisas:
Si nada puede moverse por s mismo todo lo que est en movimiento debe ser
movido por otro.
No se puede mover hasta el infinito en la dependencia de los movidos respecto de
sus motores.
Si todas las segundas causas dependen de la primera, entonces si no hay primer
motor tampoco hay un segundo.
Conclusin:
Ha de admitirse un primer motor que no sea a su vez movido, sino que se
mueva por s mismo y sea fuente de movimiento; pero a esto todos llamamos Dios.
Las respuestas de los ejercicios restantes consltalas con algn compaero o con tu asesor.
Volver al Texto
Ejercicios: Discurso Lgico y El Razonamiento.
(2) Premisas:
El oxgeno tiene 16 de peso atmico.
El peso atmico de un elemento es la relacin que existe entre el peso real del
tomo correspondiente y el peso real de un tomo de hidrgeno.
El peso atmico del hidrgeno es 1.
Conclusin:
El oxgeno pesa 16 veces ms que el hidrgeno.
(3) Premisas:
Un punto del universo es un punto determinado del espacio en un tiempo
determinado.
Una secuencia de puntos del universo ensamblados entre s es una lnea del
universo.
Una existencia individual, que es histrica, genera una lnea del universo.
Conclusin:
Una lnea del universo es la historia continua de un individuo existente en el espacio-
tiempo.
(4) Premisas:
93
Fuerza es toda causa de provocar o modificar el movimiento de un cuerpo o de
producir su modificacin.
Si soltamos un peso que tenemos en la mano, se cae. Si suspendemos un peso de
un resorte, se deforma.
Si lanzamos una piedra hacia arriba, su movimiento disminuye, acaba y la piedra
vuelve a caer al suelo.
Conclusin:
En la proximidad de la tierra todo cuerpo est sometido a una fuerza.
(5) Premisas:
El ojo humano est acondicionado para discriminar colores y percibir las formas.
El odo est organizado para captar diferencias de tonos y de volumen de los
sonidos.
La habilidad de los nios recin nacidos para localizar sonidos sugiere que el
organismo viene provisto de una estructura que puede ordenar la experiencia
segn un esquema tpico.
Conclusin:
Parece ser que la experiencia nos llega ya conformada por las propias
estructuras que la hacen posible. .
(6) Premisas:
Podemos reflexionar sobre los derechos humanos desde los griegos.
Podemos reflexionar sobre los derechos humanos desde los romanos.
Podemos reflexionar sobre los derechos humanos desde la Magna Charra
Libertatum de los nobles ingleses.
Podemos reflexionar sobre los derechos desde la Declaracin Universal de los
Derechos del Hombre y del Ciudadano de 1.789.
Podemos reflexionar sobre los derechos humanos hasta la Declaracin Universal
de los Derechos del Hombre de las Naciones Unidas.
Conclusin:
Por tanto, los derechos humanos poseen fundamentos histricos y filosficos. Est
implcita la proposicin de que en todas esas instancias que se refieren a
los derechos humanos hay fundamentos filosficos.
(7) Premisas:
Vio a los ricos que echaban sus dones en el arca.
Vio a una viuda pobre que echaba all la moneda.
Los ricos han echado al arca de lo que les sobra.
La viuda ha echado todo lo que tena.
Conclusin:
Esta viuda pobre ha echado ms que todos.
En este razonamiento est implcito que dar ms o menos es proporcional al dinero de
cada cual.
(8) Premisas:
94
En este jardn haba cinco mil rosas semejantes.
La flor haba dicho al Principito que ella era la nica especie en todo el mundo.
Conclusin:
El Principito se sorprendi de la falta de informacin de la rosa.
La sorpresa se expresa con la interjeccin ah!. En el contexto se sobreentiende que
la rosa no menta.
Las respuestas de las preguntas (1), (9), (10), consltalas con tu asesor.
Volver al Texto
AUTOEVALUATIVO 2:
Conclusin:
Los animales tienen tambin percepciones sensibles.
Conclusin:
Todos los metales se dilatan con el calor.
Conclusin:
La idea del ser sumo exige que este ser no slo exista en la mente, sino tambin en la
realidad.
95
Conclusin:
La Fuente vieja encierra en s toda la elega del mundo, esto es, el sentimiento de la
vida verdadera.
(11) Determinar qu clase de razonamiento son los correspondientes a los nmeros: 2, 7,10,1
1 y 18 del autoevaluativo de la pgina (ver pgina)
Las respuestas de las preguntas (3), (4), (5), (6), (8), (9), consltalas con algn compaero o
tu asesor.
Volver al Texto
(1) Todo A es B
Todo C es A
____________
Por tanto, todo C es B
(2) Todo A es B
Todo es C
____________
Por tanto, algn C es B
Nota: cuando se dice el mercurio es..., es, obvio que quiere decir todo mercurio es..., por
eso se ha escrito en la forma Todo A es B.
(3) No A o A
Si no A, entonces no B y C
Si A, entonces B y D
________________________
Por tanto A
(6) o A o B o C
no A y no C
____________
Luego, B
(8) o A o B y C
no A
_____________
Por tanto, B y C
Las respuestas de los ejercicios (3), (7), (5), (9), (10), consltalas con tu asesor.
Volver al Texto
AUTOEVALUATIVO 3:
96
Serie de preguntas del autoevaluativo seccin I
Las respuestas de los ejercicios (2), (4), (6), (8), consltalas con tu asesor.
(1) Puede ser vlido o no. Ser vlido si su forma es vlida, de lo contrario ser no vlido.
(3) Vlido.
(6) Vlido.
(8) Vlido. La validez de un razonamiento depende nica y exclusivamente de su forma, y si
sta es vlida, el razonamiento tambin lo es. La verdad o falsedad de las premisas no inciden
en la validez del razonamiento.
Las respuestas de los ejercicios (2), (4), (5), (7), (9), (10), consltalas con tu asesor.
Volver al Texto
C. RAZONAMIENTOS FALACES
(15)Hay dos falacias. Primera falacia de argumentum ad verecumdiam: el hecho de ser Miss
del Universo no le da autoridad para emitir opinin en el campo econmico Segunda falacia
de argumentum ad populum: acude al parecer del pueblo y no a las razones en favor de esas
medidas.
97
instituto y no a razones legales o acadmicas; tercera, falacia de argumentum ad
misericordiam: acude al sentimiento de piedad para con ella misma al afirmar que ese
instituto evita gastos mayores a su familia.
(1) Equivoco. La expresin tendrs buenos resultados puede tener dos significados: uno, la
que le da el dueo del comedor diettico; y otra, la de la persona que se someti a la dieta.
(5) nfasis. Al destacar slo `gratis aprenda ingls' cambia el significado, ya que en
letra pequea se aade que slo son gratis los 40 primeros grupos. Una de dos, o
se han cubierto los 40 cupos gratis o no se han cubierto. Si se han cubierto el
nuevo aspirante no puede participar de los lo primeros cupos sin costo alguno. Si
no se han cubierto los lo primeros cupos, los restantes no son los ltimos, pues es
obvia en el texto que los primeros 40 cupos son primeros y no ltimos. Luego, en ambos
casos hay contradiccin.
(10) Si se toma distributivamente no hay falacia, puesto que separadamente las bombas
atmicas fueron las ms destructivas; pero si las dos clases de bombas se consideran
colectivamente los daos de las bombas convencionales, lanzarse muchsimas ms, fueron
ms destructivas. Luego, si se afirma lectivamente se comete una falacia de composicin. Se
basa en la confusin implicada en la falacia de divisin. Puesto que la respuesta: porque hay
ms ovejas blancas, trata colectivamente lo que parece considerarse distributivamente en la
adivinanza.
Volver al Texto
AUTOEVALUATIVO 4: Pgina:
(7)Pregunta compleja. Esta pregunta supone una pregunta anterior: " Hubo intencin de la
polica?".
98
Volver al Texto
Volver al Texto
Volver al Texto
Matematizacin de la Lgica
Ejercicio
(1) Falso, tambin se simbolizaron las constantes
(2) Verdadero
(5) Verdadero, es de carcter sintctico
(7) Verdadero
(8) Falso, aplicaba el mtodo tradicional
Volver al Texto
(1) Ambas simbolizan las variables lgicas y utilizan mtodos para determinar la validez
del razonamiento
Volver al Texto
AUTOEVALUATIVO 5: Pgina
99
(9) Falso
III.- Condiciones
(1) Simbolizacin de elementos constantes
V.- Complete
(1) Variables
(2) Constantes y Variables
Volver al Texto
BIBLIOGRAFIA
100
QUINE, Willard Van O. Los Mtodos de la Lgica Edit. Aires, Barcelona, 1962.
Traductor: Manuel Sacristn.
SUPPES, Patrick. Introduccin a la Lgica Simblica. Compaia Editorial Continental,
S.A., Mxico, 3a Edicin, 1970. Traductor: Gabriel Aguirre C.
SUPPES, P. y HILL, S. Introduccin a la Lgica Matemtica. Editorial Roverte, S.A.,
1971. Traductor: Enrique Lines E.
101
Cabimas, 2007
CUADRO DESCRIPTIVO
102
UNIDAD TEMA OBJETIVOS
TERMINALES
UNIDAD II A. FORMAS LGICAS 6. Simbolizar en el lenguaje
de la Lgica Proposicional la
LGICA forma lgica de los
PROPOSICIONAL razonamientos dados en
castellano.
ESQUEMA DE CONTENIDO
UNIDAD II.
103
Cuadro Descriptivo
Esquema de Contenido
Introduccin
A. FORMAS LGICAS
INTRODUCCIN.
1. PROPOSICIONES EXTENSIONALES.
2. VARIABLES PROPOSICIONALES.
3. CONECTIVOS PROPOSICIONALES.
4. CONECTORES.
5. FORMAS PROPOSICIONALES.
6. TIPOS DE PROPOSICIONES COMPLEJAS.
6.1. La Negacin.
6.2. La Conjuncin.
6.3. La Disyuncin.
6.4. La Implicacin.
6.5. La Equivalencia.
Cuadro Resumen.
Tabla de Verdad.
7. PARNTESIS Y SIMBOLIZACIN.
8. SIMBOLIZACIN DE LA FORMA LGICA DE UN RAZONAMIENTO.
104
D. DEMOSTRACIN DE VALIDEZ.
l. DEMOSTRACIN.
2. EXPLICACIN DE LAS REGLAS DE INFERENCIA.
2.1. Modus Ponendo Ponens.
2.2. Modus Tollendo Tollens.
2.3. Transitividad Implicativa.
2.4. Modus Tollendo Ponens.
2.5. Regla de Simplificacin.
2.6. Regla de Conjuncin.
2.7. Regla de Adicin.
2.8. Dilema Constructivo.
2.9. Dilema Destructivo.
2.10. Reglas de inferencia por sustitucin.
3. CONSTRUCCIN DE RAZONAMIENTOS VLIDOS.
BIBLIOGRAFA
INDICE
INTRODUCCIN
105
Con la distincin entre lenguaje natural y lenguaje formal, que hemos hecho en el
objetivo 5 de la Unidad I, estamos preparados para adentrarnos en los distintos niveles del
anlisis lgico, comenzando por la definicin y construccin del lenguaje formal
correspondiente a cada nivel: en este curso abordaremos slo dos: la lgica proposicional y la
lgica de predicados.
La presente unidad corresponde a la lgica de proposiciones. En primer lugar,
describiremos los elementos para el anlisis lgico y procederemos en el objetivo 6, a
construir el lenguaje respectivo, con el objeto de obtener 1a forma lgica de los
razonamientos. A partir de all, describiremos dos procedimientos que nos permitan probar y
demostrar la validez de los razonamientos deductivos, a nivel de la lgica proposicional. En
cada caso utilizaremos las tcnicas apropiadas.
En el objetivo 7, a partir del anlisis de la funcin de verdad de cada conector lgico,
construiremos las tablas de verdad de formas preposicionales complejas, tales como los
razonamientos, con el fin de probar 1a validez de los mismos.
En el caso del objetivo 8, el procedimiento consiste en demostrar 1a validez del
razonamiento utilizando las reglas de inferencia.
Esta unidad, concentra un alto porcentaje de la evaluacin de la asignatura, como
corresponde al grado de dificultad y al tiempo de trabajo que te va a tomar su aprendizaje.
Por ello, te recomendamos realizar todos los ejercicios y mantener contacto con tu profesor.
Adelante!
. y Animo!
A. FORMAS LGICAS
106
OBJETIVO TERMINAL 6: Simbolizar en el lenguaje de la Lgica Proposicional la. forma
lgica de los razonamientos dados en castellano
INTRODUCCIN
l. PROPOSICIONES EXTENSIONALES
107
El concepto de proposicin y la divisin de la misma por su complejidad, en simples y
compuestas, han sido ya explicados en las pginas 22-23 y siguientes en la Unidad I. Ahora
nos detendremos en el anlisis de las proposiciones compuestas.
Las proposiciones compuestas pueden ser extensionales y no-extensionales. A
continuacin estudiaremos las primeras. Para comprender su concepto, analizaremos la
siguiente proposicin compuesta:
108
Analicemos las siguientes proposiciones:
Cul ser el valor de verdad de (c)?. En primera instancia, nos damos cuenta que no
es insuficiente conocer los valores de verdad de (i) y (ii), para ello necesitamos algo ms.
Averiguar si realmente la causa de la contaminacin del Lago de Maracaibo es el vertedero
de petrleo sobre l. Podr suceder que esa no sea la causa. Es decir, para determinar el valor
de verdad de (c) necesitamos otros datos, adems de los valores de verdad de sus
componentes (i) y (ii).
(d) Juan de Austria triunf en la batalla de Lepanto, debido a que era un gran
general.
Observemos que las proposiciones (i) y (ii) son verdaderas segn todos los datos
histricos Pero eso no es suficiente para afirmar que (d)tambin sea verdadera, ya que la
batalla de Lepanto pudo haberse ganado por otras razones distintas. Lo que importa es
resaltar que el valor de verdad de (d) no depende solamente de los valores de verdad de (i) y
(ii), sino que, adems, se necesitan otras informaciones para determinar su valor de verdad.
Las proposiciones (c) y (d) se llaman no extensionales. Podemos, pues, definir una
proposicin no extensional as:
109
Una proposicin es no extensional cuando para determinar su valor de
verdad no es suficiente conocer el valor de verdad de las proposiciones simples que
la componen.
EJERCICIOS
2. VARIABLES PROPOSICIONALES
Las variables proposicionales son ciertas letras minsculas del alfabeto, tales como
p, q, r, s, t, etc., que representan proposiciones simples. Por ejemplo, si a la
proposicin: El Estado Zulia es rico en petrleo convenimos en representarla con la letra
p, decimos que p es una variable proposicional; o si la proposicin: Caracas es la capital
de Venezuela convenimos en representarla con la letra q, diremos que q es otra variable
proposicional.
Se les llama variables proposicionales porque cada una de ellas puede representar
cualquier proposicin en distintos contextos. As p en un contexto puede representar Luis
Hmez naci en Maracaibo y en otro representar El nmero atmico del hidrgeno es 1.
Lo mismo sucede con q, r, t y dems variables proposicionales.
Adoptaremos la convencin siguiente: si hay una sola proposicin simple la
representaremos con p; si hay dos, la primera la simbolizaremos con p y la segunda con
q; si hay tres, la primera la simbolizaremos con p, la segunda con q y la tercera con
r, y as sucesivamente.
En el caso de que sean muchas las proposiciones podemos escribir subndices a las
letras, es decir, as: p, q, r, s, t, pl, ql, rl,, sl, tl, p2, q2, r2, s2, t2.
3. CONECTIVOS PROPOSICIONALES
110
Analicemos las siguientes proposiciones:
(a) Los yanomamis viven en el oriente de Venezuela y hay unos cuantos miles.
(b) El gobierno de Venezuela protege a los yanomamis o stos se extinguen.
(c) Si a un cuerpo en reposo se le aplica una fuerza, entonces se mueve.
(d) Hay vida si, y slo si hay agua.
(e) No llueve.
4. CONECTORES
Los smbolos lgicos que representan a los conectivos se llaman conectores. Cada
conectivo tiene un conector determinado con su nombre correspondiente. En el cuadro
siguiente aparecen los conectivos, los conectores y el nombre de cada conector.
5. FORMAS PROPOSICIONALES
pq
6.1. La Negacin.
p p
1 0
0 1
Cuando p es verdadera ,
p es falsa y viceversa
6.2. La Conjuncin.
Dados p y q y partiendo de que cada uno puede ser verdadero (1) o falso (0),
solamente podemos asignarle a la proposicin p q cuatro posibles casos de combinacin
de esos valores de verdad. Estos conjuntos son:
1er Conjunto: p verdadero y q verdadero
112
2do Conjunto: p falso y q verdadero
er
3 Conjunto: p verdadero y q falso
4to Conjunto: p falso y q falso
El valor verdadero de una conjuncin est definido por los valores de verdad de sus
componentes estableciendo que una conjuncin es verdadera cuando ambos argumentos son
verdaderos y falsa en los dems casos. En el caso de p q los valores de verdad de los
cuatro conjuntos posibles pueden expresarse brevemente en la tabla siguiente:
p q
La columna de valores de
1 1 1 verdad que aparece debajo
0 0 1 del conjuntor se llama
1 0 0 nmero matricial
1 0 0
A veces una coma equivale a y. Por ejemplo, en la proposicin: Cesar lleg, vio y
venci, la coma que aparece despus de lleg equivale a y.
6.3. La Disyuncin
pvq
que se lee p o q.
113
Aunque la disyuncin es ambigua en castellano, en lgica consideramos todas las
disyunciones inclusivas, de tal manera que la conjuncin la consideramos verdadera cuando
uno de sus argumentos es verdadero o ambos son verdaderos, falsa slo cuando ambos
argumentos son falsos. esto se expresa en la siguiente tabla de verdad:
p q
1 1 1
0 1 1
1 1 0
0 0 0
pq
6.4. La Implicacin
pq
p q
1 1 1
0 1 1
1 0 0
0 1 0
114
En castellano, adems de la expresin si-entonces, hay otras equivalentes que se
usan para formar implicaciones. Veamos,
Sean p y q y su implicacin p q. Estas pueden expresarse, entre otras, de la
siguiente manera:
Si p, entonces q
Si p, q
p implica q
p slo si q
q, si p
q siempre que p
p es condicin suficiente para q
q es condicin necesaria para p
6.5. La Equivalencia
pq
p q
1 1 1
0 0 1
1 0 0
0 1 0
115
CUADRO RESUMEN
TABLAS DE VERDAD
7. PARNTESIS Y SIMBOLIZACIN
2 1 1 2 3 3
( ( p q ) p ) ( q p )
En ella hay cinco conectores. El alcance del negador es q; el del primer conjuntor el
parntesis 1; el del implicador el parntesis 2; el del segundo conjuntor los parntesis 2 y 3; y
el del disyuntor el parntesis 3. El conector principal es el que tienen mayor alcance, en este
caso es el segundo conjuntor. El conector principal determina qu tipo de proposicin es. En
el ejemplo, por ser el conector principal el conjuntor, la proposicin e una conjuncin.
Otro ejemplo. Sea la forma proposicional:
2 1 1 2 3 3
( ( p q ) r ) ( r s )
116
Observa que los tres negadores tienen alcances diferentes: el primero es todo lo
incluido en el parntesis 2, el del segundo q y el del tercero lo incluido en el parntesis 3; el
alcance del conjuntor es el parntesis l; el del implicador lo que est a su izquierda
(antecedente) y r (consecuente); el del coimplicador lo que est a su izquierda (primer
argumento) y lo que est a su derecha (segundo argumento); y el del disyuntor el tercer
parntesis. El coimplicador es el conector principal.
En la abstraccin de las formas proposicionales de proposiciones de cierta
complejidad los parntesis son de uso necesario. Para facilitar este proceso es conveniente
seguir los pasos siguientes:
1. Proposiciones Simples
2. Conectivos y Conectores
( p q ) ( r s )
Observaciones:
La forma proposicional es una implicacin.
No hay una regla mecnica que permita identificar el conectivo principal y el
alcance de cada conectivo; sin embargo, con un anlisis de las proposiciones
correspondientes se logra con relativa facilidad.
117
Cuando una proposicin no tiene la forma tpica correspondiente, antes de proceder a
su simbolizacin es conveniente traducir la misma. Por ejemplo, la proposicin:
Esta proposicin es una implicacin, sin embargo esa no es su forma tpica en la que
el antecedente aparece claramente entre el si y el entonces y el consecuente sigue al
entonces. Por eso, antes de simbolizar, es preciso expresarla en su forma. tpica. Si tenemos
en cuenta que el consecuente es condicin necesaria para el antecedente y que el solo si
indica necesidad, la forma tpica ser esta:
Hecho esto se procede a abstraer la forma proposicional tal como se hizo en el primer
ejemplo.
Veamos:
l. Proposiciones Simples:
p: se puede aplicar el mtodo matemtico a la lgica
q: (se puede) demostrar la validez de los razonamientos
r: se simbolizan los elementos variables y constantes de las proposiciones
2. Conectivos y Conectores:
3. Forma Proposicional:
( p q ) r
118
EJERCICIOS
(1) Si se logra una mayor conciencia cvica, un mayor compromiso con la comunidad
y unos gobernantes honestos, entonces los distintos problemas del pas irn
solucionndose poco a poco y la democracia se podr catalogar de eficiente.
(2) Si la corriente elctrica no puede observarse a simple vista, ni se pueden ver las
cargas elctricas que circulan por el conductor, entonces conoceremos que una
corriente est pasando por un circuito elctrico por los efectos que produce.
(3) La distancia ms corta entre dos puntos es una lnea recta si y slo si tenemos en
cuenta la geometra plana de Eucldes; pero si la geometra es Euclides, la
distancia mas corta entre dos puntos no es lnea recta.
(4) Slo si leemos buenos autores y observamos el uso que ellos hacen de los signos
de puntuacin, podremos redactar con buen estilo y nos atreveremos a expresar
por escrito nuestras ideas y convicciones.
(5) Si Luis ni fue al juego de pelota ni a la playa, se qued en casa de Ana y ahora
est preparando el examen de matemtica.
(6) Si los colores dependen del ojo humano y no de los objetos mismos, entonces o
los animales no perciben los mismos colores que los humanos o los ojos de los
animales no tienen la misma constitucin que la de los humanos.
(7) Si la humanidad logra viajar a una velocidad prxima a la de la luz y se encuentra
en el universo planetas semejantes a la Tierra, entonces el sol podr extinguirse y
la tierra desaparecer, pero la raza humana podr seguir viviendo en el universo.
(8) Siempre que la humanidad pueda desarrollarse respetando el medio ambiente y
cambie sus valores, podr salvarse la vida en la Tierra.
(9) Venezuela lograr una mayor calidad de vida para sus habitantes y una mayor
respeto a los derechos humanos si, y slo si sus ciudadanos trabajan con ahnco y
cambian su jerarqua de valores.
(10) Si es falso que a escala sideral el tiempo no es lo mismo que el espacio,
entonces en el universo el espacio y el tiempo son una misma realidad.
(11) En la oficina los empleados estn contentos y realizan con mstica sus tareas
siempre que el jefe llega a tiempo, trabaja con dedicacin y trata con respeto a sus
empleados.
(12) Slo si te dedicas a aquello que te apasiona, trabajars sin descanso y logrars
el xito.
(13) Si no hay gente ni perezosa si incapaz, hay gente que no dedica su tiempo y
sus capacidades a lo que verdaderamente le interesa.
(14) Si el abogado para ser eficiente tiene que contribuir a resolver el problema de
la justicia en el pas, el mdico para serlo tiene que preocuparse por la salud
pblica y el ingeniero, a su vez, contribuir a resolver los problemas sociales
propios de su profesin, entonces un profesional eficiente, adems de ser
competente en su profesin, tiene que ser socialmente til.
(15) Slo si nos distraemos en clase ni dejamos de hacer los ejercicios del libro,
entenderemos la lgica.
119
8. SIMBOLIZACIN DE LA FORMA LGICA DE UN RAZONAMIENTO
En cada lnea colocamos los parntesis que sean necesarios, para indicar el alcance de
cada conector.
Abstraigamos la forma lgica del siguiente razonamiento:
pq Primera premisa
p Segunda premisa
____________________________________
q Conclusin
120
Otro ejemplo. Abstraigamos la forma lgica de este razonamiento:
b) Si un objeto flota en el agua, es menos denso que el agua. Si es menos denso que el
agua, puede desplazar una cantidad de agua igual a la de su peso. Si puede desplazar
una cantidad de agua igual a la de su peso, el objeto flotar en el agua. Por tanto, un
objeto flotar en el agua si, y slo si puede desplazar una cantidad de agua igual a 1a
de su peso.
Las tres premisas tienen como conectivo si-entonces. La palabra entonces como
parte del conectivo de la implicacin est sobreentendida en las tres premisas. El conectivo
de la conclusin es si y slo si.
Para abstraer la forma lgica sustituimos las proposiciones simples por sus
correspondientes variables, los conectivos por los conectores y trazamos una raya a la
conclusin. El resultado es de esta forma lgica:
pq Premisa
qp Premisa
rp Premisa
____________________
p r Conclusin
A veces la forma lgica de los razonamientos no es tan obvia en vista de que alguna
premisa o la conclusin estn formuladas de una manera distinta a la tpica. En este caso se
recomienda transcribir el razonamiento formulando las premisas y j,~ conclusin en su forma
tpica. Veamos un ejemplo. Sea el razonamiento:
( p q ) ( r s ) Premisa
st Premisa
t Premisa
_______________________________
p Conclusin
122
AUTOEVALUATIVO 6
123
(13) Si se quiere que el Aula Magna de la Universidad del Zulia sea un gran centro
cultural regional, tendr que ubicarse en el mismo corazn de la ciudad y tener los
espacios suficientes para cumplir con este cometido. Ahora bien, si se logran estas
dos ltimas condiciones, su costo ser multimillonario. Si el costo es
multimillonario, es preciso el trabajo solidario de la comunidad para lograr la
cantidad de dinero necesaria En consecuencia, es falso que simultneamente se
quiera que el Aula Magna de la Universidad del Zulia sea un gran centro cultural
regional y la comunidad no trabaje solidariamente para conseguir los recursos
necesarios.
(14) Si la descripcin bblica de la cosmogona es estrictamente correcta, el sol no
fue creado el cuarto da. Y si el sol no fue creado el cuarto da, no puede haber sido
la causa de la sucesin del da y de la noche durante los tres primeros das. Pero, o
bien las Estructuras usan la palabra `da' en un sentido diferente de la acepcin
corriente en la actualidad, o bien el sol debe haber sido la causa de la sucesin del
da y la noche durante los tres primeros das. De esto se desprende que, o bien la
palabra `da' es usada en las Escrituras en un sentido diferente al aceptado
corrientemente en la actualidad o bien la descripcin bblica de la cosmogona no
es estrictamente correcta ( I. Copi ).
124
B. PRUEBA DE VALIDEZ DE LOS RAZONAMIENTOS MEDIANTE EL MTODO
DE LA IMPLICACIN TAUTOLGlCA .
Una vez conocidas las tablas de verdad simples definidas por los conectores lgicos
podemos obtener el valor de verdad de formas proposicionales ms complejas a partir de los
valores de verdad asignados a las variables proposicionales.
Veamos un ejemplo:
l 2 3
( p q ) r
0 1 1 0 0 0
125
Observaciones:
El conector principal es el conjuntor.
El orden de las operaciones est indicado encima de cada conector.
Los valores de verdad que intervienen en cada operacin estn indicados por
flechas de doble sentido.
El valor de verdad de la forma proposicional es falso.
(1) ( p q ) r
(2) ( p q ) r
(3) ( ( p q ) r ) p
(4) ( ( p q ) p ) q
(5) ( ( p q ) q ) p
(6) ( ( p q ) q ) ( p r )
(7) ( p q ) ( p q )
(8) ( p q ) ( ( p q ) r )
(9) ( p ( q r ) ) ( ( p q ) r )
(10) ( ( ( p q) r ) r ) ( p q )
Para diagramar una tabla de verdad es preciso tener en cuenta, al menos, dos puntos
principales: primero, el alcance de los conectores; segundo, el nmero de conjuntos de
posibles combinaciones de valores de verdad.
126
DIAGRAMACIN DE TABLAS DE VERDAD
2 l 3 5 4
( ( p q) q ) p
1 0 01 1 1 1 01
0 1 01 1 1 1 10
1 1 10 0 0 1 01
0 1 10 0 0 1 10
Observaciones:
Observaciones:
(i) El conector principal es el implicador y la forma proposicional es, por tanto, una
implicacin.
(ii) Hay ocho conjuntos posibles de combinacin de los valores de verdad, en efecto,
23 = 8.
(iii) La distribucin de los valores de verdad se ha hecho de esa forma, tambin, por
comodidad.
(iv) El orden de las operaciones est indicado por los nmeros de la parte superior del
diagrama y por las flechas de su parte inferior.
127
3. TIPOS DE FORMAS PROPOSICIONALES.
( ( p q ) p ) q
1 1 1 1 1 1 1
0 1 1 0 0 1 1
1 0 0 0 1 1 0
0 1 0 0 0 1 0
Observa la columna del conector principal, en ella slo hay valores de verdad
verdaderos.
( p q ) ( p q )
1 1 1 0 0 01 1 1
0 1 1 0 0 10 1 1
1 0 0 0 1 01 0 0
0 1 0 0 0 10 1 0
Observa que debajo del conector principal slo aparecen valores de verdad falsos.
( ( p q ) p ) ~q
1 1 1 1 1 0 01
0 1 1 0 0 1 01
1 0 0 0 1 1 10
0 1 0 0 0 1 10
128
Observa que debajo del conector principal aparecen valores de verdad verdaderos y
falsos.
(1) p q
(2) ( p q )
(3) ( p q ) ( p q )
(4) ( p q ) r
(5) ( ( p q ) r )
(6) ( ( p q ) r) ( ( p q ) r )
(7) ( ( p q ) r ) ( ( p q ) r )
(8) ( ( ( p q ) r ) r ) ( p q )
(9) ( ( p q ) ( q r ) ) ( p r )
(10) ( ( ( p q ) r ) r ) ( p q )
4. VARIABLES SINTCTICAS
Con el fin de facilitar la explicacin de lo que sigue, voy a referirme a las variables
sintcticas. Las variables sintcticas son las primeras letras maysculas del alfabeto: A, B, C,
D etc., que representan CUALQUIER FORMA PROPOSICIONAL. Por ejemplo, A puede
representar en una ocasin la forma proposicional p q y en otra ( p q ) ~ r).
Lo mismo sucede con B, C, D etc.
5. IMPLICACIN TAUTOLGICA
129
Por ejemplo, sea A ( p q ) ~ q y B ~ p. Construyamos la implicacin A
B y obtengamos su nmero matricial, construyendo su tabla de verdad.
A B
( ( p q ) q ) p
1 1 1 0 01 1 01
0 1 1 0 01 1 10
1 0 0 0 10 1 01
0 1 0 1 10 1 10
La implicacin A B es una tautologa puesto que su nmero matricial est formado
slo por valores de verdad verdaderos, por lo tanto A implica tautolgicamente a B. A la
implicacin tautolgica se le llama tambin implicacin lgica; luego, se puede decir tambin
que, en el ejemplo dado, A implica lgicamente a B.
6. EQUIVALENCIA TAUTOLGICA
A B
( p q ) ( p q )
01 1 1 1 1 1 1
10 1 1 1 0 1 1
01 0 0 1 1 0 0
10 1 0 1 0 1 0
El nmero matricial est formado slo por valores de verdad verdaderos, por lo tanto
la equivalencia (A B) es una tautologa y, en consecuencia A equivale tautolgicamente a
B. Tambin se dice que A equivale lgicamente a B.
Cuando las vp son ms de tres el mtodo de tablas de verdad para probar si una forma
proposicional es o no tautologa es largo y engorroso, por cuanto el nmero de filas aumenta
considerablemente; pinsese, por ejemplo, que con cuatro variables se requeriran 16 filas
(24), con cinco 32 filas (25 ) y as sucesivamente. Para formas proposicionales que tengan ms
de tres vp se puede aplicar un mtodo ms abreviado, que lo hemos llamado Mtodo
Abreviado por Reduccin al Absurdo.
Como el mtodo es por medio de reduccin al absurdo debemos tener presente que en
este mtodo se tienen que cumplir los siguientes pasos:
130
Primero, se supone lo opuesto de lo que se quiere probar. Por ejemplo, si se quiere
probar que una forma proposicional es tautolgica, se empieza suponiendo que no lo
es.
Segundo, con la suposicin anterior se hacen las relaciones o las operaciones segn el
caso.
Tercero, si despus de realizar las operaciones se encuentra alguna contradiccin,
algn absurdo, entonces la suposicin inicial se rechaza y se afirma lo opuesto.
Veamos, ahora, cmo se aplica el Mtodo Abreviado por Reduccin al Absurdo para
determinar si una forma proposicional es o no tautologa. Empezaremos con una forma
proposicional sencilla. .
( ( p q ) p ) q
Primer paso: Se supone lo opuesto a lo que queremos determinar; luego, como queremos
especificar que es tautologa, supondremos que no es tautologa. Si no es tautologa alguno
(al menos uno) de los valores de verdad del nmero matricial ser falso. Por tanto se coloca
un cero debajo del conector principal, as:
( ( p q ) p ) q
0
Segundo paso: Con ese valor de verdad debajo del conector principal se realizan las
operaciones correspondientes siguiendo las reglas de los conectores, as:
( ( p q ) p ) q
1 1 0 1 1 0 0
(6)(4) (7) (2)(5) (1) (3)
Observacin: Los nmeros entre parntesis indican el orden en que se han hecho las
operaciones: debajo del 0 (cero) del segundo implicador aparece (1) por ser el primer valor de
verdad supuesto; el (2) aparece debajo del 1 del conjuntor y el (3) debajo de la ltima q, por
ser los dos siguientes valores de verdad obtenidos con la regla del implicador, que dice que si
el implicador es falso, como en este caso, entonces el antecedente (en este caso la
conjuncin) es verdadero y el consecuente (aqu la ltima q ) es falso. Cada uno de los otros
valores de verdad se obtienen mediante las reglas de los conectores presentes y mediante el
traslado de los valores de verdad que se conocen de alguna vp.
( ( ( p q ) ( q r ) ) ( r s ) ) ( p s )
Primer paso: Suponemos que no es tautologa, luego colocamos falso debajo del conector
principal; as:
( ( ( p q ) ( q r ) ) ( r s ) ) ( p s )
0
( ( ( p q ) ( q r ) ) ( r s ) ) ( p s )
1 1 1 1 1 1 0 1 01 0 0 1 0 0
(10)(8)(12) (6) (14)(9)(15) (2) (13)(7)(11) (1) (4)(3)(5)
Tercer paso: Se observa si hay alguna contradiccin. Segn la regla del implicador, en el (9),
hay una contradiccin, puesto que si el antecedente es verdadero y el consecuente falso la
implicacin es falsa y aqu aparece verdadera. Luego, tenemos que afirmar lo contrario de lo
supuesto, y, de esta manera, determinamos que la forma proposicional propuesta es
tautologa.
Tercer ejemplo: una forma proposicional en la que se dan ms de una posibilidad. En los
dos ejemplos anteriores fue suficiente con una sola. posibilidad. En el ejemplo presente se
pueden dar dos posibilidades. Determinar si la forma proposicional:
( p q ) ( ~p q )
( p q ) ( ~p q )
0
Segundo paso: Se opera con los conectores y se trasladan valores de verdad si hace falta.
Inmediatamente se observa que se pueden dar dos casos, ya que la equivalencia es falsa
cuando sus dos argumentos tienen valores de verdad diferentes, esto es:
( p q ) ( ~p q )
er
1 caso: 0 0 1
2docaso: 1 0 0
132
Analizamos el primer caso as:
( p q ) ( ~p q )
1 0 0 0 0 1 1 0
(4)(2)(5) (1) (8)(6)(3)(7)
( p q ) ( ~p q )
1 1 0 0 01 0 0
(7)(2)(8) (1) (4)(6)(3)(5)
En el (2) hay una contradiccin, ya que segn la regla del implicador tena que ser
falso.
Tercer paso: Puesto que en ambos casos se dan contradicciones tenemos que rechazar la
suposicin y afirmar su contraria, es decir, que la forma proposicional propuesta es una
tautologa.
( ( p ( q r ) ) ( ( q r ) s ) ) ( p s )
( ( p ( q r ) ) ( ( q r ) s ) ) ( p s )
0
Segundo paso: se opera con los conectores y se trasladan los valores de verdad de las vp si se
han logrado obtener, luego:
( ( p ( q r ) ) ( ( q r ) s ) ) ( p s )
1 1 1 0 0 1 1 0 0 1 0 0 1 0 0
(8)(6) (13)(15)(14) (2) (11)(10)(12) (7)(9) (1) (4)(3)(5)
Tercer paso: En (6) hay una contradiccin, pues no se cumple con la regla del implicador. Por
tanto, la forma proposicional analizada es tautologa.
133
Quinto ejemplo: en l hay ms de tres vp y ms de una posibilidad. Probar si la siguiente
forma proposicional ~ ( ( p q ) ( r s ) ) ( ~ ( p q ) ~ ( r s ) )
es tautologa.
~ ( ( p q ) ( r s ) ) ( ~( p q ) ~( r s ) )
Segundo paso: Opera con los conectores. Se dan dos casos a saber:
~ ( ( p q ) ( r s ) ) ( ~( p q ) ~( r s ) )
er
1 caso: 0 0 1
2docaso: 1 0 0
~ ( ( p q ) ( r s ) ) ( ~ ( p q ) ~ ( r s ) )
0 1 0 0 1 1 0 0 0 1 1 0 0 1 1 1 0 0
(2) (13)(17)(14) (12) (15)(18)(16) (1) (4) (8)(6) (9) (3) (5) (10)(7)(11)
~ ( ( p q ) ( r s ) ) ( ~ ( p q ) ~ ( r s ) )
1 1 0 0 0 1 0 0 0 1 1 0 0 0 1 1 0 0
(2) (7)(5) (8) (4) (9) (6)(10) (1) (17) (11)(15)(12) (3)(18)(13)(16)(14)
Tercer paso: En los dos casos hay contradiccin, por tanto hay que rechazar la suposicin y
afirmar lo opuesto, luego la proposicin analizada es una tautologa.
134
( ( p q ) r ) ( ( p q ) r )
0
Segundo paso: Operar con los conectores. Se dan dos casos, a saber:
( ( p q ) r ) ( ( p q ) r )
1er caso: 1 0 0
2docaso: 0 0 1
( ( p q ) r ) ( ( p q ) r )
1 0 0 1 1 0 1 0 0 0 0 1
(9)(12)(l0) (2)(11) (1) (6)(4) (7) (3) (5)(8)
En (2) sera el nico lugar donde podra darse una contradiccin y, de hecho, no se da;
por tanto, la suposicin hecha es correcta, y, en consecuencia, la forma proposicional
analizada no es tautologa. Como ya hemos determinado que la forma proposicional no es
tautologa sera intil efectuar el segundo caso.
EJERCICIOS
(1) ( ( p q ) p ) q )
(2) ( ( ( p q ) r ) r ) ( p q )
(3) ( ( ( p q ) r ) r ) ( p q )
(4) ( ( p q ) r ) ( r ( p q ) )
(5) ( ( ( p q ) ( r s ) ) ( p q )) ( r s )
(6) ( ( ( p ( q r ) ) ( ( q r ) s ) ) ( s t ) ) ( p t )
(7) ( ( p q ) ( r s ) ) ( ( p q ) ( r s ) )
(8) ( ( p q ) r ) ( ( p q ) r )
(9) ( ( 1 p q ) r ) ( ( p q ) r )
135
(10) ( ( p q ) ( r s ) ) ( ( r s ) ( p q )
De acuerdo con esta definicin tienen que seguirse los pasos siguientes en el mtodo
que llamaremos IMPLICACIN TAUTOLGICA para probar si un razonamiento es vlido
o no.
Primero, se abstrae la forma lgica del razonamiento en el lenguaje de la lgica
proposicional.
Segundo, se construye una implicacin cuyo antecedente es la conjuncin de las
premisas y su consecuente la conclusin.
Tercero, determinamos mediante las tablas de verdad o el Mtodo de Reduccin al
Absurdo si la implicacin es tautolgica.
Cuarto, en el caso de que la implicacin sea tautolgica, se habr probado, de acuerdo
a la definicin del razonamiento vlido, que la forma del razonamiento es vlida y, en
consecuencia, el razonamiento tambin lo ser. En el caso contrario el razonamiento no ser
vlido.
Veamos cmo se procede en la prctica. Determinemos si el siguiente razonamiento
es o no vlido.
p q Premisa
p Premisa
________
q Conclusin.
136
Segundo paso: Construccin de la implicacin en la que el antecedente es la conjuncin de
las premisas y el consecuente la conclusin:
( ( p q ) p ) q
( ( p q ) p ) q
1 1 1 1 1 1 1
0 1 1 0 0 1 1
1 0 0 0 1 1 0
0 1 0 0 0 1 0
Cuarto paso: La respuesta: el razonamiento es vlido porque la conjuncin de las premisas
implica tautolgicamente a la conclusin.
p q
q r
______
p r
( ( p q ) ( q r ) ) ( p r )
( ( p q ) ( q r ) ) ( p r )
1 1 1 1 1 1 1 1 1 1 1
0 1 l 1 1 1 1 1 0 1 1
1 0 0 0 0 1 1 1 1 1 1
0 1 0 1 0 1 1 1 0 1 1
1 1 1 0 1 0 0 1 1 0 0
0 1 1 0 1 0 0 1 0 1 0
1 0 0 0 0 1 0 1 1 0 0
0 1 0 1 0 1 0 1 0 1 0
137
Cuarto paso: La respuesta: el razonamiento es vlido porque la conjuncin de las premisas
implica tautolgicamente a la conclusin.
1.1. p q P 1.2. p (q r) P
r q P q r P
____________________ ____________________
p r C p C
1.3. p q P 1.4. (p q) r P
q r P r P
____________________ ____________________
r C p q C
1.5. p q P 1.6. p q P
p r P p r P
r P ____________________
____________________ (p r) C
q C
1.8. p q P
1.7. (p q) r P q r P
r P r P
____________________ ____________________
(p q) C p C
1.9. (p q) r P 1.10. p q P
____________________ q P
r ( p q ) C ____________________
p r C
138
II Determinar si los razonamientos de las pgs. 25 y 26 son o no vlidos (objetivo
especfico 7.4).
C. DEMOSTRACIN DE VALIDEZ
8.1. Dada una demostracin formal justificar cada una de las lneas sealando, en cada
casilla regla aplicada.
l. DEMOSTRACIN
139
El mtodo demostrativo se asemeja al juego de ajedrez. Para jugar ajedrez se
requieren: a) un conjunto de piezas; b) lugares iniciales para cada pieza; c) un conjunto de
reglas que permitan obtener nuevas posiciones a cada una de las piezas en su propsito de
lograr el triunfo. En el mtodo demostrativo, de manera anloga, se requieren: a) un conjunto
de formas proposicionales; b) lugares iniciales para estas formas proposicionales; c) un
conjunto de reglas que permitan obtener a partir de formas proposicionales anteriores, nuevas
formas proposicionales en sus correspondientes lneas hasta llegar a la conclusin. Estas
reglas reciben el nombre de REGLAS DE INFERENCIA. En consecuencia, es
imprescindible aprender estas reglas antes de empezar el mtodo demostrativo.
Demostracin:
(1) p q Premisa
(2) q r Premisa
(3) r s Premisa
(4) p t Premisa
(5) ~s Premisa
(6) p r de (1) y (2) por Transitividad Implicativa.
(7) p s de (3) y (6) por Transitividad Implicativa.
(8) ~p de (5) y (7) por Modus Tollendo Tollens.
(9) t de (4) y (8) por Modus Tollendo Ponens.
Observa que en esta demostracin estn presentes los tres requisitos anotados: a)
formas proposicionales (todas las lneas son formas preposicionales); b) lugares iniciales para
esas formas proposicionales ( las lneas del 1 al 5); c) nuevas formas proposicionales
obtenidas de lneas anteriores mediante la aplicacin de alguna regla de inferencia, siendo la
ltima lnea t que es precisamente la conclusin a la cual llegamos en un nmero finito de
lneas. En la columna de la izquierda aparecen las premisas y las formas proposicionales que
se deducen de ellas; en la de la derecha las reglas de inferencia usadas para obtener las
nuevas lneas.
Por REGLA DE INFERENCIA se entiende la forma lgica de un razonamiento
vlido elemental. Razonamiento elemental es aquel que no puede darse ms simplificado.
Veamos un ejemplo:
140
En efecto, Scrates es filsofo.
_____________________________________________________
Por tanto, Scrates reflexiona sobre la realidad!
p q
p
________
q
Esta forma de razonamiento constituye una regla de inferencia llamada Modus
Ponendo Ponens (MPP).
Las reglas de inferencia no siempre se presentan en varias lneas, como la anterior,
algunas a veces se hace en una sola lnea, separando las premisas con una coma ( , ) y
precediendo la conclusin con tres puntos en forma triangular ( ). Por ejemplo, la regla de
inferencia anterior en lugar de expresarse en tres lneas como se hizo, se puede hacer en una
sola as:
p q, q
(a)Si los iones tienen carga elctrica, entonces no son tomos; efectivamente, los
iones tienen: carga elctrica. Por tanto, los iones no son tomos.
Forma lgica:
p q Premisa
p Premisa
_________________________
q Conclusin
en la cual p y q son:
AB Premisa: Implicacin.
A Premisa: Afirmacin del antecedente.
B Conclusin: Afirmacin del Consecuente.
Resumiendo:
Si en una lnea tenemos una implicacin, y en otra cualquiera su antecedente,
142
podemos obtener en otra lnea ms su consecuente.
pq P
qr R
p P
r C
Demostracin:
(1) p q P
(2) qr P
(3) p P
(4) q MPP (1) y (3)
(5) r MPP (2) y (4)
La lnea (4) se obtiene mediante la regla Modus Ponendo Ponens aplicada a 1 las
lneas ( 1 ) y (3 ).
La lnea (5) se obtiene aplicando la misma regla a las lneas (2) y (4). La ltima lnea
(5) es la conclusin que haba que demostrar.
AB Implicacin.
~B Negacin del consecuente.
~A Negacin del antecedente.
EJERCICIOS
(1) p q P
1. Demostrar: p
143
(2) q r P 4. Demostrar: ( p q )
(3) r P (1) ( p q ) w P
(2) r ( s t ) P
2. Demostrar: q (3) ( s t ) n P
(1) p q P (4) n P
(2) p r P
(3) r s P 5. Demostrar: ( ( p q ) r )
(4) s P (1) ( ( p q ) r ) s P
(2) s t P
3. Demostrar: p (3) t P
(1) p ( q r ) P
(2) ( q r ) s P 6. Demostrar: t
(3) s t P (1) p q P
(4) t P (2) q ( r t ) P
(3) p P
(4) r P
(3)p r
AB
BC
______
AC
144
Por tanto, si en la demostracin de una forma de razonamiento tiene en una lnea una
DISYUNCIN y en otra cualquiera la negacin de uno de sus argumentos, se puede inferir
una nueva lnea que ser el otro argumento. Esta regla tambin recibe el nombre Silogismo
Disyuntivo.
EJERCICIOS
1. Demostrar: s 4. Demostrar: n
(1) p q P (1) (p q ) ( r t ) P
(2) p r P (2) p q P
(3) r P (3) t P
(4) p s P (4) s r P
(5) s r P
2. Demostrar: r
(1) p q P 5. Demostrar: r p
(2) q P (1) ( p q ) ( ( r s ) t ) P
(3) p ( r t ) P (2) ( p q ) P
(4) t P (3) t P
(4) s p P
3. Demostrar: q s
(1) p ( q r ) P 6. Demostrar: q
(2) p t P (1) p ( q r ) P
(3) t P (2) p r P
(4) r s P (3) r P
AB Conjuncin
___________
A Primer argumento.
B Segundo argumento.
145
2.6. Regla de Conjuncin (Conj.)
Es la operacin opuesta a la de la Simplificacin. Puedo unir, mediante la conjuncin,
varias formas proposicionales que hayan aparecido en alguna lnea anterior de la
demostracin. Si en dos lneas de la demostracin aparecen p y q puedo obtener una fila
ms con la conjuncin, es decir, obtengo p q.
Esquema de la regla de Simplificacin
AB
RS
AR
______
BS
corresponde a la regla de inferencia Dilema Constructivo (DC). Observa que en las premisas
hay dos implicaciones con formas proposicionales distintas, una disyuncin formada con los
antecedentes de las dos implicaciones y la conclusin es la disyuncin de los consecuentes de
las dos implicaciones de las
AB
RS
~B ~S
_________
~B ~R
146
Te invitamos a resolver los siguientes ejercicios,
estos te ayudarn a reafirmar lo estudiado.
EJERCICIOS
6. Demostrar: t
1. Demostrar: q (1) p q P
(1) p q P (2) ( p r ) s P
(2) p r P (3) q r P
(4) t s P
2. Demostrar: q
(1) p ( p r ) P 7. Demostrar: q s
(2) p r P (1) p q P
(2) r t P
3. Demostrar: p q (3) t s P
(1) p q P (4) p P
(2) p r P
(3) r P
4. Demostrar: r s
(1) p q P
(2) p r P
(3) q s P
(4) s P 8. Demostrar: t
(1) ( p q ) ( r s ) P
(2) q s P
(3) r P
(4) p t P
9. Demostrar: r
5. Demostrar: p u (1) ((p q) r) (s t) P
(1) p q P (2) ( p q ) s P
(2) r t P (3) t u P
(3) r q P (4) u w P
(4) r P
10. Demostrar: u
(1) ( p q ) ( r s ) P
147
(2) ( q s ) ( t u) P
(3) p s P
(4) ( q u ) ( t u ) P
(5) t P
(p q) r
q p
_______________
~r
y su demostracin sta:
(1) (p q) ~r P
(2) q p P
(3) p q Conm. 2
(4) r MPP 1, 3
Observe que la lnea (3) se obtiene de la fila (2) aplicando la regla conmutativa, A B
B A sustituyendo q p por su equivalente lgico p q.
Sea la forma vlida de razonamiento:
p ( q r )
p
_________________
r
y su demostracin la siguiente:
(1) ~~p ( q r ) P
(2) p P
(3) p ( q r ) DN 1
(4) q r MPP 2 y 3
148
(5) r Simp. 4
1. Demostrar: p r
(1) p q P
(2) r q P
(3) q r
(4) q r
(5) p r
2. Demostrar: ( r s ) t
(1) p q P
(2) r ( s t ) P
(3) ( q p ) ( t s )
(4) ( p q ) ( t s )
(5) t s
(6) s t
(7) ( s t )
(8) r
(9) r ( s t )
(10) ( r s ) t
3. Demostrar: ( t q ) r
(1) r 1 t P
(2) r p P
(3) t q P
(4) t r
(5) t r
(6) t p
(7) t
(8) p
(9) ( t q )
(10) ( t q )
(11) ( t q )
(12) r
149
(13) ( t q ) r
4. Demostrar: ( q r ) s
(1) ( p q ) r P
(2) r P
(3) ( p q )
(4) ( p q )
(5) p q
(6) p q
(7) q
(8) q r
(9) ( q r ) s
5. Demostrar:
(1) p ( q r ) P
(2) ( q r ) ( q p ) P
(3) ( p q ) ( q r )
(4) p q
(5) p q
(6) q p
(7) q p
(8) q p
(9) ( p q ) ( q p )
(10) p q
6. Demostrar: ( n r )
(1) s ( p t ) P
(2) t ( q r ) P
(3) s P
(4) ( p t )
(5) p t
(6) p t
(7) t
(8) q r
(9) r q
(10) ( r q ) n
(11) n ( r q )
(12) ( n r ) ( n q )
(13) n r
(14) ( n r )
7. Demostrar: q s
(1) p q P
(2) r s P
(3) p r P
(4) q s
(5) q s
150
8. Demostrar: p t
(1) r s P
(2) r p P
(3) s q P
(4) p r
(5) p r
(6) p s
(7) s
(8) s
(9) p
(10) p t
(11) p t
(12) p t
9. Demostrar: t u
(1) (p q ) ( r s ) P
(2) ( t p ) ( u ) P
(3) ( u q ) ( s ) P
(4) r
(5) r s
(6) ( r s )
(7) ( p q )
(8) p q
(9) t p
(10) u q
(11) ( p ) ( u q )
(12) t u
(13) t u
10. Demostrar: ( s r )
(1) ( p q ) ( r s ) P
(2) q s P
(3) p s P
(4) s p
(5) s p
(6) q p
(7) p q
(8) p q
(9) r s
(10) r s
(11) r s
(12) s r
(13) ( s r )
151
1. Demostrar: p r
(1) p q P
(2) r q P
2. Demostrar: r ( s t )
(1) p q P
(2) r ( s t ) P
(3) ( q p ) ( t s ) P
3. Demostrar: ( s q ) r
(1) r s P
(2) r p P
(3) s q P
4. Demostrar: ( q r ) s
(1) ( p q ) r P
(2) r P
5. Demostrar: r ( q r )
(1) s ( q r ) P
(2) ( p r ) s P
(3) p n
6. Demostrar: ( n ( r q )
(1) s ( p t ) P
(2) t ( q r ) P
(3) s P
7. Demostrar: t u
(1) (p q ) ( r s ) P
(2) ( t p ) ( u ) P
(3) ( u q ) ( s ) P
(4) r P
8. Demostrar: r s
(1) ( p q ) ( r s ) P
(2) q s P
(3) p r P
9. Demostrar: q s
(1) p q P
(2) r s P
(3) p ( r t ) P
(4) t P
10. Demostrar: p
(1) p ( q r ) P
152
(2) q ( r p ) P
11. Demostrar: ( p r ) ( p r )
(1) ( p q ) ( q r ) P
(2) (s p ) ( r s ) P
12. Demostrar: u
(1) p ( q r ) P
(2) ( p q ) ( s t ) P
(3) p ( t q ) P
(4) ( u q ) s P
(9) Actuamos honestamente si, y slo si hay una adecuacin entre lo que pensamos y
lo que hacemos. Si tiene lugar esto ltimo aumenta nuestra autoestima. En realidad
153
nuestras actuaciones disminuyen nuestra autoestima. Luego no actuamos con
honestidad.
(10) Venezuela puede tener muchas naciones amigas, slo si respeta su
autodeterminacin. No puede esperar que todos tengan el mismo sistema de gobierno,
si se respeta su autodeterminacin. Venezuela, en realidad tiene muchas naciones
amigas. Luego, Venezuela no espera que todas las naciones tengan el mismo sistema
de gobierno.
(11) Slo si un objeto es menos denso que el agua, flota en ella. O el objeto no es
menos denso que el agua o puede desplazar una cantidad de agua igual a la de su
propio peso. Si desplaza una cantidad de agua igual a la de su propio peso, flotar en
el agua. Por lo tanto, un objeto flotar en el agua si, y slo si puede desplazar una
cantidad de agua igual a la de su propio peso.
p q
p
_____
q
a otra ms compleja, como los que tienen formas lgicas como sta:
~(p q) (r s)
~ ( p q)
______________________
r s
Obviamente, para construir razonamientos tenemos que dar contenido a las formas
lgicas de razonamiento, esto es, tenemos que sustituir las variables proposicionales por
proposiciones. En el caso de las dos formas de razonamiento anteriores habr un sin nmero
de razonamientos, por cuanto las variables proposicionales pueden sustituirse por distintos
contenidos proposicionales: contenidos de qumica, fsica, economa, poltica, de lo que
ocurre diariamente, etc. Por esa, antes de construir los razonamientos, es preciso sustituir las
variables proposicionales por las proposiciones que van a constituir su contenido. A modo de
ejemplo, construiremos razonamientos con las formas lgicas de razonamiento a que nos
estamos refiriendo.
154
p q
p
_______
q
tenemos que dar contenido, como se ha dicho ms arriba, a las variables proposicionales. Sea,
pues:
~(p q) (r s)
~ ( p q)
_____________________
r s
p: Hay inflacin.
q: Hay poca inversin extranjera.
r: Habr desarrollo econmico.
s: Se crearn nuevos empleos.
sera ste:
Lo que hemos hecho con la regla del MPP se puede hacer con el resto de las reglas de
inferencia.
(4) p q
r q
q r
________
q s
(5) p q
r s
q p
_________
p r
(6) (p q)
____________
p q
(7) p q
________
q p
156
Si todo esta resuelto, Felicitaciones! y adelante...
Si hay alguna duda, no dejes de acudir a tu asesor.
Continua ahora con la unidad III
RESPUESTAS
A. FORMAS LGICAS
157
(c) Forma proposicional:
(p q r) (s t)
158
Ejercicios: Pgina 25 Lgica Proposicional (objetivo especfico 6.3)
(1) Sustitucin de proposiciones por variables proposicionales:
p: El profesor corrigi bien el trabajo.
q: (El profesor) se equivoc al registrar la calificacin.
Forma lgica: p q Primera premisa
p Segunda premisa
__________
q Conclusin
159
( ~ p ~ q) ~ r Conclusin
B. PRUEBA DE VALIDEZ
Ejercicios: Pgina 28 Valor de Verdad de Formas Proposicionales
(1)
l 2
(p q) r
0 1 01 1 10
Observacin: los negadores, por afectar solo a una v.p., no han sido numerados.
(5) 1 2 3
(~(~p q) ~q) ~p
0 1 0 1 1 0 01 l 10
(10) 1 2 3 6 5 4
( ( ( p q ) r ) ~ r ) (p q )
0 0 1 1 0 1 10 1 1 0 1
(3)
l 2 4 3
(~p q) (p q)
01 1 1 1 1 1 1 La forma
10 1 1 1 0 1 1 proposicional es
01 0 0 1 1 0 0 tautolgica.
10 1 0 1 0 1 0
(6)
3 1 2 6 4 5
~ ( ( p ~ q ) r ) ( ( p q) r
1 1 0 01 0 01 0 1 1 1 0 01
Es una forma
proposicional
contingente. 160
1 0 0 01 0 01 1 0 0 1 1 01
0 1 1 10 1 01 1 1 0 0 1 01
1 0 0 10 0 01 1 0 0 0 1 01
0 1 0 01 1 10 1 1 1 1 1 10
0 0 0 01 1 10 1 0 0 1 1 10
0 1 1 10 1 10 1 1 0 0 1 10
0 0 0 10 1 10 1 0 0 0 1 10
Observacin: Los negadores, cuyo alcance es slo una variable proposicional, no han sido
numerados.
(8)
2 1 3 4 6 5
((~(p ~q) r) ~r) (p q)
0 1 1 0 1 0 1 1 01 1 1 1 0 1
1 0 0 0 1 1 1 0 01 1 0 0 0 1 Forma proposicional
0 1 1 1 0 0 1 1 01 1 1 1 1 0 contingente.
0 0 1 1 0 0 1 1 01 1 0 1 1 0
0 1 1 0 1 0 0 1 10 1 1 1 0 1
1 0 0 0 1 0 0 1 10 0 0 0 0 1
0 1 1 1 0 0 0 1 10 1 1 1 1 0
0 0 1 1 0 0 0 1 10 1 0 1 1 0
(2) ( ( ( p q ) ~ r) r ) ~ ( p q )
1 0 0 1 01 1 1 0 0 1 1 0
(10)(9)(11) (5) (8)(7) (2)(6) (1) (3)(12)(4) (13)
2 Caso l 1 0 0 0 0 10 1 1 1 0 0
(12)(4)(13) (2) (5) (1) (7)(6)(3) (8)(10)(9) (11)
161
(12)(6) (18)(17)(19) (4) (20)(16)(21)(7)(15) (2) (14)(5)(13) (1)
(3)(9) (8)(10)(11)
2do. caso: 1 1 1 01 0 1 1 1 1 1
(8)(7)(9) (2)(6) (1) (10)(4)(11) (3)(5)
En el primer caso hay contradiccin en (4), en el segundo en (2) pues sea verdadero o
falso su primer argumento al tener el segundo verdadero la disyuncin no puede ser falsa.
(10) ((p q) (r s) (r s) (p q)
ler. caso: 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 1 1 1 0
(13)(l8)(14)(15) (2) (16)(19)(17) (1)(4) (7) (6) (8) (3) (5) (10)(9)(11)(12)
2do. caso: 1 1 1 0 0 0 0 0 0 1 0 0 0 1 0 1 1 1 0
(8) (4) (9)(10) (2) (6) (5) (7) (1) (18)(11)(13)(12) (3) (19)(14)(17)(15)(16)
En el primer caso hay contradiccin en (2), en el segundo en (3); luego la forma
proposicional es tautologa.
((p q) (r q)) (p r)
((p q) (r q)) (p r)
1 1 1 1 01 1 0 1 1 1 1 1
0 1 1 1 01 1 0 1 1 0 1 1
1 0 0 0 01 1 1 0 1 1 1 1
0 1 0 1 01 1 1 0 1 0 1 1
162
1 1 1 0 10 0 0 1 1 1 0 0
0 1 1 0 10 0 0 1 1 0 1 0
1 0 0 0 10 1 1 0 1 1 0 0
0 0 0 0 10 1 1 0 1 0 0 0
(((p q) (q r)) r p
(((p q) (q r)) r p
1 1 1 0 1 0 01 0 1 1 0 1
0 1 1 0 1 0 01 0 1 1 1 0
1 0 0 0 0 1 01 0 1 1 0 1
0 1 0 1 0 1 01 1 1 1 1 0
1 1 1 1 1 1 10 0 0 1 0 1
0 1 1 1 1 1 10 0 0 l 1 0
1 0 0 0 0 1 10 0 0 1 0 1
0 1 0 1 0 1 10 0 0 1 1 0
((p q) q) (p r)
((p q) q) (p r)
1 1 1 0 01 1 1 1 1
0 0 1 0 01 1 0 1 1
1 0 0 0 10 1 1 1 1
0 1 0 1 10 1 0 1 1
1 1 1 0 01 1 1 1 1
0 0 1 0 01 1 0 0 0
1 0 0 0 10 1 1 1 1
0 1 0 0 10 1 0 0 0
p (q r)
~r p .
q
(p ( q r ) ( r p ) ) q
(p (q r) (r p)) q
1 1 1 1 1 0 0l 0 1 1 1
0 1 1 1 1 0 01 0 0 1 1
1 1 0 1 1 0 01 0 1 1 0
0 1 0 1 1 0 01 0 0 1 0
1 1 1 1 0 1 10 1 1 1 1
0 1 1 1 0 0 10 0 0 1 1
1 0 0 0 0 1 10 1 1 1 0
0 1 0 0 0 0 10 0 0 1 0
164
Cuarto paso: respuesta; el razonamiento no es vlido porque la conjuncin de las premisas no
implica tautolgicamente a la conclusin.
p (q r)
(q r) s
s t .
(p t)
Segundo paso: construccin de la implicacin en la que el antecedente es la conjuncin de las
premisas y el consecuente la conclusin.
(((p (q r)) ((q r) s)) (s t)) (p t)
Tercer paso: determinar si la impliccin anterior es tautolgica. En este caso, por tener 5
variables proposicionales, emplearemos el Mtodo de Reduccin al absurdo.
(((p (q r)) ((q r) s)) (s t)) (p t)
1 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 0 1 1 11
(12)(6) (18)(17)(19) (4) (20)(16)(21) (7) (15) (2) (14)(5) (13) (1) (3) (9)(8) (10)(11)
C. DEMOSTRACIN DE VALIDEZ
Ejercicios: Pgina 48 MPP y MTT (objetivo especfico 8.5)
(1) Demostrar: ~ ~ p
165
1. ~p q P
2. q r P
3. ~r P
4. ~q MTT 2y3
5. ~~p MTT 1 y 4
(5) Demostrar: q
l. ~ p q P
2. p r P
3. r s P
4. ~ s P
5. ~ r MTT 3 y 4
6. ~ p MTT 2 y 5
7. q MPP 1 y 6
(6) Demostrar: ~t
l. ~ p q P
2. ~ q ( r t ) P
3. ~ p P
4. r P
5. ~ q MPP 1 y 4
6. r t MPP 2 y 5
7. ~ t MPP 4 y 6
Ejercicios: Pgina 49 . Reglas de Inferencia (objetivo especfico 8.5)
(1) Demostrar: s
1. p q P
2. q r P
3. ~ r P
4. p s P
5. p r TI 1 y 2
6. ~ p MTT 3 y 5
7. s MTP 4 y 6
(3) Demostrar: q s
1. p ( q r ) P
2. p t P
3. ~ t P
4. ~ r s P
5. ~ p MTT 2 y 3
6. q r MTP 1 y 5
7. q s TI 7 y 4
(5) Demostrar: r p
1. (p q) ((r s) t ) P
2. ~ ( p q) P
3. ~ t P
4. s p P
5. (r s ) t MTP 1 y 2
6. r s MTP 3 y 5
166
7. r p TI 6 y 4
167
(6) Demostrar: ~ ( n ( ~ r ~ q ) )
1. ~ s ( p t ) P
2. t ( q r ) P
3. ~ s P
4. ~ ( ~ p t) MPP l y 3
5. ~ ~ p ~ ~ t LM 4
6. p t DN 5
7. t Simp 6
8. q r MPP 2 y 7
9. r q Conm 8
10. ( r q ) ~ n Ad 9
11. ~ n ( r q) Conm 10
12. ~ ( n ( r q ) ) LM 11
13. ~ ( n (~ r q ) ) LM 12
(9) Demostrar: q s
1. p q P
2. r s P
3. ~ p ( ~ r t ) P
4. ~ t P
5. ( ~ p r ) t Exp 3
6. ~ ( ~ p r ) MTT 4 y 5
7. ~ ~ p r LM 6
8. p ~ ~ r DN 7
9. p r DN 7
10. ( p q ) ( r s ) Conj 1 y 2
11. q s DC 9 y 10
(10) Demostrar: p
1. p ( q r ) P
2. ~ q ( r p ) P
3. ( p q ) ( p q) Dist 1
4. p q Simp3
5. ~ ~ p q DN 4
6. ~ p q Imp 5
7. ( q r ) ( ~ q q ) Dist 2
8. ( ~ q p ) ( ~ q r ) Conm 7
9. ~ q p Simp 8
10. q p Simp 9
11. ~ p p TI 6 y 10
12. ~ ~ p p Imp 11
13. p p DN 12
14. p
168
(11) Demostrar: ( ~ p ~ r ) ( ~ p r )
l. ( p q ) ( q r ) P
2. ( s p ) ( r s ) P
3. p q Simp 1
4. ( q r ) ( p q ) Conm 1
5. q r Simp4
6. p r TI 3 y 5
7. s p Simp 2
8. ( r s ) ( s p ) Conm2
9. r s Simp 8
10. r p TI 7 y 9
11. ( p r ) ( r p) Conj
12. p r Eq 11
13. ( p r ) ( ~ p ~ r ) Eq 12
14. ~ ~ ( p r ) ( ~ p ~ r ) DN 13
15. ~ ( p r ) ( ~ p ~ r ) Imp 14
16. ( ~ p ~ r ) ( ~p r ) LM 15
(12) Demostrar: ~ u
l. p ( q r ) P
2. ( p q ) ( s t ) P
3. p ( t q) P
4. ( ~ u ~ q ) s P
5. ( ( p q ) s ) ( p q ) t ) Dist 2
6. p ( ~ ~ q t ) Cont 3
7. p ( q ~ t ) DN 6
8. ( p q ) ~ t Exp 7
9 ~(p q) ~t Imp 8
10. ~ ( ( p q ) t ) LM 9
11. ( ( p q ) t ) ( ( p q ) s) Conm 5
12. ( p q ) s MTP
13. p ( q s ) As 12
14. ( q s ) p Conm 13
15. q s Smp 14
16. ~ u ( ~ q ~ s ) As 4
17. ~ ~ ( q s ) DN 15
18. ~ ( ~ q ~ s ) LM l7
19. u ( ~ q ~ s ) Cont 16
20. u MTT 18 y 19
Demostracin:
(1) p q P
(2) r s P
(3) ~ q s P
(4) ~ p s DD l, 2 y 3
(5) ~ (p s ) LM 4
170
p: El juez es honesto.
q: La sociedad puede confiar en sus decisiones.
Razonamiento:
Si el juez es honesto, la sociedad puede confiar en sus decisiones. Sin embargo, la
sociedad no confia en sus decisiones. Luego, el juez no es honesto.
Razonamiento:
O bien nos adaptamos a la era de la informtica y del espacio o bien seguimos
anclados mental y tecnolgicamerlte en la ya vieja era industrial. Por distintos motivos no
cambiamos para adaptarnos a la era informtica y espacial. Luego, seguimos atados mental
y tecnolgicamente a la ya superada era industrial.
Razonamiento:
Si la matemtica y la lgica son ciencias formales, ni unas ni otras tienen que
contrastarse con la realidad externa para verificar su verdad. No hay duda de que ambas
ciencias .son formales. Luego, ninguna de sus proposiciones tienen que .ser contrastadas con
la realidad para determinar su verdad.
171
Razonamiento:
Si el juez aplica la ley, administra correctamente la justicia.
Si, adems, el juez es moral, su conducta se rige por principios ticos.
Pero o bien el juez no administra correctamente la justicia o bien su conducta no se
rige por principios ticos. Por tanto, o bien el juez no cumple con la Ley o bien no es
moral.
Razonamiento:
Si 1os valores humanos se conquistan y, adems, son patrimonio de la humanidad,
entonces los seres humanos tienen que esforzarse por adquirirlos. En consecuencia, los
valores humanos se conquistan implica que si son patrimonio de la humanidad, los hombres
tienen que luchar por lograrlos.
AUTOEVALUATIVO 8: II PARTE
BIBLIOGRAFIA
172
MITCHELL, D. Introduccin a la Lgica. Editorial Labor, S.A., Barcelona, 1968.
Traductor: Juan C. Garca B.
NUDLER, Telma B. y NUDLER, O. Elementos de la Lgica Simblica. Editorial
Kepeluz, S.S. Buenos Aires, Argentina, 1973. 133 pp.
PLANCENZA, Eduardo. Lgica. Universidad Nacional Abierta, 4 Edicin, Caracas,
Venezuela, 1985. 291 pp.
QUINE, Willard Van O. Los Mtodos de la Lgica. Edit. Airel, Barcelona, 1962.
Traductor: Manuel Sacristn.
SUPPES, Patrick. Introduccin a la Lgica Simblica. Compaia Editorial Continental,
S.A., Mxico, 3 Edicin, 1970. Traductor: Gabriel Aguirre C.
SUPPES, P. y HILL, S. Introduccin a la Lgica Matemtica. Editorial Roverte, S.A.,
1971. Traductor: Enrique Lines E.
CUADRO DESCRIPTIVO
C. LGICA DE
PREDICADOS 12. Simbolizar, en el lenguaje
de la lgica de los predicados,
la forma lgica de los
silogismos tpicos y no tpicos
dados en castellano.
13. Efectuar demostraciones
formales de validez de
silogismos C.F.T. dentro de la
lgica de predicados
aplicando las reglas de
inferencia.
ESQUEMA DE CONTENIDO
Cuadro Descriptivo
Esquema de Contenido
Introduccin
174
A. LGICA TRADICIONAL
1. INFERENCIAS INMEDIATAS
1.1. Proposiciones singulares y generales
1.2. Proposiciones Categricas de Forma Tpica
1 .3. Proposiciones Categricas de Forma No Tpica y su traduccin a Forma Tpica
1.4. El Cuadro Tradicional de Oposicin
1.5. Otras Inferencias Inmediatas
1.5.1 . Inferencias por Conversin
1.5.2. Inferencias por Obversin
2. VALIDEZ DE LOS SILOGISMOS
2.1. Silogismos Categricos de Forma Tpica
2.2. Las 4 Figuras de Silogismo C.F.T.
2.3. Formas Vlidas del Silogismo
2.4. Silogismos Categricos de Forma No Tpica
2.5. Construccin de Silogismos
2.6. Los Entimemas
2.7. El Sorites
2.8. El Dilema
B. PRUEBA DE VALIDEZ
1. REPRESENTACIN GRFICA DE LAS PROPOSICIONES CATEGRICAS
(DIAGRAMA DE VENN)
2. PRUEBA DE VALIDEZ DE SILOGISMOS MEDIANTE DIAGRAMAS DE VENN
C. LGICA DE PREDICADOS
1. SIMBOLIZACIN DE LAS PROPOSICIONES
INTRODUCCIN
1.1. Simbolizacin de las Proposiciones Singulares
1.2. Simbolizacin de Proposiciones Generales de un Predicado
1.3. Simbolizacin de las Proposiciones Categricas
1.4. Simbolizacin de Silogismos Categricos de Forma Tpica
1.5. Simbolizacin de Silogismos de Forma No Tpica
2. MTODO DEMOSTRATIVO DE VALIDEZ Y REGLAS DE INFERENCIA
INTRODUCCIN
2.1. Funcin Proposicional
2.2. Ejemplo de Sustitucin
2.3. Valor de Verdad de las cuantificaciones de las Funciones Proposicionales
2.4. Reglas de Inferencia
2.4.1. Ejemplificacin Universal (EU)
2.4.2. Generalizacin Universal (GU)
2.4.3. Ejemplificacin Existencial (EE)
2.4.4. Generalizacin Existencial (GE)
2.5. Demostracin de Validez
Respuestas
Bibliografa
ndice
175
INTRODUCCIN
176
siguiente es un ejemplo de ese tipo de razonamientos cuya validez escapa a la lgica
proposicional.
p
q
r
A. LOGICA TRADICIONAL
l. INFERENCIAS lNMEDIATAS
177
Para ello debers lograr los siguientes objetivos especficos:
178
Las tres proposiciones del razonamiento precedente son categricas. Una proposicin
categrica es una proposicin general acerca de dos clases indicando si una est o no total o
parcialmente incluida en otra. Recordemos que una clase es una coleccin de individuos que
tienen en comn una propiedad especfica. En las proposiciones categricas, por referirse a
clases, el sujeto y el predicado tienen que ser sustantivos. Sin embargo, dado que una
propiedad determina una clase, consideraremos tambin proposiciones categricas de forma
tpica a aquellas que tengan adjetivos o frases adjetivares como predicado.
Las clases se pueden relacionar de tres formas, a saber, por:
Algn S es P
se entiende que afirma que al menos un miembro de la clase designada por S es tambin
miembro de la clase designada por P.
Los trminos todos, ninguno, algunos o sus equivalentes, por expresar la
cantidad de individuos a que se refiere la proposicin, reciben nombre de Cuantificadores.
Los cuantificadores se dividen en Universales, como todos, ninguno, que se
refieren a todos los individuos de una clase, y existenciales o particulares, como alguno, que
se refiere a una parte de los individuos de una clase.
Las proposiciones categricas pueden ser tambin afirmativas y negativas. En ese
sentido se dice que tienen cualidad. Adems, entre los trminos sujeto y predicado de toda
proposicin categrica de forma tpica aparece el verbo ser en algunos de sus tiempos. De
tal manera que el esquema general de una proposicin categrica de forma tpica consta de
cuatro partes:
179
Las letras A-I para las afirmativas proceden de las vocales de la palabra latina
affirmo (AFFIRMO); as mismo las letras E-O, de la palabra latina neg (NEG), para
las negativas.
Para traducir estas proposiciones categricas a la forma tpica se sustituyen los verbos por
una forma apropiada del verbo ser y los predicados por trminos que designen las clases
definidas por ellos.
As, los ejemplos anteriores adoptaran estas formas tpicas de proposiciones
categricas:
Un segundo grupo son las que usan cuantificadores distintos a los de las proposiciones
categricas de forma tpica: todos , ninguno y algunos. Tales son las proposiciones que
contienen las palabras cada, alguien, quien, aquel que, un, el y otros semejantes. En
general, la cantidad expresada por estos cuantificadores est claramente determinada. En el
caso de los artculos un y el es necesario tener en cuenta el contexto para determinar si se
refieren a todos o a algunos de los individuos de la clase correspondiente. As;
Un juez es abogado
quiere decir
pero,
Un juez es calvo
evidentemente no se refiere a todos los jueces sino a uno slo, y que, recordando que en
Lgica algunos significa al menos uno, su traduccin puede ser Algunos jueces son
calvos.
Otro grupo de proposiciones categricas de forma no tpica son las que contienen
expresiones como nadie ms que, solamente, nicamente. A stas se les llama
exclusivas ya que, en general, afirman que la propiedad atribuida se refiere exclusivamente
a los sujetos nombrados.
Por ejemplo,
180
Slo los alumnos presentes pueden realizar el examen
y Nadie ms que los estudiosos tienen xito,
Todos los que pueden realizar el examen son los alumnos presentes"
y Todos lo que tienen xito son personas estudiosas
181
la segunda:
Ningn jugador es elegible.
Aparte de las proposiciones anotadas hay otras que slo en apariencia no son
categricas, como
En efecto, si los analizamos con cuidado nos percatamos que pueden traducirse
respectivamente a las siguientes proposiciones categricas de forma tpica:
Ninguna persona que est en el campanario es una persona que est tambin en la
procesin
y Ningn pez es un animal con pulmones.
Como stas hay un gran nmero de proposiciones que requieren una atencin y un
anlisis especial para descubrir su estructura de una proposicin categrica de forma tpica.
EJERCICIOS
(1) Algunos libros escritos en arameo hace dos mil quinientos aos son traducidos
actualmente al castellano.
(2) Un abogado graduado en la Universidad del Zulia es un profesional eficiente.
182
(3) Ningn juez ha sido presionado en el veredicto.
(4) Hay matemticos famosos que han sido filsofos.
(5) Nada nuevo hay bajo el sol.
(6) Nadie que se precie a s mismo se entrega al vicio.
(7) Algunos pases ricos no son moralmente desarrollados.
(8) Los que siembras vientos cosechan tempestades.
(9) La ltima guerra mundial fue sumamente cruel.
(10) Ningn caballero engaa.
(11) Hay empleados honestos.
(12) nicamente los alumnos regulares pueden presentar el examen.
(13) No todos los alumnos entendieron la explicacin.
(14) No se discuti nada importante.
(15) Slo los mdicos estn autorizados para diagnosticar.
(16) Casi todos los alumnos estuvieron presentes.
(17) Solamente los ciudadanos mayores de dieciocho aos pueden votar en las
elecciones.
(18) Un alumno del saln no entiende la explicacin.
(19) Un cncer es normalmente curable.
(20) Alguien de la clase puede no estar de acuerdo con la explicacin del profesor.
(21) Los errores de opinin pueden ser tolerados all donde se deja a la razn la
libertad de combatirlos.
(22) No se puede ir al cine y a la playa al mismo tiempo.
(23) El cobarde se envalentona con los dbiles.
(24) Al menos un testigo dijo la verdad.
(25) Un hombre orgulloso no reconoce fcilmente sus errores.
(26) Cada uno debe asumir sus responsabilidades.
(27) No todo lo que brilla es oro.
(28) Los estudiantes slo pueden entrar con autorizacin a los laboratorios.
(29) Muy pocos son los que han navegado todo el curso del Amazonas.
(30) Digno de admiracin es quien respeta al pobre.
183
GRFICO
se infiere inmediatamente:
Resumiendo:
Teniendo en cuenta las relaciones del cuadrado de oposicin tenemos que:
184
Si A es verdadera se infiere que E es falsa
I es verdadera
O es falsa
Como en un razonamiento se supone que las premisas son verdaderas, slo nos
interesan las inferencias inmediatas que se pueden dar en los cuatro primeros casos.
EJERCICIOS
185
1.5. Otras Inferencias Inmediatas
Adems de las inferencias inmediatas que se pueden dar en el Cuadro de la oposicin,
los lgicos, desde muy antiguo, se dedicaron a otros tipos de inferencias inmediatas a partir,
tambin, de la proposiciones categricas. De ellas nos ocupamos a continuacin.
As de la proposicin E:
Igualmente de la proposicin I:
186
- De la proposicin O:
en resumen:
AUTOEVALUATIVO 9
Para este ejercicio se requiere que sepas identificar una proposicin categrica,
determinar los trminos S y P, construir su esquema y clasificarlas.
187
Lo que te pedimos ahora es que, dada una proposicin, puedas efectuar las inferencias
inmediatas que hemos estudiado. Para ello te puedes ayudar con el cuadro anterior.
En la prueba parcial se te pedir realizar ejercicios semejantes.
188
Para ello debers lograr los siguientes OBJETIVOS ESPECFICOS:
10.1. Conocidos los modos y figuras del silogismo categrico de forma tpica , el
estudiante indicar en una serie de ejemplos dadas las figuras y el modo de cada uno.
10.2. Dada una serie de silogismos categricos, el estudiante determinar cules son
vlidos o no recurriendo al inventario de formas vlidas del silogismo categrico de
forma tpica.
10.3. Dadas las formas vlidas de la primera figura del silogismo categrico, el
estudiante construir razonamientos vlidos.
10.4. Dada una serie de entimemas y sorites el estudiante determinar cules son
vlidos o no recurriendo al inventario de formas vlidas del silogismo categrico de
forma tpica.
10.5. Dado una serie de dilemas el estudiante refutar cada uno de ello.
Veamos un ejemplo:
Algunos M son P
189
Todos los S son M
Algunos S son P
o mejor: Algn M es P
Todo S es M
Algn S es P
Por otra parte, el esquema que resulta de relacionar la posicin de los trminos S y
P en el Silogismo lo llamamos figura del Silogismo.
En nuestro ejemplo:
MP
S-M
S-P
Su figura: P - M
S-M
S-P
190
Todos los silogismos categricos que no tengan forma tpica, pueden ser
convertidos a la forma tpica colocando de primero la Premisa Mayor.
Una vez que hayas realizado los ejercicios y aclarado tus dudas
con en profesor, pasa al siguiente punto.
Sigue adelante
EJERCICIOS
(1) Todas las fiestas religiosas son feriados bancarios y algunas fiestas religiosas son
fiestas religiosas que no caen en das laborables; por lo cual, algunos feriados
bancarios son feriados bancarios que no caen en das laborables.
(2) Todos los aviadores son arriesgados y ninguna persona temerosa es arriesgada.
As, pues, ninguna persona temerosa es aviador.
(3) Todos los planetas son cuerpos que giran alrededor del sol; pero algunos cuerpos
celestes son planetas. Por ende, algunos cuerpos celestes son cuerpos que giran
alrededor del sol.
B. Construye en castellano dos Silogismos C.F.T: con el mismo modo y distinta figura y dos
con la misma figura y distinto modo.
Todas las dems posibles figuras se pueden reducir a una de stas, como ya dijimos,
simplemente colocando de primero la Premisa Mayor.
A manera de prctica determina la forma de los silogismos que han aparecido en el
modulo de ejercicios anterior.
La forma del ejercicio.
(A1) sera: OAO-3. Realiza t las otras
191
Sin embargo, todas estas formas no son razonamientos vlidos, que es lo que en
verdad le interesa a la lgica formal. Por este motivo, los lgicos antiguos y, sobre todo, los
escolsticos se dedicaron a enunciar reglas para la formulacin de Silogismos vlidos. Con
ellas, despus de analizar las antedichas 256 formas, llegaron a formular un reducido grupo
de formas vlidas distribuidas segn su modo y su figura. Esto les permite determinar
rpidamente la validez de cualquier silogismo dado, simplemente comparando con el
inventario de formas vlidas.
Nosotros aqu, para hacerlo ms sencillo, las presentaremos en un cuadro con las
palabras mnemotcnicas que ellos mismos inventaron a fin de poder recordarlas con mayor
facilidad.
Estas palabras que hemos colocado entre parntesis (Barbara, Celarent,) son los
nombres tradicionales de las formas vlidas del Silogismo CFT Las vocales que contienen
indican el modo: as, por ejemplo, Brbara AAA; Fresison: EIO. Tambin qued sealada
la figura: como podemos observar Darii pertenece a la primera figura, de manera que su
Modo y Figura son: AII-1.
Las consonantes de estos nombres indican, diversas reglas y operaciones que permiten
convertir (pasar a) en una forma de la 1 figura, cualquiera de las otras formas restantes. Sin
embargo, para el objetivo que nos ocupa, slo nos interesa conocer los modos vlidos de cada
figura, como en el cuadro.
FIGURAS
FIGURAS PRIMERA SEGUNDA TERCERA CUARTA
FIGURA FIGURA FIGURA FIGURA
MP PM MP PM
SM SM MS MS
SP SP SP SP
Ahora ilustraremos, con un ejemplo, cmo vamos a usar el cuadro para determinar la
validez o no validez de un silogismo CFT
Tomemos el siguiente Silogismo:
EJERCICIOS
(1) Ningn deshonesto es confiable, todo mentiroso es deshonesto; por tanto, ningn
mentiroso es confiable.
(2) Ningn hombre es eterno y algunos polticos son hombres; as, afortunadamente,
ningn poltico es eterno.
(3) Todo ser perecedero es un ser que ha tenido principio y todos los seres son seres
perecederos; as pues, todos los seres son seres que han tenido principio.
(4) Todo fantico es una persona de mente estrecha y algunos fanticos son militantes
de los partidos, en consecuencia, algunos militantes de los partidos son personas
de mente estrecha.
(5) Todas las personas que carecen de autoestima son personas que se irrespetan a s
mismas y todas las personas que se copian en los exmenes son personas que
carecen de autoestima; por tanto, todos los alumnos que se copian en los
exmenes son personas que se irrespetan a s mismas.
(6) Todas las personas que temen son personas carentes de amor. Todas las personas
que carecen de amor son egostas. Por tanto, algunos egostas son personas que
temen.
(7) Todos los maestros son personas que forman alumnos responsables. Algunos
libros son nuestros maestros. Luego, algunos libros son medios que forman
alumnos responsables.
(8) Todo trabajo es motor de progreso. Todos los ciudadanos responsables son
personas que son motores del progreso. Por tanto, todos los ciudadanos
responsables son personas que realizan un trabajo.
(9) Todas las personas responsables son personas que se deben imitar. Ningn
perezoso es una persona que se deba respetar.
193
En la argumentacin ordinaria los silogismos categricos adquieren aspectos tan
variados que raramente se expresan en forma tpica. Los silogismos categricos de forma no
tpica presentan, al menos, una de las tres situaciones siguientes: primera, alguna de sus
proposiciones (premisas o conclusin) son de forma no tpica; segunda, las premisas no estn
debidamente ordenadas; tercera aparentemente, sus proposiciones contienen ms de tres
trminos. Veamos un ejemplo de cada uno de los casos y su traduccin a silogismos C.F.P.
Primer caso:
Slo los fanticos son personas irreflexivas.
Algn profesor es irreflexivo.
Por tanto, algn profesor es fantico.
Su estructura: Todo M es P
Algn S es M
Algn S es P
Segundo caso:
Ningn reformador es persona insincera.
Todas las personas hipcritas son personas insinceras.
Luego, ningn reformador es persona hipcrita.
Este silogismo categrico es de forma no tpica porque el orden en que aparecen las
premisas (mayor y menor) no es el que corresponde a un silogismo CFT. Expresado en forma
tpica quedara as:
Su estructura: Todo P es M
Ningn S es M
Ningn S es P
Modo y figura: AEE-2, que corresponde a la forma CAMESTRES, y, por tanto, es vlido.
Tercer caso:
Ningn dogma es cosa inocua.
Todos las ideologas son dogmas
Por tanto, toda ideologa es cosa daina
194
Es un silogismo de forma no tpica porque tiene, al menos aparentemente, cuatro
trminos: dogma, inocua, ideologas, y daina. Para traducirlo a un silogismo CFT
tenemos que recordar que inocuo quiere decir no-daino, de tal manera que la premisa
mayor sera: Ningn dogma es cosa no-daina. Sin embargo, a pesar del cambio el
silogismo seguira teniendo cuatro trminos y habramos adelantado muy poco. No obstante,
por inferencia de obversin esta premisa equivale a : Todos los dogmas son dainos. De
esta manera los trminos ahora son solamente tres, y el silogismo CFT es ste:
Todos los dogmas son cosas dainas.
Todas las ideologas son dogmas.
Luego, todas las ideologas son cosas dainas.
Su estructura: Todo M es P
Todo S es M
Todo S es P
195
Su estructura: Todo M es P
Todo S es M
Todo S es P
Modo y figura: AAA-1, que corresponde a la forma BARBARA, y , por ende , es vlido.
Traducir cada una de los siguientes silogismos a forma tpica, y determinar si son o no
vlidos recurriendo al inventario de formas vlidas del silogismo CFT (objetivo 10.2)
(1) Algunos filsofos son distrados, pues los filsofos son intelectuales y algunos
intelectuales son distrados.
(2) Los escritores son creativos y ningn escritor es perezoso, luego ninguna persona
perezosa es creativa.
(3) Los sabios son personas humildes, as como las personas ponderadas tambin son
sabios; en consecuencia, las personas ponderadas son humildes.
(4) Todas las soluciones son mezclas y ninguna mezcla es no-combinacin de
sustancias; luego, las soluciones son combinaciones de sustancias.
(5) Los empresarios no se empobrecen por pagar impuestos, puesto que los
empresarios son millonarios y ningn millonario se empobrece por pagar
impuestos.
(6) Algunos ciudadanos no respetan las opiniones ajenas y ningn demcrata es no-
respetuosos de las opiniones ajenas; en consecuencia, algunos ciudadanos no son
demcratas.
(7) Los animales domsticos ayudan a sus dueos, pues los objetos que ayudan asus
dueos son tiles y los animales domsticos son tiles.
(8) Algn abogado no forma parte de la directiva, puesto que todos los miembros del
equipo son abogados y algn miembro del equipo no forma parte de la directiva.
(9) Ninguna cosa barata adorna bien la casa, y en casa hay pinturas baratas; luego, en
casa hay pinturas que la afean.
(10) Ningn silogismo vlido tiene cuatro trminos. Ningn silogismo de este
ejercicio es invlido. Luego, ningn silogismo de este ejercicio tiene cuatro
trminos.
(11) Solo los vanidosos son ignorantes. Nadie que se vanagloria triunfa. Luego,
ningn ignorante triunfa.
(12) Algunos demcratas no son tolerantes. Solamente los orgullosos son
intolerantes. Luego, algunos orgullosos son antidemcratas.
(13) Cualquier razonamiento que valga la pena de ser tomado en cuenta para la
lgica debe exponerse en lenguaje ordinario. Sin embargo, ninguno de los
razonamientos que se expresan en el lenguaje ordinario es de la cuarta figura. Por
tanto, ningn razonamiento de la cuarta figura vale la pena de ser tomado en
cuenta para la lgica (Copi, Introductorio a la Lgica).
(14) Ninguno de los presentes est sin trabajo. Ningn socio est ausente. Por lo
tanto, todos los socios tienen empleo (Copi, Introductorio de la Lgica).
(15) Todas las cosas baratas son imitaciones, puesto que slo lo caro es difcil de
obtener y ningn original es fcil de lograr.
196
Hasta ahora slo nos hemos dedicado a determinar la validez de silogismos dados. Sin
embargo, cuando necesitamos argumentar para probar o sostener nuestras ideas o
planteamientos esto no es suficiente, necesitamos elaborar razonamientos convincentes , y,
entre stos, los ms comunes suelen ser los silogismos .Por eso, en esta parte, sirvindonos
del inventario de formas vlidas del silogismo categrico de forma tpica introducidos por la
lgica tradicional, expondremos, por medio de ejemplos, cmo debemos proceder para la
construccin tanto de silogismos de forma tpica como algunos de forma no tpica. Haremos
especial nfasis en los silogismos de la primera figura, y esto por dos razones: una, porque
son los silogismos ms frecuentes; dos, porque los silogismos de las restantes formas pueden
convertirse a la primera.
Antes de convertir cualquier silogismo vlido tenemos que recordar que la forma
comprende el modo y la figura y que el contenido puede referirse a cualquier materia o tema.
Empecemos construyendo un silogismo de la forma DARII, teniendo como tema los
polticos.
La forma DARII nos proporciona los siguientes datos:
Modo: A I I
Primera figura:
MP
SM
SP
Silogismo:
Todos los polticos honestos son demcratas (A).
Algunos polticos venezolanos son honestos ( I ).
Luego, algunos polticos venezolanos son demcratas ( I ).
Determina por tu propia cuenta que este razonamiento tiene la figura y el modo de la
forma DARII.
197
Todos los gases cuyos tomos contienen en su ltima envoltura el mximo nmero
posible de electrones son gases nobles.
Por tanto, ningn gas cuyos tomos contienen en su ltima envoltura el mximo
nmero posible de electrones reacciona con otras sustancias.
EJERCICIOS
198
Para determinar si la premisa que falta es la mayor o la menor, es menester recordar
que el trmino menor es el sujeto de la conclusin y la premisa que lo tenga ser la premisa
menor (segunda premisa), y que el trmino mayor es el predicado de la conclusin y la
premisa que lo incluya ser la premisa mayor (primera premisa). De modo que, sabiendo la
conclusin, es rutinario el determinar las dos premisas.
Completar las partes que faltan a los siguientes entimemas y determinar, mediante el
inventario de las formas vlidas de los silogismos CFT, si son o no vlidos (Objetivo 10.4).
(1) Todos los socios propietarios del Colegio de Ingenieros son graduados
universitarios, puesto que los socios propietarios de dicho colegio son ingenieros.
(2) Nadie entendi bien la materia, pues nadie respondi bien el exmen.
(3) Algunos estudiantes son reflexivos y estudiosos, esos estudiantes son el porvenir
de la sociedad.
(4) Sabe su materia porque es un profesor estudioso.
(5) Algunos alumno no tiene descuento en el transporte pblico, ya que no tienen el
carnet estudiantil.
(6) Algunos polticos son honestos, pues sus riquezas provienen de lo que ganan.
(7) Hay libros que forman alumnos responsables, pues algunos libros son nuestros
maestros.
(8) El trabajo es el motor del progreso, luego todos los ciudadanos responsables
tienen que trabajar.
(9) Ningn perezoso debe ser imitado, pues los perezosos no son respetados.
(10) Los que no la deben no la temen, por eso yo no la temo.
2.7. El Sorites
El sorites es un razonamiento que aparentemente consta de un solo silogismo, pero en
realidad est formado por varios. He aqu un ejemplo:
199
Si observamos el sorites analizado nos percatamos que el segundo silogismo tiene la
premisa implcita: Algunos universitarios son responsables , que es la subconclusin de las
dos primeras premisas. El sorites, por tanto, no es un silogismo sino una cadena de
silogismos categricos en los cuales hay algunas proposiciones implcitas. El sorites
precedente slo consta de dos silogismo, pero hay otros que pueden tener tres, cuatro o
cualquier nmero. Un sorites es vlido cuando su cadena de silogismos lo es.
Tal como aparece, este razonamiento no pareciera cumplir con los requisitos anotados
anteriormente para ser sorites; sin embargo, hechas las traducciones y cambios de
proposiciones permitidas por la lgica se convierte en el siguiente razonamiento equivalente,
que, sin duda, es sorites.
(2) Todas las personas calificadas para formar parte de un equipo son personas
cuerdas.
(1) Todas las personas cuerdas son personas que pueden estudiar lgica.
(3) Ningn hijo suyo es una persona que pueda estudiar lgica.
Luego, ningn hijo suyo es una persona calificada para formar parte de un jurado.
La proposicin (2) se origina as:
Primero: cambio de sinnimo: no-cuerdo por loco y traduccin a una posicin categrica
tpica, cuyo resultado es:
(a) Ninguna persona no-cuerda es una persona calificada para formar parte de un
jurado.
Segundo: Aplicar la inferencia por conversin a (a) para obtener:
(b) Ninguna persona calificada para formar parte de un jurado es una persona no-
cuerda.
Tercero: Aplicar la inferencia por obversin y as obtenemos (2).
(c) Toda persona calificada para formar parte de un jurado es una persona cuerda.
200
Todas las personas calificadas para formar parte de un jurado son personas cuerdas.
Ningn hijo suyo es cuerdo .
Por tanto, ningn hijo suyo es una persona calificada para formar parte de un jurado.
Forma: AEE-2: CAMESTRES, luego es vlido.
El sorites es vlido, puesto que los dos silogismos de que se compone lo son.
Traducir a forma tpica cada uno de los siguientes sorites y determinar si son o no
vlidos (objetivo 10.4)
2.8. El Dilema
Decimos que uno est en un dilema cuando debe elegir entre dos alternativas, en que,
generalmente, ambas son inconvenientes. El dilema es una argumentacin que consta de una
proposicin disyuntiva de dos argumentos opuestos entre s y tales que, de cualquiera que
elija el adversario, sacamos una conclusin en su contra. Sirva de ejemplo el dilema de San
Agustn para probar que la religin cristiana es verdadera. Argumentaba as:
Otro ejemplo sera el que algunos artistas emplean para probar que siempre son libres:
201
Si no lo son, se sienten libres y si lo primero tambin.
Por tanto, los artistas en ambos casos son libres.
Los dilemas estn constituidos por dos premisas y la conclusin. La primera premisa est
formada por una disyuncin de argumentos opuestos; la segunda es la conjuncin de los
condicionales. Los dilemas son razonamientos formalmente vlidos. Por eso para eludir su
conclusin tenemos que probar que una de sus premisas es falsa. En el dilema referente a la
libertad de los artistas alguien que no estuviera de acuerdo con la conclusin podra
argumentar presentando varios casos de artistas que, por ser deudores del gobierno, estn
mediatizados por l.
Uno de los mtodos ms ingeniosos para refutar un dilema es replicar con un
contradilema en el que la conclusin sea la opuesta. En la refutacin puede usarse cualquier
contradilema, pero el ms efectivo es el que infiere su conclusin casi con las mismas
premisas que el dilema.
Un ejemplo de contradilema fue el usado por Eulato contra su maestro Protgoras.
Este era un profesor griego de retrica del siglo V a. C. Eulato era un alumno pobre que, para
poder pagar los honorarios correspondientes, hizo un acuerdo con Protgoras mediante el
cual ste le dara las lecciones y Eulato le pagara cuando ganara el primer caso. Eulato se
gradu, pero tard mucho tiempo antes de defender el primer caso. Protgoras se cans de
esperar y abri un juicio en contra de su exdiscpulo por el incumplimiento de su contrato.
Protgoras present su versin del conflicto con un dilema aparentemente inatacable:
Eulato debe perder o ganar este caso; si lo pierde, debe pagarme (por
decisin del tribunal) y si lo gana, tambin tiene que pagarme (por los trminos del
contrato). Por lo tanto, debe pagarme de cualquier manera.
Este caso lo gano o lo pierdo; si lo gano, no tengo que pagar a Protgoras ( por
decisin del tribunal) y si lo pierdo, tampoco tengo que pagrselo (por trminos del
contrato). Por tanto, en ambos casos dejar de pagar a Protgoras.
202
AUTOEVALUATIVO
Refutar cada uno de los siguientes dilemas (la refutacin puede realizarse o bien
refutando alguna de las premisas o bien construyendo un contradilema). (objetivo 10.5).
203
B. PRUEBA DE VALIDEZ
Los llamados Diagramas de Venn son unos grficos propuestos por John Venn
(1824 - 1923) como un procedimiento mecnico y entretenido para probar la validez de un
razonamiento (silogismo categricos).
Para empezar procederemos a representar grficamente las cuatros proposiciones
categricas (A, E, I, O.) de acuerdo a las siguientes convenciones:
(i) Cada uno de los trminos (predicados) del silogismo, S, P, M est
representado por un circulo que simboliza un conjunto de individuos o clase.
(ii) Si la clase que representa dicho trmino es vaca no tiene miembros, el circulo va
sombreado o rayado.
(iii) Si hay algn individuo en dicha clase, se seala con una X dentro del circulo.
(iv) Si no hay informacin concreta, el circulo queda en blanco.
Veamos:
GRFICO 1
204
Todo s es p
Grfico 2
que quiere decir que la zona de S que no pertenece a P est vaca, no contiene ningn
miembro y por esto est sombreada. As pues, todo los miembros de S estn en P.
Ningn S es P
Algn S es P
Algn S no es P
205
En resumen: Grfico 6
Proposiciones Proposiciones
CATEGRICAS CONVERSAS
Tipo
A
Tipo
E
Tipo
I
Tipo
O
EJERCICIOS:
206
S y P sern los trminos Sujeto y Predicado de la conclusin y M, el trmino
medio que se repite en las premisas.
Tomemos un ejemplo:
Todo M es P
Todo S es M
Todo S es P
(ii) Luego trazamos los tres crculos interceptados y los rotulamos con los trminos S, P, M
As:
Grfico 7
Todo M es P
Grfico 8
Todo S es M:
Grfico 9
(v) Par ltimo, analizamos el grfico para constatar si al diagramar las premisas, la
conclusin ha quedado diagramada. Si es as, el razonamiento es vlido; de lo contrario no es.
207
En efecto, en nuestros ejemplos la conclusin todo S es P est incluida en el diagrama
de premisas; por lo cual podemos concluir la validez de dicho silogismo.
La fundamentacin lgica de este mtodo estriba en la definicin misma de validez:
un razonamiento deductivo es vlido cuando la conclusin se desprende necesariamente de
las premisas; es decir, cuando, al afirmar las premisas, queda afirmada la conclusin.
As, en nuestro diagrama, graficar las premisas significa que las estamos afirmando.
Si al hacer esto, queda diagramada la conclusin, indica que tambin ha quedado afirmada.
Concluirnos pues que dicha conclusin se desprende necesariamente de ella, que el
RAZONAMIENTO ES VLIDO.
Lo ventajoso de esta prueba est en que esa inclusin de la conclusin en las premisas
queda evidencia inmediatamente y a simple vista en el diagrama.
La clave para interpretar los diagramas es sta:
Si una vez diagramadas las premisas, la conclusin queda diagramada inequvocamente,
el silogismo es vlido.
Si no queda diagramada, o da lugar a alguna ambigedad, entonces no es vlido.
Su esquema o figura:
Todo los S son M
Algn M es P
Algn S es P
Grfico 10
Algn M es P:
Grfico 11
208
Observe que hemos ubicado la letra X en la lnea para indicar que las premisas quedan
verificadas, tanto si est a la derecha como a la izquierda de la lnea.
Finalmente constatamos que la conclusin Algn S es P no queda necesariamente
incluida en las premisas. En efecto, si X estuviese a la derecha de la lnea, no quedara
verificada. Por lo tanto el silogismo no es vlido.
Ningn M es P
Todo M es P
Ningn S es P
Grfico 12
Grfico 13
En Resumen:
Para probar la validez de un silogismo por los diagramas de Venn:
1. Identificamos los trminos S y P en el silogismo construyendo su figura o
esquema.
2. Rotulamos los tres crculos interceptados con dichos tres trminos.
3. Diagramamos las dos premisas, graficando primero la universal en caso de que haya
una universal y otra particular, y cuidado de colocar la X sobre la lnea, al diagramar la
particular, si no sta claro sobre cul lado de la lnea debe ir.
209
Observemos si la conclusin quedo inequvocamente graficada (contenida) en el diagrama, de
lo cual interpretamos que el silogismo es vlido. De lo contrario, no lo es.
AUTOEVALUATIVO
(1) Todo el que se adelanta a su poca puede ser considerado profeta y ningn profeta es
reconocido por su gente. Por lo tanto, nadie que sea reconocido por su gente se adelanta a
su poca.
(2) Nadie que se aprecie a si mismo atenta contra su vida; algunos al fumar atenta contra su
vida. Es obvio que algunos al fumar no se aprecian a s mismos.
(3) Los que se miman demasiado son narcisistas y, por otra parte, los que se miman
demasiado se desentienden de los dems. As pues, todo el que se desentiende de los
dems es narcisista.
(4) Si admitimos que todo los procesos blicos se sustentan en intereses econmicos y que
ningn proceso blico es garanta de una paz duradera, entonces debemos concluir que la
garanta de una paz duradera no se sustenta en intereses econmicos.
(5) Todas las aves tienen plumas y algunos ovparos no tienen plumas. Por consiguiente,
algunos ovparos no son aves.
(6) Los nios suelen ser curiosos y algunos curiosos son imprudentes. Por lo tanto, algunos
imprudentes son nios.
210
C. LOGICA DE PREDICADOS
1. SIMBOLIZACIN DE LAS PROPOSICIONES
INTRODUCCION
211
Para simbolizar una proposicin singular se empieza con la definicin del vocabulario
primitivo. Por definicin de vocabularios primitivo entendemos la asignacin de smbolos
lgicos a los distintos elementos de las proposiciones. Veamos algunos ejemplos de
simbolizacin de proposiciones singulares.
Procederemos as:
Vocabulario primitivo:
a: Rafael Urdaneta
Px: x fue presidente de la Gran Colombia ( la P es la primera letra de presidente
que es la palabra principal del predicado; y la x un individuo indeterminado).
Simbolizacin:
Pa
que se lee P de a. La constante individual siempre se coloca a la derecha de la variable
predicativa.
Vocabulario primitivo:
a: El Padre de la patria.
Lx: x liber cinco naciones.
Simbolizacin:
La.
Hay una cierta libertad para escoger la variable predicativa pues, a veces, no es fcil
determinar la palabra principal del predicado. Sea una u otra, todo se clarifica una vez
definido el vocabulario.
Simbolizaremos la proposicin:
212
(a) Todos son estudiantes.
Vocabulario primitivo.
Vocabulario primitivo:
y en smbolos equivale a:
Por tanto, (c) es la simbolizacin de (a), y se lee igal que (b), es decir:
Tercer ejemplo: Simbolizar una proposicin universal negativa con un slo predicado. Sea la
proposicin:
213
(b) Todos son no-filsofos,
Vocabulario primitivo:
(x): todos o para todo x.
Fx: x es filosofo.
Para todo x, no F de x.
Vocabulario primitivo:
214
Cada uno construye la democracia,
Nadie es perfecto,
Unos son ecologstas,
Cualquiera es ecologsta,
antes de simbolizarlas, hay que traducirlas a sus equivalentes usando los cuantificadores
todos, ninguno o algunos.
As la proposicin:
se traduce a su equivalente
Resumen:
Constantes individuales: a, b, c, d, . . . , n, representan individuos determinados
del universo del discurso.
Variables individuales: x, y, z, representan individuos indeterminados del universo
del discurso.
Variables predicativas: son las primeras letras iniciales maysculas de la palabra principal
del predicado, y representan a las propiedades que se atribuyen a los individuos del
universo del discurso.
Cuantificador universal: (x), representa al cuantificador universal todo o todos.
Cuantificador existencial o particular: (x), representa al cuantificador algn o
algunos.
EJERCICIOS
Vocabulario primitivo:
que se lee como (b), y, tambin: Para todo x, H de x implica M de x. Observa que es
necesario el parntesis de la implicacin para que el cuantificador alcance al antecedente y al
consecuente.
Sea la proposicin:
Vocabulario primitivo:
216
Luego, (b) se puede escribir as:
Sea la proposicin:
Vocabulario primitivo:
Sea la proposicin:
Vocabulario primitivo:
217
(x): Existe, al menos, un x
Lx: x es letra.
Vx: x es vocal.
Todas las proposiciones CFT pueden ser negadas, y su simbolizacin s variar porque
delante de sus respectivos cuantificadores se escribir el negador.
Vocabulario primitivo:
Todos los que pueden presentar el examen son los alumnos presentes,
EJERCICIOS
219
Simbolizar las siguientes proposiciones categricas definiendo el vocabulario
primitivo y traduciendo a preposiciones CFT las que no lo requieran (objetivo 12.2)
Vocabulario primitivo:
Su simbolizacin es:
220
que todas las proposiciones tienen que ser categricas de forma tpica, y que la primera
premisa es la mayor.
Sea, por ejemplo, el silogismo de forma no tpica sigu.iente:
Ningn mdico es juez, pues todos los mdicos son profesionales de la salud y ningn
juez es profesional de la salud.
Observa el orden de las premisas. La primera es la premisa mayor que es la que contiene
el trmino mayor, el cual es predicado de la conclusin, es decir, contiene el trmino juez.
La simbolizacin, ahora, es rutinaria:
Vocabulario primitivo:
Mx: x es mdico.
Sx: x es profesional de la salud.
Jx: x es juez.
Su simbolizacin es:
Observa que todas las proposiciones son categricas de forma tpica y que las premisas
han cambiado de orden porque la premisa mayor es la primera.
Su simbolizacin es obvia:
Vocabulario primitivo:
Tx: x es triunfador.
Ex: x es esforzado.
Zx: x es zuliano.
221
Luego,
(x) (Tx Ex)
(x) (Zx Tx)
(x) (Zx Ex)
AUTOEVALUATIVO 9
(1) Todos los artistas son personas exigentes y, adems, algunos artistas son insolentes;
luego, algunas personas insolentes son personas exigentes.
(2) Ningn poltico es idealista y los mrtires son idealistas; luego ningn poltico es mrtir.
(3) Algunas propuestas son grandes ideales, ya que algunas propuestas son compromisos
sociales y todos los compromisos sociales son grandes ideales.
(4) Ningn estudiante de esta seccin es profesional, pues todos los estudiantes de esta
seccin son principiantes universitarios y ningn principiante universitario es profesional.
(5) Algunos abogados no son jueces, puesto que ningn irresponsable es juez y algunos
abogados son irresponsables.
(6) Todos los animales son irracionales; luego, ningn irracional es responsable, ya que
ningn responsable es animal.
(7) Algunos atletas son buenos polticos, ya que todos los buenos polticos son grandes
servidores pblicos y algunos atletas son grandes servidores pblicos.
(8) Ningn reptil es mamfero, puesto que el mamfero es animal de sangre caliente y ningn
reptil es animal de sangre caliente.
(9) Las pinturas originales son caras, porque las pinturas originales son di~ciles de obtener y
las pinturas caras son difciles de obtener.
(10) Ningn profesor es fantico, puesto que ningn profesor es una persona de mente
cerrada y slo las personas fanticas son personas de mentes cerradas.
(11) Ningn idealista es corrupto; luego ningn idealista es mentiroso, ya que slo las
personas corruptas son mentirosas.
(12) Algunos griegos son filsofos y slo los reflexivos son filsofos. Por tanto, algunos
griegos son reflexivos.
(13) Algn cientfico es artista, puesto que slo las personas dedicadas son cientficos y
algunas personas dedicadas son artistas.
(14) Algunos griegos no son perversos, puesto que algunos griegos son sabios y nadie que
sea sabio es perverso.
(15) Slo las personas objetivas son cientficos; slo los responsables son objetivos. Por lo
tanto, todos cientficos son responsables.
(16) Ninguna persona desleal es confiable y todas las personas no-confiables son personas
no-transparentes; en consecuencia, slo las personas leales son transparentes.
222
2. MTODO DEMOSTRATIVO DE VALIDEZ Y REGLAS DE INFERENCIA
13.2. Dada una demostracin de un razonamiento, justificar cada uno de sus pasos
sealando la regla aplicada correspondiente.
INTRODUCCION
Para poder construir las demostraciones formales de validez de los .silogismos dentro
de la lgica de predicados tenemos que ampliar nuestro repertorio con cuatro nuevas reglas
de inferencia. La comprensin de estas cuatro reglas requiere la explicacin de funcin
proposicional, de ejemplo de sustitucin y de las condiciones requeridas para que los
cuantificadores universales y existenciales sean verdaderos.
Su simbolizacin es:
(b) Ca
223
Tanto (a) como (b) son proposiciones, una en castellano y la otra en la lgica de
predicados (a).
(c) x es cientfico.
(d) Cx
Las expresiones (c) y (d) son funciones proposicionales. Para nuestro propsito nos
referiremos slo a la expresin (d). Como toda funcin proposicional est constituida por una
variable predicativa y una variable individual, para convertir Cx en proposicin se puede
lograr de dos modos: uno, sustituyendo la variable individual x por una constante individual
como a, dando como resultado Ca; dos, cuantificndola, sea universal o existencialmente,
dando las siguientes proposiciones: (x) Cx y (x) Cx.
Una funcin proposicional es, pues, una expresin constituida por variables
predicativas y variables individuales, y que, al sustituir las variables individuales por
constantes individuales o al cuantificarlas con cualquiera de los dos cuantificadores, se
constituyen en proposiciones.
2.2..Ejemplo de Sustitucin
Si decimos, refirindonos a las tres nicas personas que sostienen una conversacin:
Jorge, Ana y Luis: Todos son ingenieros, obviamente, se est afirmando que: Jorge es
ingeniero, Ana es ingeniero y Luis es ingeniero. Cada una de las tres proposiciones
singulares anteriores es un ejemplo de sustitucin de la proposicin universal: Todos son
ingenieros.
Expresado lo anterior en la lgica de predicados tendramos lo siguiente:
Vocabulario primitivo:
Ix: x es ingeniero
a: Jorge
B: Ana
C: Luis.
Ia, Ib, y Ic son ejemplos de sustitucin de (x) Ix. Los ejemplos de sustitucin se
pueden dar en las proposiciones universales y particulares, y consiste en atribuir a uno o a
varios individuos concretos la propiedad asignada a todos o a algunos de los individuos del
universo del discurso respectivo.
224
La cuantificacin universal de una funcin proposicional es verdadera si, y slo si
todos sus ejemplos de sustitucin son verdaderos. Es falsa cuando, al menos uno de sus
ejemplos de sustitucin es falso.
En efecto, sea la cuantificacin universal siguiente:
(x) Px.
Es decir, Todos los individuos, x tienen la propiedad P. Para que esta proposicin
sea verdadera es necesario que todos sus ejemplos de sustitucin sean verdaderos, pues la
cuantificacin universal de una funcin proposicional equivale a la CONJUNCIN de todos
sus ejemplos de sustitucin, y basta que uno de sus argumentos sea falso para que la
conjuncin, lo sea. Aplicado esto a nuestro ejemplo tendramos:
(x) Px = Pa Pb Pc ... Pn
donde pa, pb, pc,... pn son todos los ejemplos de sustitucin. Para que el segundo
miembro de la igaldad sea verdadero, de acuerdo a las reglas del conjuntor, todos los
ejemplos de sustitucin tienen que ser verdaderos. Es suficiente que uno de ellos sea falso
para que la conjuncin total sea falsa.
La cuantificacin existencial de una funcin proposicional es verdadera si, al menos,
uno de sus ejemplos de sustitucin es verdadero, y falsa si todos sus ejemplos de sustitucin
son falsos. En efecto, la cuantificacin existencial de una funcin proposicional equivale a la
disyuncin de todos sus ejemplo de sustitucin, es decir:
(x)Px = Pa Pb Pc Pn
225
La ejemplificacin universal quiere decir que de una proposicin universal (x) Ix, se
puede deducir o bien un ejemplo de sustitucin con un individuo arbitrariamente escogido del
universo del discurso, Y, o bien con cada uno de los individuos determinados del universa
del discurso, Pa, Pb, Pc....
(x) Px
Pa
226
2.4.4. Generalizacin Existencial (GE)
De lo que se predica de un individuo, por ejemplo, de Robert Smith, afirmando: Robert
Smith es extranjero en el universo del discurso constituido por los alumnos de la
Universidad del Zulia, se puede inferir la proposicin:
Pa
(x ) Px
a) (x) Px b) (x) Px
P Pa
Observaciones:
Restriccin para el uso de la GU. El ejemplo de sustitucin de un individuo cualquiera
escogido arbitrariamente tiene que provenir de la aplicacin de la EU a una proposicin
universal.
Restriccin para el uso de la EE. El ejemplo de sustitucin deducido tiene que hacerse
con una constante individual que no haya aparecido antes. Eso significa que en una
demostracin formal de validez de razonamientos donde sea necesario utilizar tanto la EU
como la EE, esta ltima debe utilizarse primero.
Una ltima observacin. La aplicacin de las cuatro reglas de inferencia introducidas
pueden efectuarse tambin con proposiciones que contengan dos o ms predicados. Por
ejemplo, a la proposicin (x) (Px Rx) se puede aplicar la regla de ejemplificacin
universal para obtener P R' o, segn el caso, Pa Ra.
227
Pasamos a resolver los siguientes ejercicios
EJERCICIOS:
(1) Los ngulos internos de un triangulo cualquiera valen 180, por tanto los ngulos
de TODOS los tringulos son iguales a 180.
(2) El pelotero venezolano Luis Aparicio est en el saln de la Fama, por lo tanto,
algn pelotero venezolano est en el Saln de la Fama.
(3) Todas las circunferencias suman 360, luego la circunferencia A suma 360.
(4) Los husos horarios suman 15, luego cualquier hoso horario escogido al azar suma
tambin 15.
(5) Algunos alumno de la Universidad del Zulia proceden del estado Tchira, luego,
al menos, uno de los alumnos de la Universidad del Zulia procede del Tchira.
(6) P implica (x) Px.
(7) Pa implica (x) Px.
(8) (x) Px implica Pa.
(9) (x) Px implica Pa.
(10) (x) Px implica P.
Primer razonamiento.
Todos los griegos son mortales
Scrates es griego.
Luego, Scrates es mortal.
Vocabulario primitivo:
a: Scrates
Gx: x es griego
Mx: x es mortal.
En smbolos, es:
En la lnea 3 hemos aplicado la opcin (b) de la regla de EU, por cuanto en la premisa
(2) el razonamiento se refiere a un individuo determinado, Scrates, del universo del
discurso. La lnea 4 es obvia.
Segundo razonamiento:
Todos los jueces son abogados.
Todos los magistrados de la Corte Suprema son jueces.
Por tanto, todos los magistrados de la Corte Suprema son abogados.
Vocabulario primitivo
Jx: x es juez
Ax: x es abogado
Mx: x es magistrado de la Corte Suprema.
En smbolos, es as:
(x) (Jx Ax)
(x) (Mx Jx)
(x) (Mx Ax)
Tercer razonamiento:
Todos los filsofos son reflexivos.
Algunos zulianos son filsofos.
Luego, algunos zulianos son reflexivos.
229
Vocabulario primitivo:
Fx: x es filsofo.
Rx: x es reflexivo.
Zx: x es zuliano.
Hasta ah se podra seguir ya que del no se puede aplicar el MPP en las filas 3 y 4,
puesto que el antecedente de (3), Fa, es distinto de la lnea (5), Fb. Por eso, siempre que se
tengan que aplicar las reglas de EU y EE, sta ltima debe aplicarse primero.
Las filas 5, 6, 7 y 8 se obtienen, como se indica en la demostracin, con las reglas
anotadas. En la fila 9 introducimos por primera vez la aplicacin de la regla de GE.
Para indicar la necesidad de la restriccin de EE me voy a referir a un razonamiento
obviamente invlido que, aunque vanal y absurdo, es sumamente ilustrativo al respecto. El
razonamiento es ste:
230
Demostrar: (x)(Zx Cx)
1. (x) (Zx Rx) P
2. (x) (Cx Rx) P
3. Za Ra EE 1
4. Ca Ra EE 2 (errneo)
5. Za Simp. 3
6. Ca Simp. 4
7. Za Ca Conj. 5, 6
8.(x)(Zx Cx) GE 7
El error aparece en la lnea (4). Por la segunda premisa, (x) (Cx Rx), sabemos
que hay, al menos, una persona que es caraquea y al mismo tiempo es responsable. Si
pudiramos asignarle la constante individual a, podramos afirmar, obviamente, Ca Ra.
Pero no nos es permitido hacer esa asignacin, pues en la fila (3) ya ha servido como
constante individual para un zuliano. Para evitar estos errores tenemos que tener siempre en
cuenta la restricciones de EE, y por tanto, en toda demostracin en que se requieran tanto el
uso de EE como de EU, EE debe utilizares siempre primero.
Pasemos a resolver los siguientes ejercicios
EJERCICIOS:
Justifica cada una de las filas de la demostracin de las siguientes formas de
silogismos de forma tpica (objetivo 13.2)
(1) Demostrar: (x) (Gx Px)
(1) (Hx Px) P
(2) (x) (Gx Hx) P
(3) G H
(4) H P
(5) G P
(6) (x) (Gx Px)
(2) Demostrar: (x) (Gx Sx)
(1) (x) (Fx Sx) P
(2) (x) (Gx Fx) P
(3) Ga Sa
(4) Fa Sa
(5) Fa
(6) Sa
(7) Ga
(8) Ga Sa
(9) (x) (Gx Sx)
(3) Demostrar: (x) (Mx Gx)
(1) (x) (Hx Mx) P
(2) (x) (Hx Gx) P
(3) Ha Ga
(4) Ha Ma
(5) Ha
(6) Ma
(7) Ga
(8) Ma Ga
(9) (x) (Mx Gx)
(4) Demostrar: (x) (Gx Mx)
231
(1) (x) (Hx Mx) P
(2) (x) (Gx Hx) P
(3) G H
(4) H M
(5) G M
(6) (x) (Gx Mx)
A. Demostrar la validez de las siguientes formas de los silogismos CFT m~iante el mtodo
demostrativo (objetivo 13.3.).
(1) Demostrar la validez de los silogismos CFT No. 1, 2, 3, 4, 5, 6, 7, 8, 10, 11, 13, 14 y 15
de la autoevaluacin de las pginas 11 y 12.
(2) Demostrar la validez de los silogismos CFT de los No. 1, 4 y 5 de la autoevaluacin de la
pgina 24.
(3) Demostrar la validez de los silogismos CFT No. 1, 2 y 3 de la autoevaluacion de la pgina
C. Construye en castellano dos silogismos CFT a partir de las siguientes formas lgicas,
determinando el contenido y definiendo su vocabulario primitivo. P, Q, y R, representan
cualquier predicado. (objetivo 13.4.).
(4) (x) (Px Rx)
(1) (x) (Px Qx) (x) (Qx Px)
(x) (Qx Rx) (x) (Qx Rx)
(x) (Rx Px)
232
Muy bien hemos concluido con el estudio de la unidad III, ahora te
Invitamos a corroborar los resultados de los ejercicios en el ciclo de respuestas,
Pasa a la pgina siguiente. XITO
RESPUESTAS
A. LGICA TRADICIONAL
Su esquema: Todo S es P.
Por tanto, es universal afirmativa (Tipo A).
(20) Alguien de la clase puede no estar de acuerdo con la explicacin del profesor.
Es una proposicin categrica de forma no tpica.
Traduccin a su forma tpica: Algunos alumnos de la clase no son personas que
S
pueden estar de acuerdo con la explicacin del profesor.
P
Su esquema: Algn S no es P.
Por tanto, es particular negativo (Tipo O).
Su esquema: Todo S es P.
Por tanto, es universal afirmativa (Tipo A).
234
Ejercicios: Pgina 1 5 Cuadro Tradicional de Oposicin
(1) De E infiero las negaciones de I, la proposicin 0 y la negacin de A.
Las proposiciones inferidas son:
a) Es falso que algn ciego pueda guiar a otro ciego.
b) Algunos ciegos no pueden guiar a otros ciegos.
c) Es falso que los ciegos puedan guiar a otros ciegos.
AUTOEVALUATIVO 9: Pgina: 18
(2) Su esquema: Algn S es P (tipo I).
De ella se puede inferir vlidamente:
* Por negacin de la contradictoria: Es falso que ningn matemtico famoso haya sido
filsofo.
* Por conversin: Hay filsofos que han sido matemticos famosos.
* Por obversin: Hay matemticos famosos que no han sido no-filsofos.
Algn M no es P
Todo M es S
Algn S no es P
Su modo: OAO
Su figura: MP
MS
SP
Su modo: AEE
Su figura: PM
SP
SP
Nota: Las respuestas del ejercicio (A3) y del ejercicio B consltalas con tu asesor y aclara
cualquier duda.
(4) Su esquema:
Todo M es P
Algn M es S
Algn S es P
(7) Su esquema:
Todo M es P
Algn S es M
Algn S es P
Modo y figura: AII- 1
Luego, es DARII y, por tanto, vlido.
(8) Su esquema:
Todo P es M
Todo S es M
Todo S es P
Modo y figura: AAA-2
No hay ninguna forma vlida correspondiente, luego, no es vlido.
(9) Su esquema:
Todo P es M
Ningn S es M
Ningn S es P
Modo y figura: AEE-2.
Luego, es CAMESTRE y, por tanto, vlido.
Su estructura: Algn M es P
Todo S es M
Algn S es P
Su estructura: Ningn M es P
Todo S es M
Ningn S es P
Para obtener la premisa menor, primero se sustituy invlido por su sinnimo no-
vlido, y segundo se aplic la inferencia por obversin.
Su estructura: Ningn M es P
Todo S es M
Ningn S es P
238
No-imitada por original. No-baratas por caras.
No-fciles por dificiles.
Su estructura : Todo M es P
Todo S es M
Todo S es P
(2) Todos los alumnos que estudien bien la materia son alumnos que responden bien el
examen ( proposicin faltante ).
Ningn alumno es un alumno que responde bien el examen.
Por tanto, ningn alumno es un alumno que entienda bien la materia.
239
(3) Todas las personas reflexivas y estudiosas son el porvenir de la sociedad ( proposicin
faltante ).
Algunos estudiantes son personas reflexivas y estudiosas.
Por tanto, algunos estudiantes son el porvenir de la sociedad.
(6) Todos los polticos cuyas riquezas provienen de lo que ganan son hombres honestos
(proposicin faltante).
Algunos polticos son polticos cuyas riquezas provienen de lo ganado.
Por tanto, algunos polticos son honestos.
C. PRUEBA DE VALIDEZ
Grfico
Grfico
241
(4) Tipo A: Todo S es P
Grfico
Las respuestas de (3) y (5) consltalas con tu asesor o con algn compaero
Las respuestas de (3), (4), (5) y (6) debers confrontarlas con algn compaero O
consultarlas con tu profesor.
C. LGICA DE PREDICADOS
243
(7) Equivale a la proposicin: Todos los triunfadores son trabajadores.
Vocabulario primitivo: Tx: x es triunfador.
Rx: x es trabajador (la R es la segunda letra de trabajador, se
utiliza porque la T ya est utilizada para triunfador).
244
(x ) (Px Ix)
(16) Este silogismo tiene cinco trminos, luego para traducirlo a silogismos de Forma
Tpica hay que reducirla a tres. Para ello la premisa mayor: Ninguna persona desleal es
confiable se transforma por conversin en: Ninguna persona confiable es desleal, y sta,
a su vez, por obversin se convierte en: Toda persona confiable es leal. A la premisa
245
menor: Todas las personas no-confiables son personas no-transparentes, se le aplica,
primero, la obversin y, as, se obtiene: Ninguna persona no-confiable es transparente;
segundo, a sta se le aplica la conversin convirtindose en : Ninguna persona
transparente es no-confiable; y, tercero, se aplica nuevamente la obversin y se convierte
en: Toda persona transparente es confiable. Finalmente, la conclusin: Slo las personas
leales son transparentes, equivale a: Todas las personas transparentes son leales.
Luego, el silogismo de forma tpica es ste:
Toda persona confiable es leal.
Toda persona transparente es confiable.
Por tanto, todas las personas transparentes son leales
Forma lgica:
(x) (Cx Lx)
(x) (Tx Cx)
(x) (Tx Lx)
Nota: Observa que la regla de EE fue aplicada antes de la EU. Razn: si se hubiera
utilizado primero la regla de GLl, al aplicar la regla de EE el ejemplo de sustitucin no
podra realizarse con la misma constante individual debido a la restriccin de la regla EE
que dice que el ejemplo de sustitucin slo puede hacerse con una constante individual que
no haya aparecido antes en la demostracin.
247
(x) (Cx Ix)
Silogismos:
Algunos estudiantes no son responsables.
Todos los estudiantes son marabinos.
Por tanto, algunos marabinos no son responsables,
248
BIBLIOGRAFIA
249
250