Professional Documents
Culture Documents
PRESENTACIN
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
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
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).
4. Se espera que seas honesto contigo mismo y soluciones por tu propia cuenta los
ejercicios y las autoevaluaciones antes de revisar las respuestas, las cuales encontrars
al final del material instruccional de esta Unidad; algunas de ellas estn sin contestar
para que las consultes con tu asesor y aclares tus dudas.
5. Asegrate haber logrado el dominio de los conceptos fundamentales.
6. Para la realizacin de los ejercicios de control y las autoevaluaciones te
recomendamos el uso de un cuaderno. En l podrs ir anotando las correcciones que
surjan al confrontar tus respuestas con las de tus compaeros o con las aclaratorias
que te formule el asesor.
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
UNIDAD
UNIDAD I:
LGICA Y
LENGUAJE
TEMA
OBJETIVOS
TERMINALES
B. EL RAZONAMIENTO
C. RAZONAMIENTOS
FALACES
4. En un conjunto de razonamientos
falaces, sealar que tipo de falacia
se ha cometido y porqu es un
razonamiento falaz.
D. LENGUAJES
NATURALES Y
CIENTFICOS
UNIDAD
UNIDAD I:
LGICA Y
LENGUAJE.
UNIDAD II:
LGICA
PROPOSICIONAL
UNIDAD III:
SILOGSTICA:
ENFOQUE
TRADICIONAL Y
MODERNO
TEMA
OBJETIVO
VALOR
TERMINAL PORCENTUAL
6%
B. El razonamiento.
2
3
5%
5%
C. Razonamientos falaces.
6%
D. Lenguajes naturales y
cientficos.
4%
A. Formas lgicas.
10%
B. Prueba de validez.
10%
C. Demostracin de
validez.
12%
A. Lgica tradicional.
9
10
4%
6%
B. Prueba de validez.
11
10%
C. Lgica de predicados.
12
13
10%
12%
ESQUEMA DE CONTENIDO
Presentacin.
Introduccin.
Propsitos Generales de la Asignatura.
Objetivos Generales de la Asignatura.
Recomendaciones para el Aprendizaje.
Esquema de Contenido.
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
Lecturas Complementarias
Respuestas
Bibliografa
ndice
INTRODUCCION
11
12
EJERCICIOS
En las siguientes expresiones, determina la funcin que cumplen y explique el porqu. Luego
compara tus respuestas
13
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).
(4) Para lograr la consistencia de la bechamel, se deber verter muy lentamente la
leche, previamente calentada, y mezclarla con la harina, sin dejar de revolver
constantemente, hasta que espese...
Ver las Respuestas
15
16
Resumiendo:
Para expresar, en forma neutral, la funcin informativa de cualquier discurso,
debemos:
(i) Determinar la forma del discurso, su funcin principal y las funciones secundarias
(tal como lo hicimos en el ejercicio anterior).
(ii) Detectar las palabras que tengan una carga emotiva para descartarlas.
(iii) Ubicar los trminos que se refieren a objetos y hechos. Estos nos remiten al
asunto tratado.
(iv) Construir varias oraciones declarativas equivalentes, lo ms simples posible, que
expresen exactamente la informacin objetiva.
(v) Escoger aqulla que nos parezca ms fra y neutral, es decir, la que tenga menos
carga emotiva.
17
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
l. LA PROPOSICIN
Sealbamos en el objetivo anterior la importancia que tiene para la lgica extraer la
funcin informativa del lenguaje y expresarla en forma de oraciones declarativas, respecto de
las cuales se pueda establecer sin ambigedad su verdad o falsedad.
Aqu debemos hablar brevemente de la oracin declarativa y la proposicin. Las
oraciones declarativas son juicios mediante los cuales informamos algo del mundo real o
imaginario; es decir, afirmamos o negamos un enunciado. Ahora bien, si de esta informacin
podemos determinar inequvocamente su verdad o falsedad, decimos que la oracin expresa
una proposicin, o sencillamente que es una proposicin.
De aqu concluimos que no todas las oraciones o juicios declarativos expresan una
proposicin, sino slo aquellos que puedan ser verificados objetivamente.
Es obvio, entonces, que la lgica se interese por las proposiciones y que stas sean la
unidad de anlisis del discurso lgico.
Veamos en los siguientes casos:
(a) Perdonad y seris perdonados.
(b) La capa de ozono se deteriora progresivamente.
(c) El SIDA es un castigo de Dios.
(d) Los nmeros pares son divisibles por dos.
(e) Acaba de llegar tu suegra.
(f)Los ricos no entrarn en el Reino de los Cielos.
(g) Existe vida inteligente fuera de la tierra.
(h) Si los polticos fueran honestos!
Los enunciados (a) y (h) tienen forma imperativa y exclamativa respectivamente, a
ellos corresponden igualmente las funciones directiva y expresiva; por lo tanto no son juicios
declarativos, ni expresan una proposicin.
Por otra parte, los enunciados (c) y (f) tienen forma declarativa y funcin informativa,
pero se refieren a realidades espirituales que caen fuera del campo de la comprobacin
objetiva, dependen de las creencias de cada uno y, por lo tanto, no pueden ser verificados.
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.
21
22
Las proposiciones compuestas son aqullas de las cuales se pueden obtener otras
proposiciones ms simples. Por ejemplo:
(e) Frege fue un lgico y Coprnico fue un gran astrnomo.
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:
(f) Jess E. Lossada no fue rector de la Universidad del Zulia.
ya que de ella se puede obtener la proposicin ms simple: Jess E. Lossada fue rector de la
Universidad del Zulia.
23
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.
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
En un texto cualquiera podemos estar simplemente informando, relatando, presentado
los hechos, sin que haya un flujo o conexin desde unas afirmaciones o proposiciones a otras;
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:
(a) Todos los lenguajes tienen sintaxis.
Sin duda, el way es un lenguaje.
Luego, el way tiene sintaxis.
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.
Qu es, pues, un razonamiento?.
Un razonamiento es un conjunto de proposiciones vinculadas entre s de tal manera
que, mediante un acto mental, una de ellas (la conclusin) se desprende de las otras
(premisas).
Resumiendo:
Un conjunto de proposiciones vinculadas de tal manera que, la proposicin final
(conclusin) se desprende de las proposiciones iniciales (premisas), obteniendo un
conocimiento nuevo que rebasa el expresado en las premisas.
Este paso lgico de las premisas a la conclusin es lo que llamamos inferencia. As
pues, las caractersticas de un razonamiento son:
(i) Est formado por un conjunto de proposiciones: premisas y conclusin.
(ii) Los trminos de las premisas estn vinculados entre s.
(iii)La mente se percata de ese nexo e infiere (obtiene) la conclusin.
25
26
27
28
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).
Ver las Respuestas
Para reafirmar este punto, sumamente importante,
te presentamos otra serie de ejercicios
EJERCICIOS
Determina las premisas y las conclusiones de los siguientes razonamientos.
(1) Si hay rectitud en el corazn, habr belleza en el carcter; si hay belleza en el
carcter, habr armona en el hogar; cuando haya armona en el hogar, habr orden en
la nacin; cuando haya orden en la nacin, habr paz en el mundo. Por tanto si hay
rectitud en el corazn, habr paz en el mundo.
(2) El oxgeno tiene 16 como peso atmico y el peso atmico de un elemento expresa
la relacin que existe entre el peso real del tomo correspondiente y el peso real de un
tomo de hidrgeno, al cual se le ha asignado un peso atmico de 1; luego, esto quiere
decir que el oxgeno pesa 16 veces ms que el tomo de hidrgeno.
(3) Minkowski denomina punto del universo a un punto determinado del espacio en
un tiempo o instante determinado, [...]; y una secuencia de semejantes puntos del
universo espacio-temporales, en la que el espacio y el tiempo estn ensamblados entre
s en todos sus puntos, es una lnea del universo; de ah que una lnea el universo
sea la historia continua de un individuo existente en el espacio-temporal generada por
una existencia individual (Marx W. Wartofsky, Introduccin a la Filosofa de la
Ciencia).
(4) Dado que fuerza es toda causa de provocar o modificar el movimiento de un
cuerpo, o de producir su deformacin; y que si soltamos un peso que tenemos en la
30
31
Resumiendo:
El razonamiento inductivo es una operacin lgica discursiva por la cual de la
suficiente observacin de cosas particulares se llega a una generalizacin legtima; aunque no
necesariamente verdadera, sino slo probable.
En esta definicin hay una expresin que determina el grado de valor de la misma:
suficiente nmero de casos, esto es, un nmero de casos que me Induzca a afirmar que el
fenmeno no se debe a circunstancias externas al mismo, sino a su misma estructura.
Cuando los fenmenos observados son puramente externos y fortuitos la induccin es
arriesgada cientficamente. A este respecto el Profesor Ernesto Dann O. anota: "Un mdico
quiere probar una inyeccin en un tuberculoso que, abatido, desanimado, no quiere
alimentarse y, junto con la receta, le suministra "inyecciones psicolgicas" de optimismo; el
enfermo cobra una fe ciega en la medicina nueva, su moral se levanta, empieza a salir de su
cuarto a oxigenarse, y consigue despertar su apetito, come ms. Por fin el enfermo presenta
un cuadro satisfactorio, podr decir el mdico que el efecto se debe a la inyeccin? (Cf Dann
O. Ernesto, Lgica, pg. 200).
Evidentemente que no, pues no hay seguridad de s la curacin se debe a la inyeccin
(medicina) o a esa otra inyeccin psicolgica fenmeno externo y fortuito.
5.2. Razonamiento Analgico
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:
A, B, C, y D tienen en comn los aspectos a, b, c, y d.
A, B y C tienen en comn el aspecto e.
Por tanto, D tiene tambin el aspecto e.
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.
Segundo, la analoga se usa tambin en la explicacin. A veces una cosa difcil o
menos familiar se compara con otra ms familiar o ms fcil con la que tiene alguna
similitud. Por ejemplo, para empezar a entender la corriente elctrica un profesor de fsica
podra empezar comparndola con la corriente de un ro. Esta comparacin de algo conocido
le permite establecer semejanzas: el cauce con el cable que conduce la corriente elctrica, el
agua con los fotones, la cantidad de agua con el amperaje, la fuerza del agua con el voltaje,
etc. Esta analoga, entre el ro y la corriente elctrica, slo pretende explicar algunos aspectos
de la corriente elctrica aprovechando algunas similitudes entre una cosa familiar (el ro) y
una menos familiar (la corriente elctrica).
Resumen de las caractersticas de un razonamiento analgico:
(i) Su conclusin es probable.
(ii)Su conclusin no se sigue necesariamente de las premisas.
(iii)Las similitudes entre los aspectos de dos o ms cosas no juegan todos el mismo
papel: unos, cumplen la funcin de premisas, y otros el de conclusin.
33
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.
5.3. Razonamiento Deductivo
En el razonamiento deductivo, en general, se pasa de un grado mayor de
generalizacin en las premisas a un grado de generalizacin menor en la conclusin. Adems,
en los razonamientos deductivos se pretende que la conclusin se siga necesariamente de las
premisas, esto es, que no pueda darse otra conclusin, por lo cual los antiguos decan que la
conclusin de un razonamiento deductivo est incluida en las premisas. Consecuencia de lo
anterior es que la conclusin de un razonamiento deductivo es verdadera o falsa, no tiene
grados de probabilidad, como en la del razonamiento inductivo.
En el siguiente razonamiento deductivo podremos verificar las caractersticas
sealadas anteriormente.
(a) Todos los hidrocarburos son combinaciones orgnicas (premisa).
Algunos hidrocarburos son gases (premisa).
Por tanto, algunos gases son combinaciones orgnicas(conclusin).
Observa, primero, que el grado de generalizacin de la conclusin es inferior al de las
premisas. En efecto, se pasa de "todos los hidrocarburos" en las premisas, a "algunos gases"
en la conclusin. Segundo, la conclusin se sigue necesariamente de las premisas, pues
cualquiera que sepa razonar correctamente, aunque no sepa nada de qumica, con slo esas
dos premisas dadas obtiene la conclusin anotada. La conclusin se sigue con necesidad de
las premisas, no necesito de la experiencia para ello. Tercero, la conclusin es verdadera, esto
es, no hay grados de probabilidad en la misma.
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
37
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):
Todos A son B
Formas de Razonamiento
Todos B son C
razonamiento
______________________
por tanto, Todos A son C
(a) y (b)
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.
39
40
41
De ah que de los razonamientos se dice slo si son vlidos o no, nunca si son
verdaderos o falsos.
II. Determinar si los razonamientos son vlidos o no, de acuerdo a los siguientes datos:
(1) Las premisas y la conclusin son verdaderas.
(2) La conclusin es verdadera.
(3) Es imposible que las premisas sean verdaderas y la conclusin sea falsa.
(4) La forma del razonamiento es vlida.
(5) La conclusin est contenida en las premisas.
(6) La conclusin se sigue necesariamente de las premisas.
(7) La forma del razonamiento es vlida y sus premisas falsas.
(8) La forma del razonamiento es vlida y su conclusin es falsa.
(9) El razonamiento es vlido por su contenido.
(10) Es posible que las premisas sean verdaderas y la conclusin falsa.
Ver las Respuestas
42
C. RAZONAMIENTOS FALACES
OBJETIVO TERMINAL 4: En un conjunto de razonamientos falaces, sealar qu
tipo de falacia se ha cometido y el porqu es un razonamiento falaz.
Para ello debers lograr los siguientes OBJETIVOS ESPECFICOS:
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.
La falacia, en el sentido lgico, es un tipo de razonamiento incorrecto pero
psicolgicamente persuasivo; es un razonamiento que PARECE correcto, pero resulta, una
vez analizado cuidadosamente, que no lo es. Las falacias suelen clasificarse en dos grupos:
las formales y las no formales. En este captulo slo nos referiremos a las no formales, por
cuanto para explicar las formales necesitamos conocer ciertas estructuras de deduccin
vlidas que no conocemos todava, y que estudiaremos ms adelante.
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
Las falacias de atinencia (o atingencia) tienen como caracterstica comn el hecho de
que sus premisas carecen de ATINENCIA LGICA con la verdad o falsedad de las
conclusiones que quieren establecer, es decir, no hay una relacin lgica entre lo expresado
en las premisas y la conclusin que se pretende desprender de ellas.
La atingencia existente es, generalmente, PSICOLGICA, la cual hace que el
razonamiento tenga una correccin aparente y sea persuasivo.
Es frecuente, en personas que no son cuidadosas en el uso del lenguaje, confundir la
atingencia lgica con la psicolgica, puesto que con la apariencia de un uso informativo del
lenguaje se hace uso de locuciones expresivas que fcilmente conducen a cometer esa clase
de razonamientos incorrectos. Hay inatingencia lgica, por ejemplo, cuando, para argumentar
en favor de una legislacin sobre la descentralizacin de la educacin, un senador se refiere a
las bondades de esa descentralizacin. No hay atingencia lgica con respecto al tema que se
est analizando. Una cosa es enumerar las ventajas de la descentralizacin de la educacin, y
otra muy distinta determinar las medidas concretas para que sta se lleve a feliz
cumplimiento. En ese discurso no hay atinencia lgica, hay, en tal caso, atinencia psicolgica.
Cul es el mecanismo utilizado por este senador? Primero, lograr una actitud de aprobacin
para s y para lo que dice; y, segundo, transferir esta aprobacin a la legislacin propuesta.
Evidentemente, esta transferencia, si se logra, se hace ms por asociacin psicolgica que por
atinencia lgica. A continuacin nos referiremos a las principales falacias de atingencia.
l.l. Argumentum ad Baculum (apelacin a la fuerza)
43
44
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.
1.6. Argumentum ad Verecundiam (apelacin a la autoridad)
Se comete esta falacia cuando se apela al sentimiento de admiracin y respeto que
siente la gente por determinadas personas famosas para apoyar o ganar asentimiento a una
conclusin. La apelacin a la autoridad de estas personas, para que sea falacia, tiene que ser
en cuestiones que no sean de su especialidad. Por ejemplo, apelar a la opinin del famoso
futbolista Pel para zanjar una huelga laboral en su pas; o apelar a las opiniones de una reina
de belleza para probar las bondades de las medidas econmicas de un pas, seran ejemplos de
esta falacia.
Este argumento no es falaz si se apela a una celebridad reconocida en un rea de su
competencia para apoyar una proposicin determinada. Si una conversacin entre no expertos
versa sobre la contaminacin ambiental y uno de ellos apela al testimonio de un especialista
en la materia como el capitn Cousteau, indudablemente, este testimonio es vlido para
reforzar su posicin.
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.
1.7. La Causa Falsa
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
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
2. FALACIAS DE AMBIGEDAD
Las falacias de ambigedad se presentan en contextos donde aparecen palabras o
frases ambiguas, cuyo significado cambia sutilmente a lo largo del mismo. Estas son las
principales 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.
Aqu la palabra democracia tiene dos significados, la primera se refiere a la
democracia ideal; la segunda a la pseudodemocracia de nuestro pas; de ah que lo expresado
sea un equvoco.
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:
El gobierno explic la conveniencia de aceptar algunas recomendaciones del Fondo
Monetario Internacional despus de una reunin con los representantes de ste a
travs de los medios de comunicacin.
Esta comunicacin es anfibolgica porque la frase a travs de los medios de
comunicacin se puede interpretar de dos maneras: una, que el gobierno, a travs de los
medios de comunicacin, explic...; dos, que la reunin del gobierno y los representantes del
FMI se hicieron a travs de los medios de comunicacin.
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:
(a) No debemos desobedecer a NUESTROS PADRES
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.
En algunas publicaciones, como los peridicos sensacionalistas, para atraer la
atencin mediante sus ttulos, destacan algunas partes que, consideradas fuera del contexto,
pueden cambiar su significado. Por ejemplo, uno de estos peridicos puede poner como
principal ttulo en su primera pgina:
(b) Devaluacin del Bolvar
y en el texto, en tipo de imprenta mucho menor puede decirse:
"Es lo que quiere la oposicin, afirm el representante del gobierno ".
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.
Esta forma de falacia de composicin, aunque semejante a la primera, es, sin
embargo, distinta, debido a la diferencia que hay entre una coleccin de elementos y el todo
constituido a partir de sus elementos. As, una simple coleccin de partes no es una mquina;
para que esas partes constituyan una mquina tienen que estar organizadas. Luego, si no es lo
mismo una coleccin o clase y un todo organizado, las dos versiones de la falacia de
composicin son tambin distintas.
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
La falacia de divisin es la inversa de la falacia de composicin, y como en sta, se
distinguen tambin dos tipos. En el primero se afirma que lo que es verdad de un todo lo es
tambin de cada una de sus partes tomadas aisladamente. Sostener que, puesto que un equipo
de ftbol es bueno, cada uno de sus integrantes aisladamente lo son es una falacia de divisin.
Deducir que yo soy buen estudiante porque estudio en un colegio que es reconocido por su
alto nivel acadmico; o afirmar que yo soy reconocido internacionalmente porque formo
parte de la Universidad del Zulia, que s es reconocida internacionalmente, son, as mismo,
falacias de divisin.
El segundo tipo de falacia de divisin consiste en inferir de las propiedades de un
conjunto de elementos, las propiedades de los elementos mismos. Afirmar que, ya que todas
las reses del pas proporcionan carne suficiente para sus ciudadanos, por tanto cada res
proporciona carne suficiente para los ciudadanos, seria cometer el segundo tipo de falacia de
divisin. Es obvio, que puede haber reses flacas y esculidas y proporcionan poca carne, y,
no obstante, puede haber tal cantidad que, colectivamente, proporcionensuficiente carne para
los ciudadanos del pas. Luego, si se toma colectivamente no es falaz afirmar que todas las
reses del pas proporcionan carne suficiente para sus ciudadanos. Pero s es falaz si se toman
distributivamente.
53
54
55
56
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 estudia la interrelacin de los signos de un lenguaje, el orden en que deben
colocarse para constituirse en una frmula bien formada (una frmula correcta) de ese
lenguaje. Una frase o una oracin son frmulas bien formadas. La sintaxis no tiene en cuenta
el significado de los signos, slo se ocupa de la construccin de los lenguajes. La sintaxis de
un lenguaje proporciona dos clases de reglas: las de formacin de las frmulas bien formadas;
y las de transformacin que permiten convertir unas frmulas bien formadas en otras
igualmente bien formadas. Por ejemplo, la expresin: lgica la importante es o la expresin
matemtica: +5x / 4, obviamente, no son frmulas bien formadas porque no se atienen a las
reglas de formacin del castellano y de la matemtica respectivamente. En cambio, la lgica
es importante y 5 / 4 son frmulas bien formadas por cumplir con las sintaxis respectivas.
La expresin: Luis escribe una carta se puede transformar en: Una carta escrita por Luis
en virtud de una de las reglas de transformacin del castellano que permite convertir una
oracin activa en otra, equivalente, en voz pasiva.
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.
La Semntica estudia la relacin entre las expresiones de un lenguaje y los objetos o
propiedades a que se refieren, esto es, estudia el significado e interpretacin del lenguaje. La
expresin: scrates fue filsofo tiene significado. En efecto, la palabra Scrates se refiere
a un filsofo que vivi en el siglo V antes de Cristo; la palabra Filsofo a la propiedad real
de esa persona. Este significado de la expresin constituye su Semntica.
57
58
palabra reloj es una forma grfica del sonido reloj (en castellano). En los lenguajes naturales
los signos son palabras; en los lenguajes cientficos, ms especficamente, en los lenguajes
formales, el signo es una forma. As tenemos lenguajes de seas luminosas, de signos Braille,
de clave Morse, etc. Tambin tenemos los lenguajes formales de la matemtica y de la lgica.
Se puede hablar, pues, de lenguajes naturales y cientficos. Vamos a caracterizar, a
continuacin, cada uno de ellos.
(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.
En cambio, los lenguajes cientficos no pertenecen a un idioma particular sino
que son usados por toda la comunidad cientfica. Sirven para comunicar el
conocimiento especfico de una ciencia (funcin informativa) y lo hacen en un
lenguaje neutro; es decir, en forma objetiva y fra, desprovista de todos los elementos
afectivos, los cuales, en el caso de la ciencia, constituyen una interferencia, un
obstculo, que puede distorsionar la informacin transmitida.
(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.
En los lenguajes cientficos, los signos utilizados sealan con exactitud
rigurosidad un objeto nico y determinado. En la vida ordinaria se puede permitir
cierta imprecisin. Palabras como progesista y democrtico se pueden referir
diversas caractersticas de las personas; son palabras imprecisas. Al contrario, ciencia
necesita una total correspondencia entre el signo y el objeto designado.
(iii)As mismo, en los lenguajes naturales encontramos trminos ambiguos que
originan, con frecuencia, fallas en la comunicacin (Les remitimos aqu al tema de las
falacias de ambigedad). En la ambigedad la palabra representa dos objetos estudio,
con la consecuente confusin.
Los lenguajes cientficos deben necesariamente evitar cualquier equvoco
usando los signos en forma unvoca: un signo nico para cada objeto designado.
(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.
Los lenguajes cientficos son fundamentalmente grficos (escritos) y; escritura
es de tipo ideogrfica, es decir, los signos designan ideas.
(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.
60
61
elementos y debe existir un orden entre ellos. Composicin, nmero y orden son las
cualidades esenciales de toda estructura.
Si, como manifestamos al comienzo, entendemos que el trmino forma, significa
exactamente lo mismo que estructura, comprendemos por qu se llama formalizados a los
lenguajes simblicos que emplean la matemtica y la lgica. Son formalizados porque han
sido elaborados especialmente para hacer posible que, por el slo hecho de emplearlos o
manejarlos, se revele su estructura o forma de manera patente y compleja. Formalizar un
lenguaje es precisar y arreglar de tal modo los smbolos empleados que sea posible captar sin
ninguna oscuridad, sin ninguna posibilidad de errar, su estructura.
Como despus veremos, el razonamiento o inferencia, la deduccin, depende de
manera directa de la estructura o forma de las proposiciones cuya verdad se relaciona. Por
este hecho, por la razn profunda de que todo proceso deductivo, toda inferencia se basa en
relaciones estructurales o formales, y porque siempre es necesario emplear cierto tipo de
formalizacin para estudiar estas relaciones, es que la lgica que estudia la relacin de verdad
entre las proposiciones, se llama tambin lgica formal.
62
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.
Slo pudo matematizarse la lgica cuando se logr simbolizar completamente todos
los elementos de un razonamiento. Aristteles ya haba simbolizado las variables
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:
Si A, entonces B; no B; por tanto, no A. Es decir, se simbolizaban los elementos
variables, pero no las constantes. Pero, si se conviene en representar la partcula: si...,
entonces... por una especie de herradura ; la partcula no con el smbolo ~; la
partcula por tanto por el smbolo
, y la y la sustituimos por una coma ,; el
esquema de la forma del razonamiento que acabamos de anotar se formulara as:
A B, ~B
~A
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.
Como anota Agazzi, todo lo ms que se puede decir respecto a la relacin de la
lgica formal tradicional y la simblica es que con los instrumentos (simbolizacin) a nuestra
disposicin, estamos en condiciones de saber cuanto saban hacer nuestros predecesores e
incluso de hacerlo adems de manera ms pulida y elegante, as como enfrentarnos con
problemas poco manejables por ellos. Indudablemente, ste ya es un proceso implcito, pero
para hacerlo explcito, es an necesario que se proceda efectivamente a la construccin del
edificio de la lgica, lo cual es un trabajo muy largo que en gran parte est todava por
hacer2.
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:
l. En qu se parecen la lgica formal tradicional y la lgica simblica? Explquelo en tres
lneas.
___________________________________________________________________________
___________________________________________________________________________
____________________________________________________________________
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
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:
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 primera lectura te presenta una panormica del desarrollo de la lgica desde
Aristteles hasta nuestros das, haciendo nfasis en los elementos que posibilitaron el avance
de esta disciplina. Culminamos con la segunda y tercera lecturas sobre la importancia de la
lgica y el arte de razonar bien, en las cuales se hacen importantes recomendaciones para la
vida prctica.
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
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
Aristteles (384-322 a. de C.) fue el primero en concebir que el producto del
pensamiento reflexivo era en s mismo el asunto de una ciencia especial. Aristteles fue el
primero en reflexionar sobre la forma de las proposiciones y se percat que en el
razonamiento no era el contenido sino la forma lo que tena importancia. l fue el que,
adems, codific en forma sistemtica las formas de la argumentacin correcta. Por eso se le
considera el Padre de la Lgica Formal. El mismo escribe en su libro Refustaciones
Sofisticas: ...Ms de la presente ciencia (lgica) no se trata de que hubiera hasta ahora algo
ya elaborado junto a otras cosas todava no elaboradas, sino que, por el contrario, hasta ese
momento no haba de ella absolutamente nada disponible1.
Aristteles sistematiz principalmente la teora de un argumento especial que llam
Silogismo. En su libro Tpicos se lee. ... La presente obra trata de hallar un mtodo gracias
al cual podamos construir silogismos sobre cualquier cuestin que se proponga, partiendo de
premisas probables. Pues el silogismo, es un discurso en que, puestas ciertas premisas, algo
distinto de ellas surge necesariamente a partir de las mismas. Con esta ltima frase quiero
decir que ellas producen la consecuencia, y con esto, que no se requiere ningn termino
adicional desde fuera para hacer la consecuencia necesaria2.
___________________________________
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
________________________________
1
ANAL. prioria, 25b, 32-26a
Este uso de smbolos y sta aplicacin de leyes constituyen los elementos;
fundamentales de toda lgica, de aqu se puede afirmar que en el desarrollo de la lgica
simblica moderna est siempre presente de alguna manera la obra del gran estagirita.
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
71
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
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.
En 1879 Frege publica su obra Begriffsschift (Conceptografa). En ella consigue la
construccin de un clculo lgico casi perfecto. Para ello crea un simbolismo muy original,
aunque muy complejo, que le va a permitir realizar la formalizacin completa de la lgica
deductiva elemental. En esta obra Frege formula de manera clara la distincin entre variable
y constante, el concepto de funcin lgica, el concepto de cuantificador, distingue entre regla
y ley, diferencia el lenguaje objeto y el metalenguaje.
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.
Giuseppe Peano tiene la virtud de simplificar el simbolismo de Frege. Este
simbolismo propuesto por Peano, salvo ligeras modificaciones, es el que adoptarn Russell y
Whitehead en su libro Principia Mathemathic, simbolismo que es el que prevalece en gran
parte hasta nuestros das. Peano, logr tambin notables aportes para el desarrollo de la lgica
simblica. Entre ellos estn la concepcin de la lgica como poderoso instrumento para
sistematizar la matemtica, establece la posibilidad de vincular una clase a cada predicado e
hizo la distincin entre variables libres y ligadas.
76
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 intuicionista fue encabezada por el matemtico holands L. E. J. Brouwer.
Los intuicionistas rechazan cualquier intento de fundamentar la aritmtica en algn sistema
ms fundamental y consideran que los nmeros positivos son realidades intuitivas
suficientemente seguras como para constriur en base ellos toda la aritmtica.
Para los intuicionistas, verdad era sinnimo de demostrabilidad, un enunciado
matemtico es verdadero si tenemos una demostracin de l.
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.
El hecho de que los sistemas axiomticos formalizados no pudieran resolver con
absoluta seguridad la demostracin de la no contradiccin de ellos mismos, ha dado origen a
la tendencia semntica dentro de la lgica moderna. El acta de nacimiento de este
movimiento tiene lugar en 1935, cuando Tarski publica el artculo titulado El concepto de
verdad en los lenguajes formalizados. El Desarrollo de los estudios semnticos es el hecho
ms destacado acerca de la lgica simblica en los ltimos decenios.
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
___________________________________________________________________________
_______________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
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.
El estudio de la lgica es indispensable para todos aqullos que quieran adentrarse en
el campo de la investigacin, en el campo de la metodologa cientfica, en el de la
epistemologa, en el de matemtica y en el de filosofa. La lectura de libros especializados en
los campos anotados se hace casi imposible hoy en da para aqullos que no estn
familiarizados con el lenguaje de la lgica simblica.
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:
1. Por qu en un futuro prximo, ser ms notable la importancia del razonar correctamente
que la acumulacin de materias informativas? Fundamente su respuesta en tres lneas.
___________________________________________________________________________
___________________________________________________________________________
_____________________________________________________________________
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
es
su
de
en
82
83
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.
Analicemos el ejemplo. En primer lugar observe que tanto la oracin escrita en el
pizarrn por el profesor, como la explicacin dada de esa oracin por el mismo, estn en
castellano. En segundo lugar, observe que hay dos niveles de lenguaje. Hay un lenguaje que
es explicable (primer nivel): la oracin escrita en el pizarrn; y hay un lenguaje con el cual
se explica el lenguaje anterior (segundo nivel): las palabras empleadas por el profesor para
explicar la oracin escrita en el pizarrn.
Por lo tanto, en el mismo castellano se da un lenguaje que es explicado (primer nivel),
y un lenguaje con el que se explica (segundo nivel). Al lenguaje que es explicado, es decir el
primer nivel, lo hemos llamado Lenguaje Objeto, y al lenguaje que se emplea para explicar el
lenguaje objeto, es decir, el segundo nivel lo hemos llamado Metalenguaje. Esto quiere decir,
que en el ejemplo propuesto, el lenguaje objeto es la oracin escrita en el pizarrn, y el
metalenguaje el lenguaje empleado por el profesor para explicar la oracin.
Consecuentemente, vemos que en el mismo idioma se puede dar el lenguaje objeto y el
metalenguaje. El metalenguaje es de un nivel superior, es un lenguaje de otro lenguaje,
signo de otro signo.
El lenguaje objeto y el metalenguaje son correlativos, es decir no puede haber
lenguaje objeto sin metalenguaje y viceversa, no puede haber metalenguaje sin lenguaje
objeto. La razn es muy sencilla, pues, un lenguaje objeto siempre que haya otro lenguaje (el
metalenguaje) que lo explique o investigue, y en ese caso nunca se puede dar el uno sin el
otro. Si por ejemplo un profesor define la Psicologa as: Psicologa es la ciencia de la
conducta humana, y no se detiene a explicar lo que significan las palabras de la definicin,
entonces, la definicin Psicologa es la ciencia de la conducta humana, no es ni lenguaje
objeto ni metalenguaje, ya que no hay ningn lenguaje explicado, ni lenguaje que lo explique.
Qu ser pues Psicologa es la ciencia de la conducta humana?" Un lenguaje en este caso,
el castellano con el cual trato de explicar o referirme a algo distinto del mismo lenguaje, pero
no es de ninguna manera, ni lenguaje explicado (lenguaje objeto), ni lenguaje con el cual se
explica o se refiere a otro lenguaje (metalenguaje); o sea, en la definicin no hay niveles de
lenguaje, hay un simple lenguaje.
Ahora bien, si el profesor se detiene a explicar las palabras de la definicin diciendo
por ejemplo: Psicologa se compone de dos palabras griegas psique y logos y quiere decir
estudio de la mente, etc.. Es obvio que en estas circunstancias se est empleando dos niveles
del lenguaje, uno que es el explicado y otro el que explica al primero, es decir, hay lenguaje
objeto y metalenguaje. Luego, el lenguaje objeto y el metalenguaje son correlativos, no se
puede dar el uno sin el otro.
El metalenguaje se puede convertir en lenguaje objeto. Esto tiene lugar cuando se
emplea un nuevo nivel (tercer nivel) para referirse o para explicar o investigar el
metalenguaje.
En este caso, este nuevo nivel de lenguaje sera un Metalenguaje y el metalenguaje
se convertira en lenguaje objeto. Por ejemplo en el prrafo anterior dijimos que la expresin
lingstica: Psicologa se compone de dos palabras griegas psique y logos y quiere decir
estudio de la mente, etc., es metalenguaje; ahora bien, si ahora el profesor se refiere a la
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.
Como conclusin podemos decir, siguiendo a Carnap que si describimos, estudiamos
o analizamos un lenguaje L1, necesitamos un lenguaje L2 , para expresar nuestra descripcin
o anlisis de L1. En este caso a L1, lo llamaremos Lenguaje Objeto y a L2 Metalenguaje.
Ahora que hemos explicado lo que es lenguaje objeto y el metalenguaje, podemos
referirnos de nuevo a la paradoja del mentiroso. Esta paradoja se da precisamente porque no
se hace la distincin entre lenguaje objeto y metalenguaje. Para resolverla tendramos que
determinar exactamente cul es el lenguaje objeto y cul es el metalenguaje. Sin embargo,
esto va ms all de nuestros propsitos, que no son otros que el que usted se d cuenta de la
importancia de distinguir el lenguaje objeto y el metalenguaje. Con todo, lo invitamos a que
reflexione y de una posible solucin y, posteriormente, en la sesin de actividad de
interaccin correspondiente, podamos discutirla.
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.
En las expresiones siguientes: Caracas es la capital de Venezuela, y Caracas tiene
tres slabas (la palabra Caracas est empleada de manera muy distinta. En primera
expresin la palabra Caracas se refiere a la ciudad de Caracas, mientras que en la segunda
la palabra Caracas, se refiere a la palabra Caracas, es decir, en este ltimo caso Caracas
es una palabra de otra palabra. (A esta distinta manera de aplicar una palabra la llamaron los
filsofos suposicin). En el primer caso, como Caracas se refiere a un objeto
extralingstico, un objeto que no pertenece al lenguaje, cvmo es la ciudad de Caracas, se
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.
Por ejemplo, en la proposicin: Maracaibo se escribe con mayscula, la palabra
Maracaibo est mencionada, y para indicarlo se entrecomilla como aparece en el ejemplo.
Otro ejemplo sera: A Venus se le llama Venus. Observe que la primera aparicin de la
palabra Venus se refiere al planeta Venus, y, por lo tanto est usada, y por eso de acuerdo a la
convencin establecida no se entrecomilla, se deja tal cual se escribe corrientemente; en
cambio, en la segunda aparicin la palabra Venus est mencionada, puesto que se refiere a
la palabra "Venus", y, por eso, aparece entrecomillada como se puede apreciar en el ejemplo.
En consecuencia cuando queramos sealar la diferencia entre una palabra usada y una palabra
mencionada, es suficiente con poner entre comillas simples la palabra mencionada.
En tercer ejemplo: Luis es nombre propio. La palabra Luis se refiere a la
palabra Luis y no a la persona Luis, por eso aparece entrecomillada en el ejemplo, pues est
mencionada. Un ejemplo ms: Algunos escriben mal prohibir. Aqu la palabra prohibir
se refiere a la palabra Prohibir y no a la accin de prohibir, y est por lo tanto, mencionada,
y por eso aparece en el ejemplo entre comillas simples.
Para terminar consideremos la expresin:
(1) 2 + 3 = 5
Esta expresin pertenece al lenguaje de las matemticas y est formada
exclusivamente de signos aritmticos elementales y por lo tanto, est usada. Por otra parte la
proposicin:
(2) 2 + 3 = 5 es una frmula aritmtica, no pertenece al lenguaje de la
aritmtica, afirma algo acerca de la expresin (1), se refiere a la expresin (1) y por lo
tanto, pertenece al metalenguaje de la aritmtica. En este caso la expresin 2 + 3 = 5
de (1) est usada, mientras que la expresin 2 + 3 5 de (2) est mencionada.
La no distincin entre el uso y la mencin de las palabras puede llevar paradojas y a
conclusiones errneas.
Ejercicios:
1. De acuerdo a la convencin de uso y mencin de las palabras, entrecomille la palabra
mencionada.
1. 1. No todos escriben lgica con mayscula.
1.2. Qu nio ms inteligente! tiene cuatro palabras.
1.3. A Antonio lo llaman Tony.
1.4. Termina, termina con a.
88
2. Escriba con sus palabras, por qu es importante, la distincin entre uso y mencin de las
palabras? Hgalo en cuatro lneas.
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________________
___________________________________________________________________
RESPUESTAS
A. USOS DEL LENGUAJE
Ejercicios:
rincipal nt:
(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.
Ejercicios:
89
Ejercicios:
(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
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.
Volver al Texto
Ejercicios:
La Proposicin.
(1) No, expresa un deseo.
(2) No, es una simple frase.
91
Ejercicios:
(1) S,
(2) C,
Las respuestas de los ejercicios (4), (5), (6) y (8) consltalas con algn compaero o con tu
asesor.
Volver al Texto
Ejercicios: Pgina
(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:
(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 espaciotiempo.
(4) Premisas:
93
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
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:
(1) Razonamiento Analgico
Premisas:
Los animales y los racionales reaccionan externamente, ante ciertos estmulos
externos, en forma anloga
Los racionales tienen percepciones sensibles (implcita).
Conclusin:
Los animales tienen tambin percepciones sensibles.
(2) Razonamiento Inductivo.
Premisas:
Los metales A, B, C, D, .... sometidos a calor en distintos ambientes aumentan su
tamao.
Conclusin:
Todos los metales se dilatan con el calor.
(7) Razonamiento Deductivo.
Premisas:
La razn encuentra en s misma la idea de un ser, del ser sumo que se puede
pensar.
Si este ser existiera slo en la mente no sera el mayor ser cogitable (pensable),
pues podra pensarse un ser superior a l, el que existiera adems en la realidad.
Conclusin:
La idea del ser sumo exige que este ser no slo exista en la mente, sino tambin en la
realidad.
(10) Razonamiento Deductivo.
Premisas:
El agua blanca de la Fuente vieja encierra en s el verde del pinar, el rosa o azul de
la aurora, el oro o malva de la tarde, el verde o celeste de la noche.
(Implcita) El verde del pinar, el rosa o azul de la aurora, el oro o malva de la tarde
y el verde o celeste de la noche encierra la elega o el sentimiento de la vida
verdadera.
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
Ejercicios:
(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
Falacias de Atinencia.
97
Falacias de Ambiguedad.
(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.
Las respuestas de los ejercicios restantes consltalas con tu asesor.
Volver al Texto
AUTOEVALUATIVO 4: Pgina:
(1)Argumentum ad misericordiam. Se afirman la verdad de el libre cambio de la moneda
nos llevar a una economa sana sobre la base de que no se ha demostrado la faseldad de que
el control de cambio sea lo mejor para la economa del pas.
(3)Argumentum ad hominem circunstancial el Fondo Monetario Internacional en pertenecer
al tercer mundo. Se exhorta a rechazar los convenios con virtud de la circunstancia especial
de pertenecer al tercer mundo
(5)Falacia de Composicin. De la honradez y seriedad de cada miembro del Consejo
Universitario no se puede deducir que el Consejo Universitario como un todo sea serio y
honesto.
(7)Pregunta compleja. Esta pregunta supone una pregunta anterior: " Hubo intencin de la
polica?".
98
Volver al Texto
Ejercicios:
Sintaxis y Semntica
(1) Sintaxis, por que se refiere a reglas gramaticales de concordancia
(2) Semntica, ya que define un significado asociado a un signo
(3) Sintaxis, en virtud de un orden de aparicin y no de un significado asociado al color
(4) Sintaxis, aclara reglas de ortografa
(5) Semntica, porque la sinonimia se elabora a partir de significados que difieren en su
forma de escritura.
(6) Semntica, porque alude a un significado opuesto
(7) Sintaxis, ya que se refiere a la ortografa telegrfica
(8) Semntica, porque pretende definir un trmino segn el contexto y uso
(11)Sintaxis, regula la horma de ordenar utensilios
Volver al Texto
Ejercicios:
Lgica Formal y Lgica Natural
(1) Lenguaje cientfico, porque determina un campo lexical
(2) Lenguaje Natural, porque se refiere a contenidos subjetivos
(3) Lenguaje Natural, hace referencia a la gramtica espaola
(5) Lenguaje cientfico, ya que su carcter es formal
(8) Lenguaje cientfico, su naturaleza es natural, porque no expresa emociones.
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
Ejercicio
(1) Ambas simbolizan las variables lgicas y utilizan mtodos para determinar la validez
del razonamiento
Volver al Texto
AUTOEVALUATIVO 5: Pgina
I.- Verdadero y Falso
(1) Verdadero
(2) Verdadero
(6) Falso
(8) Verdadero
99
(9) Falso
III.- Condiciones
(1) Simbolizacin de elementos constantes
IV.- Ventajas_ revisar lectura No. 6: Pgina 79
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
UNIDAD II
TEMA
A. FORMAS LGICAS
LGICA
PROPOSICIONAL
OBJETIVOS
TERMINALES
6. Simbolizar en el lenguaje
de la Lgica Proposicional la
forma
lgica
de
los
razonamientos
dados
en
castellano.
B. PRUEBA DE VALIDEZ
7. Efectuar la prueba de
validez de un razonamiento
mediante el mtodo de la
implicacin tautolgica
C. DEMOSTRACIN DE
VALIDEZ
8. Efectuar demostraciones
formales de validez de
razonamientos, dentro de la
lgica profesional, aplicando
las reglas de inferencia
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
INTRODUCCIN
l. PROPOSICIONES EXTENSIONALES
107
108
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
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
(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.
CONECTIVOS
CONECTORES
NO
Y
O
SI..., ENTONCES
SI Y SLO SI
NOMBRE DEL
CONECTOR
Negador
Conjuntor
Disyuntor
Implicador
Coimplicador o Equivalencia
5. FORMAS PROPOSICIONALES
111
p
0
1
Cuando p es verdadera ,
p es falsa y viceversa
6.2. La Conjuncin.
Cuando dos proposiciones se unen mediante el conectivo y o sus equivalentes, la
proposicin compuesta resultante es una conjuncin, as, la proposicin Maracaibo es la
capital del Estado Zulia y fue fundada en el siglo XVI es una conjuncin.
Si sustituimos Maracaibo es la capital del Estado Zulia por p, (Maracaibo) fue
fundada en el siglo XVI por q y el conectivo y por el conjuntor (), la forma
proposicional anterior es:
pq
La conjuncin tiene dos argumentos: el primero es lo que aparece a la izquierda del
conjunto (en este caso p) y el segundo lo que aparece a su derecha (aqu q).
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
1
0
0
0
q
La columna de valores de
verdad que aparece debajo
del conjuntor se llama
nmero matricial
1
1
0
0
6.3. La Disyuncin
La disyuncin de dos proposiciones se forma insertando el conectivo o entre ellas.
La proposicin Rafael Urdaneta naci en Maracaibo o en Caracas es una disyuncin.
Si Rafael Urdaneta naci en Maracaibo se representa por p y (Rafael Urdaneta
naci) en Caracas por q, y el conectivo o por la disyuncin . La disyuncin anterior se
simboliza:
pvq
que se lee p o q.
La disyuncin tiene dos argumentos, el primero es el que aparece a la izquierda del
disyuntor y el segundo, aparece a su derecha. En el caso anterior p sera el primer
argumento y q el segundo.
113
1
1
1
0
p
1
0
1
0
q
1
1
0
0
1
1
0
1
q
1
1
0
0
114
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
p
1
0
1
0
1
0
0
1
q
1
1
0
0
115
CUADRO RESUMEN
CONECTORES
NOMBRE
DE LOS
CONECTORES
EXPRESIN
CASTELLANA
EJEMPLO DE
PROPOSICIN
NOMBRE
DE LA
SIMBOLIZACIN
PROPOSICIN
Negador
no
No llueve
Negacin
Conjuntor
Llueve y truena
Conjuncin
p q
Disyuntor
Llueve o truena
Disyuncin
pq
Implicador
si, entonces
Si llueve,
entonces truena
Implicacin
pq
Coimplicador
si, y slo si
pq
TABLAS DE VERDAD
Negacin
p
p
1
0
0
1
Conjuncin
p
q
1
1
1
0
0
1
1
0
0
0
0
0
p
1
0
1
0
Disyuncin
q
1
1
1
1
1
0
0
0
Implicacin
p
q
1
1
1
0
1
1
1
0
0
0
1
0
Equivalencia
p
q
1
1
1
0
0
1
1
0
0
0
1
0
7. PARNTESIS Y SIMBOLIZACIN
Los parntesis en las formas proposicionales se utilizan para indicar el alcance de
cada conector, su zona de influencia. El conector principal es el que tiene mayor alcance y el
que define la forma proposicional.
Veamos en la siguiente forma proposicional el uso de los parntesis:
2 1
( ( 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
( ( 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:
(i) Identificar las proposiciones simples y representarlas con variables
proposicionales.
(ii)Identificar los conectivos con sus alcances y determinar el conectivo principal y
sustituirlos por los conectores correspondientes.
(iii)Escribir la forma proposicional colocando los parntesis requeridos.
1. Proposiciones Simples
2. Conectivos y Conectores
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
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
Simbolice en el lenguaje de la lgica proposicional las siguientes proposiciones
(objetivo especfico 6.2).
(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
120
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:
c) Slo .si la bveda se hubiera cerrado automticamente y la polica hubiera llegado
a tiempo, el cajero o el contador hubiera hecho sonar la alarma. La polica hubiera
podido alcanzar el automvil de los ladrones, siempre que hubiera llegado a tiempo.
Sin embargo, no pudo alcanzar el automvil de los ladrones. Luego, el cajero no hizo
sonar la alarma.
121
En este razonamiento las dos primeras premisas, que son dos implicaciones, no estn
expresadas en la forma normal o tpica. Luego, antes de abstraer la forma lgica del
razonamiento procederemos a expresarlas en la forma tpica de la implicacin de la siguiente
manera:
Si el cajero o el contador hubiera hecho sonar la alarma, entonces la bveda se
hubiera cerrado automticamente y la polica hubiera llegado a tiempo.
Si la polica hubiera llegado a tiempo, entonces hubiera podido alcanzar el automvil
de los ladrones.
Sin embargo, no pudo alcanzar el automvil de los ladrones. Luego, el cajero no hizo
sonar la alarma.
Ahora se contina de la forma explicada anteriormente. Sustitucin de las proposiciones
simples anteriores:
p: El cajero hubiera hecho sonar la alarma
q: El contador hubiera hecho sonar la alarma.
r: La bveda se hubiera cerrado automticamente.
s: La polica hubiera llegado a tiempo.
t: La polica hubiera podido alcanzar el automvil de los ladrones.
Sustitucin de los conectivos ( o, si-entonces y no ) por los conectores (, ,
y ).
Abstraccin de la forma lgica:
( p q ) ( r s )
Premisa
st
Premisa
t
Premisa
_______________________________
p
Conclusin
122
AUTOEVALUATIVO 6
Abstraiga dentro de la lgica proposicional, la forma lgica de los siguientes
razonamientos (objetivo especfico 6.3).
(1) Bien el profesor no corrigi bien el trabajo o bien se equivoc al registrar la
calificacin. En realidad, el profesor corrigi correctamente el trabajo. Por tanto, se
equivoc al registrar la calificacin.
(2) Si al introducir un papel de tornasol azul en una solucin se torna rojo, o bien la
solucin es un cido o bien hay algo que est fallando. Sin embargo, no falla nada
y el papel de tornasol azul se cambia a color rojo. Luego, la solucin es un cido.
(3) Si el portero o la empleada hubieran avisado, se habra llamado a la polica y el
ladrn habran sido atrapado. Pero el ladrn no fue atrapado. Por tanto, es falso
que el portero y la empleada avisaron.
(4) Si el nuevo presupuesto nacional no aumenta la inflacin o no disminuye el salario
real, es falso que habr una explosin social. El anlisis del nuevo presupuesto
indica que es falso que es inflacionario y que disminuye el salario real. Por tanto,
no habr explosin social.
(5) Siempre que llego a tiempo al trabajo, ste se lleva a cabo con eficiencia y la
empresa progresa. Si sta progresa es ms competitiva y asegura el empleo bien
remunerado a sus trabajadores. Siempre llego a tiempo al trabajo. Por tanto, la
empresa asegura un empleo bien remunerado a los trabajadores.
(6) Si los pases del tercer mundo exportan materias primas y stas se pagan
justamente por los pases desarrollados y, adems, hay una distribucin equitativa
de la riqueza, sus pueblos sern bien alimentados. Sin embargo, los hechos indican
que estas naciones exportan materias primas y sus pueblos estn desnutridos . En
consecuencia o las materias primas no se pagan justamente o a hay una mala
distribucin de riquezas.
(7) Si hay impunidad, aumenta la corrupcin. Si los polticos persiguen sus intereses
personales, nuestra democracia es una pseudodemocracia. Sin embargo, no es
cierto que aumenta la corrupcin y que nuestra democracia sea pseudodemocracia.
Luego, o no hay impunidad o los polticos no persiguen sus intereses personales.
(8) Actuamos con rectitud, slo si hay adecuacin entre nuestros pensamientos y
nuestros actos. Si se da esto ltimo, vivimos en paz con nosotros mismos. Slo si
somos felices vivimos en paz con nosotros mismos. Actuemos con rectitud. Por
tanto, somos felices.
(9) Si Luis recibe la notificacin, vendr siempre que todava pueda tomar un avin.
Aunque no ha venido, aun puede tomar el avin. Por tanto, no recibi la
notificacin.
(10) Si el primer argumento de una conjuncin es falso, la conjuncin como un
todo es falsa. Por tanto, si tanto el primer argumento como el segundo de una
conjuncin son falsos, la conjuncin como todo es falsa.
(11) Slo si un razonamiento es falso y sus premisas verdaderas, la conclusin del
mismo es necesariamente verdadera. Por tanto, la conclusin de un razonamiento
no es necesariamente verdadera, si el razonamiento no es vlido o las premisas no
son verdaderas.
(12) Actuamos correctamente si y slo si hay adecuacin en nuestro pensamiento y
el acto ejecutado. Slo si hay coherencia en nuestra personalidad, lo que hacemos
corresponde a los que pensamos. Si hay coherencia en nuestra personalidad, somos
honestos. Luego no actuamos correctamente o somos honestos.
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
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.
Antes de seguir el estudio, revisemos si dominas los conceptos explicados.
Para ellos te presentamos estos ejercicios
EJERCICIOS
Si p es falso, q verdadero y r falso, hallar el valor de las siguientes formas
proposicionales
(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 )
126
( ( p
1
0
1
0
0
1
1
1
l
q)
01
01
10
10
3
5 4
q ) p
1 1
1 01
1 1
1 10
0 0
1 01
0 0
1 10
Observaciones:
(i) El conector principal es el segundo implicador y, en consecuencia, la forma
proposicional es una implicacin.
(ii) Hay cuatro posibles formas de combinacin de los valores de verdad, en efecto, 2 2
= 4.
(iii) El orden de colocacin de los valores de verdad debajo de las variables
proposicionales se ha hecho as por comodidad; traten de hacerlo de otra forma y
siempre sern esos y slo esos cuatro conjuntos posibles de combinacin. La prctica
ha enseado que se puede hacer as y eso significa un ahorro de energa.
(iv) Se inicia con el antecedente siguiendo el orden de alcance de los conectores tal
como se indica en el diagrama y luego se sigue con el consecuente.
(v) Las flechas que aparecen en la parte inferior del diagrama indican las columnas
que se tienen en cuenta en cada operacin.
(vi) El nmero matricial es el que aparece debajo del conector principal.
Otro ejemplo, sea la forma proposicional:
3
l
2
8 5
~ ( ( p q ) r ) ( ~ (
0
1 1 1 1 1 1
0
0
0 1 1 1 1 1
0
0
1 1 0 1 1 1
0
1
0 0 0 0 1 1
1
1
1 1 1 0 0 1
0
1
0 1 1 0 0 1
0
1
1 1 0 0 0 1
0
1
0 0 0 0 0 1
1
p
1
0
1
0
1
0
1
0
1
1
1
0
1
1
1
0
7 6
q ) r )
1
0 01
1
0 01
0
0 01
0
1 01
1
1 10
1
1 10
0
1 10
0
1 10
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
1
1
0
1
q ) p ) q
1
1 1
1 1
1
0 0
1 1
0
0 1
1 0
0
0 0
1 0
Observa la columna del conector principal, en ella slo hay valores de verdad
verdaderos.
3.2. Formas Proposicionales Contradictorias
Una forma proposicional es una contradiccin si en la columna del conector principal
slo aparecen valores de verdad falsos, es decir, si su nmero matricial slo contiene ceros.
Ejemplo de contradiccin:
( p
1
0
1
0
1
1
0
1
q ) (
1 0 0
1 0 0
0 0 1
0 0 0
p
01
10
01
10
1
1
0
1
q )
1
1
0
0
Observa que debajo del conector principal slo aparecen valores de verdad falsos.
3.3. Formas Proposicionales Contingentes
Una forma proposicional es contingente si en la columna del conector principal
aparecen valores de verdad verdaderos y falsos.
Ejemplo de forma proposicional contingente:
( ( p
1
0
1
0
1
1
0
1
q ) p ) ~q
1 1 1
0 01
1 0 0
1 01
0 0 1
1 10
0 0 0
1 10
128
Observa que debajo del conector principal aparecen valores de verdad verdaderos y
falsos.
( ( ( 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
A implica tautolgicamente a B si, y slo si A ~ B es una tautologa.
129
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 equivale tautolgicamente a B si, y slo si A B es una tautologa.
Por ejemplo, sea A ~ p q y B p q. Construyamos la equivalencia A B y
obtengamos su nmero matricial construyendo su tabla de verdad.
( p
01
10
01
10
1
1
0
1
q )
1
1
0
0
B
( p q )
1
1 1 1
1
0 1 1
1
1 0 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.
130
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. .
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.
131
implicacin es falsa cuando el antecedente (aqu `p') es verdadero y el consecuente (aqu `q')
es falso, y esa implicacin aparece verdadera. Eso es una contradiccin o un absurdo porque
va en contra de la regla del implicador. En consecuencia tenemos que rechazar la suposicin
inicial, es decir, tenemos que afirmar su opuesta, y si supusimos que la forma proposicional
no era tautologa, tenemos que afirmar ahora su apuesto, es decir, que la forma proposicional
analizada es tautologa.
Segundo ejemplo: determinar si es tautologa esta forma proposicional.
( ( ( 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
Segundo paso: Efectuamos las operaciones lgicas con los conectores:
( ( ( 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 )
Primer paso: Suponemos que no es tautologa, luego:
( 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:
er
1 caso:
2docaso:
( p q ) ( ~p q )
0
0
1
1
0
0
132
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
Segundo paso: Opera con los conectores. Se dan dos casos a saber:
er
1 caso:
2docaso:
~ ( ( p q ) ( r s ) ) ( ~( p q ) ~( r s ) )
0
0
1
1
0
0
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:
1er caso:
2docaso:
( ( p q ) r ) ( ( p q ) r )
1
0
0
0
0
1
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
Probar mediante el Mtodo de Reduccin al Absurdo si las siguientes formas
proposicionales son o no tautologa (objetivo especfico 7.3.)
(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 )
Premisa
Premisa
Conclusin.
136
1
1
0
1
1
1
0
1
q ) ( q r ) ) ( p r )
1
1
1 1 1
1
1 1 1
l
1
1 1 1
1
0 1 1
0
0
0 1 1
1
1 1 1
0
1
0 1 1
1
0 1 1
1
0
1 0 0
1
1 0 0
1
0
1 0 0
1
0 1 0
0 0
0 1 0
1
1 0 0
0
1
0 1 0
1
0 1 0
137
1.1.
p q
P
r q
P
____________________
p r
C
1.2.
p (q r) P
q r
P
____________________
p
C
1.3.
p q
P
q r
P
____________________
r
C
1.4.
(p q) r
P
r
P
____________________
p q
C
1.5.
p q
P
p r
P
r
P
____________________
q
C
1.6.
p q
P
p r
P
____________________
(p r)
C
(p q) r
P
r
P
____________________
(p q)
C
1.8.
1.7.
p q
P
q r
P
r
P
____________________
p
C
1.9.
(p q) r
P
____________________
r ( p q ) C
1.10. p q
P
q
P
____________________
p r
C
138
C. DEMOSTRACIN DE VALIDEZ
l. DEMOSTRACIN
La Lgica no slo permite probar la validez de los razonamientos mediante el mtodo
de implicacin tautolgica, sino, tambin, demostrar la validez de los mismos con el llamado
MTODO DEMOSTRATIVO.
Se trata de demostrar la conclusin a partir de las premisas. La demostracin de la
conclusin de una forma vlida de razonamiento es una sucesin finita de lneas (Ll, L2,
L3......., Ln) de formas proposicionales de las cuales la ltima lnea (Ln) es la conclusin y
cada una de las anteriores son o bien premisas o bien formas proposicionales obtenidas de
lneas anteriores mediante alguna regla de inferencia.
139
Premisa
Premisa
Premisa
Premisa
Premisa
de (1) y (2) por Transitividad Implicativa.
de (3) y (6) por Transitividad Implicativa.
de (5) y (7) por Modus Tollendo Tollens.
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:
Si Scrates es filsofo, entonces reflexiona sobre la realidad.
140
ESQUEMAS
A B, A B
A B, B A
A B, B C A C
A B, A B
(A B) (C D), A C B D
(A B) (C D), B D A C
A, B A B
ABA
AAB
(A B) (B A)
(A B) (B A)
(A(BC))((AB)C)
(A(BC))((AB)C)
(A(BC))((AB)(AC))
(A(BC))((AB)(AC))
A ~ A
( A B ) ( ~A B )
( A B ) ( ~B A )
141
(AB)((AB)(BA))
((AB)C)(A(BC))
A ( A A)
~( A B) ( ~A ~B )
~( A B) ( ~A ~B )
Premisa: Implicacin.
Premisa: Afirmacin del antecedente.
Conclusin: Afirmacin del Consecuente.
Resumiendo:
Si en una lnea tenemos una implicacin, y en otra cualquiera su antecedente,
142
P
R
P
C
Demostracin:
(1)
(2)
(3)
(4)
(5)
p q
qr
p
q
r
P
P
P
MPP (1) y (3)
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.
Implicacin.
Negacin del consecuente.
Negacin del antecedente.
EJERCICIOS
Dadas las siguientes formas vlidas de razonamiento demostrar la conclusin
aplicando el Modus Ponendo Ponens y/o el Modus Tollendo Tollens. La conclusin aparece
encabezando cada forma de razonamiento despus de la palabra demostrar (objetivo
especfico 8.5).
1. Demostrar: p
(1) p q
143
(2) q r
(3) r
P
P
2. Demostrar: q
(1) p q
(2) p r
(3) r s
(4) s
P
P
P
P
3. Demostrar: p
(1) p ( q r )
(2) ( q r ) s
(3) s t
(4) t
P
P
P
P
4. Demostrar: ( p q )
(1) ( p q ) w
(2) r ( s t )
(3) ( s t ) n
(4) n
P
P
P
P
5. Demostrar: ( ( p q ) r )
(1) ( ( p q ) r ) s P
(2) s t
P
(3) t
P
6. Demostrar: t
(1) p q
(2) q ( r t )
(3) p
(4) r
P
P
P
P
(1) p q
(2) q r
Segundo caso:
AB
~B
______
A
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.
1. Demostrar: s
(1) p q
(2) p r
(3) r
(4) p s
P
P
P
P
4. Demostrar: n
(1) (p q ) ( r t )
(2) p q
(3) t
(4) s r
(5) s r
P
P
P
P
P
2. Demostrar: r
(1) p q
(2) q
(3) p ( r t )
(4) t
P
P
P
P
5. Demostrar: r p
(1) ( p q ) ( ( r s ) t )
(2) ( p q )
(3) t
(4) s p
P
P
P
P
3. Demostrar: q s
(1) p ( q r )
(2) p t
(3) t
(4) r s
P
P
P
P
6. Demostrar: q
(1) p ( q r )
(2) p r
(3) r
P
P
P
145
146
EJERCICIOS
Demostrar la validez de las siguientes formas de razonamiento aplicando cualquiera
de las reglas de inferencia estudiadas (objetivo especfico 8.5).
1. Demostrar: q
(1) p q
(2) p r
P
P
2. Demostrar: q
(1) p ( p r )
(2) p r
P
P
3. Demostrar: p q
(1) p q
(2) p r
(3) r
P
P
P
4. Demostrar: r s
(1) p q
(2) p r
(3) q s
(4) s
P
P
P
P
5. Demostrar: p u
(1) p q
(2) r t
(3) r q
(4) r
P
P
P
P
6. Demostrar: t
(1) p q
(2) ( p r ) s
(3) q r
(4) t s
P
P
P
P
7. Demostrar: q s
(1) p q
(2) r t
(3) t s
(4) p
P
P
P
P
8. Demostrar: t
(1) ( p q ) ( r s )
(2) q s
(3) r
(4) p t
P
P
P
P
9. Demostrar: r
(1) ((p q) r) (s t)
(2) ( p q ) s
(3) t u
(4) u w
P
P
P
P
10. Demostrar: u
(1) ( p q ) ( r s )
147
(2) ( q s ) ( t u)
(3) p s
(4) ( q u ) ( t u )
(5) t
P
P
P
P
P
P
Conm. 2
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)
(2)
(3)
(4)
~~p ( q r ) P
p
P
p ( q r )
DN 1
q r
MPP 2 y 3
148
(5)
Simp. 4
P
P
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 )
(2) t ( q r )
(3) s
(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
(2) r s
(3) p r
(4) q s
(5) q s
P
P
P
P
P
P
150
8. Demostrar: p t
(1) r s
(2) r p
(3) s q
(4) p r
(5) p r
(6) p s
(7) s
(8) s
(9) p
(10) p t
(11) p t
(12) p t
P
P
P
9. Demostrar: t u
(1) (p q ) ( r s )
(2) ( t p ) ( u )
(3) ( u q ) ( s )
(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 )
(2) q s
(3) p s
(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 )
P
P
P
P
P
P
151
1. Demostrar: p r
(1) p q
(2) r q
P
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 )
(2) ( t p ) ( u )
(3) ( u q ) ( s )
(4) r
P
P
P
P
8. Demostrar: r s
(1) ( p q ) ( r s )
(2) q s
(3) p r
P
P
P
9. Demostrar: q s
(1) p q
(2) r s
(3) p ( r t )
(4) t
P
P
P
P
10. Demostrar: p
(1) p ( q r )
152
(2) q ( r 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
III. Demostrar la validez de los siguientes razonamientos mediante el mtodo
demostrativo (objetivo especfico 8.6).
(1) No se da el caso de que es culpable o no se arrepinti. Luego no es culpable.
(2) Si el universo comenz a expansionarse con el Big Bang hace cerca de trece mil
millones de aos, entonces en l no puede haber objetos de ms de trece mil millones
de aos, ni tampoco puede haber fuentes que iluminen ms all de trece mil millones
de aos. Efectivamente, el universo empez su expansin con el Big Bang; luego, ni
hay objetos ni luces anteriores a trece mil millones de aos.
(3) Si un profesor no prepara responsablemente sus clases, es responsable de la mala
preparacin de los estudiantes; si prepara bien sus clases, tiene que dedicar tiempo
extra para ello. O bien no prepara bien sus clases o bien lo hace. Por tanto o es
responsable de la deficiente preparacin de los estudiantes o tiene que dedicar tiempo
extra a la preparacin de las clases.
(4) Slo se puede exigir a los dems si uno cumple con sus responsabilidades. Slo si
uno cumple con sus responsabilidades puede esperar lo mismo de los dems. l, en
realidad, no espera que los dems cumplan sus deberes. En consecuencia, uno no
cumple con sus responsabilidades.
(5) La vctima tena el dinero en su cartera slo si el robo no fue el motivo del crimen.
Ahora bien, el motivo del crimen fue el robo o la venganza. De hecho la vctima tena
el dinero en su cartera. Luego, la venganza fue el motivo del crimen.
(6) Si es falso que va a aumentar la inflacin y habr pocas inversiones extranjeras, es
falso tambin que el presupuesto nacional es deficitario. Pero, en realidad, el
presupuesto nacional si es deficitario. Por consiguiente, aumentar la inflacin y habr
pocas inversiones extranjeras.
(7) Si la curvatura del espacio tridimensional es una esfera, entonces el universo es
ilimitado y finito a la vez. Esto es lo mismo que afirmar que es falso que el universo
sea ilimitado y finito a la vez o que la curvatura del espacio tridimensional del
universo sea una esfera.
(8) Si hay impunidad, aumenta la corrupcin. Si el gobierno da el ejemplo, los
ciudadanos se sienten motivados para cumplir sus deberes cvicos. O no aumenta la
corrupcin o los ciudadanos no se sientan motivados para cumplir sus deberes cvicos.
Luego, es falso que haya impunidad y el gobierno d el ejemplo.
(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
154
p q
p
_______
q
tenemos que dar contenido, como se ha dicho ms arriba, a las variables proposicionales. Sea,
pues:
p: Se logra la descentralizacin en Venezuela.
q: Se fortalece la democracia.
155
AUTOEVALUATIVO 8
I. Construir un razonamiento con cada una de las reglas de inferencia asignando
contenido a las variables proposicionales (objetivo especfico 8.4).
II. Dadas las siguientes formas vlidas de razonamiento construir razonamientos
asignando contenido a las variables proposicionales (objetivo 8.4).
(8)
p q
________
(1)
p q
p
p q
________
q
(9)
(p q) r
________________
(2)
p q
p (q r)
q
_________
(10) p q
p
_____________________
( p q ) ( q p )
(3)
p q
q r
________
p r
(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
RESPUESTAS
A. FORMAS LGICAS
Ejercicios: Pgina 10
Proposiciones Extensionales y no Extensionales
(1) Proposicin no extensional.
(4) Proposicin no extensional.
(6) Proposicin extensional.
Ejercicios: Pgina 20
Lgica Proposicional (objetivo especfico 6.2)
(1) (a) Proposiciones simples y su representacin:
Se logra una mayor conciencia cvica (p).
Se logra un mayor compromiso con la comunidad (q).
(Se logra) unos gobernantes honestos (r).
Los distintos problemas del pas irn solucionndose poco a poco (s).
La democracia se podr catalogar de eficiente (t).
(b) Conectivos y Conectores:
Conectivo principal: si-entonces ().
Conectivos en el antecedente: la coma (,) que equivale a y (), e y ()
Conectivos en el consecuente: y ().
157
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
(~p ~q) ~r
(p q)
___________________
r
Primera premisa
Segunda premisa
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
2
q)
1 1
1 1
0 0
1 0
4
(p
1 1
1 0
1 1
1 0
3
q)
1 1
1 1
0 0
1 0
La forma
proposicional es
tautolgica.
(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
1
0
0
0
0
0
1
0
1
0
1
0
0
1
0
0
0
1
0
01 0
10 1
10 0
01 1
01 1
10 1
10 1
01 1
01 1
01 1
10 1
10 1
10 1
10 1
0
1
0
1
0
1
0
0
0
0
1
0
0
0
1 1
0 1
0 1
1 1
1 1
0 1
0 1
01
01
01
10
10
10
10
Observacin: Los negadores, cuyo alcance es slo una variable proposicional, no han sido
numerados.
(8)
2 1 3 4 6 5
((~(p ~q)
0 1 1 0 1
1 0 0 0 1
0 1 1 1 0
0 0 1 1 0
0 1 1 0 1
1 0 0 0 1
0 1 1 1 0
0 0 1 1 0
0
1
0
0
0
0
0
0
r)
1
1
1
1
0
0
0
0
1
0
1
1
1
1
1
1
~r)
01
01
01
01
10
10
10
10
(p q)
1 1 1 0 1
1 0 0 0 1
1 1 1 1 0
1 0 1 1 0
1 1 1 0 1
0 0 0 0 1
1 1 1 1 0
1 0 1 1 0
Forma proposicional
contingente.
( ( ( p q ) ~ r) r ) ~ ( p q )
1 0 0 1 01 1 1 0 0 1 1 0
l 1 0
0 0
10 1 1 1 0
161
(2) (14)(5)(13)
(1)
(8)
((p q) r) ((p q) r)
ler. caso: 1 1 1 1 0 0
1 0 1 0 0
01
1 1 1
1 1
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)
1
1
0
1
q)
1
1
0
0
(r q))
1 01 1 0 1
1 01 1 0 1
0 01 1 1 0
1 01 1 1 0
(p r)
1 1 1 1
1 0 1 1
1 1 1 1
1 0 1 1
162
1
0
1
0
1
1
0
0
1 0
1 0
0 0
0 0
10
10
10
10
0
0
1
1
0
0
1
1
1
1
0
0
1
1
1
1
1
0
1
0
0
1
0
0
0
0
0
0
1
1
0
1
1
1
0
1
q)
1
1
0
0
1
1
0
0
(q r))
0 1 0 01
0 1 0 01
0 0 1 01
1 0 1 01
1 1 1 10
1 1 1 10
0 0 1 10
1 0 1 10
0
0
0
1
0
0
0
0
r
1
1
1
1
0
0
0
0
1
1
1
1
1
l
1
1
p
0 1
1 0
0 1
1 0
0 1
1 0
0 1
1 0
1
0
0
1
1
0
0
1
q)
1
1
0
0
1
1
0
0
0
0
0
1
0
0
0
0
q)
01
01
10
10
01
01
10
10
(p r)
1 1 1 1
1 0 1 1
1 1 1 1
1 0 1 1
1 1 1 1
1 0 0 0
1 1 1 1
1 0 0 0
163
1
1
1
1
1
1
0
1
(q
1
1
0
0
1
1
0
0
1
1
1
1
1
1
0
0
r)
1
1
1
1
0
0
0
0
(r p))
0 0l 0 1
0 01 0 0
0 01 0 1
0 01 0 0
1 10 1 1
0 10 0 0
1 10 1 1
0 10 0 0
1
1
1
1
1
1
1
1
q
1
1
0
0
1
1
0
0
164
(4)
165
1.
2.
3.
4.
5.
~p q
q r
~r
~q
~~p
P
P
P
MTT 2y3
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
Ejercicios: Pgina 52
Reglas de inferencia (objetivo especfico 8.5)
(2) Demostrar: ~ q
l. p ( q r )
P
2. ~ p r
P
3. ~ p
Simp 2
4. q r
MTP 1 y 3
5. ~ r
Simp 2
6. ~ q
MTT 4 y 5
(6) Demostrar: ~ t
1. p q
P
2. ( p r ) s P
3. ~ q r
P
4. t s
P
5. p r
TI 1 y 3
6. ~ s
MPP 2 y 5
7. ~ t
MTT 4 y 6
(8) Demostrar: ~ t
1. ( ~ p q ) ( ~ r s )
P
2. ( q ~ ~ s ) ( t ~ u )
P
3. ~ p ~ s
P
4. ( q ~ ~ r ) ( t u )
P
5. ~ t
P
6. ~ p
Simp 3
7. ~ s
Simp 3
8. ~ p q
Simp 1
9. ~ r s
Simp 1
10. q
MPP 6 y 8
11. ~ ~ r
MTT 7 y 9
12. q ~ ~ r
Conj10 y 11
13. t ~ u
MPP4 y 12
14. ~ u
MTP 5 y 13
Ejercicios: Pgina 57 Parte I. Demostraciones Formales de Validez (obj. especfico 8.4)
En la solucin de estos ejercicios se procede de la misma manera que en los
anteriores. Confronta tus respuestas con tus compaeros o con el asesor.
Ejercicios: Pgina 57 Parte II. Mtodo Demostrativo (objetivo especfico 8.4)
(2) Demostrar: r ( s t )
l. p q
P
2. ~ r ( s t )
P
3. ( q p ) ( t s )
P
4. q p
Conm 1
5. t s
MPP 3 y 4
6. s t
Conm 5
7. ~ ~ r
MTT 2 y 6
8. r
DN 7
9. r ( s t )
Conj 8 y 6
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
2. r s
3. ~ p ( ~ r t )
4. ~ t
5. ( ~ p r ) t
6. ~ ( ~ p r )
7. ~ ~ p r
8. p ~ ~ r
9. p r
10. ( p q ) ( r s )
11. q s
(10) Demostrar: p
1. p ( q r )
2. ~ q ( r p )
3. ( p q ) ( p q)
4. p q
5. ~ ~ p q
6. ~ p q
7. ( q r ) ( ~ q q )
8. ( ~ q p ) ( ~ q r )
9. ~ q p
10. q p
11. ~ p p
12. ~ ~ p p
13. p p
14. p
P
P
P
P
Exp 3
MTT 4 y 5
LM 6
DN 7
DN 7
Conj 1 y 2
DC 9 y 10
P
P
Dist 1
Simp3
DN 4
Imp 5
Dist 2
Conm 7
Simp 8
Simp 9
TI 6 y 10
Imp 11
DN 12
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 )
2. ( p q ) ( s t )
3. p ( t q)
4. ( ~ u ~ q ) s
5. ( ( p q ) s ) ( p q ) t )
6. p ( ~ ~ q t )
7. p ( q ~ t )
8. ( p q ) ~ t
9 ~(p q) ~t
10. ~ ( ( p q ) t )
11. ( ( p q ) t ) ( ( p q ) s)
12. ( p q ) s
13. p ( q s )
14. ( q s ) p
15. q s
16. ~ u ( ~ q ~ s )
17. ~ ~ ( q s )
18. ~ ( ~ q ~ s )
19. u ( ~ q ~ s )
20. u
P
P
P
P
Dist 2
Cont 3
DN 6
Exp 7
Imp 8
LM 9
Conm 5
MTP
As 12
Conm 13
Smp 14
As 4
DN 15
LM l7
Cont 16
MTT 18 y 19
169
(1) ~ ( p q )
(2) ~ p q
(3) ~ p
P
LM 1
Simp 2
P
P
P
DD l, 2 y 3
LM 4
P
P
P
Imp 2
DN 4
TI 1 y 5
Conj 6 y 3
Eq 7
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.
(b) Razonamiento en forma lgica del MTP.
p q
~p
.
q
Sean:
p: Nos adaptamos a la era de la informtica y del espacio.
q: Seguimos anclados mental y tecnolgicamente a la ya vieja era industrial.
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.
(c) Razonamiento con forma lgica de MPP.
(p q) (~r s)
p q
.
~r ~s
Sean:
p: La matemtica es una ciencia formal.
q: La lgica es una ciencia formal.
r: Las proposiciones matemticas tienen que ser contrastadas con el mundo exterior
para verificar su verdad.
s: Las proposiciones lgicas tienen que ser contrastadas con la realidad exterior para
verificar su verdad.
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.
(d) Razonamiento con forma lgica Dilema Destructivo (DD).
p q
r s
~q s .
p r
Sean:
p: El juez aplica la ley.
q: El juez administra correctamente la justicia.
r: El juez acta moralmente.
s: Su conducta se rige por principios ticos.
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.
(e) Razonamiento en forma lgica de Exportacin (Exp).
( p q) r
p (q r)
Sean:
p: Los valores humanos se conquistan.
q: Los valores humanos son patrimonios de la humanidad.
r: Hay que esforzarse para adquirir los valores humanos.
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
En la solucin de estos ejercicios se procede de la misma manera que en los
anteriores. Confronta tus respuestas con tus compaeros o con el asesor.
BIBLIOGRAFIA
172
CUADRO DESCRIPTIVO
UNIDAD
TEMA
OBJETIVOS
TERMINALES
173
UNIDAD III:
SILOGISTICA: ENFOQUE
TRADICIONAL Y
MODERNO
A. LGICA TRADICIONAL 9.
Efectuar
inferencias
inmediatas derivadas del
Cuadro
Tradicional
de
Oposicin e inferencias por
conversin y obversin.
10. Construir, dadas las
formas vlidas de la primera
figura
del
silogismo
categrico,
razonamientos
vlidos.
B. PRUEBA DE VALIDEZ
C.
LGICA
PREDICADOS
DE
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
A. LOGICA TRADICIONAL
l. INFERENCIAS lNMEDIATAS
177
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:
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.
180
181
la segunda:
Ningn jugador es elegible.
Cada proposicin exceptiva es, pues, compuesta y su traduccin equivale a la
conjuncin de dos proposiciones categricas de forma tpica. El ejemplo dado se traducira
as:
Todos los no jugadores son elegibles y ningn jugador es elegible.
Aparte de las proposiciones anotadas hay otras que slo en apariencia no son
categricas, como
Nadie puede estar al mismo tiempo en el campanario y en la procesin o
No hay peces con pulmones.
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
De las siguientes proposiciones categricas:
a) determinar si son o no de forma tpica; b) en el caso de no serlo traducirlas a su
forma tpica; c) identificar los trminos sujeto y predicado; d) clasificarlas atendiendo
a su cantidad y cualidad.
(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
183
GRFICO
184
E es falsa
I es verdadera
O es falsa
A es falsa
I es falsa
O es verdadera
E es falsa
O es falsa
A es falsa
I es falsa
O es verdadera
A es verdadera
E es verdadera
O es falsa
A es verdadera
I es verdadera
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
Con base en el Cuadro de Oposicin, determina la inferencia inmediata por
negacin de la contradictoria de las siguientes proposiciones categricas.
(1)
(2)
(3)
(4)
(5)
185
PROPOSICIONES CONVERSAS
(A) Todo P es S (no es una inferencia
vlida)
(E) Ningn P es S
(I) Algn P es S
(O) Algn P no es S (no es una
inferencia vlida)
186
De la proposicin O:
Algunos rbitros no son honestos
PROPOSICIONES CONVERSAS
(E) Ningn S es no-P
(A) Todo S es no-P
(O) Algn S no es no-P
(I) Algn S es no-P
PROPOSICIONE
S
CATEGRICAS
INFERENCIAS INMEDIATAS
POR NEGACIN POR
DE
LA CONVERSIN
CONTRADICTO
RIA
A: Todo S es P
O: Es falso que A: Todo P es S (no
algn S no es P
es vlida)
E: Ningn S es P I: Es falso que E: Ningn P es S
algn S es P
I: Algn S es P
E: Es falso que I: Algn P es S
ningn S es P
O: Algn S no es A: Es falso que O: Algn P no es
P
todo S es P
S (no es vlida)
POR
OBVERSIN
E: Ningn S es noP
A: Todo S es no-P
O: Algn S no es
no-P
I: Algn S es no-P
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.
(1) Todos los poetas son soadores.
(2) Hay matemticos famosos que han sido filsofos.
(3) Nada nuevo hay bajo el sol.
(4) Existen monarquas que funcionan mejor que las democracias.
(5) Nadie que se precie a s mismo se entrega al vicio.
(6) Algunos pases ricos no son moralmente desarrollados.
(7) Los que siembran vientos cosechan tempestades.
188
Veamos un ejemplo:
Algunos intelectuales son distrados.
Todos los filsofos son intelectuales
Algunos filsofos son distrados.
El trmino S (sujeto) de la conclusin: filsofos es el trmino menor, por eso la
premisa en la cual aparece, es la Premisa Menor. El trmino P (predicado) de la conclusin
distrados es el trmino mayor, y as la premisa donde aparece, es la Premisa Mayor. Por
ltimo, el trmino M (medio) es el que se repite en las premisas y no puede aparecer en la
conclusin; en este caso es intelectuales.
De tal modo que el esquema o figura de este silogismo ser:
Algunos M son P
189
Algn M es P
Todo S es M
Algn S es P
(Premisa Mayor)
(Premisa Menor)
(Conclusin)
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
A. Determinar el modo y la figura de los siguientes silogismos (objetivo 10.1)
(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.
PRIMERA FIGURA
M-P
S-M
S-P
SEGUNDA FIGURA
PM
SM
SP
TERCERA FIGURA
M-P
M-S
S-P
CUARTA FIGURA
P-M
M-S
S-P
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
2.3. Formas Vlidas del Silogismo CFT
Ahora bien, si combinsemos todos los modos posibles con las cuatro figuras,
obtendramos 256 formas distintas de Silogismos CFT.
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
FIGURA
MP
SM
SP
M
O
D
O
S
AAA (BARBARA)
EAE
(CELARENT)
AII (DARII)
EIO (FERIO)
SEGUNDA
FIGURA
TERCERA
FIGURA
CUARTA
FIGURA
PM
SM
SP
MP
MS
SP
PM
MS
SP
EAE
(CESARE)
AEE
(CAMESTRES)
EIO
((FESTINO)
AOO
(BAROCO)
AII
(DARAPTI)
IAI
(DISAMIS)
AII (DATISI)
EAO
(FELAPTON)
OAO
(BOCARDO)
EIO
(FERISON)
AII
(BAMALIP)
AEE
(CAMESTES)
EAO
(FRESAPNO)
EIO
(FRESINON)
IAI
(DIMATIS9
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:
Ningn habitante de otro planeta es humano.
Todo humano es racional.
Algn racional no es habitante de otro planeta.
Su esquema o forma es:
192
Ningn P es M
Todo M es S
Algn S no es P
Como hicimos anteriormente, su modo y figura son: EAO-4Si nos remitimos al cuadro vemos que el modo EAO est entre las formas vlidas de
la 4 figura.
Por lo tanto, el Silogismo es vlido.
Como ves, es sumamente sencillo.
193
Todo M es P
Algn S es M
Algn S es P
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
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.
Pasa, ahora, a resolver los ejercicios y confronta tus respuestas
EJERCICIOS
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 norespetuosos 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.
2.5. Construccin de Silogismos
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.
Segundo ejemplo. Construir un silogismo vlido de la forma CAMESTRE cuyo contenido se
refiera al ser humano.
Datos contenidos en la forma CAMESTRE:
Modo: AEE
Segunda figura: P M
SM
SP
Silogismo:
Todos los filsofos son reflexivos (A).
Ningn fantico es reflexivo (E).
Luego, ningn fantico es filsofo (E).
Tercer ejemplo. Construccin de un silogismo de forma no tpica de la forma CELARENT
cuyo contenido sea de qumica.
Datos que nos da la forma CELARENT:
Modo: EAE.
Primera figura: M P
SM
SP
Silogismo:
Ningn gas noble reacciona con otras sustancias.
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.
Observa que la premisa mayor y la conclusin son proposiciones categricas de forma
no tpica que, al traducirlas a su forma tpica, nos percatamos que corresponden a la forma
CELARENT. Esta traduccin de las proposiciones de forma no tpica se puede hacer
mentalmente en el momento en que se est construyendo el silogismo. As, antes de escribir
Ningn gas noble reacciona con otras sustancias, mentalmente hacemos, cuidando que
tenga la forma de la proposicin tipo E, su correspondiente traduccin Ningn gas noble es
un gas que reacciona con otras sustancias.
Con la conclusin hacemos algo similar. Esta traduccin se hace con doble propsito:
uno, para cerciorarse de que es un silogismo; dos, para asegurarse que la figura y el modo son
los correctos.
198
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:
Todos los profesores de EUS son responsables.
Algunos universitarios son profesores de EUS.
Todos los universitarios son personas de buen nivel cultural.
Por tanto, algunas personas de buen nivel cultural son responsables.
Aqu no hay un silogismo sino dos, a saber:
PRIMERO.
199
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.
201
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).
(1) En las prximas elecciones o votamos o no votamos. Si votamos seremos responsables
por los malos gobernantes electos y si no votamos seremos igualmente responsables por
los malos gobernantes electos. Luego, en ambos casos seremos responsables por los
malos gobernantes electos.
(2) En Venezuela o bien se aprueba la economa libre o bien no se aprueba. Si lo primero, la
especulacin se desata y si lo segundo, se compromete el desarrollo del pas. Luego, en
ambos casos es negativo.
(3) O digo la verdad o no la digo; si lo primero, me expongo a represalias, y si lo segundo,
paso por un cobarde. Luego, en ambos casos estoy perjudicado.
(4) Para defender mi punto de vista o uso un dilema o no lo uso. Si lo uso, fcilmente puede
ser refutado y si no lo uso no puedo refutar a mi adversario. Luego, en ambos casos es
desaconsejable.
(5) Los estudiantes disfrutan o no estudiando. Si lo primero, no necesitan recompensas para
estudiar y si lo segundo, las recompensas no lograrn que estudie. Por tanto, las
recompensas no ayudan a estudiar.
(6) El gobierno debe o bien aumentar los impuestos o no aumentarlos. Si los aumenta, la
poblacin protesta y si no los aumenta, no puede atender los servicios pblicos. Luego, en
ambos casos no es conveniente.
(7) Me jubilo o no me jubilo. Si lo primero, no me voy a sentir til a la comunidad y si lo
segundo, no dispongo del tiempo para mis distracciones favoritas. Luego, en ambos casos
es inconveniente.
(8) O bien trabajo o bien no lo hago. Si trabajo, me canso en exceso y si no lo hago, me
aburro. Por tanto, ambos casos son negativos.
203
B. PRUEBA DE VALIDEZ
Objetivo Terminal 11: Efectuar la prueba de validez de un razonamiento silogstico
mediante los diagramas de Venn.
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.
Grfico 3
Grfico 4
Grfico 5
205
En resumen: Grfico 6
Proposiciones
CATEGRICAS
Proposiciones
CONVERSAS
Tipo
A
Tipo
E
Tipo
I
Tipo
O
Nota: Hay que observar las siguientes precauciones:
1. El Simple diagrama de dos crculos sin ninguna indicacin representa clases, pero
no proposiciones.
2. Dejar un espacio en blanco no significa nada; ni que hay miembros, ni que no los
hay.
3. Un diagrama representa una proposicin slo si se tiene una parte sombreada o se
ha insertado una X.
EJERCICIOS:
Representar mediante los diagramas de Venn las siguientes proposiciones categricas:
(1)
(2)
(3)
(4)
(5)
206
Grfico 7
Grfico 8
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
Grfico 10
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.
Grfico 12
Grfico 13
209
AUTOEVALUATIVO
Probar la validez de los siguientes silogismos mediante los diagramas de Venn.
(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
Lo que diferencia principalmente, la lgica de predicados de la silogstica es que la
primera ha logrado simbolizar cada uno de los elementos internos de las proposiciones
singulares y generales, y, con ello, ha hecho posible construir un mtodo riguroso de
demostraciones de validez de los silogismos con slo aadir cuatro nuevas reglas de
inferencia a las ya empleadas por la lgica proposicional. En esta parte, nos abocaremos a la
simbolizacin completa de las proposiciones singulares, particulares y universales.
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.
Primer ejemplo: Simbolizar la proposicin:
Rafael Urdaneta fue presidente de la Gran Colombia.
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.
Segundo ejemplo: Simbolizar:
E1 Padre de la patria liber cinco naciones
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.
212
213
214
As la proposicin:
(a) Hay socialistas.
se traduce a su equivalente
(b) Algunos son socialistas.
Y para su simbolizacin se procede de la forma inclicada ms arriba.
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.
Para reafirmar este punto, te presentamos los siguientes
Ejercicios. Avancemos
EJERCICIOS
Simbolizar en el leguaje de la Lgica de Predicados las siguientes proposiciones con
un solo predicado (objetivo 12.1)
(1) Hay marcianos.
(2) Alguien lleg tarde.
(3) Ninguno es perfecto.
(4) Nadie vino.
(5) No hay marcianos.
(6) Cualquiera est interesado.
(7) No todo es oro.
(8) Es falso que Luis es estudiante.
(9) Mi amigo Pedro es mdico.
(10) La ciudad ms populosa del mundo es peligrosa.
(11) Nadie es inmutable
215
(12)
(13)
(14)
216
217
y la proposicin:
218
EJERCICIOS
219
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.
Este silogismo no es de forma tpica porque la conclusin aparece como primera
proposicin. Sabemos que Ningn mdico es juez es la conclusin porque no contiene el
trmino medio.
Ningn juez es profesional de la salud.
Todos los mdicos son profesionales de la salud.
Por tanto, ningn mdico es juez.
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:
(x) (Jx Sx)
(x) (Mx Sx)
(x) (Mx Jx)
Otro ejemplo. sea el silogismo vlido:
Slo los esforzados triunfan.
Algn zuliano triunfa.
Luego, algn zuliano es esforzado.
Su correspondiente silogismo de forma tpica es:
Todos los triunfadores son esforzados.
Algn zuliano es triunfador.
Por tanto, algn zuliano es esforzado.
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)
Pasa a resolver el siguiente autoevaluativo
Comienza a trabajar y suerte!
AUTOEVALUATIVO 9
Construir, si es necesario, en forma tpica los siguientes silogismos y, luego, abstraer
su forma lgica (objetivo 12.2.).
(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
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.
223
Tanto (a) como (b) son proposiciones, una en castellano y la otra en la lgica de
predicados (a).
Si sustituimos en las expresiones (a) y (b) a Einstein y a a por x respectivamente
tendremos:
(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.
(x) Ix: todos son ingenieros
Ia: Jorge es ingeniero.
Ib: Ana es ingeniero.
Ic: Luis es ingeniero.
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
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....
2.4.2. Generalizacin Universal (GU)
Lo que se afirma de un individuo cualquiera escogido arbitrariamente, de un
universo del discurso determinado, se afirma de todos los individuos de ese universo del
discurso. Si el universo del discurso, por ejemplo, est constituido por los alumnos de lgica
de una seccin y afirmamos con verdad que uno cualquiera de ellos escogido al azar es
venezolano, podemos inferir con verdad que todos los alumnos de esa seccin son
venezolanos.
Luego, de V ( es venezolano) se puede deducir (x) Vx (Todos son
venezolanos).
Generalizando, de un ejemplo de sustitucin de un individuo cualquiera escogido
arbitrariamente obtenido por EU se puede deducir una proposicin universal en el respectivo
universo del discurso. Dicho de otra forma, de la funcin proposicional, Px, de una
proposicin singular formada con un individuo cualquiera escogido arbitrariamente, P,
obtenido de una proposicin universal mediante EU, se puede deducir la cuantificacin
universal de esa funcin proposicional, (x) Px.
De ah la regla de GU:
P
(x) Px
Esto es, de P se puede deducir (x) Px, donde P es un predicado cualquiera.
2.4.3. Ejemplificacin Existencial (EE)
Lo que se dice de algunos individuos en forma indeterminada, en un universo del
discurso especfico, se dice de, al menos, uno o de varios individuos determinados de ese
universo. Si el universo del discurso est constituido por los estudiantes de la Universidad del
Zulia y afirmamos: Algunos son extranjeros, evidentemente, de esta proposicin podemos
deducir que hay estudiantes (al menos uno) determinados que son extranjeros. Esto es, de una
proposicin particular se puede inferir uno o varios ejemplos de sustitucin con individuos
determinados.
Por tanto, generalizando, la regla de ejemplificacin existencial se expresa as:
(x) Px
Pa
Donde P es un predicado cualquiera. Ahora bien, de (x) Px se puede deducir, al
menos, un ejemplo de sustitucin, Pa, pero tambin pueden deducirse otros ejemplos de
sustitucin como Pb, Pc, etc.
Por eso, cuando en una demostracin de validez de un razonamiento se aplique la
regla de ejemplificacin existencial ms de una vez, en la primera aplicacin se obtiene el
ejemplo de sustitucin con el individuo a, es decir, se deduce Pa; en la segunda aplicacin
se obtendr el ejemplo de sustitucin con el individuo b, para deducir Pb; si hubiera una
tercera aplicacin se obtendra Pc, y as sucesivamente. Es decir, de (x) Px se puede
deducir un ejemplo de sustitucin que todava no haya aparecido en la demostracin.
226
b) (x) Px
Pa
P
(x)Px
(x) Px
Pa
Pa
(x) Px
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
EJERCICIOS:
Identificar las reglas de inferencia propias de la lgica de predicados.
(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.
228
Ma
La demostracin formal de validez se realiza de esta manera.
Demostrar: Ma
1. (x) (Gx Mx)
P
2. Ga
P/Ma
3. Ga Ma
EU, 1
4. Ma
MPP 2, 3
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)
Demostracin formal de validez.
Demostrar: (x)(Mx Ax)
l. (x) (Jx Ax)
2. (x) (Mx Jx)
3. J Ay
4. M Jy
5. M A
6. (x) (Mx Ax)
P
P
EU, 1
EU, 2
TI 3, 4
GU 5
229
Vocabulario primitivo:
Fx: x es filsofo.
Rx: x es reflexivo.
Zx: x es zuliano.
Lo simbolizamos de este modo:
(x) (Fx Rx)
(x) (Zx Fx)
(x) (Zx Rx)
Su demostracin formal es como sigue:
Demostrar: (x) (Zx Rx)
1. (x) (Fx Rx)
P
2. (x) (Zx Fx)
P
3. Za Fa
EE 2
4. Fa Ra
EU 1
5. Fa
Simp. 3
6. Ra
MPP 4, 5
7. Za
Simp. 3
8. Za Ra
Conj. 7, 6
9. (x) (Zx Rx)
GE 8
Observa que es obligatorio aplicar, primero la regla de EE y, luego, la EU, debido a la
restriccin en el uso de la EE, la cual estpula que el ejemplo de sustitucin deducido tiene
que hacerse con un individuo que no haya aparecido en la demostracin. Si se hubiera
aplicado primero la regla de EU, el individuo a con el cual se hubiera deducido el ejemplo
de sustitucin, no podra usarse en la aplicacin siguiente de la regla EE en virtud de la
restriccin anotada y tendra que utilizarse el individuo b. De esta manera no sera posible la
demostracin formal de validez de este razonamiento vlido. Veamos cmo quedara la
pretendida demostracin de validez aplicando primero la regla de EU sera as:
1. (x) (Fx Rx)
P
2. (x) (Zx Fx) / (Zx Rx) P
3. Fa Ra
EU 1
4. Zb Fb
EE 2
5. Fb
Simp. 4
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:
Algunos zulianos son responsables.
Algunos caraqueos son responsables
Por tanto, algunos zulianos son caraqueos.
La tal demostracin errnea podra ser sta:
230
231
P
P
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)
(2) (x) (Rx Px)
(x) (Px Qx)
(x) (Rx Qx)
(3) (x) (Px Qx)
(x) (Px Rx)
(x) (Rx Qx)
232
RESPUESTAS
A. LGICA TRADICIONAL
Ejercicios: Pgina 11 Proposiciones Generales, Singulares y Categricas
(1) Algunos libros escritos en arameo hace dos mil aos,
S
son traducidos actualmente al castellano.
P
Es una proposicin categrica de forma tpica.
Su esquema: Algn S es P.
Por tanto, es particular afirmativa (Tipo I).
(2) Un abogado graduado en La Universidad del Zulia es un profesional eficiente:
Es una proposicin categrica de forma no tpica.
Traduccin a su forma tpica:
Todos los abogados graduados en La Universidad del Zulia, son
S
profesionales eficientes.
P
Su esquema: Todo S es P.
Por tanto, es universal afirmativa (Tipo A)
(5) Nada nuevo hay bajo el sol.
Es una proposicin categrica de forma no tpica.
Su forma tpica es:
Ninguna cosa es nueva bajo el sol.
S
P
Su esquema: Ningn S es P.
Por tanto, es universal negativa (Tipo E).
(10) Ningn caballero engaa.
233
es
persona
que
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).
(25) Un hombre orgulloso no reconoce fcilmente sus errores.
Es una proposicin categrica de forma no tpica.
Traduccin a su forma tpica: Todo hombre orgulloso es un hombre que no
reconoce fcilmente sus errores; que a su vez equivale a:
Ningn hombre orgulloso es hombre que reconoce fcilmente sus errores
S
P
Su esquema: Ningn S es P.
Por tanto, es universal negativa (Tipo E).
(30) Digno de admiracin es quien respeta al pobre.
Es una proposicin categrica de forma no tpica.
Traduccin a su forma tpica: Todas las personas que respetan a los pobres son
S
dignas de admiracin.
P
Su esquema: Todo S es P.
Por tanto, es universal afirmativa (Tipo A).
234
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.
(3) No es una proposicin categrica, sin embargo, por negacin de la contradictoria se
puede inferir: es falso que hay algo nuevo bajo el sol.
Las dems inferencias no son posibles.
Nota: Si te qued alguna duda, consltala con tu asesor.
(5) Su esquema: Ningn S es P (tipo E).
Se puede inferir vlidamente:
* Por negacin de la contradictoria: No es verdad que alguien que se aprecie a s
mismo se entregue al vicio.
* Por conversin: Nadie que se entregue al vicio se precia a s mismo.
* Por obversin: Todo el que se precie a s mismo no se entrega al vicio.
(7) Su esquema: Todo S es P (tipo A).
Se puede inferir vlidamente:
* Por negacin de la contradictoria: Es falso que algunos que siembran vientos
cosechan tempestades.
* Por conversin: No es vlida su conversa.
* Por obversin: Ninguno que siembra vientos no cosecha tempestades.
235
Las respuestas de (1), (4) y (6) consltalas con algn compaero o con tu asesor.
Cuando hayas concluido, si deseas ampliar o profundizar este punto te recomiendo
la siguiente LECTURA COMPLEMENTARIA: I. COPI; Introduccin a la Lgica
pginas:
Si tienes alguna duda vuelve a trabajar cuidadosamente tu material.
OAO
MP
MS
SP
(A2) Su esquema:
Su modo:
Su figura:
Todo P es M
Ningn S es M
Ningn S es P
AEE
PM
SP
SP
Nota: Las respuestas del ejercicio (A3) y del ejercicio B consltalas con tu asesor y aclara
cualquier duda.
236
(2) Su esquema
Ningn M es P
Algn S es M
Ningn S es P
Modo y figura: EIE-1
No hay ninguna forma vlida que corresponda a ese modo y figura, luego es un
silogismo no vlido.
(4) Su esquema:
Todo M es P
Algn M es S
Algn S es P
Modo y figura: AII-3
Corresponde a la forma DATISI, luego es un silogismo vlido
(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.
Ejercicios: Pgina 27 Silogismos categricos de Forma No Tpica
(1) Silogismo Categrico de Forma Tpica:
237
Su estructura: Algn M es P
Todo S es M
Algn S es P
Modo y figura: IAI- 1
No hay ninguna forma que corresponda a ese modo y figura, por tanto, es invlido.
(5) Silogismo Categrico de Forma Tpica:
Su estructura: Ningn M es P
Todo S es M
Ningn S es P
Modo y figura .- EAE- 1, que corresponde a la forma CELARENT, luego es vlido.
(10) Silogismo Categrico de Forma Tpica:
Para obtener la premisa menor, primero se sustituy invlido por su sinnimo novlido, y segundo se aplic la inferencia por obversin.
Su estructura: Ningn M es P
Todo S es M
Ningn S es P
Modo y figura: EAE-1, que corresponden a la forma CELARENT, luego es vlido.
(15) (a) Silogismo ordenado:
238
Su estructura : Todo M es P
Todo S es M
Todo S es P
Modo y figura: AAA-l, que corresponden a la forma BARBARA, luego es vlido.
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.
Forma del silogismo: AII-1: DARII, luego es valido.
(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.
Forma del silogismo: AII-1 : DARII, luego es vlido.
240
Grfico
Grfico
241
Grfico
Las respuestas de (3) y (5) consltalas con tu asesor o con algn compaero
vlido.
(2) Figura:
Ningn P es M
Algn S es M
Algn S no es P
Grfico
(3) Figura:
Todo M es P
Todo M es S
Todo S es P
Grfico
(4) Figura:
Todo M es P
Ningn M es S
Ningn S es P
Grfico
242
Interpretacin
Las respuestas de (3), (4), (5) y (6) debers confrontarlas con algn compaero O
consultarlas con tu profesor.
C. LGICA DE PREDICADOS
(2)
(4)
Ninguno vino
Vocabulario primitivo:
(x): Para todo x.
Vx: x vino.
(x) ~ Vx.
(8)
Vocabulario primitivo:
a: Luis
Ex: x es estudiante.
~ Ea.
(10)
Vocabulario primitivo:
a: La ciudad ms populosa del mundo.
Px: x es peligrosa.
Pa.
Ejercicios: Pgina:53 Simbolizacin de Proposiciones Categricas
243
(13)
(18)
(20)
(21)
(1)Vocabulario primitivo
Ax: x es artista
Ex: x es persona exigente.
Ix: x es insolente.
Forma Lgica:
(x) (Ax Ex)
(x ) (Ax Cx)
244
(x ) (Px Ix)
(3) Silogismo en forma tpica:
Todos los compromisos sociales son grandes ideales.
Algunas propuestas son compromisos sociales.
Luego, algunas propuestas son grandes ideales.
Vocabulario primitivo:
Forma lgica:
(x) (Cx Ix)
(x) (Px Cx)
(x ) (Px Ix)
(10) Silogismo en forma tpica:
Ningn profesor es fantico.
Todas las personas de mente cerrada son fanticas.
Por tanto, ninguna persona de mente cerrada es profesor.
Vocabulario primitivo:
Px: x es profesor.
Fx: x es fantico.
Cx: x es persona cerrada
Forma lgica:
(x) (Px ~ Fx)
(x) (Cx Fx)
(x) (Cx Px)
(15) Silogismo en forma tpica:
Todas las personas objetivas son responsables.
Todos los cientficos son personas objetivas
Por consiguiente, todos los cientficos son responsables.
Vocabulario primitivo:
Cx: x es cientco.
Ox: x es persona objetiva.
Rx: x es responsable.
Forma lgica:
(x) (Ox Rx)
(x) (Cx Ox)
(x) (Cx Rx)
(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
Cx: x es confiable.
Lx: x es leal.
Tx: x es transparente.
Forma lgica:
(x) (Cx Lx)
(x) (Tx Cx)
(x) (Tx Lx)
Ejercicios: Pgina: 62 Reglas de Inferencia
(l) Generalizacin universal
(5) Ejemplificacin existencial.
(10) Ejemplificacin universal.
Ejercicios: Pgina: 66
Demostracin de Validez
(1) Demostrar:
(x) (Gx Px)
(1) (x) (Hx Px)
(2) (x) (Gx Hx)
(3) G H
(4) H P
(5) (x)(Hx Px)
P
P
EU2
EU 1
GU 5
P
P
EE 2
EU 1
Simp 3
MPP 4, 5
Simp 3
Conj 6,7
246
GE8
P
P
EE 2
EU
Simp 3
MPP 4, 5
Simp 3
Conj 7, 5
GE
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.
B(1) #4. Forma lgica
(x) (Ex Ux)
(x) (Ux Px)
(x) (Ex Px)
Demostrar: (x) (Ex ~~ Px)
(1) (x) (Ex Px)
P
(2) (x) (Ux Px)
P
(3) E U
EU l
(4) U P
EU 2
(5) E Py
TI 2,4
(6) (x) (Ex Px)
GU 5
Nota: El ejemplo de sustitucin de (1) y de (2) tiene que ser un individuo cualquiera
escogido arbitrariamente y representado por . De no ser as no se podra aplicar la GU en
(5) para obtener la conclusin.
B(2) #5. Forma lgica:
(x) (Cx Ax)
(x) (Ax Ix)
247
P
P
EU l
EU 2
TI 3,4
GU5
C(4)
Contenido: Fsica.
Vocabulario primitivo: Px: x es materia
Qx: x es estrella
Rx: x es energa.
Silogismos:
Toda la materia es energa
Toda estrella es materia
Toda estrella es energa.
248
BIBLIOGRAFIA
249
250