Академический Документы
Профессиональный Документы
Культура Документы
PROFESORES
TTULO
FECHA
Marzo 2016
CURSO
Lgica
CODIGO
REA
CICLO
HU210
Humanidades
2016-1
NDICE
Introduccin
Cronograma de clases y evaluaciones
UNIDAD 1. La Lgica y los argumentos
1.1 Argumentos: definiciones, indicadores, componentes
Lecturas
Ejercicios de aplicacin
1.2 Induccin y deduccin
Lecturas
Ejercicios de aplicacin
1.3 Falacias no formales
Falacias de atinencia
Falacias de ambigedad
Ejercicios de aplicacin
1.4 La Lgica estndar y su estrategia
Lecturas
1.5 Proposiciones
Lecturas
Ejercicios de aplicacin
UNIDAD 2. El lenguaje de la Lgica Proposicional
2.1 Sintaxis de LP
Ejercicios de aplicacin
2.2 Semntica de LP
Lecturas
Ejercicios de aplicacin
2.3 Simbolizacin
Ejercicios de aplicacin
2.4 Validez de inferencias
Lecturas
Ejercicios de aplicacin
2.5 Derivacin
Ejercicios de aplicacin
UNIDAD 3. La Lgica de clases
3.1 Proposiciones categricas tpicas
Ejercicios de aplicacin
3.2 Silogismos categricos
Ejercicios de aplicacin
ANEXOS
Anexo 1: Cuadro de la oposicin
Anexo 2: El desarrollo de la Lgica: algunos hitos importantes
Anexo 3: Solucionarios a los ejercicios de aplicacin
BIBLIOGRAFA
iii
v
6
7
9
11
17
19
22
24
25
30
32
42
44
45
46
47
52
53
56
59
63
64
68
71
81
85
87
96
100
106
107
111
113
118
123
124
131
145
169
INTRODUCCIN
Cuando pensamos en la palabra lgica, cul es la primera imagen
que nos viene a la mente? Quizs pensamos en algn curso escolar,
quizs alguna vinculacin con un curso de matemticas, quizs
recordamos algunos smbolos que no nos dicen mucho (por ejemplo:
pq). No es gratuito que esas imgenes nos salgan al encuentro; sin
embargo, por qu son esas las imgenes que la palabra lgica nos
evoca?
Por otro lado, si intentamos pensar en algunas expresiones sinnimas
de lgico o lgica, seguramente podramos poner en nuestra lista
algunas expresiones como las siguientes: sensato, verdadero,
slido, coherente, consistente, obvio, evidente, vlido,
irrefutable, bien fundamentado, etc., y muchas otras ms.
Pero, qu relacin existe entre aquello que podemos calificar como
lgico y aquellos recuerdos de diversos cursos de Lgica? Existe
alguna relacin entre nuestro uso habitual del adjetivo lgico y el
contenido de los cursos de Lgica que alguna vemos hemos conocido y
que ahora podemos recordar? Sin duda que s existe una relacin.
La palabra lgica deriva de la expresin en griego logos (),
que podra traducirse de mltiples maneras: razn, discurso,
explicacin, lenguaje. As, la Lgica (con mayscula, la ciencia
denominada Lgica) es una ciencia formal dedicada al estudio de la
validez de los razonamientos, argumentos o inferencias. La Lgica
busca, pues, desentraar aquello que hace la diferencia entre un
razonamiento incuestionable y aquellos razonamientos que carecen de
solidez. Para poder hacer esto, la Lgica trabaja a partir de una
estrategia. Esta estrategia est enfocada en el anlisis de la forma de
los razonamientos, dejando fuera del campo de su anlisis el contenido
de los mismos.
As, para poder llevar a cabo sus anlisis y demostraciones, la Lgica
ha creado, en el transcurso de sus ms de dos mil aos de historia,
una serie de lenguajes artificiales simblicos. Estos lenguajes son una
herramienta sumamente til para poder hacer el anlisis de la validez
de los argumentos. Precisamente una oracin de uno de esos
lenguajes es la que escribimos en el primer prrafo de esta
introduccin: pq.
Resumiendo entonces, la relacin entre la nocin habitual de lgica
como sinnimo de slido, verdadero, vlido, etc. y los smbolos
que podemos recordar o haber visto alguna vez consiste en lo
siguiente: la Lgica estudia la solidez de los argumentos y para ello
utiliza lenguajes de smbolos que le permiten enfocarse en la
estructura o forma de los razonamientos sin considerar el contenido de
los mismos.
Todo lo anterior nos lleva, ahora, a plantearnos la propuesta de este
curso de Lgica. En este curso, nos proponemos hacer un anlisis
formal de los razonamientos, haciendo uso de las herramientas
simblicas de la Lgica. Concretamente, nos dedicaremos a trabajar
3
Anexos
LGICA HU210
CRONOGRAMA 2016-1
Contenidos
1.1Argumentos: definiciones,
indicadores, componentes
Unidad 1
Fecha
1
21-26 marzo
2
28 marzo 2
abril
3
4-9 abril
4
11-16 abril
5
18-23 abril
6
25-30 abril
10
23-28 mayo
15
27 junio 2 julio
16
4-9 julio
EXMENES PARCIALES
2.3 Simbolizacin
TB-tercera parte:
evaluacin en clase sobre
validez de inferencias
Unidad 3
14
20-25 junio
11
30 mayo 4
junio
12
6-11 junio
13
13-18 junio
7
2-7 mayo
8
9-14 mayo
9
16-21 mayo
1.2Induccin y deduccin
1.3Falacias no formales
Evaluaciones / Avisos
Feriado: mircoles
EXMENES FINALES
Sistema de evaluacin:
Anexos
TA1: 15%
EA: 25%
TA2: 15%
EB: 25%
TB: 20%
UNIDAD 1
1.1
Argumentos:
componentes
Componentes de
un argumento
PREMISA 1
PREMISA 2
PREMISA n
que
justifican
CONCLUSIN
definiciones,
indicadores,
Anexos
pues hay
invlidos.
argumentos
malos,
dbiles,
incorrectos
Estudiar en la universidad
no es garanta de xito
profesional, pero s facilita
la insercin en el mercado
laboral y el crecimiento
personal. Por ello, a pesar
de todas las crticas o
dificultades, s vale la pena
estudiar en la universidad.
El xito no se mide por la
cantidad
de
ingresos
econmicos que uno puede
obtener porque se puede
tener mucho dinero y ser un
absoluto fracaso.
Indicadores de argumento
DE PREMISA
Porque
Puesto que
Debido a que
En razn de que
Pues
Dado que
En vista de que
Etc.
DE CONCLUSIN
Por lo tanto
En conclusin
Por ello
Por eso
Por consiguiente
En consecuencia
En razn de lo anterior
Etc.
Anexos
Lecturas
El lenguaje del razonamiento
Algunas pistas
Es obvio que nosotros usamos el lenguaje para muchos propsitos aparte del razonamiento. Lo usamos para
reportar eventos, hacer chistes, invitar, contar historias, hacer promesas, dar rdenes, preguntar, impartir
instrucciones, evocar emociones, describir cosas, entretener y miles de otras cosas ms. Cada una de las
actividades mencionadas arriba emplea su lenguaje caracterstico un lenguaje que nos ayuda a comprender
lo que est pasando. Por ejemplo, Has escuchado se sobre...? es una manera comn de sealar que se
va a decir un chiste (ms que un reporte verdadero, etc.). Te gustara venir y ...? es una manera comn de
invitar. No hagas esto o lo otro... es una manera comn de amenazar y as sucesivamente. Claro est que
estos ejemplos pueden ser usados para diferentes propsitos y conocer el contexto en el cual son usados es
a menudo esencial para entender su significado. Sera una tarea compleja decir cmo identificamos chistes o
amenazas o lo que sea y no ser sorprendente descubrir que el lenguaje del razonamiento tambin es
complejo, pero hay muchas cosas tiles que podemos decir.
Si vamos a enfocar nuestra atencin en el razonamiento, debemos primero describir cmo distinguir
contextos en los cuales el razonamiento tiene lugar. Recurdese que el razonamiento o la argumentacin de
un caso consisten en dar razones para conclusiones, y las razones deben ser puestas antes para sostener,
justificar, establecer, probar o demostrar la conclusin. En las lenguas naturales no siempre es fcil decir
cundo un argumento est siendo presentado, pero todos los argumentos tienen una conclusin y en espaol
una conclusin es a menudo sealada por la presencia de las siguientes palabras o frases, a las que
llamaremos indicadores de conclusin:
Indicadores de conclusin
Por lo tanto...
As, ...
Por ello, ...
Por consiguiente, ...
En consecuencia ...
Lo que prueba que ...
Lo que justifica que se crea que ...
No sugerimos que cada vez que estas frases sean usadas se siga una conclusin, pero lo que comnmente
indican estas palabras es la presencia de una conclusin. Ellas son pistas lingsticas de lo que se intenta en
el texto. Algunas veces tienen un uso muy diferente, por ejemplo Mara baila as, Juan establece el hecho
de que tenemos problemas de traduccin. Los indicadores de conclusin que hemos listado y otros similares
son los marcadores. Ellos no pueden ser usados mecnicamente para encontrar conclusiones: requiere un
poco de juicio decidir si ellos de hecho sealan la presencia de una conclusin. De hecho, las conclusiones a
veces son presentadas sin ningn indicador de conclusin en absoluto; en vez de ello el contexto muestra
que una conclusin est siendo presentada.
Cada argumento tambin incluye fundamentos o razones para su conclusin. Una razn usualmente se
presenta como si fuera verdadera y como si fuera una razn para alguna conclusin. Las palabras y frases
que se usan en espaol para sealar la presencia de razones y que llamaremos indicadores de razn
incluyen las siguientes:
10
Ejercicios
de aplicacin
Nuevamente, no estamos
diciendo que cada vez que estas palabras o frases se usan se presenta una razn,
pero s que ellas comnmente indican la presencia de una razn. Ellas sirven como marcadores que nos
I. permiten,
Leecon
cada
uno de
deun
losjuicio
siguientes
pasajes
y resuelve
lo siguiente:
la ayuda
breve, localizar
razones.
Nuevamente
es verdad que las razones
Determina
culessinde
ellos esdeunrazn,
argumento.
frecuentemente
se presentan
indicadores
pero los contextos muestran que se est dando una
En los casos en los que no se trate de un argumento, indica cul es la
razn.
pretensin del texto: informar, describir, etc.
conveniente
En casotener
de una
quefrase
s para
se referirnos
trate de
unindicadores
argumento,
las conclusiones,
Ser
a los
de raznsubraya
y de conclusin
de modo que los
llamaremos
indicadores
inferencia oy indicadores
argumento.
numera
las de
premisas
encierradeen
un
crculo
los indicadores de
argumento.
Algunas
1. complicaciones
La doctrina del antitrust postula que la democracia
I. funciona
Los contextos
los que estamos
interesados
son aquellos
los que un autor o hablante presenta
mejorencuando
el poder
econmico
se en
distribuye
afirmacin,
la conclusin, que es
o justificada
por otras afirmaciones, las razones.
de alguna
manera
descentralizada
y sostenida
cuando
los distintos
As, el que
ciertas oraciones
consideradas conclusiones
o razones
intereses
econmicos
se sean
contrarrestan
entre s. Se
trata dependen nicamente de
las postulado
intenciones aparentes
delaautor
de cmo l de
o ella
las haya yexpresado.
No importa si las
de un
anlogo
la separacin
poderes
al
afirmaciones
son
verdaderas
o
falsas,
tampoco
importa
si
las
razones
tienen
xito
al justificar la
establecimiento de pesos y contrapesos en el
conclusin: lo nico
importa hasta
punto las
en elposibilidades
que estamos tratando de identificar lo que
funcionamiento
delque
Estado,
queeste
limitan
es un argumento
es si poltico.
el texto presenta
afirmaciones
de abuso
del poder
Estaalgunas
doctrina
surgecomo
en razones
un para conclusiones.
contexto impregnado por tradiciones liberales que
II. rechazaban
Algunas veces
el razonamiento tiene
sin elpor
uso constituir
de indicadoresuna
de inferencia para sealar la
la concentracin
dellugar
poder
presencia
y conclusiones.
A veces es difcil decidir si el razonamiento tiene lugar en tales
amenaza
a de
lasrazones
libertades
individuales.
casos. Omitir los indicadores de inferencia es a veces una herramienta retrica, usada con el
TAVARA,
Mercados,
monopolios
y democracia
propsito de enfatizar y es
comnJos.
en polticos
y oradores
pblicos.
III.
IV.
2.
Las as llamadas palabras modales y frases como debe, no puede, imposible,
En el siglo XIX un demcrata poda ser tanto liberal como
necesariamente y as sucesivamente son usadas algunas veces como seales de razonamiento.
socialista. Los liberales aceptaban la revolucin industrial
Por ejemplo:
y defendan la institucin de la propiedad privada de los
medios de produccin, el establecimiento de una
El motor no se encender. El carburador debe estar bloqueado.
economa de mercado autorregulada y la conversin del
trabajo en mercanca. Los socialistas aceptaban tambin
Asumiendo el contexto obvio, la palabra debe est siendo usada por el hablante como una seal
la revolucin industrial, pero rechazaban esos tres puntos
del hecho de que est bosquejando una conclusin: l pudo haber dicho, porque el motor no se
de la ideologa liberal. Los conservadores, por su parte,
encender, yo concluyo que el carburador debe estar bloqueado y este habra conllevado mucho
rechazaban la revolucin industrial. De ello se desprende
del mismo mensaje (aunque algo recargado). Aqu otro ejemplo:
que ni los liberales ni los socialistas eran conservadores,
que ningn liberal era socialista y que ningn
El mundo est lleno de sufrimiento. Dios no puede existir.
conservador era demcrata.
A veces la conclusin de un
argumento
es Introduccin
omitida. Aquaunlaejemplo:
DEAO,
Alfredo,
lgica formal
3.
Todos los boxeadores sufren daos en el cerebro y Smith tiene una larga carrera como
Cmo sabes
que(Necesito
t ests
loco?
pregunt Alicia.
boxeador.
decir
ms?)
Para empezar repuso el gato los perros no estn locos.
De Elacuerdo?
contexto usualmente hace clara la conclusin que se intenta expresar. De modo similar, las
Supongo
queomitidas
no algunas
dijo Alicia.
razones son
veces, aunque son asumidas como parte del argumento.
Bueno, pues entonces continu el gato observars que
los perros gruen cuando algo no les gusta y mueven la
11
Anexos
4.
El trmino consumidor no debe interpretarse con
demasiada estrechez. La gente gasta sus ingresos no slo
en bienes de consumo, sino tambin en inversiones. Al
consumidor
debe
considerrsele
tambin
como
inversionista y los gastos de los consumidores deben
incluir las inversiones, pues el dinero invertido se gasta
en bienes de capital. Por otra parte, los gastos de los
consumidores no incluyen los gastos de los negociantes
en la compra o en la produccin de artculos para la
reventa. As entendido, el gasto de los consumidores
representa la demanda efectiva total de todo lo que se
produce, ya sean mercancas o servicios.
5.
Sostener que si no existiese propiedad privada todos los
hombres seramos hermanos es un error. Hay una simple
razn para considerar esa postura errnea: la propiedad
privada hace que las personas sean socias y que
cooperen entre s.
SAVATER, Fernando
6.
El da muere. Ha dejado un momento de llover. Me voy.
All te dejo la yerba en que me sent y la sombra del
rbol ltimo de tu jardn que me ampar. Cierra la puerta,
que oscurece. Yo sigo mi camino El da se ha muerto.
TAGORE, R. El jardinero
7.
Los
economistas
clsicos
sostuvieron
que
la
sobreproduccin general era imposible, porque nadie
produca sino para el consumo y, por lo tanto, la
demanda era necesariamente igual a la oferta. Adems,
la produccin llegaba a su mximo punto durante la fase
activa del ciclo econmico y caa durante la fase de
depresin en el preciso momento en que los sntomas de
sobreproduccin aparecan. Si la sobreproduccin excede
la demanda, los negociantes, sobrecargados con bienes
no vendidos, se muestran poco dispuestos a producir
ms. De esto podemos deducir vlidamente que la
12
8.
La sabidura les proviene a todos del conocer. Vale decir,
que los unos conocen las causas y los otros no. Los que
han experimentado saben el qu, pero no el porqu; los
otros en cambio, conocen el porqu y la causa... Es decir
son ms sabios... en cuanto poseen la razn y conocen la
causa... Por otra parte las sensaciones no creemos
constituyan ninguna sabidura a pesar de que sean ellas
los conocimientos ms adecuado de lo particular. Pero no
nos dicen el porqu de ninguna cosa, como, por ejemplo,
por qu es caliente el fuego, sino solamente que es
caliente... Es evidente, entonces, que la sabidura es
ciencia de causas y de principios (Metaf., I, 1, 981-2).
MONDOLFO, Rodolfo. El pensamiento antiguo
13
Anexos
9.
El hombre no posee nada divino o bienaventurado,
salvo... todo lo que en nosotros existe de intelecto y
razn cognoscitiva... Y por el hecho de participar de
tales facultades, aun siendo la vida, por su naturaleza,
miserable y difcil, sin embargo est gobernada con
tanta gracia, que el hombre, en comparacin con los
dems vivientes, parece un Dios. La inteligencia es
nuestro Dios, sea Hermtimo o Anaxgoras el que haya
dicho esto, y que la vida mortal tiene una parte eterna
de un Dios. Por eso, o se debe filosofar, o se debe decir
adis al vivir y huir de aqu, como si todo el resto
parezca gran vanidad y frivolidad (Protrpt., fr. 10 c,
Walzer = 61 Rose).
MONDOLFO, Rodolfo. El pensamiento antiguo
10.
El sexo masculino se determina por la presencia de los
cromosomas XY y el femenino, por los cromosomas XX.
El cromosoma Y evoluciona a partir de un cromosoma X.
Por ello, todos los hombres han sido mujeres antes.
11.
La palabra electricidad proviene del griego electrn,
nombre del mbar amarillo, sustancia que posee la
propiedad de atraer a los cuerpos ligeros cuando ha sido
frotado con una piel de gato o un pao de lana. Esta
propiedad la descubri Tales de Mileto, 700 aos antes
de Cristo. Se ha descubierto que dicha propiedad existe
tambin en otras sustancias, por ejemplo la ebonita y el
vidrio, que se electrizan por frotamiento. Ms aun, todos
los cuerpos pueden electrizarse por frotamiento, pero en
tanto que el vidrio, la resina, la ebonita, etc. no se
electrizan ms que en los puntos frotados, el cobre, el
hierro y, en general, los metales se electrizan en toda su
superficie.
12.
El aborto es un acto violento que atenta contra la vida,
porque no solo afecta al ser que viene en camino,
tambin puede peligrar la vida de la madre, o crearle
secuelas permanentes como la esterilidad.
13.
El capital, como la energa, es un valor en estado
latente. Para traerlo a la vida debemos dejar de mirar a
14
15
Anexos
14.
Menn: Pero cmo vas a buscar, Scrates, una cosa de
la que de ninguna manera sabes lo que es? [] Y,
suponiendo que casualmente des con el aspecto
acertado, en qu lo vas a reconocer, dado que no lo
conoces?
Scrates: Comprendo lo que quieres decir, Menn. Qu
tema tan estupendo de disputa sofstica nos aportas con
ello! Es sta la teora segn la cual no es posible buscar
ni lo que se conoce ni lo que se desconoce: lo que se
conoce, porque al conocerlo ya, no se tiene necesidad
de buscarlo; lo que se desconoce, porque uno ni tan
siquiera sabe lo que ha de buscar.
Platn. Menn
15.
Si una persona presenta fiebre alta, tos y respiracin
agitada, se diagnostica pulmona o faringitis o
bronquitis. El ao pasado, 80 de cada 100 nios que
presentaron estos sntomas estaban afectados por
bronquitis. De modo que si su nio presenta estos
sntomas, el diagnstico ser bronquitis.
16.
Todos los barbitricos son narcticos y algunos
barbitricos son drogas que no provocan hbito. Por lo
tanto, algunos narcticos son drogas que no provocan
hbito.
17.
Ningn ateo tiene fe en un dios, pero todos los que
tienen fe en algn dios son hombres sabios. De ah que
ningn ateo sea un hombre sabio.
18.
Todos los aos hay un campen y solo puede haber un
campen cada ao. El equipo de Nacional solo resulta
campen en los aos impares, pues siempre que es un
ao par, el campen es Pearol. Fuera de Pearol y
Nacional, el nico equipo que puede resultar campen
es Defensor. Por ello, si el campen este ao es
Defensor, entonces estamos en un ao impar.
19.
Es necesario oponerse radicalmente a la pena de
muerte. No existen evidencias de su valor disuasivo;
pero incluso si esto no fuera as, siempre hay formas
mejores y ms eficaces para enfrentar los crmenes ms
16
violentos.
20.
Se tiende a pensar que el dinero no nos puede dar la
felicidad, lo cual es cierto y es falso. Cierto, en la medida
en que la felicidad absoluta no existe y nada, en
consecuencia, ni el dinero, podr proporcionrnosla.
Falso, pues el dinero nos soluciona todos esos
innumerables problemas y contratiempos cotidianos
materiales que embargan a la humanidad lo cual ya es
bastante , nos permite realizar ciertos sueos,
satisfacer ciertos caprichos y reducir realmente al
mnimo lo que es realmente irrealizable.
Julio Ramn Ribeyro, Prosas aptridas aumentadas
21.
En la materia, los electrones siempre tienen carga
elctrica negativa y el ncleo del tomo tiene carga
positiva. El positrn, sin embargo, no es una partcula
que permanezca escondida en un tomo normal hasta
que una colisin con crayos csmicos la arranque.
Debe ser, por tanto, una de las partculas creadas al
convertirse la energa en materia.
22.
Nuestro rostro es la superposicin de los rostros de
nuestros antepasados. En el curso de nuestra vida, los
rasgos de unos se van haciendo ms visibles que los
otros. As, de bebs, nos parecemos al abuelo; de nios,
a la madre; de adolescentes, al to; de jvenes, al padre;
de maduros, al Papa Bonifacio V; de viejos, a un huaco
Chim, y de ancianos, a cualquier antropoide. De esta
manera, nunca nos parecemos a nosotros mismos.
Julio Ramn Ribeyro, Prosas aptridas aumentadas
23.
Todos los nmeros racionales son expresables como un
cociente de enteros. Pero no es expresable como un
cociente de enteros. Por lo tanto, no es un nmero
racional. Sin embargo, es un nmero. Entonces, existe
al menos un nmero irracional.
24.
Los antiguos egipcios conocieron la geometra, puesto
que las pirmides fueron construidas en tiempo de los
faraones. Adems, Egipto fue la cuna de las ciencias
abstractas, ya que los cientficos egipcios conocieron las
matemticas. Sin embargo, no es cierto que Egipto haya
sido la cuna de las ciencias abstractas o que los
17
Anexos
18
19
Anexos
Argumento
inductivo
Argumento
deductivo
Propsito
Establecer la
conclusin
como
probable.
Garantizar la
verdad de la
conclusin.
Premisas
Todas las
premisas
aluden a
casos
particulares.
Al menos
una premisa
afirma una
verdad
aplicable a
Calificacin
Tres diferencias
Probabilstic
o
Demostrativ
o
Puede ser
vlido.
20
21
Anexos
IMPORTANTE
VALIDEZ
Un argumento es vlido si se
cumple la siguiente condicin:
Nunca ocurre que las
premisas sean verdaderas y
que la conclusin sea falsa al
mismo tiempo.
CORRECCIN
Un argumento es correcto si es
vlido y si sus premisas son
verdaderas.
22
23
Anexos
Lecturas
Deduccin e induccin
Tradicionalmente, los argumentos se dividen en dos tipos diferentes, deductivos e inductivos. Cada argumento
supone la afirmacin (como se ha dicho antes) de que sus premisas proporcionan razones o fundamentos para
establecer la verdad de su conclusin; pero solamente un argumentos deductivo tiene la pretensin de que sus
premisas proporcionan fundamentos concluyentes para su conclusin. Cuando el razonamiento en un argumento
deductivo es correcto, le llamamos argumento vlido, cuando el razonamiento de un argumento deductivo es
incorrecto, le llamamos invlido.
Podemos, por tanto, definir la validez como sigue: un argumento deductivo es vlido cuando sus premisas, de ser
verdaderas, proporcionan bases concluyentes para la verdad de su conclusin. En un argumento deductivo (pero
no en un inductivo), las premisas y la conclusin estn relacionadas de tal modo que es absolutamente imposible
que las premisas sean verdaderas a menos que la conclusin tambin lo sea.
En todo argumento deductivo, o bien las premisas apoyan realmente a la conclusin, de manera concluyente o
definitiva, o no logran este apoyo. Por tanto, cada argumento deductivo es o bien vlido o invlido. Este es un puno
de cierta importancia: si un argumento deductivo no es vlido, debe ser invlido; invlido no se aplica a
argumentos inductivos, para los cuales son necesarios otros trminos de evaluacin.
En el mbito de la lgica deductiva, la labor central consiste en clarificar la relacin entre las premisas y la
conclusin en los argumentos vlidos y poder as discriminar los argumentos vlidos de los invlidos. La teora de
la deduccin, incluyendo tanto la lgica tradicional como la simblica, es el tema central de la segunda parte de
este libro.
Un argumento inductivo tiene una pretensin muy diferente: no que sus premisas sean fundamentos para la verdad
de su conclusin, sino solamente que sus premisas proporcionen cierto apoyo a su conclusin. Los argumentos
inductivos, por tanto, no pueden ser vlidos o invlidos en el sentido en que estos trminos se aplican a los
argumentos deductivos. Por supuesto, los argumentos inductivos pueden ser evaluados como mejores o peores,
de acuerdo con el grado de apoyo que proporcionan sus premisas a sus conclusiones. As pues, mientras mayor
sea la probabilidad o verosimilitud que sus premisas confieren a la conclusin, mayor ser el mrito de un
argumento inductivo. Pero esa probabilidad, aun cuando las premisas sean todas verdaderas, est bastante lejos
de la certeza. La teora de la induccin y los mtodos para calcular probabilidades se presentan en la tercera parte
de este libro.
La distincin entre argumentos deductivos e inductivos se traza a veces de una manera diferente, centrndose en
la relativa generalidad de sus premisas y conclusiones. Las inferencias deductivas, se dice a veces, van de lo
general a lo particular, mientras que las inferencias inductivas van de lo particular a lo general. Esta forma de
distinguirlos resulta insatisfactoria si la analizamos.
En esta tradicin el ejemplo clsico de argumento deductivo:
Todos los hombres son mortales.
Scrates es hombre.
Por lo tanto, Scrates es mortal.
tiene de hecho una conclusin particular, inferida vlidamente de dos premisas, de las cuales la primera es una
proporcin universal o general. Tambin es verdadero que una forma muy comn de argumento inductivo es aqul
en el cual un grupo de premisas particulares se infiere de una conclusin general o universal, como por ejemplo:
Scrates es humano y mortal.
Xantipa es humana y mortal.
Safo es humana y mortal.
Por tanto, probablemente, todos los seres humanos son mortales.
Pero no siempre funciona este mtodo para distinguir entre la deduccin y la induccin. La dificultad radica en el
hecho de que un argumento deductivo vlido puede tener proposiciones universales lo mismo en sus premisas que
en su conclusin. ()
Y un argumento deductivo vlido puede tener proposiciones particulares en sus premisas lo mismo que en su
conclusin, como en el siguiente ejemplo:
Si Scrates es humano, entonces Scrates es mortal.
Scrates es humano.
Por tanto, Scrates es mortal.
Fuente:
COPI, Irving y COHEN, Carl (1999) Introduccin a la lgica. Mxico D.F.: Limusa, pp. 70-71.
24
Correccin y validez
Qu es precisamente un buen argumento y en qu difiere del malo?
Dos cosas cabe decir acerca de lo que hace bueno a un argumento:
(a) Si sus premisas son verdaderas, entonces su conclusin est obligada a ser verdadera.
(b) Es adecuado como medio para persuadir a alguien acerca de la verdad de su conclusin.
Concentrmonos primero en (a). Un argumento en ese sentido ser llamado vlido. (). Es decir, un
argumento es vlido cuando no es posible que las premisas del argumento sean verdaderas y la conclusin
sea falsa.
Ejemplo 1:
Todos los robles tienen races.
Todos los rboles que crecen en Inglaterra tienen races.
Algunos robles crecen en Inglaterra.
() Tanto las premisas como la conclusin de este argumento son, de hecho, verdaderas. Sin embargo,
este argumento es invlido, ya que el mundo hubiese podido ser diferente. Pudiese haber sido el caso de
que el mundo hubiese sido creado de tal manera que todos los robles tuviesen races y que todos los
rboles que creciesen en Inglaterra tuviesen races, aunque no hubiese robles en Inglaterra. Las cosas no
son as pero hubiese sido posible para ellas el haber sido as. Esto es, es posible para el mundo el haber
sido tal que las premisas fuesen verdaderas y la conclusin del argumento falsa. Es esta posibilidad la que
hace al ejemplo 1 invlido, aunque sus premisas y conclusin sean verdaderas. ()
Si un argumento tiene la clase de bondad que hemos llamado validez, ofrece una garanta de que su
conclusin es verdadera si sus premisas lo son.
Ejemplo 2:
(1) Los robles crecen slo en lugares donde llueve con cierto grado de regularidad.
(2) En el Sahara no llueve con ningn grado de regularidad.
Los robles no crecen en el Sahara.
Las premisas de este argumento son verdaderas y su conclusin falsa, as no tenemos que mirar
profundamente las posibilidades para decir que es invlido. La validez requiere que no sea posible para las
premisas el ser verdaderas y para la conclusin el ser falsas. Como las premisas son realmente verdaderas
y la conclusin falsa, sabemos tajantemente que el argumento es invlido. Despus de todo, lo que
realmente es el caso con seguridad vale como una posibilidad.
Ejemplo 4:
25
Anexos
(...) Este es un argumento vlido, pero su conclusin es falsa. Cmo puede ocurrir esto? La validez
requiere que no sea posible para las premisas el ser verdaderas y la conclusin falsa. No requiere que las
premisas y la conclusin sean realmente verdaderas. En este caso, como la conclusin es falsa y el
argumento es vlido, por lo menos una de las premisas debe ser falsa. La culpable es la premisa (2).
Un argumento que es vlido y tiene premisas verdaderas es llamado correcto. Esta es una importante
combinacin de caractersticas para un argumento, y debe ser buscada en nuestro pensamiento. Un
argumento correcto, como opuesto a simplemente vlido, est ciertamente ms cerca de lo que se
pretende cuando se piensa en un argumento como persuasivo. Sin embargo, pregntese Ud. Mismo Es el
siguiente argumento vlido? Correcto? Persuasivo?
(1) El dinero no puede garantizar la felicidad.
El dinero no puede garantizar la felicidad
Este argumento es ciertamente vlido y, podramos pensar, tambin correcto, pero es persuasivo? Por
supuesto que no. () Un pensador racional requerir que la conclusin sea soportada por un argumento
vlido con premisas verdaderas, pero tambin requerir que las premisas sean suficientemente diferentes
de la conclusin. Esto es, las premisas deben ser suficientemente distintas de la conclusin para que
nosotros veamos el movimiento de las premisas a la conclusin como un genuino movimiento del pensar.
()
Puntos principales:
(1) Los argumentos pueden ser vlidos, correctos o persuasivos. Estos son tres tipos de bondad
relacionados en los argumentos.
(2) Un argumento es vlido slo en caso de que cumpla la siguiente condicin: es necesariamente el
caso que si las premisas son todas verdaderas, entonces tambin lo sea la conclusin.
Esta condicin es equivalente a una que puede formularse usando la nocin de posibilidad: no es
posible que todas las premisas del argumento sean verdaderas y la conclusin falsa.
(3) Se realizaron las dos siguientes observaciones importantes
(i)
Un argumento vlido para una conclusin provee una manera que difiere de la
manera directa usual de decir si la conclusin es verdadera. Normalmente, decimos que un
pensamiento es verdadero comparndolo con cmo son las cosas en el mundo. Sin embargo, si el
pensamiento es la conclusin de un argumento vlido, nosotros podemos determinar su verdad
estableciendo si las premisas del argumento son verdaderas.
(ii)
(4) Un argumento es correcto slo en el caso en que se den las dos cosas, que sea vlido y que sus
premisas sean todas verdaderas. Dado esto, es claro que hay ms chance a que los argumentos
correctos sean ms persuasivos que simplemente vlidos.
(5) Es muy difcil expresar lo que se requiere para que un argumento sea persuasivo. Parte del problema
est en que no es claro quin se pretende que sea el objeto de la persuasin. Tambin, parece no
haber forma de formular qu caractersticas, en adicin a la correccin, se necesita para la
persuasin.
Adaptacin de:
GUTTENPLAN, Samuel (1986) The Languages of Logic: an Introduction to Formal Logic. (Traduccin: Oscar Trelles,
Pontificia Universidad Catlica del Per). Oxford: Basil Blackwell, pp. 12-14, 20-22
26
Ejercicios de aplicacin
Analiza los siguientes pasajes:
Subraya la conclusin y encierra en un crculo los indicadores de
argumento.
Determina si se trata de argumentos deductivos o inductivos. Justifica
tu respuesta.
1.
Las acciones difamatorias pueden sobrevivir a la muerte
de las personas difamadas, acept la Suprema Corte de
Justicia de Nueva Jersey al permitir que una viuda
continuara un pleito en lugar de su esposo. Las razones de
la Corte eran que si una demanda por pierna rota puede
sobrevivir a la muerte de la persona, tambin debe
sobrevivir una demanda por reputacin daada. *
Es inductivo o
deductivo?
Por qu?
2.
Las baladas romnticas son siempre melosas y fastas
creatividad. Muchas canciones melosas, pero faltas
creatividad, son xitos de venta. Ello demuestra que
posible tener un xito en ventas pero carente
creatividad.
de
de
es
de
3.
En 1927, cuando el doctor Manfred Sakel atenda a un
grupo de drogadictos en el sanatorio de Berln, se le
ocurri ensayar en ellos la insulina.
Esta hormona
estimula la utilizacin del azcar en el organismo, y crey,
sobre fundamentos tericos, que su efecto reducira la
paradoja por la cual un esclavo del hbito de la droga
necesita dosis cada vez mayores de algo que
esencialmente es un veneno. Abrig la esperanza de que,
mediante la insulina, podra liberar a la vctima de su
dependencia de la morfina. (...) Algunos de los hombres
reaccionaron a la insulina con convulsiones, pero la
mayora de ellos comenz a traspirar y cay en un sueo
letal. Cuando salieron de tal estado o fueron despertados
despus de algunas horas de coma, su conducta
sorprendi al mdico. Observ que haban disminuido los
temores y las angustias morbosas que habitualmente
oprimen a los adictos. Desaparecieron las extraas ideas
de persecucin, los sobresaltos nerviosos y otros sntomas
psicticos. Este resultado inesperado hizo pensar al doctor
Es inductivo o
deductivo?
Por qu?
Es inductivo o
deductivo?
Por qu?
** Todos los ejemplos marcados con asterisco han sido tomados, textualmente o con
modificaciones, de Copi y Cohen 1999.
27
Anexos
28
4.
En la isla de caballeros y escuderos, como se sabe, los
caballeros siempre dicen la verdad, mientras que los
escuderos siempre mienten. As, si un individuo dice soy
un caballero, entonces puede ser tanto un caballero como
un escudero. Si es un caballero, estara diciendo lo que es,
la verdad; si fuera un escudero, estara mintiendo al decir
lo que no es. En consecuencia, si un individuo dice tal
cosa, no sabremos si miente o si dice la verdad.
Es inductivo o
deductivo?
Por qu?
5.
En lo poltico, lo social, lo econmico y lo jurdico, la
democracia siempre ha fracasado rotundamente. Que se
sepa hasta hoy no existe pueblo alguno que se haya bien
gobernado con semejante forma de gobierno.
En la
mayora de los pueblos democrticos, se propicia la
igualdad y lo popular y as la democracia termina por no
poder legislarse a s misma, llegando eso s a la
demagogia, a la anarqua y al desorden.
Es inductivo o
deductivo?
Por qu?
6.
Si la ciudadana romana hubiera tenido garantas de las
libertades civiles, los ciudadanos romanos habran gozado
de libertad religiosa. Si los ciudadanos romanos hubieran
gozado de libertad religiosa, entonces no se habra
perseguido a los primeros cristianos. Pero los primeros
cristianos fueron perseguidos. Por consiguiente, la
ciudadana romana no puede haber tenido garantizados los
derechos civiles. *
Es inductivo o
deductivo?
Por qu?
7.
Si usted toma dos barras magnticas y ubica sus polos
positivos y luego los junta, los polos se separarn. Si usted
hubiera ubicado los polos negativos y los hubiera juntado,
tambin se habran separado. Si un nio realizara las
mismas operaciones, ocurrira lo mismo. En cambio, si el
nio hubiera ubicado un polo positivo y uno negativo y los
hubiera juntado, estos se habran quedado pegados. Si
usted hubiera realizado esta misma operacin, tambin los
dos polos de sus barras magnticas se habran quedado
pegados. Lo que demuestra que los polos opuestos se
atraen y los polos iguales se repelen.
Es inductivo o
deductivo?
Por qu?
29
8.
Scrates fue un gran filsofo. Por tanto, Scrates estuvo
felizmente casado o no estuvo felizmente casado. *
Es inductivo o
deductivo?
Por qu?
9.
Durante la Edad Media, cuando cada pas, cada regin y
hasta cada pequeo distrito tenan sus propias unidades
de pesas y medidas, se presentaban muchos problemas.
En un lugar, una libra poda ser de unas trece onzas; en
otro, de veinticuatro. En un pas, un pie poda medir el
doble que en otro. En tierra, una milla poda ser ms corta
que en el mar, como sigue ocurriendo an en los pases
que la usan. Y para mencionar slo una de tantas razones
de confusin, ciertas cosas se pesaban en determinado
tipo de balanza, y otras, en otro. As, el oro y ciertas
materias costosas las pesaban en una balanza, y la carne y
otras ms baratas en otra. Por eso, continan pesndose
en distintas balanzas, y la consecuencia es que para un
anglosajn una onza de oro no pesa lo mismo que una
onza de sal o de azcar.
Es inductivo o
deductivo?
Por qu?
10.
Si estudias Humanidades, desarrollars una comprensin
de las dems personas. Si estudias Ciencias, desarrollars
un entendimiento del mundo que te rodea. En
consecuencia, si estudias Humanidades y Ciencias,
comprenders a las dems personas y el mundo que te
rodea.
Es inductivo o
deductivo?
Por qu?
Anexos
30
FALACIAS DE ATINENCIA
Este grupo de falacias se caracteriza por el hecho de
que el error en el razonamiento reside en una apelacin
a las emociones o a las creencias de las personas que
se intenta persuadir. Pero en general se dice que una
falacia de atingencia (o atinencia) es aquella en la que
no hay atinencia lgica entre las premisas y la
conclusin, es decir, las premisas no son las adecuadas
para defender la conclusin, no son las pertinentes.
Las falacias de atingencia son de diversos tipos,
podemos encontrar en diferente literatura una
clasificacin de quince, veinte, treinta o ms tipos de
falacias de atingencia. Nosotros vamos a basarnos en
un texto clsico de lgica para presentar una
clasificacin de las falacias, se trata del texto de Irving
Copi, Introduccin a la lgica.
Sin embargo, dado que nuestro propsito es conocer
las falacias para estar prevenidos frente a ellas,
nuestro inters en la clasificacin es slo proporcionar
un modo sencillo y rpido de reconocer esta clase de
falacias; nuestra meta no es aprender la clasificacin,
sino usar la clasificacin como herramienta para evitar
ser engaados por una falacia.
Clasificacin
A continuacin presentamos cada tipo de falacia
seguido de un ejemplo. Con ello esperamos que t
puedas inferir cules son los rasgos distintivos de cada
clase de falacia. Indica en el recuadro correspondiente
aquello que caracteriza cada tipo de falacia. La mayora
de los ejemplos que aparecen en los recuadros de la
derecha han sido extrados del texto de Irving Copi y
Carl Cohen (todos los que estn marcado con *).
1. Apelacin a la fuerza (ad baculum)
Al final de la segunda guerra
mundial, durante la reunin de
los Tres grandes en Yalta,
Churchill inform a los dems
que el Papa haba sugerido un
curso de accin determinado y
lo explic con detalle. Stalin,
para sostener su desacuerdo,
pregunt:
Y
cuntas
divisiones dice usted que tiene
31
Anexos
32
33
Anexos
34
35
Anexos
8. Accidente
Lo que compramos ayer lo
comemos
hoy.
Ayer
compramos
carne
cruda.
Luego, hoy comemos carne
36
37
Anexos
38
FALACIAS DE AMBIGEDAD
Este segundo grupo de falacias no formales se
caracteriza, como el nombre lo indica, por una
imprecisin, doble significado o ambigedad en
algunos de los trminos que se usan en el argumento.
Cuando se deriva una conclusin de estas
ambigedades, sin tomar en cuenta el doble
significado, entonces estamos frente a una falacia de
ambigedad. Es importante tener presente que no
toda ambigedad constituye una falacia; pues toda
falacia supone el paso de una serie de premisas a una
conclusin, por tratarse de un argumento.
Clasificacin
A continuacin presentamos cada tipo de falacia
seguido de un ejemplo. Con ello esperamos que t
puedas inferir cules son los rasgos distintivos de cada
clase de falacia. Indica en el recuadro correspondiente
aquello que caracteriza cada tipo de falacia.
1. Equvoco
El fin de una cosa es su
perfeccin. La muerte es el fin
de la vida. Luego, la muerte es
la perfeccin de la vida. *
Todas las mesas tienen patas.
Todas las patas ponen huevos.
Por tanto, todas las mesas
Titular de un diario: Un
granjero se salt la tapa de los
esos despus de despedirse de
su familia con un revlver.
Qu manera de despedirse!
2. rey
Anfibologa
Creso,
de Lidia, quera
emprender una guerra contra
Ciro, rey de Persia. Para estar
seguro de tomar la decisin
correcta, consult al orculo de
Delfos y le pregunt si le
convena lanzarse a la guerra.
La respuesta del orculo fue:
Si Creso emprende la guerra
contra Persia, destruir un
poderoso reino. Ante tal
respuesta, Creso emprendi la
39
Anexos
4. Composicin
Cada una de las piezas de este
motor es liviana y delicada, de
modo que este motor tambin
es liviano. *
Un
mnibus
gasta
ms
combustible que un auto; por
ello, los mnibus en conjunto
gastan ms combustible que el
total de autos que circulan por
5. Divisin
Esta
empresa
es
muy
importante y el seor Prez es
empleado en esta empresa; de
modo que el seor Prez es
muy importante tambin. *
40
41
Anexos
Ejercicios de aplicacin
1. Analiza los siguientes pasajes y determina qu clase de falacia se comete en
cada caso. Considera lo siguiente:
Primero, identifica la conclusin y subryala.
Luego, identifica las premisas y numralas.
Finalmente, en el recuadro, explica qu clase de falacia y comete y por qu.
1.1
Pero, puede usted dudar de que el
aire tenga peso, cuando tiene el
claro testimonio de Aristteles,
quien
afirma
que
todos
los
elementos tienen peso, inclusive el
aire, y con la sola excepcin del
fuego?
Galileo Galilei
Dilogos concernientes a dos nuevas
ciencias
1.2
Ningn matemtico ha logrado nunca
demostrar la verdad del famoso ltimo
teorema de Fermat; por lo tanto, debe
de ser falso.
1.3
En su labor, un abogado tiene siempre
la libertad de consultar libros de
derecho.
Y un mdico a menudo
investiga casos en sus textos mdicos.
Todo el mundo debe gozar de similar
libertad de consulta. Por consiguiente,
debe permitirse a los estudiantes que
usen sus libros de texto durante los
exmenes.
1.4
Pero ahora interesa muy poco lo que
diga o haga el rey de Inglaterra; ha roto
perversamente toda obligacin moral y
humana, ha pisoteado la naturaleza y la
conciencia, y por su permanente e
innato espritu de insolencia y crueldad
se ha granjeado el odio universal.
Thomas Paine
El sentido comn
42
1.5
Mentir es una falta grave porque es no
decir la verdad y no decir la verdad es
una grave falta.
1.6
No tenemos la menor prueba de que
tratarn de negociar de buena fe. De
modo que slo podemos creer que
tratarn de engaarnos.
1.7
Esta ley es perjudicial para el trabajo,
seor senador, y debe ser rechazada.
Los sindicatos no la olvidarn y hay
doscientos cincuenta mil miembros de
sindicatos en su distrito electoral.
1.8
El uso de mtodos anticoceptivos en la
campaa del control de la natalidad no
debe propalarse ya que va contra los
principios catlicos.
1.9
El grupo de msica
bastante novedoso en
pero
como
tenan
andrgina, su msica era
Locoma fue
su momento;
una
imagen
mala.
1.10
Profesor: solicito revise la pregunta 2 de
mi examen. Creo que me merezco ms
puntaje pues estoy llevando el curso
por tercera vez y podra salir de la
universidad si no me sube dos puntos.
1.11
Profesor: solicito revise la pregunta 2 de
mi examen.
Merezco ms puntaje
porque es el tema que ms estudi.
1.12
Las afirmaciones expresadas en el libro
que estamos leyendo no son confiables,
pues el autor, en su vida personal y
profesional, demostr siempre que era
una persona poco digna de confianza.
43
Anexos
1.13
La
tecnologa
es
una
poderosa
herramienta de desarrollo puesto que el
desarrollo se logra a travs de la
tecnologa.
1.14
El examen ser muy sencillo y muy
rpido de resolver. Por lo tanto, el
examen no ser complicado y en poco
tiempo podr ser resuelto.
1.15
Las ballenas azules estn en peligro de
extincin.
Por
tanto,
si
nos
encontrsemos frente a una ballena
azul, lo ms seguro es que la veamos
desaparecer.
1.16
Luego de un robo y de realizar el
anlisis de los hechos, se pudo
determinar que el vigilante abandon
su puesto de trabajo unos minutos
antes del robo, pues tuvo que atender
una emergencia familiar por telfono.
En consecuencia, puede establecerse
que la razn del robo es el abandono de
su puesto de trabajo por parte del
vigilante.
1.17
Las conclusiones a las que lleg la
Comisin de la Verdad y Reconciliacin
(CVR) no tienen sustento, pues varios
de sus miembros tenan antecedentes
de comunismo en sus trayectorias
polticas y difcilmente se puede tener
confianza en personas que defienden
ideas parecidas a las de los grupos
terroristas.
1.18
El banco que siempre ocupamos en el
parque no estaba disponible hoy. Pero
todo banco, como entidad financiera,
siempre debera estar disponible para
sus clientes. De modo que el banco que
siempre ocupamos en el parque debi
haber estado disponible.
44
Ad hominem
Crculo vicioso
Apelacin a la autoridad
Ad hominem
Crculo vicioso
45
Anexos
Causa falsa
Transcripcin
5.2
Me dijeron que soy nadie. Nadie es
perfecto. Luego, yo soy perfecto.
Pero slo Dios es perfecto. Por tanto, yo
soy Dios.
5.3
Imagnese un pedazo de queso suizo,
46
5.4
Los accidentes de trnsito estn
aumentando.
Los
choques
de
automviles modelo Ford T son
accidentes de trnsito. Por tanto, los
choques entre automviles modelo Ford
T estn aumentando.
5.5
Al ver que el ojo, la mano, el pie y cada
uno de nuestros miembros tienen una
funcin obvia, no debemos creer, de
igual modo, que un ser humano tiene
una funcin por encima y ms all de
esas funciones particulares?
Aristteles, tica a Nicmaco
5.6
Quien ms olvida es ms ignorante.
Quien sabe ms olvida ms. Por tanto,
quien sabe ms es ms ignorante.
5.7
Seor Gutirrez: No le dar ms
dinero para su causa el prximo
ao.
Solicitante: Est muy bien seor, lo
anotaremos con la misma suma que
dio usted este ao.
5.8
Los
bfalos
americanos
estn
prcticamente extinguidos. Este animal
es un bfalo americano; por tanto, debe
estar extinguido.
5.9
Ya que este edificio es muy alto, cada
uno de sus pisos es muy alto.
47
Anexos
5.10
A ms rezos, ms goles
Para Chorri su tranquilidad al momento de definir se
debe a que ora mucho durante la semana.
5.11
Seores directores:
Somos dos hermanas, Jessica y Erica, quienes
escriben. Al fallecer mi padre nos quedamos en la
miseria. Vivamos en una casa alquilada en Barrios
Altos. Gracias a Dios, un to nos brind ayuda.
Lamentablemente, all la situacin se ha hecho tirante.
No tenemos a donde ir. Jessica y yo necesitamos
estudiar computacin para conseguir un puesto de
trabajo. De esa manera, ella podra sostener sin
angustia a su hija de dos aos. Por tanto, ruego a las
instituciones que podran otorgarnos una beca integral
pueden ubicarnos en la calle los Tallanes N2 125-A,
Salamanca.
Atentamente, Erika Hartmann Vela
5.12
EL PER EXPORTAR GUANO
Afirma Jaime Bayly sobre programa de Laura Bozo.
La Repblica, 30 de junio del 2000
5.13
Cmo es posible? Acaso ya no recuerdan lo que este
hombre ha hecho por todos nosotros? Es que vamos
a seguir siendo un pas sin memoria? Yo he visto a
este hombre trabajar con el corazn en la mano por
un pas mejor, y lo hizo! Es que acaso vamos a dejar
que nos domine la intolerancia y permitir que por un
error un hombre que ha dado su vida y su esfuerzo
para el bien de nuestros pueblos viva el resto de su
vida en la crcel por crmenes de los que ni siquiera
se tienen pruebas? La decisin est en ustedes
5.14
Sr. Julio Martua:
Saludndolo cordialmente, paso a informarle que en el
mes de enero, me anim a visitar su acuario, fui
atendido por una seorita displicente, quien en todo
momento se mostr fastidiada por las constantes
preguntas que yo haca a su nueva lnea de
acondicionadores, medicamentos y abonos. La verdad
Sr. Martua no pienso volver a ser cliente de su
empresa y mi negocio no piensa volver a distribuir sus
48
5.15
Una paciente le dice a su psiclogo:
Doctor, dicen que la vida vale la pena ser vivida, pero
doctor, le quiero contar cmo es mi vida, no es solo mi
falta de empleo, tengo un hijo enfermo, postrado en la
cama, casi no se mueve, mi marido no se preocupa,
todo el tiempo est borra. Hay das que no tenemos ni
para comer. Doctor, en verdad, usted cree que la vida
vale la pena ser vivida.
5.16
Mayordomo: Ejem!, perdone, seor, pero afuera
hay un hombre cantando
Sr. Adinerado: Hum?
Mayordomo: Pide que lo ayuden, seor.
Sr. Adinerado: Bah!... Yo no s cantar!
5.17
Y por qu no habra de creer en Dios? Creer en Dios
es casi una definicin del ser humano. Incluso Isaac
Newton, que fue un gran cientfico, crea en Dios aun
cuando bien pudo ser ateo debido a su cercana con la
ciencia. As que si me preguntas si es que creo en Dios,
ah tienes mi respuesta.
49
Anexos
Anfibologa
nfasis
Equvoco
Anfibologa
nfasis
50
Composicin o divisin
comete y por qu?Qu clase de falacia se
Transcripcin
51
Anexos
52
Traducir
Traducir en los lenguajes lgicos significa simbolizar.
Es
decir,
expresar
enunciados
que
estn
construidos en cualquier lenguaje natural en un
lenguaje de smbolos determinado.
IMPORTANTE
Semntica:
significado.
anlisis
del
53
Anexos
Lecturas
Las lgicas llamadas no clsicas
Acaso el rasgo ms llamativo si no el ms importante del estado actual de la ciencia de la lgica formal sea
la existencia, e incluso la proliferacin, en derredor suyo, de las llamadas lgicas no-clsicas.
A qu llamamos lgica no-clsica? No a la lgica tradicional, como tampoco a la forma de la logica
desarrollada entre el Renacimiento y el siglo XIX y a la que algunos historiadores dan ese nombre. Al hablar
aqu de lgica nos referimos a la forma clsica de la lgica contempornea: a la lgica para describirla de
modo impresionista que Boole, Peirce y Schrder construyeron algebraicamente durante el siglo XIX y a la
que Frege, en 1879, dio forma axiomtica; la lgica que halla en los Principia Matemtica (1010-13) de
Whitehead y Russell su texto de referencia. Esa de esa lgica de la lgica expuesta en este libro de la que
difieren las lgicas no-clsicas.
La pregunta inevitable es ahora la siguiente: cules son los rasgos de la lgica clsica as entendida, por
respecto a los cuales podemos medir la peculiaridad y, por ende, establecer la naturaleza de las lgicas noclsicas?
Reflexionemos sobre la lgica clsica como un todo () Qu es aquello aquellos conceptos, aquellos
principios que se da por descontado al proceder a construir los sistemas lgicos normales?
Se dan por descontadas varias cosas: para empezar, se opera sobre el supuesto de que los enunciados que
la lgica maneja los enunciados que la lgica estudia en cuanto integrados en una estructura argumentativa,
es decir, en cuanto constitutivos de las premisas o de la conclusin de un razonamiento son enunciados
apofnticos, enunciados provistos de un valor de verdad.
Asimismo se acta sobre la base de que los valores de verdad son solamente dos: el valor verdad y el valor
falsedad. Los enunciados son o verdaderos o falsos.
Por otra parte, no se admiten matizaciones, por as decir, en los valores de verdad. Los enunciados son o
verdaderos a secas o bien falsos sin ms.
Un cuarto rasgo de la lgica clsica es que en ella slo hallan cabida aquellas conexiones entre enunciados
que son definibles como funciones de verdad. Es decir: aquellas conexiones entre enunciados que dan lugar
a un enunciado compuesto cuyo valor de verdad est enteramente en funcin de los valores de verdad de los
enunciados conectados. As, la conjuncin se puede definir como aquella conectiva que, al unir dos
enunciados, produce un enunciado (compuesto) verdadero si y slo si son verdaderos los dos enunciados
componentes. Supongamos, sin embargo, que en vez de decir p q decimos a cree que p. Este
enunciado podra ser verdadero tanto si p fuera verdadero como si fuera falso.
Podramos seguir enumerando rasgos de la lgica, pero con los descritos bastar por el momento. Los
resumiremos diciendo que la lgica clsica es apofntica bivalente asertrica extensional. Apofntica porque
deja fuera de consideracin aquellos enunciados de los que no quepa preguntar con sentido si son
verdaderos o falsos. Bivalente, porque no admite ms que dos valores de verdad. Asertrica, excluye la
existencia de modalidades de verdad y falsedad. Extensional, porque si admitimos que toda expresin un
nombre, un predicado, un enunciado tiene una extensin (que seran, respectivamente, un individuo, un
conjunto y un valor de verdad) y una intensin (siendo la intensin de un nombre el concepto individual que
designa, la intensin de un predicado la propiedad que significa y la intensin de un enunciado la proposicin
que expresa), la lgica clsica opera exclusivamente en trminos de la primera. As, por ejemplo, la lgica de
enunciados tiene en cuenta la extensin de stos, es decir, su valor de verdad: cuando, pongamos por caso,
definimos el condicional, lo hacemos diciendo que es aquella relacin entre enunciados que compone un
enunciado verdadero cuando no es el caso que el antecedente sea verdadero y el consecuente falso.
DEAO, Alfredo (1975) Introduccin a la lgica formal. Madrid: Alianza Editorial, pp. 299-300.
54
1.5 Proposiciones
Qu es una proposicin?
Una proposicin puede parecerse
mucho a una oracin aseverativa;
pero no es exactamente lo mismo.
Por qu? Porque dos o ms
oraciones aseverativas distintas en
su estructura o en las palabras que
contienen puede expresar una
nica proposicin si es que
significan lo mismo.
De ah que suela definirse la
proposicin como el significado
de la oracin aseverativa.
Proposiciones simples y
compuestas
Simples
Carecen de
operadores
lgicos
proposicionales
.
Nunca se
pueden dividir
en otras
proposiciones
simples.
Compuestas
Tienen al
menos un
operador
lgico
proposicional
lgico en su
estructura
central.
A veces se
pueden dividir
en otras
proposiciones
simples.
Operadores lgicos
proposicionales
Negacin: no, ni, tampoco,
nunca, no es cierto que
Conjuncin: y, pero, sin
embargo, adems
Disyuncin: o, o bien
Condicional: si, entonces, por
lo tanto, porque, dado que
Bicondicional: si y solo si;
entonces y solo entonces
55
Anexos
Qu hora es?
Ojal fueran las 3:00 de la tarde.
Mara pregunt qu hora es.
Las horas de la tarde.
Qu tarde es!
Lecturas
El lenguaje y sus usos
La lingstica cientfica nos ha acostumbrado a saber que nuestras posibilidades de uso del lenguaje son
propiamente infinitas. En efecto: el dominio de una lengua consiste esencialmente en la capacidad de
recrearla constantemente produciendo de continuo oraciones nuevas (y no slo frases hechas). A su vez,
estas infinitas oraciones nuevas pueden enunciarse en infinitos contextos distintos. Nos servimos del lenguaje
para los menesteres ms diversos: para hacer preguntas, para elevar splicas, para dar rdenes, para proferir
insultos, para expresar deseos. Y tambin, a veces, para formular afirmaciones acercad e los objetos, es
decir, para enunciar hechos o describir situaciones.
Ante una pregunta no tiene sentido plantearse el problema de si es verdadera o falsa, de si enuncia o no un
estado de cosas que de hecho se da. Otro tanto cabe decir de una exclamacin o de una splica, por
ejemplo. Las preguntas, las rdenes o las splicas no tienen valor de verdad. S lo tienen en cambio, y
necesariamente, las afirmaciones que hacemos acerca del mundo.
Al uso del lenguaje cuando lo empleamos para hacer oraciones verdaderas o falsas lo llamamos, desde
Aristteles, uso apofntico (de , declaracin, enunciacin). Todo discurso () dice
Aristteles es significativo (). Pero no todo discurso es apofntico, sino slo aquel en el que se da el ser
verdadero o falso. No se da esto en todos, pues, por ejemplo, un ruego no es ni verdadero ni falso. Y aade:
Esta investigacin es una investigacin acerca del discurso apofntico. * La lgica actual no se ocupa
exclusivamente, aunque s bsicamente, del discurso apofntico, es decir, de aquel tipo de discurso
caracterizado por que sus enunciados tienen forzosamente un valor de verdad. A este tipo de discurso se le
llama tambin enunciativo, declarativo, representativo, indicativo, descriptivo, asertrico, aseverativo, etc.
Sea la siguiente oracin:
Gregorio Samsa se convirti en un monstruoso insecto.
Traduzcamos esa oracin, escrita en castellano, a algunas otras lenguas:
Gregor Samsa hat sich in einem ungeheurlichen Insekten verwandelt.
Gregorius Samsa in inmmanem insectum se conversit.
Gregory Samsa became a mosntruous insect.
Gregor Samsa sest transform dans un monstreux insect.
Gregor Samsa si transformo in un mostruoso insetto.
He ah seis oraciones. Seis oraciones que son distintas, porque son seis distintas manchas sobre el papel y a
la vez seis manchas distintas sobre el papel. Y, sin embargo, en un sentido muy claro esas seis oraciones
dicen lo mismo. Con otras palabras: esas seis oraciones distintas enuncian una misma proposicin.
Mediante las oraciones enunciamos proposiciones. Al producto de ese acto lingstico le llamamos enunciado.
Al hablar de un enunciado estamos, por tanto, hablando conjuntamente de una oracin y de la proposicin
que en ella se expresa. Y as diremos, por ejemplo, que el enunciado Gregorio Samsa se volvi un insecto
es verdadero.
* De Interpretatione, 16 a 33-17 a 7.
Fuente:
56
Ejercicios de aplicacin
1. Indica con un
1.1
1. 2
1. 3
1. 4
1. 5
1. 6
1. 7
1. 8
1. 9
1.
10
1.
11
1.
12
1.
13
1.
14
1.
15
57
Anexos
58
Proposic
in
Simple o
compues
ta
3.2
3.3
Aquellos que creen que mucho de lo que sucede en el mundo ocurre por
necesidad deben usar algn criterio para distinguir entre eventos que suceden
por necesidad de aquellos que no ocurren por necesidad.
3.4
3.5
3.6
3.7
3.8
Las negociaciones entre pases raras veces son entre partes de similar
importancia, tamao o peso.
3.9
3.10
3.11
El proyecto est
establecidos.
3.12
3.13
Los alumnos estn obligados a asistir a clase si hay una prctica calificada o
un control.
3.14
3.15
3.16
3.17
3.18
59
Anexos
bien
diseado;
luego,
cumple
con
los
estndares
a.
b.
c.
d.
e.
f.
g.
i.
60
Es una
proposicin?
Simple o
compuesta?
j.
k.
l.
m.
n.
o.
p.
q.
r.
UNIDAD 2
61
Anexos
2.1 Sintaxis de LP
la
SMBOLOS
1. VARIABLES PROPOSICIONALES: p, q, r,...
(Representan proposiciones simples)
Ejemplos de fbf
P
~p
pq
pq
pq
62 p q
~pq
~ (p q)
Nombre
Negacin
Conjuncin
Disyuncin
Smbolo
~
significado
no ...
... y ...
... o ...
lgica
Condicional
Bicondicional
si...entonces
...si y slo si...
p q
NO
infringe la RF2.
q r
NO
no pertenece a LP.
( p q .. p q)
r
63
Anexos
pqr
NO
P .. Q R
NO
pqr
NO
q . . p r : : q
NO
El es el mayor
jerarqua.
p q r falta
jerarquizar.
P, Q, R en minsculas
p q r Falta
jerarquizar.
. . la negacin no
lleva .
64
ESQUEMA DE FRMULA:
Son moldes o formas que representan FBF, estn
conformadas
por
metavariables,
adems
pueden
presentar operadores lgicos y signos de agrupacin.
El esquema de FBF ms general es A, pues representa
cualquier FBF.
qp
qp
( p q) p
( p q) p
Otro esquema comn a estas FBF es A B, pues
representa cualquier FBF disyuntiva.
qp
qp
( p q) p
( p q) p
Sin embargo, el esquema A B solo puede representar
a las dos ltimas FBF, pues corresponde a FBF disyuntivas
con cada uno de sus elementos negados.
65
Anexos
Ejercicios de aplicacin
1. Dadas las siguientes secuencias de smbolos:
1.1
(pq)r
1.2
(qp)
1.3
p(q~o)
1.4
~ p q r .. ( r s ) t
1.5
~ r p .. ~ q r .. t
1.6
p q .. r s r
1.7
t q .. t q
1.8
(pq)(tq)
1.9
p q .. p s .. ( q s )
1.1
0
q .. ( r r )
1.1
1
( p q ) ( r s ) .. t ( s q )
1.1
2
pq r
1.1
3
pqrst(pp)
1.1
4
q(r p)(qs)
1.1
5
q ( r p ) .. ( q s )
1.1
6
~ p q ~ r .. q t
1.1
7
(p r) s .. r ~ p q
1.1
8
~ s (r p) .. (p t) ~ s
66
1.1
9
[t q .. ~ s] (~ q s ..~ ~ ~t r)
1.2
0
( r q .. p q ) s
2. Construye tres (3) fbf, cada una de ellas deber tener como mnimo cuatro (4)
operadores distintos.
4.
Usa puntos auxiliares para expresar lo mismo que las frmulas dadas.
4.1 p (q r)
es lo mismo que
4.2 (q r) (p q)
es lo mismo que
4.3 [( ~ p q) r ] ( s ~ t )
es lo mismo que
4.4 (( ~ t r ) p ) ~ q
es lo mismo que
4.5 t {[ p ~ (p r) ] q}
es lo mismo que
5. Usa otros signos de coleccin que no sean los puntos auxiliares para expresar
lo mismo que las frmulas dadas.
5.1 p r .. s q
5.2
~ p :: q r .. ~ ( r s ) es lo mismo que
t
5.3 ~ r p . . q r : : t
67
es lo mismo que
Anexos
es lo mismo que
5.4 p q . . r s r
5.5
68
p q .. p s .. (q
s)
es lo mismo que
es lo mismo que
ESQUEM
A
DATOS
(A B) B
(p, q, r, , , )
7. Indica tres esquemas de frmulas comunes a las siguientes FBF, una de ellas
debe ser el esquema comn ms general y otro el ms especfico.
q p q p (q r
(r p) q (r p) q . . (r p) q
p p p r (p p)
Ms general
Ms especfico
69
Anexos
2.2 Semntica de LP
Interpretar semnticamente un clculo es darle
significado. En lgica, esta tarea se cumple cuando se
asigna posibles valores de verdad a los smbolos de un
determinado clculo, en nuestro caso al de LP.
Dado que estamos considerando una lgica bivalente, la
que acepta solo dos valores de verdad, verdadero o falso,
entonces la una proposicin simple le corresponde dos
posibilidades, la de ser verdadera o la de ser falsa, es
decir genera la consideracin de dos estados posibles del
mundo (EPM), uno en la que el mundo est en un estado
tal que sea verdadera la proposicin en cuestin y otro en
el cual el mundo est en un estado tal que la hace falsa.
As, con una proposicin simple tendremos:
p
V
F
EPM 1
EPM 2
Con dos proposiciones simples tendremos:
EPM 1
EPM 2
EPM 3
EPM 4
Con tres proposiciones simples tendremos:
p
V
V
F
F
q
V
F
V
F
EPM 1
EPM 2
EPM 3
EPM 4
EPM 5
EPM 6
EPM 7
EPM 8
70
V
F
V
F
A B
AB
AB
AB
~A
V
V
V
F
V
F
V
V
V
F
F
V
F
F
F
F
F
V
V : Basta un elemento V
F : Basta un elemento F.
Condicional:
V: 1. Antecedente es F
2. Consecuente es V
F:
Antecedente
consecuente es F
Bicondicional:
V : Valores iguales.
y
F : valores contrarios.
71
Anexos
CONTRADICTORIAS:
MTODO DECISORIO
para
proceso
operativo
del
mtodo
p
p
..
F
2 Se desarrolla la hiptesis:
IMPORTANTE
Sintcticamente, una fbf lleva el
nombre de su operador principal.
As, la fbf p v q .. q p
es una frmula condicional,
pues su operador de mayor
jerarqua es que va entre
dos puntos auxiliares.
Ejemplo:
v
p
V
q
F
p
q
72
..
q ..
p
F V F F F
p v
q
q p
F V V F
..
V F
p v
q
q p
F V V F
..
V F
73
Anexos
Lectura
Tautologas
Si despus de construir la tabla de verdad de una frmula se considera la ltima columna de dicha, se
observar que pueden ocurrir dos casos lmite:
1) esa columna consta slo de signos V verdadero;
2) esa columna consta de signos slo F falso;
y un caso intermedio:
3) en la columna final hay signos V y signos F, indistintamente.
Cuando la columna final de una tabla de verdad arroja invariablemente el signo V, la frmula analizada por
esa tabla recibe el nombre de tautologa. Cuando la columna final arroja slo signos F, la frmula en cuestin
recibe el nombre de contradiccin. Y cuando en esa columna alternan indistintamente los signos V con los
signos F, la frmula correspondiente es denominada contingencia. Si el lector construye las tablas de verdad
de las frmulas p p, p p, p q, hallar, por este orden, un resultados de cada uno de los tres tipos.
La nocin de tautologa es, posiblemente, la nocin central de toda la lgica de conectores lgica
proposicional. Una definicin ms rigurosa de este concepto puede obtenerse con ayuda de nociones
semnticas previas, como las de interpretacin y verdad o las de satisfactibilidad y atribucin veritativa.
Una frmula de lgica de conectores se denomina tautolgica o identidad lgica cuando es verdadera para
toda interpretacin; es decir, cuando toda atribucin veritativa la satisface. Y se denomina contradiccin
cuando no es verdadera bajo ninguna interpretacin; es decir, cuando ninguna atribucin veritativa la
satisface. La contradiccin es, obviamente, la negacin de una tautologa. Finalmente diremos que una
frmula de lgica de conectores es una contingencia cuando no es tautolgica ni contradictoria, es decir,
cuando existe al menos una atribucin veritativa que la satisfaga y otra que no la satisfaga.
Toda tautologa es un enunciado analtico, o lgicamente verdadero. Pero no sucede a la inversa, pues hay
enunciados analticos que no son tautolgicos.
Fuente:
GARRIDO, Manuel (1995) Lgica simblica. Madrid: Tecnos, pp. 80-81.
74
Ejercicios de aplicacin
1. Mediante tabla de valores, determina si las siguientes frmulas son
tautolgicas, contradictorias o contingentes.
1.
1
p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
(p
q)
(p
(r
q ) ..
q)
.
.
(r
p)
r ) ..
(q
r
)
1.
2
1.
3
75
Anexos
(q
q)
1.
4
p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
.
(q
.
r)
(r
[q
..
q]
q)
(q
r)
.
.
p)
1.
5
1.
6
76
(p
Tabla de
verdad
2.1
(~pr)(~rq)..pq
2.2
(qp) (rs..t)..q
2.3
(pq)(p~r)(~sr)..qs
2.4
( q p ) ( r p ) ( q s ) .. p s
2.5
(pr)q(qr)(rp)
2.6
p ( s q ) q ( r s )
2.7
( s p ) .. q ( t r .. p )
2.8
[ ( p q ) ( s r ) ] ( r s ) .. p
2.9
( p r ) ( q s ) .. ( p q ) ( r s )
2.1
(qp)t(rs..t)
0
2.1
[ ( t r) ( p s ) ] [ ( q s ) ( p t
)]
1
2.1
[ ( p q ) ( p v r .. s ) .. ( p q ) s ]
77
Anexos
2.1
3
2.1
[(rs) (q p) [(qs)v(r
p)]
( p q ) [ ( ~ r s ) ~ p ] . . q p
4
2.1
(~pq)(~pr).. p(qr)
5
2.1
( p q ) p .. p q ( p q )
6
2.1
7
(sp)(sr)(rq)(s
q)
2.1
8
2.1
( q r ) ( p s ) .. s ( p t )
9
2.2
0
[(pq)(rs)[(pr)
s
2.2
1
(p q) [ p r s ] (q s) .. t
r
2.2
2
(p t) (qs) (sp)(r
q)
78
2.3 Simbolizacin
La simbolizacin es el proceso de traducir algunos
segmentos del lenguaje natural (discurso apofntico) al
lenguaje lgico. Para ello, tendremos en cuenta los
siguientes criterios:
1. Reconocer las proposiciones simples y asignarles
variables proposicionales (p, q, r, ...)
2. Destacar la estructura formal. La estructura formal es el
conjunto de expresiones que funcionan como conectivas
entre enunciados.
3. Reemplazar los enlaces por operadores lgicos. Cuidado
con la jerarqua.
Ejemplo:
No es cierto que la moneda se devale o la inflacin
aumente.
1. Proposiciones:
p: La moneda se devala.
q: La inflacin aumenta.
2.
formal:
No es cierto que p o q.
Estructura
3. Simbolizacin:
(pq)
Trminos
79
Anexos
Negacin
Conjuncin
No
Es falso que
No es cierto que
No es el caso que
No es verdad
Es imposible que
No ocurre que
y
pero
sin embargo
no obstante
adems
tambin
aUn cuando
a pesar de que
tanto como
al mismo tiempo
a la vez que
(,), (;), (.)
Bicondicional
... o ...
o.... o....
.... u ....
Si y solo si
cuando y solo cuando
si y solamente si
entonces y solo entonces
Trminos
Disyuncin
El antecedente y el consecuente
del condicional:
pq
antecedente
consecuente
CONDICIONAL
DIRECTO (ordenado)
INDIRECTO (por
ordenar)
pq
qp
Si p entonces q
p si q
Si p, q
p cuando q
Cuando p, q
p de q
De p, q
p ya que q
p. Por lo tanto q
p porque q
p. Luego q
p dado que q
p. Por ello q
p puesto que q
p. As q
p pues q
p. Es as que q
p siempre que q
p. De modo que q
p en razn de que q
p. En conclusin q
p. Por consiguiente q
EJEMPLOS:
Listado de
proposiciones
simples
Si los periodistas son objetivos
1 entonces presentan la informacin
de manera confiable.
p: Los
periodistas son
Si los periodistas son objetivos,
objetivos.
2 presentan
la
informacin
de
manera confiable.
q: Los
periodistas
Porque
los
periodistas
son
presentan la
3 objetivos, presentan la informacin
informacin de
de manera confiable.
manera
confiable.
Los periodistas son objetivos,
4 porque presentan la informacin
de manera confiable.
80
Estructura formal
FBF
Si p entonces q.
pq
Si p, q.
pq
Porque p, q.
pq
p, porque q.
qp
p, q y r.
pqr
DISYUNCIN
p, q o r.
pqr
CONDICIONAL
Si no p, no q.
pq
JERARQUA
p y q, o r si s.
(p q) (s r)
Jerarqua de la negacin
Para determinar la jerarqua de la negacin nos pueden
ayudar la aplicacin de los siguientes criterios:
Ejemplo:
No ocurre que p y q, a pesar de que r.
(p q) r
lgico:
Ejemplo:
No ocurre que si p, q.
(p q)
Ejemplos:
No ocurre que tenga miedo porque haya visto la pelcula.
(q p)
No ocurre que tenga miedo porque vi la pelcula.
(q p)
Observaciones:
EXPRESIONES
Ni p ni q.
p solo si q.
p no implica q.
81
Anexos
p a menos que q.
Aunque p, q. (verbo de
p en subjuntivo)
SIMBOLIZACIN
pq
pq
(p q)
(pq)(pq)
(pq)
(qp)(qp)
(pp)q
Ejercicios de aplicacin
Simboliza los siguientes enunciados.
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
82
ESTRUCTURA FORMAL
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
83
Anexos
FORMALESTRUCTURA
PROPOSICIONES
ESTRUCTURA FORMAL
PROPOSICIONES
SIMBOLIZACIN:
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
84
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
85
Anexos
ESTRUCTURA FORMAL
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
18.Si no es cierto que Per est camino al primer mundo o est en vas de
salir del subdesarrollo, el Ministro de Economa miente cuando dice que no
hay ningn conflicto que detenga el avance de nuestro pas.
ESTRUCTURA FORMAL
PROPOSICIONES
SIMBOLIZACIN:
SIMBOLIZACIN:
86
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
21.No es cierto que exista una pugna irreconciliable entre los partidos de
derecha y los de izquierda.
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
87
Anexos
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
26.No es cierto que los extraterrestres existan porque haya algunos libros que
hablan de ellos.
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
27.No es cierto que la verdad sea absoluta o que no exista puesto que existe
el conocimiento relativo.
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
88
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
89
Anexos
FORMALESTRUCTURA
PROPOSICIONES
34.La reunin que se dio entre los abogados, las empresas involucradas y los
representantes del Estado fue productiva, aunque extensa. Esto se debi a
que llegaron a buenos acuerdos y se resolvieron los conflictos existentes.
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
35.La OSCE calcula que slo en Espaa hay unas 20 000 vctimas de
explotacin infantil. Estos 20 000 nios, son slo "la punta del iceberg"
porque hay muchos ms" que son vctimas de la trata de seres humanos,
aunque slo podemos hacer estimaciones de la magnitud del problema.
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
FORMALESTRUCTURA
PROPOSICIONES
38.No hay trabajo sin reactivacin econmica. Esto se debe a que no hay
forma de darle trabajo a la gente si las fbricas no se ponen a producir, las
tiendas a vender, las empresas a generar valor.
SIMBOLIZACIN:
90
ESTRUCTURA FORMAL
PROPOSICIONES
ESTRUCTURA FORMAL
PROPOSICIONES
SIMBOLIZACIN:
SIMBOLIZACIN:
91
Anexos
FORMALESTRUCTURA
PROPOSICIONES
41.La gente trata de evitar los riesgos cuando busca una ganancia, pero elige
el riesgo si se trata de evitar una prdida; luego, hay una supuesta
asimetra en la toma de decisiones.
AB
Anlisis por Mtodo Abreviado: Para determinar si A
implica a B o si B es implicada por A, se debe realizar los
siguientes pasos:
1) Se relacionan as: A B
2) Se supone falsa: A B, y se aplica M. A.
F
3) Decisin:
q
V V V
r)
F
..
F
q
V
(
F F
r p)
V F V
Propiedades de la implicacin:
1. REFLEXIVA: Toda proposicin se implica a s misma.
(A A)
2. TRANSITIVA: Si una FBF implica a una segunda y
esta a una tercera, entonces la primera implica a la
tercera. ( A B) ( B C) . . A C
3. La tautologa es implicada por cualquier FBF.
(A T)
4. La contradiccin implica a cualquier FBF.
( A)
92
LA EQUIVALENCIA
Definicin: A equivale a B cuando unidos A y B por el
bicondicional, se obtiene una relacin vlida.
AB
AB
6. Para simplificar:
ATA
ATT
A
AA
93
Anexos
P1
P2
:
Pn
P2
:
Pn C
P1, P2, , Pn C
C
FRMULA INFERENCIAL:
P1 P2 Pn . . C
INFERENCIA VLIDA: Cuando la conclusin se sigue
necesariamente del conjunto de premisas, es decir la
conjuncin de premisas implica a la conclusin.
P1 P2 Pn . . C
Dicho de otra manera, si la inferencia es vlida es
imposible que todas las premisas sean verdaderas y la
conclusin sea falsa; o si todas las premisas son
verdaderas, la conclusin debe ser verdadera.
1) al final:
2) al inicio:
3) al medio:
94
Ejemplos: Determine la
expresiones mediante M, A.
validez
de
las
siguientes
1. p si q; puesto que si q, r, y p si s.
95
Anexos
Lecturas
Verdad y validez
La verdad y la falsedad se predican de proposiciones, nunca de argumentos. Y los atributos de validez e
invalidez pueden pertenecer solamente a los argumentos deductivos., nunca a las proposiciones. Hay una
conexin entre la validez o invalidez de un argumento y la verdad o falsedad de sus premisas y su conclusin,
pero la conexin no es en modo alguno simple. ()
Es importante que nos percatemos de que un argumento puede ser vlido aun cuando una o ms de sus
premisas no sean verdaderas. ()
Los argumentos pueden mostrar diferentes combinaciones de verdad y falsedad de premisas y conclusiones.
Se presentan en seguida siete diferentes ejemplos; su contenido es trivial e ideado, pero pondrn de relieve
las caractersticas particulares de cada ejemplo. Usando estos ejemplos podremos formular principios
esenciales sobre las relaciones entre verdad y validez.
Algunos argumentos vlidos contienen slo proposiciones verdaderas, como por ejemplo:
I.
Pero un argumento puede contener tambin solamente proposiciones falsas y, sin embargo, puede ser un
argumento vlido, como sucede en el siguiente ejemplo:
II.
Este argumento es vlido porque si sus premisas fuesen verdaderas, su conclusin tendra que serlo tambin
aunque de hecho son falsas.
Adems, un argumento puede tener premisas verdaderas y conclusin verdadera y no obstante ser invlido,
como sucede en el siguiente ejemplo:
III.
Las premisas podran haber sido verdaderas y la conclusin falsa como resulta claro cuando uno considera
que si yo tuviera diez millones de dlares, las premisas seran verdaderas pero la conclusin sera falsa. Por
supuesto, el argumento seguira siendo invlido.
Este punto es ilustrado por el siguiente argumento, que tiene precisamente la misma forma del ejemplo III.
IV.
Si Rockefeller tuviera todo el oro de Fort Knox, entonces Rockefeller sera rico.
Rockefeller no tiene el oro de Fort Knox.
Por lo tanto, Rockefeller no es rico.
Las premisas de este argumento son verdaderas y su conclusin es falsa. Tal argumento no puede ser vlido,
porque es imposible que las premisas de un argumento vlido sean verdaderas mientras su conclusin es
falsa.
Los argumentos con premisas falsas y conclusiones verdaderas pueden ser vlidos o invlidos. Aqu se
muestra un ejemplo de un argumento con premisas falsas y conclusin verdadera.
V.
96
aqu se muestra un ejemplo de un argumento invlido con premisas falsas y conclusin verdadera:
YEjercicios
de aplicacin
ESTRUCTURA FORMAL
VI.
Todos los mamferos tienen alas.
Todas
las ballenas
tienen alas. determina la validez formal de las siguientes
I. Mediante mtodo
abreviado,
Por
lo
tanto,
todas
las
ballenas son mamferos.
inferencias.
Finalmente, hay argumentos invlidos cuyas premisas y conclusiones son todas falsas, por ejemplo:
1. Si el yogurt contiene vitaminas A y D, entonces ser parte de mi dieta. Se
VII.
Todos los mamferos tienen alas.
sabe que el yogurt no contiene vitamina A ni D. De ah que, el yogurt no ser
Todas las ballenas tienen alas.
parte de mi dieta.
Por lo tanto, todos los mamferos son ballenas
PROPOSICIONES
() es claro a partir de estos siete ejemplos que hay argumentos vlidos con conclusiones falsas (ejemplo II),
lo mismo que argumentos invlidos con conclusiones verdaderas (ejemplos III y IV). Por tanto, es claro que la
verdad o falsedad de la conclusin de un argumento no determina por s misma la validez o invalidez del
argumento. Y el hecho de que un argumento sea vlido no garantiza la verdad de su conclusin (ejemplo II).
Exponiendo estos siete ejemplos de argumentos deductivos en los dos siguientes cuadros, podremos
apreciar mejor la variedad. El primero cuadro, de argumentos invlidos, muestra que hay argumentos
invlidos con todas las combinaciones posibles de premisas y conclusiones verdaderas y falsas.
Es vlida?
Argumentos invlidos
ESTRUCTURA FORMAL
PROPOSICIONES
Conclusin verdadera
Conclusin falsa
2. Si la inversin decrece, disminuir
automticamente
el trabajo; y, si
disminuye automticamente el trabajo, no habr bienestar. Por ello, si no hay
Premisas verdaderas
Ejemplo III
Ejemplo IV
bienestar, la inversin decrece.
Premisas falsas
Ejemplo VI
. Ejemplo VII
El segundo cuadro, de los argumentos vlidos, muestra que los argumentos vlidos tienen solamente tres de
las combinaciones posibles de verdad y falsedad de las premisas y de la conclusin:
SIMBOLIZACIN: Y MTODO ABREVIADO
Argumentos vlidos
Conclusin verdadera
Es vlida?
Premisas verdaderas
Conclusin falsa
Ejemplo I
PROPOSICIONES
ESTRUCTURA FORMAL
Premisas falsas
Ejemplo V
Ejemplo II
3. Si el yogurt contiene vitaminas A y D, entonces ser parte de mi dieta. Pero,
el yogurt no ser parte de mi dieta. Luego, el yogurt no contiene vitamina A o
El espacio
en blancovitamina
del segundo
no contiene
D.cuadro muestra grficamente un punto de importancia fundamental: si un
argumento es vlido y su conclusin es falsa, no todas sus premisas pueden ser verdaderas. Y tambin: si un
argumento es vlido y sus premisas son verdaderas, con toda certeza la conclusin debe ser tambin
verdadera. Algunos argumentos perfectamente vlidos tienen conclusiones falsas, pero tal gnero de
argumentos debe al menos tener alguna premisas falsa.
Cuando un argumento es vlido y todas sus premisas son verdaderas, le llamamos bien fundado (o slido).
La conclusin de un argumento slido obviamente debe ser verdadera. Si un argumento deductivo no es
slido, lo cual significa o bien que no es vlido o que no todas sus premisas son verdaderas, entonces no
SIMBOLIZACIN:
Y MTODO ABREVIADO
sirve para establecer
la verdad de la conclusin.
Determinar la verdad o falsedad de las premisas es tarea de la ciencia en general, puesto que las premisas
pueden referirse a cualquier tema. El lgico no est interesado en la verdad o falsedad de las proposiciones,
Es
sinovlida?
en las relaciones lgicas entre ellas, donde por relaciones lgicas entre proposiciones entendemos
aquellas que determinan aquellas que determinan la correccin o incorreccin de los argumentos en los que
pueden aparecer. Determinar la correccin o incorreccin validez o invalidez de los argumentos es una labor
que corresponde enteramente a la lgica. El lgico est interesado incluso en la correccin validez de los
argumentos cuyas premisas podran ser falsas.
Fuente:
COPI, Irving y COHEN, Carl (1999) Introduccin a la lgica. Mxico: Limusa Noriega Editores, pp. 72-80.
97
Anexos
FORMALESTRUCTURA
PROPOSICIONES
Es vlida?
ESTRUCTURA FORMAL
PROPOSICIONES
Es vlida?
Es vlida?
98
FORMALESTRUCTURA
PROPOSICIONES
FORMALESTRUCTURA
PROPOSICIONES
7. Si todo hecho tiene una causa, entonces todas mis acciones tienen una causa.
Si todas mis acciones tienen una causa, no soy libre de hacer lo que elijo. En
ese caso, no soy responsable de mis acciones. As, si todo hecho tiene una
causa, no soy responsable de mis acciones.
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
Es vlida?
Es vlida?
99
Anexos
FORMALESTRUCTURA
PROPOSICIONES
FORMALESTRUCTURA
PROPOSICIONES
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
Es vlida?
Es vlida?
100
FORMALESTRUCTURA
PROPOSICIONES
FORMALESTRUCTURA
PROPOSICIONES
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
14.Los problemas sociales se resuelven tanto con medidas econmicas como con
estrategias polticas. Adems, los problemas de salud pblica son problemas
sociales dado que son urgentes. Sin embargo, no es el caso de que el Estado
deba resolver los problemas de salud pblica porque estos no sean problemas
sociales. En consecuencia, si los problemas sociales se resuelven con
estrategias polticas, entonces se resuelven con medidas econmicas aunque
los problemas de salud pblica son urgentes.
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
todas ellas pueden decirse que son, ciertos postulados pueden verificarse.
Sin embargo, puesto que hay afirmaciones basadas en juicios de valor, no es
cierto que ni todas las afirmaciones econmicas puede decirse que "son" ni
ciertos postulados pueden verificarse. No obstante, hay afirmaciones basadas
en juicios de valor dado que todas las afirmaciones econmicas son
irrefutables. Por lo tanto, todas las afirmaciones econmicas puede decirse
que "son" porque la economa se mueve constantemente entre la economa
positiva y la economa normativa.
Es vlida?
101
Anexos
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN: Y MTODO ABREVIADO
Es vlida?
PROPOSICIONES
FORMALESTRUCTURA
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
18.Si la riqueza genera bienestar y el bienestar es una meta social, entonces una
de las metas de la economa es el bienestar social pues la economa ayuda a
la generacin de riqueza. Sin embargo, no es cierto que si la economa ayuda
a la administracin de la riqueza, entonces una de sus metas sea el bienestar
social. Adems, la riqueza genera bienestar si y solo si la economa ayuda a la
generacin de riqueza. Por tanto, el bienestar es una meta social puesto que
la economa ayuda a la generacin de riqueza.
Es vlida?
102
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN: Y MTODO ABREVIADO
Es vlida?
PROPOSICIONES
FORMALESTRUCTURA
Es vlida?
PROPOSICIONES
FORMALESTRUCTURA
21.Puesto que los sentidos a veces nos engaan, dudamos de la informacin que
nos proporcionan aunque confiamos en ellos muchas veces. Sin embargo, no
es cierto que si muchos de nuestros conocimientos dependen de los sentidos,
entonces dudemos de la informacin que nos proporcionan. Pero los sentidos
a veces nos engaan y, por eso, muchas veces no confiamos en ellos. En
consecuencia, dudamos de la informacin que nos proporcionan los sentidos
porque tenemos motivos suficientes para hacerlo.
Es vlida?
Es vlida?
103
Anexos
FORMALESTRUCTURA
PROPOSICIONES
FORMALESTRUCTURA
PROPOSICIONES
23.La produccin minera crece dado que hay inversin de capitales en este
sector. Pero si los mineros ganan salarios bajos y todos los que ganan salarios
bajos pertenecen a una poblacin vulnerable, entonces los mineros
pertenecen a una poblacin vulnerable. Por lo tanto, si hay inversin de
capitales en el sector minero y todos los que ganan salarios bajos pertenecen
a una poblacin vulnerable, o los mineros no ganan salarios bajos o
pertenecen a una poblacin vulnerable.
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
24.La produccin minera crece pues hay inversin de capitales en ella. Pero, los
mineros ganan salarios bajos y todos los que ganan salarios bajos contraen
enfermedades, lo que trae como consecuencia que los mineros contraigan
enfermedades. Por lo tanto, o bien si hay inversin de capitales en la
produccin minera, ella genera enfermedades, o bien no es cierto que los
mineros ganen bajos salarios y contraigan enfermedades.
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
25.No es cierto que las verdades cientficas no sean absolutas porque todas las
ciencias dependan de la interpretacin. Pero si las ciencias son exactas o
determinan criterios de verdad, entonces no es verdad que todas las ciencias
dependen de la interpretacin. Las verdades cientficas seran absolutas si las
ciencias determinasen criterios de verdad. En consecuencia, las ciencias no
son exactas, pero proporcionan informacin determinante para muchos casos.
Es vlida?
104
FORMALESTRUCTURA
PROPOSICIONES
26.Pedro y Pablo son congresistas si y solo si nuestro rgimen admite que los
congresistas tengan menos de 30 aos. Pero nuestro rgimen no admite tal
cosa. As que ni Pedro ni Pablo son congresistas ya que ambos acaban de
cumplir 25 aos.
Es vlida?
105
Anexos
2.5 Derivacin
La derivacin es un mtodo demostrativo de la validez de
inferencias deductivas. En este contexto, demostrar
significa partir de una serie de datos o premisas dados y a
partir de ellos, mediante una serie de reglas de inferencia,
llegar a deducir vlidamente una conclusin.
En el mtodo de derivacin, por tanto, ni las premisas ni
las reglas de inferencia requieren de una justificacin ni
mucho menos una demostracin.
Por otro lado, hay varias consideraciones importantes que
debemos tener presentes al familiarizarnos con el mtodo
de derivacin:
El mtodo de derivacin solo se aplica a la
demostracin de inferencias vlidas.
Al aplicar el mtodo de derivacin, siempre
debemos tener una secuencia finita larga o corta,
pero finita de pasos. Si esto no fuese as, la
demostracin no habra tenido lugar.
Las premisas de las que partimos pueden ser
afirmaciones
contingentes,
tautolgicas
o
contradictorias.
Exactamente lo mismo puede ocurrir con la
conclusin: puede tratarse de una expresin
contingente, tautolgica o incluso contradictoria.
Lo que es vlido es la relacin entre las premisas y
la conclusin, mas no las premisas o la conclusin
en s mismas.
Las reglas de inferencia son las que nos permiten ir
progresivamente
deduciendo
una
serie
de
afirmaciones a partir de las premisas.
Las reglas de inferencia son preservadores de la
validez. Esto es fundamental porque significa que
cada que aplicamos una de las reglas de inferencia,
estamos obteniendo una afirmacin deducida
vlidamente.
Debido a lo anterior, es imposible demostrar si una
inferencia es invlida mediante el mtodo de
derivacin, pues las reglas de inferencia solo nos
permiten deducir vlidamente. Por ello, si
pretendisemos demostrar que una inferencia es
invlida mediante derivacin, la secuencia de pasos
seguira al infinito, pero ello no constituira una
demostracin de la invalidez.
Para poder aplicar el mtodo de derivacin, debemos
manejar primero la nocin de principios lgicos y, luego,
la lista de reglas de inferencia.
Los principios lgicos se pueden definir como las
tautologas fundamentales, ya que de ellos se generan las
infinitas tautologas (entre ellas las leyes lgicas) y a ellos
106
es
IMPLICACIONES NOTABLES
NOMBRE
1. MODUS
PONENDO
PONENS
REGLA
AB
A
B
NOMBRE
6. SILOGISMO
A
DISYUNTIVO
A B
B
(SD)
REGLA
AB
A
AB
B
.
(MPP)
2. MODUS
TOLLENDO
TOLLENS
(MTT)
107
Anexos
AB
B
A
7. SILOGISMO
B
HIPOTTICO
A B
PURO
A
(SHP)
AB
B C
AC
A
3. CONJUNCIN
B
B
.
AB
(CONJ)
4. SIMPLIFICACIN
(SIMP)
5. ADICIN
(AD)
A 8. TRANSITIVIDAD
SIMTRICA
(TS)
A
AB
B C
A C
9. DILEMA
CONSTRUCTIVO
COMPUESTO
(DCC)
A B
C D
A C
B D
A B
A
A B
B
A
AB
10.DILEMA
A
DESTRUCTIVO
COMPUESTO
B
(DDC)
AB
CD
B D
AC
EQUIVALENCIAS NOTABLES
NOMBRE
10.ABSORCIN (ABS)
108
REGLA
AA
AAA
AA A
ABBA
ABBA
A (B C) (A B) C
A (B C) (A B) C
A (B C) (A B) (A C)
A (B C) (A B) (A C)
ABAB
(A B) A B
A B (A B) (B A)
A B (A B) (A B)
A B B A
ABBA
( A B) ( A B)
( A B) ( A B)
A (A B) A
A (A B) A
A (A B) A B
A (A B) A B
Es sintctico.
Es un sistema de reglas lgicas.
Demuestra solo las frmulas o inferencias vlidas.
109
Anexos
// C
(justificacin)
(justificacin)
Ejercicios de aplicacin
I.
1.1
P1) q ( p r)
P2) q r
P3) p ~ r // r
1.3
P1)
P2)
P3)
P4)
110
p (q s)
st
pq
p // t
1.2
P1) r ~ q
P2) ( p q ) q // p s
P1)
P2)
P3)
P4)
~
~
~
~
1.4
(p w) ~ r
r~s
qs
q ~ w // ~ p
1.5
P1) p ( q r )
P2) p r
P3) q ~r
// p r
1.6
P1) r q
P2) ( p q ) s // p s
1.7
P1)
P2)
P3)
P4)
1.8
P1) p (q r)
P2) q ~ r
P3) ~p r
// ~ (q p)
(pq)(rs)
r ~p
qp
q ~s // ~ ( p q )
II.
111
Anexos
Justificacin:
2. Dado que maana me voy de viaje, armar mi maleta con anticipacin para no
olvidar nada y no estar apurada. Ocurre que maana me voy de viaje. De lo que se
concluye que
Conclusin:
Justificacin:
Justificacin:
Justificacin:
5. El delito se sanciona con pena privativa de libertad si se cumple con el tipo expresado
en el cdigo penal y el juez lo sentencia de tal manera. En este caso el juez lo
sentencia de tal manera y el delito cumple con el tipo expresado en el cdigo penal.
Ergo
Conclusin:
112
Justificacin:
Justificacin:
Justificacin:
Justificacin:
Justificacin:
10. Como todos critican la designacin del Fiscal de la Nacin, es probable que el
gobierno decida tanto la destitucin de ese fiscal como la necesidad de convocar a la
eleccin de un nuevo candidato. No obstante, no es cierto que el gobierno haya
decidido la destitucin del fiscal y la necesidad de convocar a la eleccin de un nuevo
candidato. Por ello
Conclusin:
Justificacin:
11. O bien las leyes de trnsito son respetadas por los conductores o los peatones deben
tener cuidado cuando enfrentan el trnsito. Ocurre que las leyes de trnsito nunca
son respetadas por los conductores. Por lo tanto
Conclusin:
113
Anexos
Justificacin:
12. Si las normas son perfectibles, entonces a veces necesitan ser modificadas. Si las
normas a veces necesitan ser modificadas, entonces deben ser revisadas
constantemente. Por lo tanto
Justificacin:
13. O bien huyo de las consecuencias de mis malas decisiones, o bien asumo las
consecuencias pues soy un hombre maduro. Sucede que no huyo de las
consecuencias de mis malas decisiones. Por lo tanto
Conclusin:
Justificacin:
Justificacin:
15. Nuestro equipo es el mejor del torneo porque tiene los mejores jugadores y el mejor
entrenador. Tiene los mejores jugadores y el mejor entrenador, porque ganar el
torneo. Ergo...
Conclusin:
Justificacin:
16. Manuel o trabaja para solventar sus estudios, o estudia mucho y obtiene una beca
que le permite seguir en la universidad sin preocuparse por pagar las boletas. Ocurre
que Manuel no trabaja para solventar sus estudios. Por lo tanto
Conclusin:
Justificacin:
17. O bien existe una estrecha relacin entre la organizacin socio-musical y los cambios
socio-culturales, o bien las creaciones musicales se generan de forma independiente
del entorno, la sociedad y la cultura. Pero no es cierto que las creaciones musicales se
generen de forma independiente del entorno, la sociedad y la cultura. Luego
Conclusin:
114
Justificacin:
Justificacin:
19. No es cierto que las leyes se cumplan estrictamente o que la delincuencia disminuya.
Nuestro problema es de carcter prctico debido a que ni el cumplimiento de las
leyes es estricto ni la delincuencia disminuye. Por ello
Conclusin:
Justificacin:
Justificacin:
21. Las canciones que llevamos dentro de nuestro equipaje cultural implican determinadas ideas,
puesto que la creacin musical es un producto social. Si las cnaciones que llevamos dentro de
nuestro equipaje cultural implican determinadas ideas, entonces la msica nos determina. Por ello
Conclusin:
Justificacin:
Justificacin:
23. Si cada cultura busca algo distinto de la msica, entonces se torna ms complejo su
estudio y comprensin. Ciertamente, cada cultura busca algo distinto de la msica.
Luego
Conclusin:
Justificacin:
24. Las principales funciones de la msica han sido religiosas, polticas, educativas o de
entretenimiento; pero ciertamente la msica no ha tenido como principal funcin la
poltica. Entonces
115
Anexos
Conclusin:
Justificacin:
Justificacin:
UNIDAD 3
La Lgica de clases
116
En LP, se realizara
el siguiente
anlisis:
Todo limeo es
peruano. = p
Todo peruano es
latinoamericano. =
q
Todo limeo es
latinoamericano. =
r
p. q. Por ello, r.
(p q) r
( p q ) r
V V V
F F
Invlida
Anexos
ESTRUCTURA
NOTACIN
Universal
afirmativa
Todo S es P.
SaP
Universal
negativa
Ningn S es P.
SeP
Particular
afirmativa
Algn S es P.
SiP
Particular
negativa
Algn S no es P.
SoP
118
119
Anexos
120
Ejercicios de aplicacin
1. Indica qu tipo de proposicin (A, E, I , O) se presenta en cada caso y escribe
su notacin clsica.
TIPO DE
PROPOSICIN
1.1
1.2
Algunas
ciencias
deductivas.
1.3
1.4
Nadie
que
crea
en
completamente racional.
1.5
1.6
1.7
Todos los
genticos.
1.8
1.9
naturales
factores
no
son
duendes
hereditarios
NOTACIN
es
son
Proposicin de tipo
A:
Todo S es P.
Proposicin de tipo
E:
Ningn S es P.
Proposicin de tipo
I:
Algn S es P.
Proposicin de tipo
O:
Algn S no es P.
121
Anexos
122
Ejemplo 1:
Algunos mortales viven ms de cien aos.
Todos los hombres son mortales.
Luego, algunos hombres viven ms de cien
aos.
Ejemplo 2:
Ningn mamfero es un pez.
Todos los peces son seres acuticos.
Luego, ningn ser acutico es mamfero.
123
Anexos
Ejemplo 1:
Algunos mortales viven ms de cien aos.
Todos los hombres son mortales.
Luego, algunos hombres viven ms de cien
aos.
Si representamos este silogismo en notacin clsica,
tendramos lo siguiente:
MiV
HaM
HiV
De manera que el modo de este silogismo sera: IAI.
Ejemplo 2:
Ningn mamfero es un pez.
(M e P)
124
SEGUNDA FIGURA
TERCERA FIGURA
CUARTA FIGURA
Premisa mayor: M P
Premisa menor: S M
Conclusin:
S P
Premisa mayor: P M
Premisa menor: S M
Conclusin:
S P
Premisa mayor: M P
Premisa menor: M S
Conclusin:
S P
Premisa mayor: P M
Premisa menor: M S
Conclusin:
S P
125
Anexos
Ejemplo 1:
MiV
HaM
HiV
De manera que el modo de este silogismo sera: IAI.
En este caso el trmino medio es M, de modo que la
figura es la PRIMERA
Ejemplo 2:
MeP
PaS
SeM
De manera que el modo de este silogismo sera:
EAE. En este caso el trmino medio es P, de modo
que la figura sera la CUARTA.
CMO SE DETERMINA
CATEGRICO
LA
VALIDEZ
DE
UN
SILOGISMO
** La versin de estas reglas se ha formulado en base al texto de Copi y Cohen 1999: 262-272
126
127
Falacia asociada
Falacia existencial
Anexos
Ejercicios de aplicacin
Dados los siguientes silogismos categricos:
i.
Ordnalos primero si es necesario. Y luego escrbelos en notacin clsica.
ii.
Indica el modo y la figura.
iii.
Aplicando las reglas clsicas, determina cules de ellos son vlidos. Justifica
tu respuesta.
1.
Algunos economistas conocen las
polticas microeconmicas de desarrollo
imperantes en el pas. Todos los
conocedores
de
las
polticas
microeconmicas
de
desarrollo
imperantes en el pas tienen una alta
formacin
en
poltica
econmica
nacional. Luego, algunos economistas
tienen una alta formacin en poltica
econmica nacional.
NOTACIN CLSICA:
MODO:
FIGURA:
2.
Todos los msicos son poetas. Todas las
canciones son piezas musicales. Por ello,
todas las canciones son poemas.
NOTACIN CLSICA:
MODO:
FIGURA:
3.
Los contratos se firman; la compraventa
se
firma.
En
consecuencia,
la
compraventa es un contrato.
NOTACIN CLSICA:
MODO:
FIGURA:
4.
Algunos editorialistas son creativos; ya
que todos los diseadores grficos son
creativos y algunos editorialistas son
diseadores grficos.
NOTACIN CLSICA:
MODO:
FIGURA:
5.
Ningn
128
NOTACIN CLSICA:
compositor
percibe
regalas
MODO:
FIGURA:
6.
Algunos conceptos son ambiguos pero
ninguna definicin lo es. Luego, algn
concepto es una definicin.
NOTACIN CLSICA:
MODO:
FIGURA:
7.
Algunos grupos de msica no son
populares. Ningn sello discogrfico es
un grupo de msica. Por tanto, algunos
sellos discogrficos no son populares.
NOTACIN CLSICA:
MODO:
FIGURA:
8.
Ninguna bendicin es gratuita. En
consecuencia,
algunos
consuelos
mezquinos no son gratuitos. Porque la
mayora de las bendiciones son un
consuelo mezquino.
NOTACIN CLSICA:
MODO:
FIGURA:
9.
Todos los fariseos son sabios. Pero
ningn sabio es un hombre feliz. Por
tanto, algunos hombres felices no son
fariseos.
NOTACIN CLSICA:
MODO:
FIGURA:
10.
Ningn poltico es deshonesto. Todos los
demagogos son polticos. Por lo tanto,
ningn demagogo es deshonesto.
NOTACIN CLSICA:
MODO:
FIGURA:
11.
Ninguna
129
Anexos
NOTACIN CLSICA:
meloda
es
una
armona.
MODO:
FIGURA:
12.
Todos los indicadores econmicos son
argumentos. Algunos argumentos son
engaosos. Por lo tanto, algunos
indicadores econmicos son engaosos.
NOTACIN CLSICA:
MODO:
FIGURA:
13.
Todas las composiciones musicales son
obras de arte. Todas las obras de arte
tienen un componente de creatividad.
En consecuencia, algunas cosas que
tienen un componente de creatividad
son composiciones musicales.
NOTACIN CLSICA:
MODO:
FIGURA:
14.
Todo el que ahorra en minucias es un
avaro. Ningn avaro es un hombre
generoso.
Luego,
ningn
hombre
generoso ahorra en minucias.
NOTACIN CLSICA:
MODO:
FIGURA:
15.
Todo reportaje autorizado es fiable.
Algunos reportajes falsos no estn
autorizados. Luego, algunos reportajes
falsos no son fiables.
NOTACIN CLSICA:
MODO:
FIGURA:
16.
Todos los instrumentos musicales han
evolucionado con el tiempo. Ningn
instrumento musical es perfecto. Luego,
algunas
cosas
perfectas
no
han
evolucionado con el tiempo.
NOTACIN CLSICA:
130
MODO:
FIGURA:
131
Anexos
17.
Algunas ciencias derivan su validez de la
experiencia; luego, algunas ciencias son
conocimientos a priori puesto que todo
conocimiento a priori deriva su validez
de la experiencia.
NOTACIN CLSICA:
MODO:
FIGURA:
18.
Ningn lgico es poeta, ya que todos los
lgicos definen con precisin sus
trminos y ningn poeta define con
precisin sus trminos.
NOTACIN CLSICA:
MODO:
FIGURA:
19.
Nada que se haga por la fuerza es un
acto vergonzoso. Pero todo acto
involuntario se hace por la fuerza. De
ah que ningn acto involuntario sea un
acto vergonzoso.
NOTACIN CLSICA:
MODO:
FIGURA:
20.
Todos los argumentos correctos son
vlidos, adems ninguna falacia es un
argumento vlido; de ah que ninguna
falacia sea un argumento correcto.
NOTACIN CLSICA:
MODO:
FIGURA:
21.
Todos los testigos del crimen son
personas confiables. Algunas mujeres
fueron
testigos
del
crimen.
En
consecuencia, algunas mujeres son
personas confiables.
NOTACIN CLSICA:
132
MODO:
FIGURA:
22.
Ninguna ley lgica es contradictoria.
Toda proposicin "p o no p" es ley lgica.
Por lo tanto, ninguna proposicin "p o no
p" es contradictoria.
NOTACIN CLSICA:
MODO:
FIGURA:
23.
Ninguna idea es condenable. Todas las
opiniones son ideas. Por lo tanto,
ninguna opinin es condenable.
NOTACIN CLSICA:
MODO:
FIGURA:
24.
Algunos
enunciados
cientficos
se
fundan en principios ms ciertos que sus
conclusiones; luego algo que se
establece por demostracin se funda en
principios
ms
ciertos
que
sus
conclusiones,
puesto
que
todo
enunciado cientfico se establece por
demostracin.
NOTACIN CLSICA:
MODO:
FIGURA:
25.
Todo pensamiento requiere lenguaje,
pero ninguna percepcin sensible lo
requiere. Luego, algn pensamiento no
requiere de percepcin sensible.
NOTACIN CLSICA:
MODO:
FIGURA:
26.
Algunas ciencias derivan su validez de la
experiencia; luego, algunas ciencias no
son conocimientos a priori puesto que
ningn conocimiento a priori deriva su
validez de la experiencia.
NOTACIN CLSICA:
133
Anexos
MODO:
FIGURA:
ANEXOS
134
ANEXO 1
Cuadro de la oposicin
Es una disposicin espacial que muestra las relaciones que guardan entre s las
proposiciones categricas tpicas (A, E, I y O) que tienen los mismos trminos
(categoras). Estas relaciones se denominan contradictorias, contrarias,
subcontrarias, subalternas y subalternantes.
(SaP) A
(SiP) I
CONTRARIAS
SUBCONTRARIAS
E (SeP)
O (SoP)
Si bien cada una de estas relaciones constituye una inferencia clsica inmediata
por oposicin, no todas ellas expresan inferencias vlidas
CONTRADICTORIAS. Dos proposiciones son contradictorias si difieren en
cantidad y cualidad. Las proposiciones contradictorias no pueden ser ambas
verdaderas ni ambas falsas. Luego, las inferencias vlidas son:
Si
Si
Si
Si
Si
Si
Si
Si
135
Anexos
Proposicin inferida:
Proposicin inferida:
Es falso que ningn cineasta
sea egocntrico.
Es falso que todo lo que
carezca de sentido sea
verdadero.
136
Proposicin inferida:
Proposicin inferida:
Algunos libros sagrados
contienen verdades.
137
Anexos
Proposicin inferida:
Es falso que todo lo difcil de
comprender pueda ser
interesante.
Es falso que ninguno de los
directores de teatro sean
escritores.
Ejercicios
1. Indica qu tipo de proposicin categrica son las siguientes. Escribe su
notacin clsica.
TIPO DE
PROPOSICIN
1.1
1.2
1.3
1.4
1.5
1.6
1.7
1.8
1.9
NOTACIN
138
subcontrarioas
subalternatesSubalternas
subalternatesSubalternas
Contrarias
subcontrarioas
subalternatesSubalternas
subalternatesSubalternas
Contrarias
subcontrarioas
subalternatesSubalternas
subalternatesSubalternas
Contrarias
subcontrarioas
subalternatesSubalternas
subalternatesSubalternas
Contrarias
subcontrarioas
Contrarias
139
Anexos
subalternatesSubalternas
3.2
subalternatesSubalternas
subalternatesSubalternas
subalternatesSubalternas
subcontrarioas
3.3
Algunas
ciencias
experimentales. = FALSA
son
subcontrarioas
subalternatesSubalternas
subalternatesSubalternas
Contrarias
3.4
subcontrarioas
subalternatesSubalternas
subalternatesSubalternas
Contrarias
subcontrarioas
140
subalternatesSubalternas
Contrarias
subalternatesSubalternas
Contrarias
4.2
subalternatesSubalternas
subcontrarioas
4.3
Algunas
verdades
relativas. = VERDADERA
son
subcontrarioas
subalternatesSubalternas
SubalternatesSubalternas
Contrarias
4.4
141
Anexos
subcontrarioas
subalternatesSubalternas
subalternatesSubalternas
Contrarias
ANEXO 2
EL DESARROLLO DE LA LGICA: ALGUNOS HITOS
IMPORTANTES
Eliana Mory Arciniega
El propsito de esta exposicin es hacer una revisin panormica y general de
algunos momentos importantes en el desarrollo de la lgica formal occidental.
Hemos optado por una presentacin de tal naturaleza debido al largo proceso de
desarrollo y cambios en la historia de esta ciencia. Podramos haber optado por
detenernos en algn perodo de especial inters, pero hemos preferido hacer una
revisin general y, por tanto, somera a toda la panormica comenzado desde
Aristteles y llegando hasta el siglo XX porque eso nos permitir comprender el
sentido actual del trabajo de esta ciencia y el origen de su naturaleza simblica,
tan cuestionada como mtodo.
Alta edad media (siglo VII siglo XI d.C.). Segn Bochenski, este
perodo se caracteriza por la ausencia de creacin y de investigaciones
lgicas; por este motivo, no nos detendremos en l durante la
exposicin.
poca moderna de la lgica clsica ((siglo XVI siglo XIX d.C.). Esta
etapa tambin se distingue por la ausencia de creacin en lgica
formal; los trabajos realizados durante este perodo estaban orientados
en una direccin muy distinta de lo que entendemos hoy por lgica
formal.
Anexos
144
Sofistas antiguos
Euclides de Megara
Aristteles
Contrariamente a lo que pudiera pensarse, Aristteles no us el trmino
"lgica" para hacer referencia al instrumento que cre en sus obras de
lgica, conocidas como Organon instrumento, ms bien haca uso del
adjetivo "analtico" para aludir a la idea de lo que se sigue de las premisas,
y esto es lo que ms se acerca, como trmino, a lo que entendemos hoy
por "lgico".
El gran discpulo de Platn escribi los primeros textos de lgica,
sistemticamente concebida, que la tradicin occidental ha conocido. El
conjunto de estos textos fue editado por Andrnico de Rodas en el siglo I
a.C. y no fue Aristteles quien los sistematiz ni los denomin, como ha
ocurrido con la mayora de sus obras. El Organon est compuesto de los
siguientes escritos:
Las categoras. Entre los temas que se abordan, cabe destacar la
teora sobre los trminos, la teora de la predicacin y la teora de la
oposicin. Esta ltima plantea las relaciones entre las cuatro
proposiciones categricas tpicas de manera tal que Aristteles
formula ya aqu algunas reglas de inferencia y de equivalencia entre
proposiciones.
Anexos
Anexos
Anexos
Leibniz (1646-1716)
El aporte ms valioso de Leibniz es el haber concebido la idea de crear un
simbolismo de uso exclusivo para el anlisis lgico. Esta idea surgi en l a
partir de la influencia de Raimundo Lulio y, quizs, tambin de Hobbes,
quien pens que obtener conclusiones es hacer operaciones matemticas;
tambin surgi en l porque conoci muy de cerca los avances en las
matemticas a partir del simbolismo matemtico, recordemos que l fue
uno de los creadores del clculo infinitesimal.
Su idea era crear un mtodo combinatorio puro para enfrentar los
problemas de la deduccin rigurosa y exacta. Pens en crear un alfabeto
150
Boole (1815-1864)
A diferencia de Leibniz, Boole s lleg a crear un simbolismo til, prctico y
eficiente, es decir, lleg a concretar el proyecto de su predecesor. l
entendi que la lgica es una construccin puramente formal, que no es
una abstraccin de procesos fcticos, sino que ms bien la interpretacin
es posterior a la creacin del clculo. Esta idea es central en la lgica
matemtica, como ya hemos mencionado.
Boole cre un clculo puramente algebraico en el que las operaciones se
interpretan como ecuaciones y con una manejo de clases para las
proposiciones categricas de la lgica aristotlica; esto significa que
tradujo a una teora de ecuaciones la lgica tradicional (la lgica de
trminos).
Sin embargo, el principal obstculo en el simbolismo booleano se halla en
que su lgebra estaba muy ligada al clculo aritmtico, aunque las
operaciones de ambos no sean isomorfas. As, muchas de las operaciones
aritmticas, como la suma o el producto, eran trabajadas en el lgebra
booleana tal como en las matemticas y esto no resultaba siempre lo ms
adecuado cuando se trata de suma de clases o producto de clases. Por
ejemplo, en la aritmtica, el producto Ax0 es igual a 0, y el producto de
AxA es ifgual a A2, mientras que en el lgebra de clases el producto AxA es
igual a A. As como en el caso del producto, ocurren diferencias anlogas
con las restantes operaciones aritmticas.
Otros pensadores importantes en el perodo de Boole
Jevons (1835-1882)
Este lgico ingls estableci un quiebre importante con respecto a Boole:
se propuso desmatematizar la lgica, es decir, resolver las deficiencias
que el clculo booleano tena. Lo consigui proponiendo nuevas
operaciones para el lgebra de clases. Por otro lado, tambin son
151
Anexos
Frege (1848-1925)
Con l comienza una nueva etapa en la lgica matemtica, aquella en la
que empiezan a prevalecer los intentos por fundamentar la matemtica.
Frege sostuvo que todos los conceptos matemticos se pueden obtener
por definicin a partir de conceptos lgicos y, por tanto, las operaciones
matemticas se pueden reducir a operaciones lgicas. As, de aqu en
adelante, la labor primordial de la lgica sera encontrar los fundamentos
ltimos de las matemticas.
Del mismo modo en que Aristteles pensaba que las premisas de una
demostracin deban ser verdaderas, Frege crea que los axiomas que
estn en la base de un sistema axiomtico deban ser indemostrables y
apodcticos, slo eso garantizara la solidez del sistema. Esto implica una
toma de posicin respecto de cul debe ser la funcin de los axiomas y de
cmo deben ser elegidos y formulados. As, los axiomas en un sistema no
seran slo los puntos de partida necesarios como requisito prctico u
152
operativo para efectuar las demostraciones para las cuales ha sido creado
el sistema, sino las verdades evidentes por s mismas que hacen que el
edificio axiomtico se base en consideraciones no puramente sintcticas.
Segn Agazzi, los principales aportes de Frege a la lgica se pueden
resumir del modo siguiente: Frege fue el primero en formular la diferencia
entre una variable y una constante lgicas, en establecer con total
precisin el concepto de funcin lgica, en establecer de manera rigurosa
y formal la diferencia entre ley lgica y regla de inferencia. Por otro lado,
encontramos en la obra de este pensador un agudo desarrollo de la lgica
de proposiciones, pues formul nuevas leyes y reformul otras ya
conocidas.
Sin dejar de dar importancia a los dems aportes, uno de los principales
fue el crear la lgica de predicados como sistema riguroso y formal. Frege
estableci la diferencia entre inclusin de una clase en otra y la
pertenencia de un individuo a una clase; esto implica establecer la
diferencia entre el operador inclusin de clases y la predicacin de que un
individuo pertenece a una clase.
A pesar del indudable valor del trabajo lgico de Frege, su obra no fue
conocida sino hasta veinte aos ms tarde y sus aportes tuvieron que ser
redescubiertos al punto de que no se consider que l fuera el autor de los
mismos. Se dice que su trabajo era muy filosfico para los matemticos y
muy matemtico para los lgicos.
Otros pensadores clave en este perodo
Peano
Fue l quien redescubri lo que Frege ya haba conseguido, pero de
manera independiente. Sus obras claves son Arithmetics Principia (1889) y
Formulario matemtico (1897). Peano pensaba que la lgica es un
instrumento indispensable para una sistematizacin rigurosa de la
matemtica. El simbolismo proposicional creado por Peano ha sido de tal
importancia que la lgica contempornea es deudora de su clculo
proposicional, debido a lo preciso, til y prctico de su sistema. Su aporte
ms importante es haber elaborado una axiomatizacin de la aritmtica.
Esto implica ya una construccin en la que se ha llegado a formular los
fundamentos de la rama ms bsica de la matemtica para ese tiempo.
Russell
Del mismo modo que Frege, Russell consideraba que la matemtica es un
rama de la lgica y, por tanto, la fundamentacin de la matemtica deba
construirse desde y en la lgica. Junto a Alfred Whitehead, escribi el texto
fundamental con el que culmina este perodo: Principia Methamatica
(1910-1913). En l, se halla la sntesis de los trabajos de Frege y Peano: la
deduccin de la aritmtica desde la lgica. La obra, escrita en tres
volmenes, contiene en una primera parte los fundamentos de la lgica
153
Anexos
Perodo contemporneo6
Ya entrado el siglo XX, la lgica se enfrent a nuevos problemas, una vez
que haba logrado un desarrollo tcnico adecuado y suficiente para sus
propsitos. Estos problemas estaban vinculados a su nueva orientacin, a
la bsqueda de los fundamentos de la matemtica en la lgica.
Como ya se seal, los fundamentos de la matemtica se haban
orientado a fundamentar la base de la misma, la aritmtica. Pero cuando
Georg Cantor crea la Teora de Conjuntos, se establece que el concepto de
nmero no es un concepto primitivo y que se puede reducir al concepto de
clase. De esta manera, estableciendo la correspondencia biunvoca entre
los elementos de dos conjuntos dados, se puede determinar si su
cardinalidad es igual y, por tanto, si tienen el mismo nmero de elementos
sin necesidad de contar, es decir, sin necesidad del concepto de nmero.
Con este descubrimiento, se lleg a la conclusin de que la base de las
matemticas est en la teora de conjuntos emparentada con la de clases
o de trminos y no en la aritmtica. Desde ese momento, los trabajos
lgicos se orientaron a la construccin de los fundamentos de la
matemtica partiendo de la teora de conjuntos.
Sin embargo, la nueva tarea se complic con el descubrimiento de Russell:
la paradoja de la teora de conjuntos. Esta paradoja parta de la idea de
conjuntos normales. Un conjunto normal es aquel que no se contiene a s
mismo, es decir, aquel que no se tiene a s mismo como elemento. Dado
6 Cfr. Agazzi 1986: 114-147.
154
Anexos
Recapitulacin
Cmo podramos sintetizar y caracterizar el largo proceso de desarrollo
de la Lgica formal? La Lgica desde sus inicios puede caracterizarse
como formal, pues ya desde Aristteles est presente la consideracin de
reglas de validez universal y el uso de variables para efectuar las
demostraciones; esto ltimo implica necesariamente la idea de que la
deduccin es un proceso que depende de la estructura lgica formal de los
enunciados y no de su contenido y, al mismo tiempo, implica la
concepcin de elementos constantes que hoy conocemos como
operadores o functores.
Los desarrollos en la Lgica medieval y en los comienzos de la modernidad
fueron bsicamente tcnicos, cuando los hubo. En algunas ocasiones
aparecieron nuevas propuestas y nuevos aportes significativos, como
nuevas reglas de inferencia, distinciones clave como la distincin entre ley
y regla o entre lenguaje y metalenguaje. Pero es con Leibniz que aparece
un giro sustancial en el desarrollo de la Lgica: aparece la idea de crear un
simbolismo. Lo que vino despus de l fue el progreso tcnico de este
simbolismo y luego un nuevo giro: el uso del simbolismo y de los mtodos
que este implica para intentar fundamentar la ciencia en la que se bas la
idea del simbolismo lgico: la Matemtica. Con esta nueva perspectiva
aparecen nuevos problemas tcnicos y conceptuales y el desarrollo de la
Lgica sigue hasta hoy en esta lnea.
As, pues, si bien el simbolismo es no solo un elemento esencial en el
desarrollo de la Lgica, sino tambin el rasgo que la distingue por su
mtodo y por su forma, es bsicamente el instrumento que ha permitido
nuevos cambios y progresos en el anlisis formal de la deduccin. Una vez
que se admite que la deduccin es un proceso formal, el simbolismo o el
clculo lgico se convierte en una pieza clave y necesaria para todo
trabajo en Lgica. Sin embargo, no debe perderse de vista el hecho de que
el simbolismo, el uso de los lenguajes artificiales, sigue siendo el
instrumento de la Lgica, no su contenido ni su propsito. La discusin
sobre los alcances y limitaciones del simbolismo para el anlisis de la
deduccin es ms un tema de Filosofa de la Lgica que de historia y podr
darnos pie para una futura discusin.
156
Anexo 3
Solucionario de los ejercicios de aplicacin
RECONOCIMIENTO DE ARGUMENTOS
7.
Los economistas clsicos sostuvieron que la sobreproduccin general era imposible, porque
nadie produca sino para el consumo y, por lo tanto, la demanda era necesariamente igual a la
oferta. Adems, la produccin llegaba a su mximo punto durante la fase activa del ciclo
econmico y caa durante la fase de depresin en el preciso momento en que los sntomas de
sobreproduccin aparecan. Si la sobreproduccin excede la demanda, los negociantes,
sobrecargados con bienes no vendidos, se muestran poco dispuestos a producir ms. De esto
podemos deducir vlidamente que la produccin restringida significa empleo restringido.
11.
La palabra electricidad proviene del griego electrn, nombre del mbar amarillo,
sustancia que posee la propiedad de atraer a los cuerpos ligeros cuando ha sido
frotado con una piel de gato o un pao de lana. Esta propiedad la descubri Tales
de Mileto, 700 aos antes de Cristo. Se ha descubierto que dicha propiedad existe
tambin en otras sustancias, por ejemplo la ebonita y el vidrio, que se electrizan
por frotamiento. Ms aun, todos los cuerpos pueden electrizarse por frotamiento,
pero en tanto que el vidrio, la resina, la ebonita, etc. no se electrizan ms que en
los puntos frotados, el cobre, el hierro y, en general, los metales se electrizan en
toda su superficie.
No es un
argument
o.
12.
El aborto es un acto violento que atenta contra la vida, porque no solo afecta al ser que viene
en camino, tambin puede peligrar la vida de la madre, o crearle secuelas permanentes como
la esterilidad.
13.
El capital, como la energa, es un valor en estado latente. Para traerlo a la vida
debemos dejar de mirar a nuestros activos como lo que son, y empezar a pensar
en ellos como lo que podran ser. Para ello se requiere un proceso de fijacin del
potencial econmico del activo en una forma en la que puede ser empleado para
iniciar una produccin adicional.
No es un
argument
o.
14.
Menn: Pero cmo vas a buscar, Scrates, una cosa de la que de ninguna manera sabes lo
que es? [] Y, suponiendo que casualmente des con el aspecto acertado, en qu lo vas a
reconocer, dado que no lo conoces?
Scrates: Comprendo lo que quieres decir, Menn. Qu tema tan estupendo de disputa
sofstica nos aportas con ello! Es sta la teora segn la cual no es posible buscar ni lo que se
conoce ni lo que se desconoce: lo que se conoce, porque al conocerlo ya, no se tiene necesidad
de buscarlo; lo que se desconoce, porque uno ni tan siquiera sabe lo que ha de buscar.
Platn. Menn
18.
Todos los aos hay un campen y solo puede haber un campen cada ao. El equipo de
Nacional solo resulta campen en los aos impares, pues siempre que es un ao par, el
campen es Pearol. Fuera de Pearol y Nacional, el nico equipo que puede resultar campen
es Defensor. Por ello, si el campen este ao es Defensor, entonces estamos en un ao impar.
19.
Es necesario oponerse radicalmente a la pena de muerte. No existen evidencias de su valor
disuasivo; pero incluso si esto no fuera as, siempre hay formas mejores y ms eficaces para
enfrentar los crmenes ms violentos.
157
Anexos
20.
Se tiende a pensar que el dinero no nos puede dar la felicidad, lo cual es cierto y es falso .
Cierto, en la medida en que la felicidad absoluta no existe y nada, en consecuencia, ni el
dinero, podr proporcionrnosla. Falso, pues el dinero nos soluciona todos esos innumerables
problemas y contratiempos cotidianos materiales que embargan a la humanidad lo cual ya es
bastante , nos permite realizar ciertos sueos, satisfacer ciertos caprichos y reducir realmente
al mnimo lo que es realmente irrealizable.
Julio Ramn Ribeyro, Prosas aptridas aumentadas
158
22.
Nuestro rostro es la superposicin de los rostros de nuestros antepasados. En el curso de
nuestra vida, los rasgos de unos se van haciendo ms visibles que los otros. As, de bebs, nos
parecemos al abuelo; de nios, a la madre; de adolescentes, al to; de jvenes, al padre; de
maduros, al Papa Bonifacio V; de viejos, a un huaco Chim, y de ancianos, a cualquier
antropoide. De esta manera, nunca nos parecemos a nosotros mismos.
Julio Ramn Ribeyro, Prosas aptridas aumentadas
24.
Los antiguos egipcios conocieron la geometra, puesto que las pirmides fueron construidas en
tiempo de los faraones. Adems, Egipto fue la cuna de las ciencias abstractas, ya que los
cientficos egipcios conocieron las matemticas. Sin embargo, no es cierto que Egipto haya
sido la cuna de las ciencias abstractas o que los antiguos egipcios no hayan conocido la
geometra. As, pues, podemos afirmar que los cientficos egipcios no conocieron las
matemticas aunque las pirmides hayan sido construidas en tiempo de los faraones.
25.
Cuando, empleando todos los procedimientos que pone a nuestra disposicin la qumica, no se
ha logrado extraer de un cuerpo puro otros nuevos, se dice que aqul es un cuerpo simple; en
caso contrario, se dice que es un cuerpo compuesto. El agua es un cuerpo compuesto, ya que
el anlisis permite descomponerlo en otros dos cuerpos, oxgeno e hidrgeno.
26.
Actualmente, sin lugar a dudas, China es el mayor xito econmico de las ltimas dcadas y
sus habitantes son hoy significativamente ms ricos, ya que su PBI per capita se ha
multiplicado seis veces en los ltimos 25 aos. Por otra parte, si su desarrollo econmico lo
comparamos con el nuestro los avances se ven muy lentos porque pese al crecimiento de los
ltimos aos en trminos reales, no estamos muy lejos de donde estbamos en 1981. Por lo
tanto, tiene mucho sentido no solo comerciar y asociarnos econmicamente con China sino,
ms importante an, copiar su xito.
27.
El servicio de estudios del espaol BBVA proyecta que la economa nacional crecer 7% este
ao, por encima del 5.4% que prev para Sudamrica. De esta manera, de seis pases
analizados en la regin, Per tendra el segundo mayor crecimiento en el 2008, ubicndose
despus de Argentina (7.5%) y seguido por Venezuela (5.7%), Colombia (5%), Brasil y Chile
(4.6%).
El banco explic, en su informe semestral sobre economa latinoamericana Latinwatch, que el
crecimiento de Sudamrica se dar pese al actual contexto internacional de turbulencias
financieras pues la regin vive en la actualidad un perodo de expansin econmica. El
principal motor de crecimiento de Sudamrica se debe a la demanda interna, favorecida por el
aumento del consumo privado y el dinamismo de la inversin.
159
Anexos
DISTINCIN
INDUCTIVOS
ENTRE
ARGUMENTOS
DEDUCTIVOS
1.
Las acciones difamatorias pueden sobrevivir a la muerte de las personas
difamadas, acept la Suprema Corte de Justicia de Nueva Jersey al permitir que
una viuda continuara un pleito en lugar de su esposo. Las razones de la Corte
eran que si una demanda por pierna rota puede sobrevivir a la muerte de la
persona, tambin debe sobrevivir una demanda por reputacin daada.
Inductivo
2.
Las baladas romnticas son siempre melosas y fastas de creatividad. Muchas
canciones melosas, pero faltas de creatividad, son xitos de venta. Ello
demuestra que es posible tener un xito en ventas pero carente de creatividad.
3.
En 1927, cuando el doctor Manfred Sakel atenda a un grupo de drogadictos en el
sanatorio de Berln, se le ocurri ensayar en ellos la insulina. Esta hormona
estimula la utilizacin del azcar en el organismo, y crey, sobre fundamentos
tericos, que su efecto reducira la paradoja por la cual un esclavo del hbito de
la droga necesita dosis cada vez mayores de algo que esencialmente es un
veneno. Abrig la esperanza de que, mediante la insulina, podra liberar a la
vctima de su dependencia de la morfina.
(...)
Algunos de los hombres
reaccionaron a la insulina con convulsiones, pero la mayora de ellos comenz a
traspirar y cay en un sueo letal. Cuando salieron de tal estado o fueron
despertados despus de algunas horas de coma, su conducta sorprendi al
mdico. Observ que haban disminuido los temores y las angustias morbosas
que habitualmente oprimen a los adictos. Desaparecieron las extraas ideas de
persecucin, los sobresaltos nerviosos
y otros sntomas psicticos.
Este
resultado inesperado hizo pensar al doctor Sakel. Si la insulina mejoraba el clima
mental de los hombres enloquecidos por la droga, qu no hara por los
francamente locos?
Deductiv
o
Inductivo
160
4.
En la isla de caballeros y escuderos, como se sabe, los caballeros siempre dicen
la verdad, mientras que los escuderos siempre mienten. As, si un individuo dice
soy un caballero, entonces puede ser tanto un caballero como un escudero. Si
es un caballero, estara diciendo lo que es, la verdad; si fuera un escudero,
estara mintiendo al decir lo que no es. En consecuencia, si un individuo dice tal
cosa, no sabremos si miente o si dice la verdad.
Deductiv
o
5.
En lo poltico, lo social, lo econmico y lo jurdico, la democracia siempre ha
fracasado rotundamente. Que se sepa hasta hoy no existe pueblo alguno que se
haya bien gobernado con semejante forma de gobierno. En la mayora de los
pueblos democrticos, se propicia la igualdad y lo popular y as la democracia
termina por no poder legislarse a s misma, llegando eso s a la demagogia, a la
anarqua y al desorden.
Inductivo
6.
Si la ciudadana romana hubiera tenido garantas de las libertades civiles, los
ciudadanos romanos habran gozado de libertad religiosa. Si los ciudadanos
romanos hubieran gozado de libertad religiosa, entonces no se habra perseguido
a los primeros cristianos. Pero los primeros cristianos fueron perseguidos. Por
consiguiente, la ciudadana romana no puede haber tenido garantizados los
derechos civiles.
Deductiv
o
7.
Si usted toma dos barras magnticas y ubica sus polos positivos y luego los junta,
los polos se separarn. Si usted hubiera ubicado los polos negativos y los
hubiera juntado, tambin se habran separado. Si un nio realizara las mismas
operaciones, ocurrira lo mismo. En cambio, si el nio hubiera ubicado un polo
positivo y uno negativo y los hubiera juntado, estos se habran quedado
pegados. Si usted hubiera realizado esta misma operacin, tambin los dos
polos de sus barras magnticas se habran quedado pegados.
Lo que
demuestra que los polos opuestos se atraen y los polos iguales se repelen.
161
Anexos
Inductivo
162
8.
Scrates fue un gran filsofo. Por tanto, Scrates estuvo felizmente casado o no
estuvo felizmente casado.
Deductiv
o
9.
Durante la Edad Media, cuando cada pas, cada regin y hasta cada pequeo
distrito tenan sus propias unidades de pesas y medidas, se presentaban muchos
problemas. En un lugar, una libra poda ser de unas trece onzas; en otro, de
veinticuatro. En un pas, un pie poda medir el doble que en otro. En tierra, una
milla poda ser ms corta que en el mar, como sigue ocurriendo an en los pases
que la usan. Y para mencionar slo una de tantas razones de confusin, ciertas
cosas se pesaban en determinado tipo de balanza, y otras, en otro. As, el oro y
ciertas materias costosas las pesaban en una balanza, y la carne y otras ms
baratas en otra. Por eso, continan pesndose en distintas balanzas, y la
consecuencia es que para un anglosajn una onza de oro no pesa lo mismo que
una onza de sal o de azcar.
Inductivo
10.
Si estudias Humanidades, desarrollars una comprensin de las dems personas.
Si estudias Ciencias, desarrollars un entendimiento del mundo que te rodea. En
consecuencia, si estudias Humanidades y Ciencias, comprenders a las dems
personas y el mundo que te rodea.
Deductiv
o
FALACIAS NO FORMALES
1.1
Pero, puede usted dudar de que el aire tenga peso, cuando
tiene el claro testimonio de Aristteles, quien afirma que todos
los elementos tienen peso, inclusive el aire, y con la sola
excepcin del fuego?
Apelacin a la
autoridad
Galileo Galilei
Dilogos concernientes a dos nuevas ciencias
1.2
Ningn matemtico ha logrado nunca demostrar la verdad del famoso
ltimo teorema de Fermat; por lo tanto, debe de ser falso.
Apelacin a la
ignorancia
1.3
En su labor, un abogado tiene siempre la libertad de consultar libros
de derecho. Y un mdico a menudo investiga casos en sus textos
mdicos. Todo el mundo debe gozar de similar libertad de consulta.
Por consiguiente, debe permitirse a los estudiantes que usen sus
libros de texto durante los exmenes.
Accidente inverso
1.4
Pero ahora interesa muy poco lo que diga o haga el rey de Inglaterra;
ha roto perversamente toda obligacin moral y humana, ha pisoteado Argumento contra la
la naturaleza y la conciencia, y por su permanente e innato espritu
persona
de insolencia y crueldad se ha granjeado el odio universal.
Thomas Paine, El sentido comn
1.5
Mentir es una falta grave porque es no decir la verdad y no decir la
verdad es una grave falta.
1.6
No tenemos la menor prueba de que tratarn de negociar de buena
fe. De modo que solo podemos creer que tratarn de engaarnos.
Crculo vicioso
Apelacin a la
ignorancia
1.7
Esta ley es perjudicial para el trabajo, seor senador, y debe ser
rechazada. Los sindicatos no la olvidarn y hay doscientos cincuenta
mil miembros de sindicatos en su distrito electoral.
Apelacin a la
fuerza
1.8
El uso de mtodos anticoceptivos en la campaa del control de la
natalidad no debe propalarse ya que va contra los principios catlicos.
Apelacin a la
autoridad
1.9
El grupo de msica Locoma fue bastante novedoso en su momento; Argumento contra la
persona
pero como tenan una imagen andrgina, su msica era mala.
1.10
Profesor: solicito revise la pregunta 2 de mi examen. Creo que me
merezco ms puntaje pues estoy llevando el curso por tercera vez y
podra salir de la universidad si no me sube dos puntos.
1.11
Profesor: solicito revise la pregunta 2 de mi examen.
puntaje porque es el tema que ms estudi.
Merezco ms
Apelacin a la
misericordia
Conclusin
inatinente
1.12
Argumento contra la
Las afirmaciones expresadas en el libro que estamos leyendo no son
persona
confiables, pues el autor, en su vida personal y profesional, demostr
163
Anexos
Crculo vicioso
1.14
El examen ser muy sencillo y muy rpido de resolver. Por lo tanto, el
examen no ser complicado y en poco tiempo podr ser resuelto.
Crculo vicioso
1.15
Las ballenas azules estn en peligro de extincin. Por tanto, si nos
encontrsemos frente a una ballena azul, lo ms seguro es que la
veamos desaparecer.
Divisin
1.16
Luego de un robo y de realizar el anlisis de los hechos, se pudo
determinar que el vigilante abandon su puesto de trabajo unos
minutos antes del robo, pues tuvo que atender una emergencia
familiar por telfono. En consecuencia, puede establecerse que la
razn del robo es el abandono de su puesto de trabajo por parte del
vigilante.
Causa falsa
1.17
Las conclusiones a las que lleg la Comisin de la Verdad y
Reconciliacin (CVR) no tienen sustento, pues varios de sus miembros Argumento contra la
tenan antecedentes de comunismo en sus trayectorias polticas y
persona
difcilmente se puede tener confianza en personas que defienden
ideas parecidas a las de los grupos terroristas.
1.18
El banco que siempre ocupamos en el parque no estaba disponible
hoy. Pero todo banco, como entidad financiera, siempre debera estar
disponible para sus clientes. De modo que el banco que siempre
ocupamos en el parque debi haber estado disponible.
164
Equvoco
SEMNTICA DE LP
1.
1
q)
(r
q ) ..
V
V
V
V
F
F
F
F
V
V
F
F
V
V
V
V
V
V
F
F
V
V
F
F
V
V
V
F
V
V
V
V
F
F
V
F
F
F
V
F
V
F
V
F
V
F
V
F
V
V
F
V
V
V
F
V
V
V
F
F
V
V
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
(p
q)
(r
p)
q)
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
V
V
F
F
V
V
F
F
V
V
V
V
F
F
V
V
F
F
.
.
V
V
V
V
V
V
V
V
V
F
V
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
V
V
V
V
V
V
V
V
F
V
V
F
V
F
V
F
V
F
V
V
F
V
F
V
F
V
F
V
F
V
V
V
F
V
V
F
F
V
V
F
F
V
V
V
V
F
F
V
V
F
F
(q
r ) ..
(q
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
V
F
F
F
F
V
V
V
V
F
F
F
V
F
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
F
V
V
V
V
F
F
F
r
)
V
F
V
F
V
F
V
F
(p
V
V
V
V
F
F
F
F
V
V
F
F
V
V
F
F
V
F
V
F
V
F
V
F
V
V
V
V
F
F
F
F
F
F
F
V
V
V
V
V
1.
2
V
V
V
V
F
F
F
F
1.
3
165
Anexos
V
V
F
F
V
V
F
F
F
F
F
F
F
F
F
F
V
V
F
F
V
V
F
F
F
V
V
V
F
V
V
V
F
V
F
V
F
V
F
V
Tipo de
frmula
2.1
Tabla de
verdad
(~pr)(~rq)..pq
T
2.2
(qp) (rs..t)..q
T
2.3
(pq)(p~r)(~sr)..qs
T
2.4
( q p ) ( r p ) ( q s ) .. p s
T
2.5
(pr)q(qr)(rp)
2.6
p ( s q ) q ( r s )
T
2.7
( s p ) .. q ( t r .. p )
2.8
[ ( p q ) ( s r ) ] ( r s ) .. p
2.9
( p r ) ( q s ) .. ( p q ) ( r s )
T
2.1
0
(qp)t(rs..t)
(contingen
te)
[ ( t r) ( p s ) ] [ ( q s ) ( p t
)]
2.1
1
p q r s
t
V F F F
[ ( p q ) ( p v r .. s ) .. ( p q ) s ]
2.1
2
2.1
(contingen
[(rs) (q p) [(qs)v(r
p)]
te)
La fbf es VERDADERA solo en la lnea 10.
166
p q r s
F V V F
2.1
4
( p q ) [ ( ~ r s ) ~ p ] . . q p
T
2.1
5
(~pq)(~pr).. p(qr)
T
2.1
6
( p q ) p .. p q ( p q )
T
2.1
7
Q
(contingen
te)
2.1
8
Q
(contingen
(sp)(sr)(rq)(s
q)
p q r s
V F F F
F F F F
p q r s
V F F V
te)
La fbf es FALSA solo en la lnea 7.
2.1
9
( q r ) ( p s ) .. s ( p t )
(contingen
te)
2.2
0
Q
(contingen
[(pq)(rs)[(pr)
s
La fbf es VERDADERA solo en la lnea 3.
(p q) [ p r s ] (q s) .. t
T
167
r
(p t) (qs) (sp)(r
2.2
Anexos
F F F V
q)
F
p q r s
V V F
V
te)
2.2
p q r s
SIMBOLIZACIN
11. Todo lo que no se gasta en salarios, intereses o arrendamientos es beneficio, es
PROPOSICIONES
(pqr)s
FORMALESTRUCTURA
decir dividendos aunque, normalmente, solo una parte del beneficio total se
distribuye a los accionistas en forma de dividendos.
p, q o r, aunque s
12. Una vez que se han satisfecho las necesidades bsicas, el deseo de conocer
SIMBOLIZACIN:
p(qr)
FORMALESTRUCTURA
PROPOSICIONES
p: La inversin decrece
q: Disminuye automticamente el trabajo
r: Hay bienestar
SIMBOLIZACIN:
p(qr)
FORMALESTRUCTURA
ESPROPOSICION
Si p, q y no r.
SIMBOLIZACIN:
pq
FORMALESTRUCTURA
NESPROPOSICIO
p y, por tanto, q.
PROPOSICIONES
(pq)r
FORMALESTRUCTURA
15. Dado que las relaciones econmicas posibles son muchas y muy complejas, se
hacen supuestos simplificadores para ir estudiando a grandes rasgos lo que
sucede con las distintas variables econmicas implicadas cuando se producen
cambios en el entorno econmico estudiado.
Dado que p y q, r.
168
p(rq)
FORMALESTRUCTURA
PROPOSICIONES
Si p, q ya que r.
SIMBOLIZACIN:
(pq)(rs)
FORMALESTRUCTURA
PROPOSICIONES
17. O bien el dinero garantiza la tranquilidad y, por ende, mejora la calidad de vida, o
bien contribuye a la ansiedad y, en consecuencia, a empeorar las condiciones de
vida.
SIMBOLIZACIN:
(pq)r
FORMALESTRUCTURA
SPROPOSICIONE
18. Si no es cierto que Per est camino al primer mundo o est en vas de salir del
subdesarrollo, el Ministro de Economa miente cuando dice que no hay ningn
conflicto que detenga el avance de nuestro pas.
Si no es cierto que p
o q, r.
SIMBOLIZACIN:
ESTRUCTURA FORMAL
PROPOSICIONES
p porque q y r.
(qr)p
PROPOSICIONES
p: El conocimiento se globaliza
q: Lo que en la realidad est globalizndose es la
apropiacin privada del conocimiento, mediante el refuerzo
del sistema de marcas que los pases ms avanzados
pretenden extender incluso a rubros que hasta ahora eran
considerados patrimonio comn no apropiable
SIMBOLIZACIN:
(qr)p
169
Anexos
FORMALESTRUCTURA
No p, porque q y r.
SIMBOLIZACIN:
FORMALESTRUCTURA
SPROPOSICIONE
21. No es cierto que exista una pugna irreconciliable entre los partidos de derecha y
los de izquierda.
No es cierto que p.
SIMBOLIZACIN:
pq
FORMALESTRUCTURA
NESPROPOSICIO
No p, pero q.
SIMBOLIZACIN:
(rs)(pq)
FORMALESTRUCTURA
ESPROPOSICION
23. Ni Luis ni Claudia son deportistas universitarios, pues ambos estn concentrados
en pasar sus cursos.
Ni p ni q, pues r y s.
p: La pregunta es fcil
q: La respuesta es evidente
SIMBOLIZACIN:
(pq)
FORMALESTRUCTURA
NESPROPOSICIO
No es cierto que si p,
entonces q.
SIMBOLIZACIN:
(pq)r
FORMALESTRUCTURA
SPROPOSICIONE
25. Si no es cierto que en Lima nieve en invierno y que llueva a cntaros, entonces
nuestro clima es templado.
Si no es cierto que p y
que q, entonces r.
SIMBOLIZACIN:
(qp)
FORMALESTRUCTURA
SPROPOSICIONE
26. No es cierto que los extraterrestres existan porque haya algunos libros que hablan
de ellos.
No es cierto que p
porque q.
p: la verdad es absoluta
q: La verdad existe
r: Existe el conocimiento relativo
SIMBOLIZACIN:
170
r(pq)
FORMALESTRUCTURA
ESPROPOSICION
27. No es cierto que la verdad sea absoluta o que no exista puesto que existe el
conocimiento relativo.
No es cierto que p o
que no q, puesto
que r.
SIMBOLIZACIN:
(qq)p
FORMALESTRUCTURA
PROPOSICIONES
p, aunque q.
SIMBOLIZACIN:
p(qr)
FORMALESTRUCTURA
PROPOSICIONES
SIMBOLIZACIN:
171
Anexos
FORMALESTRUCTURA
PROPOSICIONES
( q r ) ( q r ) .. p
p aunque q o r.
VALIDEZ DE INFERENCIAS
I. Mediante mtodo abreviado, determina la validez formal de las siguientes inferencias.
[ ( p q) r ] ( p q ). . r
FORMALESTRUCTURA
PROPOSICIONES
27. Si el yogurt contiene vitaminas A y D, entonces ser parte de mi dieta. Se sabe que el
yogurt no contiene vitamina A ni D. De ah que, el yogurt no ser parte de mi dieta.
el yogurt contiene vitamina A = p
Si p y q, entonces r. Se sabe
el yogurt contiene vitamina D = q
que no p ni q. De ah que, no r.
el yogurt ser parte de mi dieta. = r
F F FV V V V FV V F F FV
Es vlida? NO
la inversin decrece = p
disminuye automticamente el trabajo = q
habr bienestar = r
( p q ) ( q r ) .. r q
FV F V F V V F FV F F F
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
NO
FORMALESTRUCTURA
PROPOSICIONES
29. Si el yogurt contiene vitaminas A y D, entonces ser parte de mi dieta. Pero, el yogurt
no ser parte de mi dieta. Luego, el yogurt no contiene vitamina A o no contiene
vitamina D.
Si p y q, entonces r. Pero, no r.
Luego, no p o no q.
[ ( p q) r ] r . . p q
V V V V V V V F F FV F FV
Es vlida?
PROPOSICIONES
ESTRUCTURA FORMAL
[ ( p q) r ] ( p q ). . r
F FV V V FV V FV V F F F
Es vlida?
172
PROPOSICIONES
FORMALESTRUCTURA
31. La virtud es algo enseable si y solo si no es algo distinto del conocimiento. Sin
embargo, ni existen maestros ni la virtud es enseable. Por tanto, es cierto que la
virtud es algo distinto del conocimiento.
La virtud es algo enseable = p
p si y solo si no q. Sin
la virtud es algo distinto del conocimiento. = q
embargo, ni r ni p. Por tanto,
existen maestros de la virtud = r
es cierto que q.
SIMBOLIZACIN: Y MTODO ABREVIADO
( p q) (r p ). . q
V V VF V VF V V F F F
Es vlida?
PROPOSICIONES
ESTRUCTURA FORMAL
[ ( q r ) p ] ( q s ) p . .r s
F F F V F V F V V V VF F F F V
Es vlida?
NO
PROPOSICIONES
FORMALESTRUCTURA
33. Si todo hecho tiene una causa, entonces todas mis acciones tienen una causa. Si
todas mis acciones tienen una causa, no soy libre de hacer lo que elijo. En ese caso,
no soy responsable de mis acciones. As, si todo hecho tiene una causa, no soy
responsable de mis acciones.
todo hecho tiene una causa = p
Si p, entonces q. Si q, no r.
todas mis acciones tienen una causa. = q
En ese caso, no s. As, si p,
soy libre de hacer lo que elijo. = r
no s.
soy responsable de mis acciones. = s
SIMBOLIZACIN: Y MTODO ABREVIADO
( p q) ( q r ) ( r s ) . . p s
V V V V V V VF V VF V V F F V F F V
Es vlida?
El PBI sube = p
la inflacin aumenta. = q
hay crisis = r
el gobierno est manteniendo
balance fiscal. = s
un
adecuado
ESTRUCTURA FORMAL
PROPOSICIONES
34. El PBI sube si y solo si la inflacin no aumenta. Pero, no es cierto que haya crisis o el
PBI suba, ya que el gobierno est manteniendo un adecuado balance fiscal. Sin
embargo, habr escasez si la inflacin aumenta. Por tanto, si hay crisis, habr
escasez.
p si y solo si no q. Pero, no es
cierto que r o p, ya que s. Sin
embargo, t si la q. Por tanto,
si r, t.
( p q) [ s ( r p) ] ( q t ) . . r t
V V VF V F V F V V V V F V F F V F F
Es vlida?
NO
173
Anexos
( p q ) ( p r )( p p ) . . q r
V V V V F V V FV V F F F F
Es vlida?
FORMALESTRUCTURA
PROPOSICIONES
Si p, q; y si no p, r. p o no p;
por lo tanto, q o r.
La delincuencia disminuye, = p
las leyes son buenas = q
el cumplimiento de las leyes es estricto = r
nuestro problema es de carcter prctico. = s
[ ( q r ) p ][ ( r p ) s ] . . q(s r )
FORMALESTRUCTURA
PROPOSICIONES
V F F V V V F FV V F FV F F F F
V FFV FV FFFV FFV FF FF
Es vlida?
NO
Q es un nmero racional = p
Q = x/y = q
x/y es una fraccin reducida =r
y es distinto de cero = s
x es un nmero entero = t
ESTRUCTURA FORMAL
PROPOSICIONES
37. Si Q es un nmero racional, entonces Q = x/y si x/y es una fraccin reducida. Adems,
y es distinto de cero, pero Q = x/y o x/y es una fraccin reducida. Luego, Q no es un
nmero racional ni y es distinto de cero, puesto que, no es cierto que si x fuera un
nmero entero, y sera distinto de cero.
Si p, entonces q si r. Adems,
s, pero q o r. Luego, no p ni s,
puesto que, no es cierto que si
t, s.
[ p ( r q ) ][ s ( q r ) ] . . ( t s ) ( p s)
V V V V V FV V F F F FV FV F
Es vlida?
PROPOSICIONES
ESTRUCTURA FORMAL
38. Las sociedades deben recordar u olvidar su pasado si desean salir adelante. Si las
sociedades aprenden de su pasado o evitan cometer los mismos errores, entonces
deben recordarlo. Si las sociedades deben olvidar su pasado, entonces no aprendern
de l. Por consiguiente, si las sociedades desean salir adelante, deben recordar su
pasado.
Las sociedades deben recordar su pasado = p
p o q si r. Si s o t, entonces p.
las sociedades deben olvidar su pasado = q
Si q, entonces no s. Por
las sociedades desean salir adelante. = r
consiguiente, si r, p.
las sociedades aprenden de su pasado = s
las sociedades evitan cometer los mismos errores
SIMBOLIZACIN: Y MTODO ABREVIADO
[ r ( p q ) ][ ( s t ) p ] ( q s ) . .r p
V V FV V V F F FV F V V V V F F V F F
Es vlida?
NO
39. Todo efecto es un suceso diferente de su causa; luego, no podra ser descubierto en la
causa. Y, si no puede ser descubierto en ella, en vano pretenderamos inferir algn
efecto sin la ayuda de la observacin o de la experiencia. Por lo tanto, si todo efecto
es un suceso diferente de su causa, en vano pretendemos inferir algn efecto sin la
ayuda de la experiencia.
174
ESTRUCTURA FORMAL
PROPOSICIONES
p; luego, no q. Y, si no q, r o
s. Por lo tanto, si p, s.
( p q) [ q ( r s )] . . p s
V V V FV V FV V V F FV F F
Es vlida?
NO
PROPOSICIONES
ESTRUCTURA FORMAL
40. Los problemas sociales se resuelven tanto con medidas econmicas como con
estrategias polticas. Adems, los problemas de salud pblica son problemas sociales
dado que son urgentes. Sin embargo, no es el caso de que el Estado deba resolver los
problemas de salud pblica porque estos no sean problemas sociales. En
consecuencia, si los problemas sociales se resuelven con estrategias polticas,
entonces se resuelven con medidas econmicas aunque los problemas de salud
pblica son urgentes.
Los problemas sociales se resuelven con medidas
Tanto p como q. Adems, r
econmicas = p
dado que s. Sin embargo, no
Los problemas sociales se resuelven con estrategias
es el caso de que t porque no
polticas. = q
r. En consecuencia, si q,
los problemas de salud pblica son problemas
entonces p aunque s.
SIMBOLIZACIN: Y MTODO ABREVIADO
( p q ) ( s r )( r t ) . . q( p s)
V V V V F V F V V VF F F F V F V F F
Es vlida?
NO
41. No es cierto que si todas las afirmaciones econmicas son irrefutables, si todas ellas
PROPOSICIONES
ESTRUCTURA FORMAL
pueden decirse que son, ciertos postulados pueden verificarse. Sin embargo, puesto
que hay afirmaciones basadas en juicios de valor, no es cierto que ni todas las
afirmaciones econmicas puede decirse que "son" ni ciertos postulados pueden
verificarse. No obstante, hay afirmaciones basadas en juicios de valor dado que todas
las afirmaciones econmicas son irrefutables. Por lo tanto, todas las afirmaciones
econmicas puede decirse que "son" porque la economa se mueve constantemente
entre la economa positiva y la economa normativa.
todas las afirmaciones econmicas son irrefutables, =
No es cierto que si p, si q, r.
p
Sin embargo, puesto que s,
todas las afirmaciones econmicas pueden decirse
no es cierto que ni q ni r.
que son = q
No obstante, s dado que p.
ciertos postulados pueden verificarse. = r
SIMBOLIZACIN: Y MTODO ABREVIADO
Por lo tanto, q porque t.
[ p ( q r ) ][ s ( q r ) ] ( p s ) .. t q
V V FV F FV V V V V F F FV V V V V F V F F
Es vlida?
175
Anexos
ESTRUCTURA FORMAL
PROPOSICIONES
1.
Puesto que p y q, no es
cierto que las r o s. No
obstante, si t pero u,
entonces
p
aunque
s.
Adems, no es verdad que si
[ ( p q ) ( r s ) ][ ( t u ) ( p s ) ] ( p u ) .. q r
V V V V V F F F V F F V V V F FV V V F FV FV F F
Es vlida?
NO
2.
Para validar la inferencia podramos aadir la siguiente premisa: la Lgica es exacta.
176
DERIVACIN
I.
1.1
P1) q ( p r)
P2) q r
P3) p ~ r // r
4) p
(3) Simp.
5) r
(3) Simp.
6) q
(2, 5) SD
7) p r
(1, 6) MPP
8) r
(4, 7) MPP
1.2
P1) r ~ q
P2) ( p q ) q // p s
1.3
P1) p (q s)
P2) s t
P3) p q
P4) p // t
5) q
6) q s
7) (q s ) ( s q)
8) q s
9) s
MPP
10) t
1.4
P1) ~ (p w) ~ r
P2) ~ r ~ s
P3) ~ q s
P4) ~ q ~ w // ~ p
5) q
(4) Simp.
6) s
(3, 6) MPP
7) r
(2, 6) MTT
8) r
(7) DN
9) (p w )
(1, 8) MTT
10) p w
(9) DN
11) w
(4) Simp.
12) p
(10, 11) MTT
1.5
P1) p
P2) p
P3) q
9) q
10)
11)
12)
13)
177
Anexos
3)
4)
5)
6)
7)
8)
(3, 4) MPP
(1, 4) MPP
(6) Def.
(7) Simp.
(5, 8)
(2, 9) MPP
(qr)
r
~r
// p r
(3) Simp.
r
(3) Simp.
p
(5, 2) MTT
qr
(1, 6) SD
r
(4, 7) MPP
r
q
(pq)
pq
p
ps
(1) Simp.
(1) Simp.
(2, 4) MTT
(5) Def.
(6) Simp.
(7) Adic.
1.6
P1) r q
P2) ( p q ) s // p s
3)
4)
5)
6)
7)
8)
9)
r
q
pq
pq
s
ps
ps
(1) Simp.
(1) Simp.
(4) Adic.
(5) Def.
(2, 6) MPP
(7) Adic.
(8) Def.
1.7
P1) ( p q ) ( r s )
P2) r ~p
P3) q p
P4) q ~s // ~ ( p q )
5) q
(3) Simp.
6) p
(3) Simp.
7) r
(2, 6) MTT
8) s
(4,5) MPP
9) r s
(7, 8) Conj.
10) ( r s )
(9) DM
11) ( p q )
(1, 10) MTT
III.
P1)
P2)
P3)
4)
5)
6)
7)
8)
9)
1.8
p (q r)
q~r
~p r
(qr)
p
r
q
pq
(qp)
// ~ (q p)
(2) DM
(1, 4) MTT
(3, 5) MPP
(2, 6) SD
(5, 8) Conj.
(8) DM
Justificacin:
MPP
Modus
Ponens
2. Dado que maana me voy de viaje, armar mi maleta con anticipacin para
no olvidar nada y no estar apurada. Ocurre que maana me voy de viaje. De
lo que se concluye que
Conclusin:
Justificacin:
MPP
Modus
Ponens
Justificacin:
Ponens
4. Si la observacin cuidadosa es la base objetiva de la ciencia, entonces o los hechos
nos conducen a las teoras que forman el conocimiento cientfico o los hechos nos
conducen a la formulacin de las leyes cientficas. Es cierto que la observacin
cuidadosa es la base objetiva de la ciencia. Luego
Conclusin:
Justificacin:
MPP
Modus
Ponens
5. El delito se sanciona con pena privativa de libertad si se cumple con el tipo expresado
en el cdigo penal y el juez lo sentencia de tal manera. En este caso el juez lo
178
sentencia de tal manera y el delito cumple con el tipo expresado en el cdigo penal.
Ergo
Conclusin:
Justificacin:
MPP
Modus
Ponens
Justificacin:
MTT
Modus
Tollens
Justificacin:
MPP
Modus
Ponens
Justificacin:
MTT
Modus
Tollens
Justificacin:
SHP
Silogismo
hipottico
puro
10. Como todos critican la designacin del Fiscal de la Nacin, es probable que el
gobierno decida tanto la destitucin de ese fiscal como la necesidad de convocar a la
eleccin de un nuevo candidato. No obstante, no es cierto que el gobierno haya
decidido la destitucin del fiscal y la necesidad de convocar a la eleccin de un nuevo
candidato. Por ello
Conclusin:
Justificacin:
MTT
Modus
Tollens
11. O bien las leyes de trnsito son respetadas por los conductores o los peatones deben
tener cuidado cuando enfrentan el trnsito. Ocurre que las leyes de trnsito nunca
son respetadas por los conductores. Por lo tanto
Conclusin:
Justificacin:
SD
Silogismo
disyuntivo
12. Si las normas son perfectibles, entonces a veces necesitan ser modificadas. Si las
179
Anexos
modificadas,
entonces
deben
Conclusin:
180
ser
revisadas
Justificacin:
SHP
Silogismo
hipottico
puro
13. O bien huyo de las consecuencias de mis malas decisiones, o bien asumo las
consecuencias pues soy un hombre maduro. Sucede que no huyo de las
consecuencias de mis malas decisiones. Por lo tanto
Conclusin:
Justificacin:
SD
Silogismo
disyuntivo
Justificacin:
SD
Silogismo
disyuntivo
15. Nuestro equipo es el mejor del torneo porque tiene los mejores jugadores y el mejor
entrenador. Tiene los mejores jugadores y el mejor entrenador, porque ganar el
torneo. Ergo...
Conclusin:
Justificacin:
Idempotenci
a y SHP
SILOGISMOS CATEGRICOS
1.
Algunos economistas conocen las polticas
microeconmicas de desarrollo imperantes en el
pas. Todos los conocedores de las polticas
microeconmicas de desarrollo imperantes en el
pas tienen una alta formacin en poltica
econmica nacional. Luego, algunos economistas
tienen una alta formacin en poltica econmica
nacional.
NOTACIN:
CaF
EiC
EiF
MODO:
AII
FIGURA
1ra
NOTACIN CLSICA:
MaP
CaZ
CaP
MODO:
AAA
FIGURA:
NOTACIN:
MODO:
CaF
VaF
VaC
AAA
181
Anexos
FIGURA
2da
4.
Algunos editorialistas son creativos; ya que
todos los diseadores grficos son creativos
y algunos editorialistas son diseadores
grficos.
NOTACIN:
DaC
EiD
EiC
MODO:
AII
FIGURA
1ra
NOTACIN CLSICA:
PeV
CeP
CeV
MODO:
EEE
FIGURA:
1ra
6.
Algunos conceptos son ambiguos pero
ninguna definicin lo es. Luego, algn
concepto es una definicin.
NOTACIN:
MODO:
DeA
CiA
CiD
EII
FIGURA
2da
NOTACIN CLSICA:
GoP
SeG
SoP
MODO:
OEO
FIGURA:
1ra.
NOTACIN:
MODO:
BeG
BiC
CoG
EIO
FIGURA
3era
NOTACIN:
MODO:
FaS
SeH
HoF
AEO
182
FIGURA
4ta
NOTACIN:
10.
Ningn poltico es deshonesto. Todos los
demagogos son polticos. Por lo tanto, ningn
demagogo es deshonesto.
PeD
MaP
MeD
MODO:
EAE
FIGURA
1ra
NOTACIN CLSICA:
MeA
AiC
CiM
MODO:
EII
FIGURA:
4ta
12.
Todos los indicadores econmicos son
argumentos.
Algunos
argumentos
son
engaosos. Por lo tanto, algunos indicadores
econmicos son engaosos.
AiE
IaA
IiE
MODO:
IAI
FIGURA
1ra
NOTACIN CLSICA:
MaO
OaC
CiM
MODO:
AAI
FIGURA:
4ta
NOTACIN:
MODO:
AaV
VeG
GeA
AEE
NOTACIN:
MODO:
AaF
SoA
SoF
AOO
FIGURA
4ta
183
Anexos
FIGURA
1ra
BIBLIOGRAFA
ARISTTELES (1995) Tratados de lgica (rganon). Marid: Gredos. 2 vols.
BOCHENSKI, I. M. (1966) Historia de la lgica formal. Madrid: Gredos.
AGAZZI, Evandro (1986) La lgica simblica. Barcelona: Herder.
COPI, Irving (1981) Introduccin a la lgica. 22a.ed. Buenos Aires: Editorial
Universitaria de Buenos Aires.
COPI, Irving y COHEN, Carl (1999) Introduccin a la lgica. Mxico D.F.: Limusa.
DEAO, Alfredo (1975) Introduccin a la lgica formal. Madrid: Alianza Editorial.
FISHER, Alec (1994) The Logic of Real Arguments. Cambridge: Cambridge
University Press.
GUTTENPLAN, Samuel (1986) Pensar, argumentos, estrategia.
En: The
Languages of Logic: an Introduction to Formal Logic. (Traduccin: Oscar Trelles,
Pontificia Universidad Catlica del Per). Oxford: Basil Blackwell.
184