Вы находитесь на странице: 1из 184

PREGRADO

PROFESORES

TTULO

Elia Acua Silva


William Aranda Bravo
Susana Cabanillas Ramrez
Jenny Caldern Morocho
Eliana Mory Arciniega
Jess Pacheco Quesada
:Introduccin a la Lgica:
material de enseanza

FECHA

Marzo 2016

CURSO

Lgica

CODIGO

REA

CICLO

HU210
Humanidades

2016-1

Copyright. Universidad Peruana de Ciencias Aplicadas UPC

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

con el Lenguaje de la Lgica Proposicional y tambin con la Lgica de


Clases.
A travs del anlisis simblico, podremos desarrollar diversas
habilidades argumentativas, tales como la abstraccin, la evaluacin
de argumentos y tambin la capacidad de demostrar aquellos
argumentos de los que sabemos que son vlidos.
De esta manera, el curso est dividido en tres unidades. En la primera
de ellas, veremos las nociones fundamentales necesarias para el
anlisis posterior. En la segunda unidad nos dedicaremos a trabajar el
Lenguaje de la Lgica proposicional; cmo est construido (sintaxis),
cmo se interpretan sus smbolos (semntica), cmo se traducen sus
smbolos al lenguaje natural (simbolizacin) y cmo se demuestra la
validez de los razonamiento aplicando un procedimiento deductivo
(derivacin). En la tercera y ltima unidad, analizaremos argumentos
silogsticos haciendo uso ya sea de diagramas de Venn o de las reglas
aristotlicas clsicas.
El material del curso est diseado fundamentalmente como material
de trabajo para resolver ejercicios. Contiene, sin embargo, algunas
pginas dedicadas a explicaciones bsicas sobre los diversos temas del
curso. Debido a esta caracterstica de nuestro material, ser siempre
necesario revisar la bibliografa de consulta sugerida.
Los profesores esperamos contribuir con este cuaderno de trabajo al
inters por el anlisis y al desarrollo de las habilidades argumentativas
que todos poseemos, pero que a veces no dejamos aflorar.

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

2.5 Derivacin (Reglas de


inferencia)

Unidad 3

14
20-25 junio

TA1(a): control de lectura


sobre falacias no formales

TA1(b): trabajo grupal sobre falacias (anlisis de una


pelcula): exposicin
1.4La Lgica estndar y su
TB-primera parte:
estrategia
evaluacin en lnea sobre
1.5Proposiciones
proposiciones
2.1 Sintaxis de LP
2.2 Semntica de LP: funciones
de verdad
TB-segunda parte:
2.2 Semntica de LP: mtodo
evaluacin en clase sobre
abreviado
mtodo abreviado

2.4 Validez de inferencias

11
30 mayo 4
junio
12
6-11 junio
13
13-18 junio

Feriados: jueves y viernes

Repaso de las unidades 1 y 2


Unidad 2

7
2-7 mayo
8
9-14 mayo
9
16-21 mayo

1.2Induccin y deduccin
1.3Falacias no formales

Evaluaciones / Avisos

TA2: evaluacin en clase sobre todo lo trabajado en la


unidad 2
3.1 Proposiciones categricas
tpicas
3.2 Silogismos categricos:
modo y figura
TB-cuarta parte:
3.2 Silogismos categricos:
evaluacin en clase sobre
validez
silogismos
Repaso de unidades 2 y 3

Feriado: mircoles

EXMENES FINALES

Sistema de evaluacin:

Anexos

TA1: 15%

EA: 25%

TA2: 15%

EB: 25%

TB: 20%

UNIDAD 1

La Lgica y los argumentos

1.1
Argumentos:
componentes

Componentes de
un argumento
PREMISA 1
PREMISA 2
PREMISA n

que
justifican

CONCLUSIN

definiciones,

indicadores,

Cundo argumentamos? En qu situaciones? La


respuesta es simple: argumentamos cada vez que
tenemos necesidad de defender un punto de vista, una
idea, una creencia, etc. As, la argumentacin puede estar
presente en muchos momentos de la vida cotidiana,
laboral o acadmica.
Lo que distingue, entonces, al discurso argumentativo de
otros tipos de discurso es la pretensin expresa de hacer
una defensa, una justificacin. No todos los discursos
tienen esta pretensin; algunos solo narran, otros
caricaturizan, otros describen, otros apelan y as
podramos mencionar las mltiples funciones que puede
cumplir el discurso. De modo que la caracterstica
distintiva del discurso argumentativo es el hecho de que
una o varias afirmaciones se sustentan o justifican a partir
de otras.
Para reconocer argumentos, la pista clave es determinar si
el texto o discurso contiene la defensa de una idea sobre
la base de otras ideas. Tal defensa est basada en un
conjunto de datos, puntos de partida. A estos se les llama
PREMISAS. Las premisas son los datos previos o las bases
en las que se funda la aceptacin o no de aquello que en
el argumento se intenta justificar.
Aquello que pretendemos que quede justificado sobre la
base de las premisas se llama CONCLUSIN. La conclusin
de un argumento es aquello que se pretende resulte
aceptable por medio de todo el discurso. El propsito de
todo argumento es lograr que la conclusin resulte
aceptable.

Qu y cmo son los


argumentos?

Los argumentos son una


cadena de enunciados; son,
por tanto, una forma
particular de discurso.
Los elementos de esta
cadena de enunciados
guardan entre s una
relacin
especial:
las
premisas intentan defender,
justificar o sustentar la
conclusin.

Anexos

A partir de las definiciones propuestas, podemos deducir


que los elementos que constituyen un argumento son, de
manera general, enunciados, proposiciones u oraciones.
Sin embargo, esta caracterizacin de los componentes de
un argumento es insuficiente, pues no todos los
enunciados que lo conforman cumplen el mismo papel o
funcin.
As, tenemos que dos son los componentes constitutivos
de un argumento: las premisas y la conclusin.
Las premisas son aquellos enunciados que se presentan
para sustentar la conclusin, para convencer a un posible
interlocutor de que la conclusin es aceptable e incluso
verdadera. Esto no significa que las premisas de un
argumento sean suficientes para defender la conclusin,

pues hay
invlidos.

argumentos

malos,

dbiles,

incorrectos

La conclusin es aquel enunciado cuya verdad se pretende


sostener en el argumento. Podramos afirmar que la
conclusin es la razn de ser del argumento, pues la
finalidad de este es defenderla sobre la base de las
premisas.
Ejemplos

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.

Por otro lado, es importante mencionar que dentro de un


argumento suelen aparecer palabras o frases claves que
nos permiten diferenciar las premisas de las conclusiones.
Estos elementos se llaman INDICADORES DE ARGUMENTO.
Los indicadores de argumento son conectores que
establecen un tipo de relacin especial entre los
enunciados. Dicha relacin consiste precisamente en
definir una premisa o una conclusin.
Podemos tener indicadores de premisas y tambin
indicadores de conclusin. Los primeros se anteponen a
las premisas; los segundos, a las conclusiones. Es
importante tener en cuenta que los indicadores de
argumentos se caracterizan o se diferencian de cualquier
otro tipo de conector entre proposiciones por establecer
la relacin entre premisas y conclusin, esto es, un
indicador separa una premisa de una conclusin o
viceversa, una conclusin de una premisa. De modo que
no cualquier conector funciona como indicador de
argumento, sino solo aquellos que cumplan esta particular
funcin: establecer la relacin PREMISAS-CONCLUSIN o
viceversa: CONCLUSIN-PREMISA.
Una pista muy sencilla para reconocer un indicador de
argumento es identificar conectores que sean sinnimos
de por lo tanto para indicadores de conclusin y de
porque para indicadores de premisas.
Hay que tener presente, entonces, la siguiente secuencia,
la cual ilustra cmo se comporta un indicador de
conclusin en comparacin con un indicador de premisa:

PREMISA; por lo tanto, CONCLUSIN.


CONCLUSIN porque PREMISA.

Por otro lado, hay que observar que un mismo enunciado


puede jugar el rol de premisa en un argumento y el rol de
conclusin en otro argumento. Es decir, premisa y
conclusin son funciones que los enunciados pueden
8

desempear dentro del discurso argumentativo.

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 ...

Yo concluyo que. ...


Lo que implica que ...
Lo que nos permite inferir que ...
Se sigue que ...
... establece el hecho de que ...
... demuestra 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

cola cuando estn contentos. En cambio, yo gruo


cuando estoy contento y muevo la cola cuando me enojo;
luego, estoy loco.
CARROLL, Lewis. Alicia en el pas de las maravillas

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

produccin restringida significa empleo restringido.

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

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.
DE SOTO Hernando, El misterio del capital

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

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.

18

19

Anexos

1.2 Induccin y deduccin


Una de las mltiples clasificaciones o distinciones entre
los argumentos se centra en sus diferencias de
propsito y de resultados. Se trata, as, de una
distincin sutil pero muy importante en trminos
lgicos.

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.

No es lo mismo argumentar de manera inductiva que


hacerlo de manera deductiva. En esta diferencia vamos
a centrarnos.
Cuando
argumentamos
inductivamente,
nuestro
propsito es establecer con algn margen de
probabilidad la verdad de nuestra conclusin. Esto
significa que en un argumento inductivo la conclusin
siempre ser probable y nunca 100% cierta en funcin
de las premisas. No estamos afirmando que la
conclusin ser siempre falsa. Es importante tener
presente que la conclusin puede ser verdadera, pero
su verdad no est dada por las premisas del argumento,
sino por otras evidencias.
En cambio, cuando argumentamos deductivamente,
nuestra pretensin es garantizar la verdad de la
conclusin basndonos en las premisas. Se trata de una
pretensin y no de un hecho, pues muchos argumentos
deductivos no son lo suficientemente slidos como
garantizar la verdad de sus conclusiones.
Ahora bien, acabos de aclarar la diferencia entre un
argumento deductivo y uno inductivo partiendo de sus
pretensiones. Ahora es necesario aclarar cmo es que
esas pretensiones se pueden reconocer en el
argumento mismo, pues es obvio que las pretensiones
de un discurso podran no ser evidentes.
En un argumento inductivo, las premisas siempre estn
referidas a casos particulares, hechos concretos,
situaciones especficas o ejemplos; mientras que la
conclusin sostiene que lo que sucede en esos casos
especficos es generalizable a todos los casos o
aplicable a un caso nuevo.
En un argumento deductivo, al menos una de las
premisas contiene una afirmacin aplicable a todos los

20

casos a los que se alude en el argumento. De ah que el


paso a las conclusiones es una operacin deductiva y,
sobre todo, formal.

21

Anexos

IMPORTANTE

La validez es una cualidad


formal, estructural o sintctica
de
las inferencias (o
argumentos) deductivas.
La correccin es una cualidad
formal y tambin semntica
de los argumentos deductivos;
esto
significa
que
la
correccin depende tanto de
la forma como del significado
de los componentes del
argumento.
Los argumentos inductivos
nunca se califican como
vlidos o invlidos.

Ahora bien, hablar de argumentos supone tambin


evaluarlos; es decir, interesa sobre todo poder determinar
cundo un argumento es mejor, ms slido, ms
contundente que otro. Sin embargo, hay diversos criterios
para poder hacer dicha evaluacin.
En primer lugar, hay que tener en claro que no se evalan
de la misma manera los argumentos inductivos y los
argumentos deductivos. Los primeros, por un lado, son
probabilsticas; por tanto, la medida de su solidez es
cuantitativa: qu tan probable es la conclusin? Evaluar
esa probabilidad supone determinar el grado de
probabilidad con el que las premisas establecen la
conclusin. Esta evaluacin es fundamentalmente
estadstica.
Los argumentos deductivos, en cambio, se evalan en
funcin de su estructura; esto es, de las conexiones
lgicas entre sus componentes. Solo esta clase de
argumentos puede evaluarse en funcin de su correccin y
tambin de su validez. De ah que la validez sea una
cualidad estrictamente formal de los argumentos.
La validez es, adems, el concepto central en la Lgica.
Precisamente, descubrir los mecanismos que hacen la
diferencia entre un argumento vlido y un argumento
invlido es el objetivo de la Lgica.

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.

Pero cundo podemos afirmar con certeza que un


argumento es vlido? La respuesta que nos ha dado la
Lgica es sencilla: un argumento es vlido si es imposible
que sus premisas sean verdaderas y que al mismo tiempo
su conclusin sea falsa. A pesar de la sencillez de esta
idea, no es nada fcil determinar si un argumento
deductivo cumple o no con esa condicin. Parte de la tarea
de la Lgica es tambin crear los mecanismos que nos
permitan evaluar si un argumento determinado cumple o
no con esa condicin.
Un argumento correcto, en cambio, tal y como lo vamos a
entender en este curso, es aquel que adems de ser
vlido, tiene premisas verdaderas.
As, el argumento ideal es aquel que adems de tener una
estructura tan slida como para ser vlido, tiene
contenidos verdaderos.

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.

() Ac tenemos un caso en el que un argumento es vlido y tienen premisas y conclusin verdaderas. No


es posible para (1) y (2) el ser verdaderas y la conclusin falsa, y, de hecho, los tres pensamientos son
verdaderos.
Es el valor de verdad de las premisas y la conclusin lo que lo lleva a Ud. a decir que este es un
argumento vlido? Por supuesto que no! Recuerde, el ejemplo 1 tiene premisas y conclusin verdaderas.
En este aspecto es justo como el ejemplo 2. Sin embargo, el ejemplo 1 es invlido y el ejemplo 2 es vlido.
Esta diferencia entre ellos no se debe a la verdad o falsedad actual de sus premisas y conclusin, sino a
ciertas posibilidades. Lo que es importante no es que las premisas y la conclusin del ejemplo 2 sean
realmente verdaderas, sino que no es posible para sus premisas el ser verdaderas y su conclusin falsa. Es
este hecho acerca de la posibilidad el que nos lleva a decir que el ejemplo 2 es vlido. ()
Ejemplo 3:

Todos los peces nadan.


Todas las ballenas nadan
Todas las ballenas son peces.

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

(1) Una de dos, la Tierra es redonda o no es redonda.


(2) Si la Tierra es redonda, entonces muchas cosas se caern de ella.
(3) Las cosas no se caen de la Tierra.
La Tierra no es redonda.

(...) 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)

La validez as definida slo se aplica a los argumentos cuyas premisas y conclusin


sean pensamientos que puedan ser verdaderos o falsos.

(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?

U.S. News & Report, 9 de julio de 1984.

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

Sakel. Si la insulina mejoraba el clima mental de los


hombres enloquecidos por la droga, qu no hara por los
francamente locos? *
George W. Gray; El frente en avance de la medicina

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

1.3 Falacias no formales


Existen diversas maneras de interpretar una falacia.
Para algunos, una falacia es simplemente un enunciado
falso; para otros es un enunciado engaoso. La idea de
falacia que vamos a manejar en nuestro curso se basa
en la perspectiva de la lgica.
As, desde el punto de vista lgico, una falacia es un
argumento incorrecto cuyo propsito es persuadir
engaosamente.
El hecho de que sea incorrecto
significa que las premisas del argumento falaz no
sustentan, no justifican o no garantizan su conclusin.
Ahora bien, por qu hablamos de falacias no
formales? Ser acaso que adems existen las falacias
formales? Pues s, existen argumentos incorrectos pero
persuasivos cuyo error reside en la forma o
estructura, y en nada ms que eso. Y tambin existen
las falacias cuyo error reside en algo que est al
margen de la estructura del argumento, estas son las
falacias no formales. En ellas, el error se debe a un
modo inapropiado de escoger las premisas o a un modo
inadecuado de interpretar dichas premisas.
Otro rasgo distintivo de las falacias no formales es que
apelan a las creencias, emociones, expectativas o a la
distraccin de un posible interlocutor; as, cuando
somos persuadidos por una falacia no formal, lo que
est ocurriendo en el fondo puede ser una especie de
manipulacin.
Pues bien, para evitar ser engaados por falacias
formales, se suele recurrir a la lgica formal, que es la
disciplina encargada de estudiar la forma de los
argumentos. A travs de los instrumentos de esta
ciencia, podemos detectar las falacias formales.
En cambio, para evitar ser persuadidos por falacias no
formales, un mecanismo adecuado es el conocimiento
de algunos tipos de estas falacias, es decir, una
clasificacin. A esta clasificacin vamos a dedicarnos
en las pginas siguientes. Veremos que dentro del gran
grupo de falacias no formales, se puede identificar dos
grupos, sub grupos, las falacias de atingencia y las
falacias de ambigedad.

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

En este tipo de falacias, la conclusin se basa en una


amenaza. Esto significa que las premisas sugieren una
amenaza o hacen una amenaza explcita. Pero no toda
amenaza en una falacia de este tipo; solo se tratar de
una falacia cuando estemos frente a un argumento
que tiene en sus premisas que sugieren o plantean
abiertamente la amenaza.
As, por ejemplo, cuando una madre le dice a su hijo
que, si no termina su comida, no ver televisin, no
estamos frente a una falacia. Se trata de una simple
advertencia. El hecho de que la madre cumpla o no su
advertencia tampoco hace de la misma una falacia. No
es lo mismo amenazar o advertir para conseguir un
resultado que para defender una conclusin.

32

2. Argumento dirigido contra la persona ofensivo (ad


hominem)
La filosofa de Bacon es indigna
de confianza porque este fue
desposedo de su cargo de
canciller por deshonestidad. *
T no puedes tener la razn
puesto que eres una persona
tonta y poco inteligente

La falacia ad hominem ofensivo consiste en que se


defiende una conclusin sobre la base de
desacreditar a una persona. Esta persona puede ser
el interlocutor a quien se dirige el argumento y, con
ello, se espera rebatir lo que este interlocutor
sostiene; o bien puede tratarse de desacreditar a
una persona cualquiera para desbaratar lo que esta
sostiene, sin que necesariamente sea nuestro
interlocutor.
As, las premisas plantean algn insulto, adjetivos
ofensivos o calificaciones ofensivas hacia una
persona. Con ello, se espera que cualquier cosa que
haya dicho esta persona pierda credibilidad. Este es
el tipo de argumento que probablemente hemos
visto en pelculas sobre juicios; en ellas, el abogado
defensor podra, por ejemplo, decir cosas
desagradables de un testigo para que el jurado no
d crdito a su testimonio.
Pero, del mismo modo que en el caso anterior, no
toda ofensa es una falacia de este tipo; solo lo es
cuando se usa la ofensa para sostener una
conclusin.

3. Argumento dirigido contra la persona circunstancial


(ad hominem)
Seor Prez, usted es un
sacerdote; por ello, no puede
negar que mis afirmaciones
sean ciertas; si usted hiciera
eso, ira contra las Sagradas
Escrituras. *

La falacia ad hominem circunstancial tiene las


mismas caractersticas que la falacia ad hominem
ofensiva, con la diferencia de que no se plantea un
insulto u ofensa en las premisas. En lugar de ello, se
dirige el argumento hacia las circunstancias
particulares que rodean al interlocutor para forzarlo a
aceptar una conclusin.
En el ejemplo, la circunstancia del seor Prez es ser
sacerdote. Ello, sin duda, no constituye ofensa
alguna. Pero son las circunstancias que lo forzaran a
aceptar la conclusin que se desea sostener
falazmente.

4. Argumento por la ignorancia (ad ignorantiam)


No existe vida inteligente en
otros planetas, ni del Sistema
Solar ni de nuestra galaxia ni
en ninguna otra; ello resulta
evidente puesto que no hay
pruebas. *

33

Anexos

En la apelacin a la ignorancia, se defiende la verdad


de una afirmacin sobre la base de que no se ha
demostrado que sea falsa; y viceversa: se defiende la
falsedad de una afirmacin sobre la base de que no se
ha demostrado que sea cierta. Es decir, se apela a que
no se sabe si algo es verdadero o falso, de ah el
nombre de apelacin a la ignorancia: se apela al no
saber.

El nico contexto en el que no se considera falaz este


tipo de argumento es en la presuncin de inocencia:
todos son inocentes hasta que no se demuestre lo
contrario. Sobre ello, es importante puntualizar que
afirmar que todos son inocentes mientras no se
demuestre lo contrario no significa que realmente se
haya probado la inocencia. Lo que esto quiere decir es
que no podemos castigar a nadie asumimos la
inocencia si no se ha encontrado evidencia de la
culpabilidad.
5. Llamado a la piedad (ad misericordiam)
La apelacin a la piedad consiste en defender una
conclusin afirmando en las premisas ideas que
despiertan nuestros sentimientos de misericordia por
alguien. No hay pues un sustento de la conclusin en
s misma, sino un llamado a emociones que podran
hacer que nos inclinemos hacia la conclusin solo por
lstima.
As como en algunos de los casos anteriores, es
importante tener presente que no todo ruego o splica
constituye una falacia de este tipo. Hay splicas que
son solo eso: pedidos de misericordia; si con ella no se
intenta defender una conclusin, no estamos frente a
una falacia de este tipo.

Seores del jurado, el


acusado es inocente. Para
demostrar
esto
basta
considerar todo lo que ha
sufrido desde su niez,
maltrato,
abandono,
violencia... basta con darse
cuenta de que es ms una

6. Apelacin al sentimiento popular (ad populum)


La marca de cigarrillos ms
vendida y consumido en el
mundo es Marlboro. Por
ello, resulta evidente que
es la mejor.

En la falacia ad populum se defiende la conclusin


sobre la base de ideas de aceptacin general, por una
mayora o por un gran nmero de personas. Tambin
puede darse el caso de una falacia ad populum cuando
se apela a los sentimientos de una masa, como en los
discursos polticos.

7. Apelacin a la autoridad (ad verecundiam)


Como todos sabemos, Pel ha
sido el ms grande jugador de
ftbol de todos los tiempos.
Por ello, si Pel promociona la
marca de televisores Sony
para ver el prximo mundial,
entonces esta debe ser la
mejor marca.

34

En la falacia de apelacin a la autoridad, la conclusin


se sostiene en la opinin de una persona famosa o con
autoridad en ciertos temas; pero el tema del
argumento no es el tema de competencia de este
personaje. Por ello, esta falacia tambin es conocida
como falacia de apelacin inapropiada a la autoridad:
se apela a una autoridad que no es competente en la
materia que est en discusin en el argumento.
Sin embargo, cuando en un argumento se sostiene una
conclusin solo porque una persona experta as opina,
tampoco estamos frente a un argumento slido,
aunque no se trate de una falacia. En todo caso, si
queremos afirmar algo basndonos en la opinin de un
experto, es ms conveniente indicar por qu creemos
que ese experto tiene buenas razones para afirmar lo
que deseamos sostener.

Es frecuente encontrar este tipo de falacia, sutilmente,


en la publicidad. Cuando se utiliza la imagen de una
persona famosa para promocionar un producto. La
persona famosa no tiene competencia para afirmar si
el producto el bueno o mejor que otros; pero la imagen
de una persona que respetamos o admiramos puede
inducirnos a concluir que el producto tiene buenas
cualidades; concluir esto ltimo sera el error falaz.

35

Anexos

8. Accidente
Lo que compramos ayer lo
comemos
hoy.
Ayer
compramos
carne
cruda.
Luego, hoy comemos carne

La falacia de accidente es diferente de las otras clases


de falacias vistas hasta aqu. En ella, la conclusin se
basa en una interpretacin o aplicacin inapropiada de
una suerte de regla general.
En el ejemplo, vemos que la premisa indica que la
regla general es comer en el da lo que se compr el
da anterior; en la conclusin se afirma que
comeremos hoy carne cruda pues ayer se compr
carne cruda. Pero nada hay en las premisas que nos
indique que debemos comer lo que compramos ayer
tal y como lo compramos; se trata, pues, de una mala
interpretacin de lo que se afirma en las premisas.
En general, podemos decir que la falacia de accidente
consiste en aplicar una regla general a un caso que
hace la excepcin a dicha regla. En el ejemplo, la
excepcin a la regla es lo crudo.
9. Accidente inverso (generalizacin apresurada)

Este hombre es un alcohlico


empedernido;
lleva
aos
sumido en el vicio del alcohol
y ha destruido a su familia.
Por ello, las personas que
consumen alcohol corren el
riesgo
de
destruir
sus

Como el nombre lo indica, la falacia de accidente


inverso es la inversa de la falacia de accidente. Si en la
anterior se trata de aplicar una regla general a un caso
excepcional, en la falacia de accidente inverso se
generaliza un caso excepcional.
Se trata, as, de una mala generalizacin. Recurdese
que las generalizaciones no son en s mismas
argumentos errneos; para tenerlo claro, basta pensar
en todos los argumentos inductivos que establecen
con un alto nivel de probabilidad sus conclusiones.
El caso del accidente inverso se centra en que las
premisas plantean un caso raro, poco usual,
excepcional; y en la conclusin, a partir de dicho caso,
se generaliza o el caso se convierte en regla general.
10.Causa falsa

Ayer los habitantes de la


tribu hicieron sonar los
tambores para atraer la
lluvia. Por ello, hoy llovi
porque los habitantes de la
tribu hicieron sonar sus
tambores. *

Conceder a todo hombre


ilimitada
libertad
de
expresin debe ser siempre
ventajoso para el Estado;
pues
es
sumamente
beneficioso
para
los
intereses de la comunidad
que todo individuo goce de
una
posibilidad,
absolutamente sin trabas,

36

En la falacia de causa falsa, la conclusin se asume


que la causa de un evento es otro evento
simplemente porque es anterior. Se trata, as, de una
relacin causa-efecto. Para que esta relacin exprese
una falacia, tiene que ocurrir que la conclusin no
sea el efecto real de la causa expuesta en la
conclusin, sino que simplemente la supuesta causa
es un evento anterior al de la conclusin.
11.Peticin de principio (crculo vicioso)
La falacia de crculo vicioso es una de las falacias
ms comunes y, al mismo tiempo, ms peligrosas. Es
comn porque es muy fcil caer en ella por descuido;

y es peligrosa porque es muy fcil no darse cuenta


de que estamos frente a una falacia de este tipo.
Consiste en que las premisas y la conclusin dicen lo
mismo; por ello se trata de un argumento circular. Es
algo as como decir que X es cierto simplemente
porque es cierto; no se aade, pues, ninguna razn
que sustente la verdad de X.
Ahora bien, cmo puede ser comn este tipo de
error tan evidente? Porque la premisa y la conclusin
contienen la misma informacin pero expresa de
distinta manera; entonces se esconde el hecho de
que la premisa no aporta nada para la defensa de la
conclusin. Y, por esta misma razn, no es fcil
siempre darse cuenta de que el argumento es
circular.
12.Pregunta compleja
En
un
juicio,
el
discal
interroga al acusado:
Conteste s o no, sigue
usted pegndoile a su
mujer?
Yo esteeeeeeeeeeee.
No.
- Aj! Entonces admite que

La falacia de pregunta compleja tiene lugar solo en el


contexto de un dilogo. Consiste en que un
interlocutor plantea una pregunta tramposa al otro
interlocutor y lo fuerza, por la forma y el contenido
de la pregunta, a una respuesta que, cualquiera que
sea, lo llevar a una conclusin que el interpelado no
habra deseado sostener.
En el ejemplo, como se puede observar, si el acusado
responde que no a la pregunta del fiscal, estara
admitiendo que le pegaba y le sigue pegando a su
esposa. Al responder que no le sigue pegando, est
admitiendo, aunque no lo haya querido as, que no le
pega ahora pero que s lo haca antes. La pregunta
es, pues, tramposa en s misma.
La nica forma de evitar caer en este tipo de falacia
es poniendo en evidencia la trampa que la pregunta
contiene. Es decir, el acusado tendra que haberse
negado a responder una pregunta como esa y
tendra que haber sealado que no le pegaba antes
ni nunca a su esposa, si lo que realmente quiere es
afirmar que nunca le peg.
13.Conclusin inatinente

Esta propuesta para mejorar


los servicios de agua y
desage es la ms razonable
y til, puesto que todas las
personas tienen derecho a
gozar de estos servicios. *

37

Anexos

La falacia de conclusin inatinente puede ser descrita


como un error de falta de precisin o de puntera si se
quiere. Consiste en que las premisas apuntan en una
direccin totalmente distinta de lo que se afirma
finalmente en la conclusin.
En el ejemplo, la premisa afirma algo con lo que es
fcil estar de acuerdo: todas las personas tienen
derecho a gozar de los servicios de agua y desage;
sin embargo, esto no sostiene que una propuesta para
mejorara esos servicios sea mejor que otras. Para
sostener slidamente que una propuesta es la mejor

razonable o til, habra que compararla con otras,


sealar sus ventajas o las desventajas de las otras.

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

La falacia de equvoco, como falacia de


ambigedad, se caracteriza por contener entre sus
premisas un trmino equvoco con ms de un
significado. Sin embargo, al llegar a la conclusin,
se obvia ese doble significado del trmino equvoco
y se asume que se trata de un solo significado.
El error reside, pues, en que en realidad el trmino
con ms de un significado funciona como si se
tratara de dos trminos distintos y, as, la
conclusin no tiene forma de sostenerse. Cuando
lleguemos, en el curso, al captulo sobre silogismos
y veamos la funcin del trmino medio en un
silogismo, este punto resultar ms claro. Por
ahora, lo que cabe sealar es que, en los ejemplos,
los trminos fin y patas funcionan como dos
trminos diferentes dentro de cada argumento; y,
por ello, no hay forma de que la conclusin resulte
plausible.

Del mismo modo que en la falacia de equvoco, en


la falacia de anfibologa hay un doble significado de
alguna parte de las premisas; pero en la conclusin
tambin se hace caso omiso a ese doble significado.
En este caso, el doble significado no se debe a que
una palabra tiene esa doble interpretacin, sino a
que la estructura de las oraciones deja abierta la
posibilidad de una doble interpretacin.
En el ejemplo sobre el granjero, la oracin puede
leerse de dos modos: el granjero se salt la tapa de

los sesos con un revlver; el granjero se despidi


con el revlver.
En el ejemplo sobre Creso, la expresin destruir
un poderoso reino puede referirse tanto al reino de
Persia como al reino de Lidia. Pero Creso interpret
lo que quera interpretar: que se destruira su
enemigo, cuando el orculo dejaba la posibilidad
abierta para cualquiera de las dos interpretaciones
(como cualquier orculo inteligente hara).
3. nfasis
No debemos hablar mal de
nuestros
amigos.
Entonces,
s
podemos
hablar mal de nuestros
enemigos.
MIAMI A SOLO $299.
No incluye impuestos ni comisiones del
30%.

Como su nombre lo indica, la falacia de nfasis se


caracteriza por el hecho de que en las premisas se
enfatiza una parte de la informacin, sea
grficamente o con el tono de voz en caso de que
la falacia se produzca oralmente. Y as, al llegar a la
conclusin, esta se basa solo en la parte que ha
sido enfatizada y no considera el resto de la
informacin.
En el primer ejemplo, se enfatiza la expresin
nuestros amigos; de ello se concluye que para los
enemigos s estara permitido hablar mal, cuando
no necesariamente es as a partir de lo afirmado en
las premisas. En el segundo ejemplo, que puede ser
cualquier
anuncio
publicitario,
se
enfatiza
grficamente una parte de de la informacin; si no
hacemos caso a las letras pequeas, caemos en
error al afirmar la conclusin de que se trata de una
gran oferta.

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

La falacia de composicin consiste en que en las


premisas se plantean caractersticas para ciertos
elementos de un conjunto o para las partes de un
todo y en la conclusin se atribuye esas mismas
caractersticas para el conjunto o para el todo,
segn sea el caso.
Lo cierto es que un motor puede tener partes
livianas; pero en su conjunto el motor puede ser
muy pesado: las caractersticas de las partes no son
necesariamente atribuibles al todo. Lo mismo pasa
con los miembros de una clase o conjunto: como
hay ms autos particulares que mnibus en una
ciudad, no es correcto afirmar que el conjunto de
mnibus gasta ms combustible que el conjunto de
autos.

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

Los indios americanos estn


desapareciendo. Nubegris es
un indio americano. Luego,
Nubegris est desapareciendo.

La falacia de divisin puede ser considerada la


inversa de la falacia de composicin. En la falacia

de divisin, en las premisas se afirma alguna


caracterstica de un todo o de una clase o conjunto;
y en la conclusin se atribuye esa misma
caracterstica a las partes o elementos del conjunto.
En el ejemplo, si el seor Prez es miembro de una
empresa importante, ello no garantiza que l sea
importante tambin. Y, por otro lado, si el conjunto
de indios americanos est desapareciendo, ello no
significa que un indio americano, como individuo,
est l mismo desapareciendo.

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

2. Construye un ejemplo de las falacias que se indican a continuacin. Identifica


las conclusiones en cada caso.

Ad hominem

Crculo vicioso

3. Busca en los diarios locales ejemplos de falacias. Trae el recorte a la clase y en


el espacio que aparece a continuacin, explica brevemente por qu se comete
la falacia indicada.

45

Anexos

Causa falsa

comete y por qu?Qu clase de falacia se

Transcripcin

4. Transcribe un ejemplo de falacia que hayas escuchado en algn noticiero de


televisin. Explica qu clase de falacia se comete y por qu.

5. Analiza los siguientes pasajes y determina qu clase de falacia se comete en


cada caso. Considera lo siguiente:
a. Primero, identifica las conclusiones y subryalas.
b. Luego, identifica las premisas y numralas.
c. Finalmente, explica qu clase de falacia se comete y por qu.
5.1
Los cocineros han preparado alimentos
durante generaciones, de modo que
nuestro cocinero debe ser un verdadero
experto.

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

de aquellos llenos de agujeros. Cuanto


ms queso, ms agujeros. Cada agujero
ocupa el lugar donde debera haber
queso. As, cuanto ms agujeros, menos
queso. Cuanto ms queso, ms
agujeros; y cuanto ms agujeros,
menos queso. Luego, cuanto ms
queso, menos queso.

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

productos porque consideramos incapaz a una


empresa cuya atencin est a cargo de una seorita
tan irrespetuosa con un cliente potencial.
Atte. Ricardo Yui

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

6. Construye un ejemplo de los siguientes tipos de falacia que se indican a


continuacin. Identifica las conclusiones y subryalas.

Anfibologa

nfasis

7. Busca en los diarios locales ejemplos de falacias. Trae el recorte a la clase y en


el espacio que aparece a continuacin, explica brevemente por qu se comete
la falacia indicada.

50

Composicin o divisin
comete y por qu?Qu clase de falacia se

Transcripcin

8. Transcribe un ejemplo de falacia que hayas escuchado en algn noticiero de


televisin. Explica qu clase de falacia se comete y por qu.

51

Anexos

1.4 La Lgica estndar y su estrategia


Las cuatro caractersticas de la
Lgica estndar

Apofntica: solo trabaja con


enunciados proposicionales:
que poseen un valor de
verdad.
Bivalente: solo admite dos
valores de verdad: verdadero
y falso.
Asertrica: no admite matices
para los valores de verdad,
como por ejemplo: a veces,
nunca, necesariamente, etc.
Extensional: sus operadores
son funciones de verdad y no
interesa la intensin de los
trminos, sino solo su
extensin.

52

Cuando se suele hablar de Lgica, as, a secas,


normalmente se alude a un rea de la Lgica que es
conocida como Lgica estndar. Esto ocurre porque
una parte de la Lgica que resulta mucho ms
conocida e incluso familiar a cualquiera que haya
estudiado al menos un curso introductorio a la Lgica.
El solo hecho de que haya una lgica estndar nos
debe hacer pensar que existe una lgica no estndar.
Eso es ciertamente verdad. La lgica no estndar
tambin es conocida como lgica no clsica o
divergente.
Para que un lenguaje lgico sea catalogado como
estndar, debe poseer cuatro caractersticas. Si carece
de alguna de ellas, entonces se considera un lenguaje
o un sistema no estndar.
Esas cuatro caractersticas son las siguientes:
La Lgica estndar es apofntica. Esto significa que
en un lenguaje lgico estndar, solo se puede
estudiar argumentos cuyos enunciados posean
algn valor de verdad, es decir, enunciados que
puedan ser calificador como verdaderos, ms o
menos verdaderos, falsos, absolutamente falsos,
etc.
La Lgica estndar es bivalente. Esto significa que
en un lenguaje estndar solo se consideran dos
valores de verdad para los enunciados: verdadero y
falso, No hay ms posibilidades.
La Lgica estndar es asertrica. Esto quiere decir
que los enunciados con los que se trabaja en Lgica
estndar poseen un valor de verdad sin matices o
modalides. Un matiz podra ser, por ejemplo,
temporal: en vez de afirmar que un enunciado es
verdadero, si afirmamos que es siempre verdadero
o verdadero a veces o nunca verdadero, estaramos
aadiendo un matiz al valor de verdad. Esto no se
admite en Lgica estndar.
La Lgica estndar es extensional. Esto significa
que en Lgica no interesa el significado intencional
o connotativo de los trminos, sino solamente su
extensin, es decir, a qu universo de objetos
sealan o refieren. Al mismo tiempo, ser
extensional tambin significa que en Lgica
estndar los operadores que se utilizan pueden ser
siempre analizados como funciones de verdad.

Los lenguajes simblicos de la


Lgica

Son lenguajes ratifcales


creados con el propsito de
hacer ms precisas y fciles
las operaciones lgicas.
Tienen dos componentes
constitutivos:
SINTAXIS: es la arquitectura o
estructura del lenguaje y
consta de:
Smbolos primitivos
Reglas de formacin
Reglas de transformacin
SEMNTICA:
es
la
interpretacin del significado
de todas las oraciones
construibles con el lenguaje.
El significado lgico es un
valor de verdad.

Por otro lado, nos interesa ahora dejar sentado que la


Lgica trabaja en funcin de una estrategia. Se trata
de la Lgica aplicada al anlisis del estudio de los
argumentos expresados en lenguaje natural. Es decir,
podramos diferenciar un rea de trabajo de la Lgica
conocida como Lgica pura. En cambio, hay un rea de
la Lgica que busca analizar los argumentos que
construimos en espaol, ingls, francs, italiano,
quechua o cualquier otro idioma lenguaje natural.
La Lgica aplicada, tiene como objetivo evaluar la
validez de los argumentos que construimos en
cualquier lengua. Para poder hacerlo, parte del
supuesto de que la validez depende solo y
exclusivamente de la forma del argumento y no de su
contenido, tal y como hemos definido la validez en el
punto 1.3. Bajo ese supuesto, la estrategia de la Lgica
se plantea tres grandes tareas:

Crear lenguajes simblicos


Los lenguajes simblicos son lenguajes artificiales
si se quiere, lenguajes de laboratorio que las
diferentes ciencias crean para poder realizar sus
anlisis con mayor facilidad y precisin. Pensemos
por ejemplo en el lenguaje simblico de las
Matemticas:
imaginemos
tener
que
hacer
operaciones matemticas en espaol, sin contar
con los smbolos que ya todos conocemos de sobra;
sera bastante ms complicado. Pues bien, los
lenguajes simblicos de la Lgica tambin
funcionan de esa manera: se crean para poder
realizar operaciones lgicas con mayor facilidad.
Adems, debido a que el anlisis de la validez es
estrictamente formal, estos lenguajes recogen las
formas lgicas de las que depende la validez.
Los lenguajes lgicos estn compuestos de una
sintaxis (smbolos primitivos, reglas de formacin y
reglas de transformacin) y de una semntica
(interpretacin del significado lgico: bajo qu
condiciones se interpreta una frmula como
verdadera o como falsa).

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.

Crear mtodos decisiorios


Los mtodos decisorios son procedimientos exactos
que nos permiten decidir si una frmula es vlida o
no.

IMPORTANTE

Semntica:
significado.

anlisis

del

Significado lgico = valor de


verdad

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

En el subcaptulo anterior hemos sealado que la


Lgica estndar se define a partir de cuatro
caractersticas, una de las cuales consiste en ser
apofntica.
Esta
caracterstica
nos
lleva
inmediatamente a la necesidad de detenernos en el
concepto de proposicin.
Una proposicin, desde el punto de vista lgica, es el
significado de una oracin aseverativa, que puede ser
calificada como verdadera o falsa. Esto significa que la
Lgica estndar es apofntica porque solo analiza
argumentos compuestos por proposiciones.
As por ejemplo, solo uno de los enunciados siguientes
es una proposicin:

Qu hora es?
Ojal fueran las 3:00 de la tarde.
Mara pregunt qu hora es.
Las horas de la tarde.
Qu tarde es!

Solo el tercero de esos cinco ejemplos es una


proposicin. Por qu? Porque ese enunciado tiene
valor de verdad; quizs sea verdadero, quizs sea
falso, pero el hecho es que puede ser una de las dos
cosas. En cambio, ninguno de los otros cuatro posee
esa fundamental cualidad.
Ahora, no todas las proposiciones son iguales. Veamos
algunos ejemplos y luego identifiquemos las
diferencias entre ellos.
1.
2.
3.
4.

Per y Colombia son pases sudamericanos.


Per y Colombia son pases colindantes.
Per no es un pas desarrollado.
Per es un pas en vas de desarrollo; luego, es un
pas en el que an hay muchos aspectos por
mejorar.
5. Per logr su independencia luego de que hubo
terminado la guerra.
La diferencia entre estos cinco enunciados es que 1, 3
y 4 son proposiciones compuestas; mientras que 2 y
5 son proposiciones simples. Por qu? Porque 2 y 5
carecen de operadores lgicos; mientras que en 1, est
el operador conjuncin (y); en 3 est el operador
negacin (no) y en 4 est el operador condicional
(luego).

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

cules de los siguientes enunciados expresan proposiciones.

1.1

El poder en el Per, segn Poder Econmico

1. 2

Los electores se preguntan si vale la pena volver a confiar en los


polticos.

1. 3

Es posible el crecimiento econmico el Per en medio de una crisis


mundial?

1. 4

El origen de las verdades cientficas que han marcado el curso de la


ciencia.

1. 5

Ningn ciudadano, por ms sencillo, humilde, por ms desprotegido


que est.

1. 6

Ingerir tres veces al da despus de cada comida.

1. 7

La prescripcin indicaba ingerir despus de cada comida tres veces al


da.

1. 8

Puesto que es evidente que las cosas que existen no proceden de


cosas todas limitantes ni de cosas todas ilimitadas.

1. 9

Si es fcil aprobar un curso, entonces por qu hay altos ndices de


desaprobados?

1.
10

En las estimaciones recogidas por expertos, se calcula cunto ms


rpido crecer la economa hasta el 2015.

1.
11

Leamos a Aristteles si queremos conocer el origen de la lgica.

1.
12

Aristteles fue el primero en Occidente en escribir textos de lgica.

1.
13

Ojal Aristteles no hubiera escrito textos de lgica.

1.
14

El nombre de la ciencia que estudia la validez formal de los


argumentos proviene del vocablo griego logos, que puede traducirse
tanto por palabra como por pensamiento.

1.
15

Si una falacia es una clase especial de argumento que se caracteriza


por ser engaosa e incorrecta, por qu resulta tan persuasiva?

57

Anexos

2. Marca en los recuadros correspondientes si se trata o no de una proposicin e


indica tambin si se trata de una proposicin simple o compuesta.
Expresiones

a) La Economa es una ciencia social que estudia los


procesos de produccin, intercambio, distribucin y
consumo de bienes y servicios.
b) La ciencia econmica analiza el comportamiento
humano como una relacin entre fines dados y medios
escasos que tienen usos alternativos.
c) Experiencias de emisiones de bonos en moneda local a
tasa fija a un plazo de 30 aos en la regin
d) Durante muchos aos la respuesta del Estado a las
demandas sociales fue no hay recursos.
e) Hay que tener paciencia, debemos esperar tiempos
mejores.
f) En diversas localidades la gente no siente el cambio
producido por el ortodoxo manejo de la economa.
g) Si la inversin decrece, disminuir automticamente el
trabajo y no habr bienestar.
h) No sean suicidas, la violencia por donde se le mire es
inconveniente.
i) Ojal que la economa de las mayoras nacionales
mejore.
j) Las OPV de acciones no cotizadas son empresas que no
han cotizado anteriormente en Bolsa.
k) Se considera participacin significativa la que iguale o
supere el 25% del capital de la sociedad afectada.
l) Aristteles hizo distinciones entre el comercio lcito
para el intercambio de mercaderas y el incorrecto que
solo busca la obtencin de ganancias.
m) John Maynard Keynes y los inicios de la moderna teora
macroeconmica
n) La plusvala es la diferencia entre el valor de las
mercancas producidas y el valor de la fuerza de
trabajo que se haya utilizado.
o) Cmo introducirse en nuevos mercados con el mnimo
coste o riesgo de inversin

58

Proposic
in

Simple o
compues
ta

3. Marca en el recuadro correspondiente una S para las proposiciones simples y


una C para las compuestas. En los casos en los que se trate de una
proposicin compuesta, seala cules son las proposiciones simples que la
conforman.
3.1

Aristteles naci en Estagira; Platn naci en Atenas.

3.2

La observacin, el planteamiento de un problema y la proposicin de hiptesis


son algunos de los pasos del mtodo cientfico de las ciencias experimentales.

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

Un concepto no es lo mismo que un trmino, sino lo que el trmino


representa.

3.5

Un concepto no es sino el significado de un trmino.

3.6

El profesor de economa dijo que el problema de la deuda externa no es


novedoso para los pases de Latinoamrica.

3.7

El profesor de economa no dijo que el problema de la deuda externa es


novedoso para los pases de Latinoamrica.

3.8

Las negociaciones entre pases raras veces son entre partes de similar
importancia, tamao o peso.

3.9

Las negociaciones comerciales con la Unin Europea no terminarn este ao.

3.10

Los alumnos salieron del aula luego de que termin la clase.

3.11

El proyecto est
establecidos.

3.12

Los alumnos necesitan saber si las prcticas calificadas incluyen preguntas


tericas.

3.13

Los alumnos estn obligados a asistir a clase si hay una prctica calificada o
un control.

3.14

Nadie que crea en la existencia de OVNIS tiene pruebas de su inexistencia.

3.15

El examen era bastante fcil, pero casi todos desaprobaron.

3.16

El verbo es la nica categora gramatical sin la cual no llega a constituirse una


oracin.

3.17

Platn fue discpulo de Scrates y maestro de Aristteles.

3.18

La diferencia entre los ms ricos y los ms pobres se evidencia en el hecho de


que el 20% de la poblacin tiene acceso al 60% de la riqueza del pas, el 60%
ms pobre, apenas accede al 20%.

59

Anexos

bien

diseado;

luego,

cumple

con

los

estndares

4. Cuntas proposiciones simples figuran en la siguiente lista? Numralas en los


recuadros.

En Lima nunca llueve.

It never rains in Lima.

Es fcil aprobar el curso de lgica.

Where the streets have no name.

Donde las calles no tienen nombre.

El curso de lgica es fcil de aprobar.

La resea que hizo Eduardo del libro de Dennet.

Eduardo hizo una resea del libro de Dennet.

El libro de Dennet fue reseado por Eduardo.

5. Identifica cules de las siguientes expresiones enuncian una proposicin y


cules no. En caso de expresarla, indica si es simple o compuesta. En caso
negativo, explica por qu.
Expresiones

a.

El asilado poltico no es bien visto en algunos pases


latinoamericanos.

b.

La diferencia entre Per y Chile radica en que este


ltimo apost por una apertura al libre mercado.

c.

Qu pasa con las medicinas en los hospitales


pblicos del pas!

d.

Espera los resultados con paciencia.

e.

El pas alcanzar un alto grado de empleabilidad si


se atrae la inversin privada extranjera.

f.

El grado de inversin recibido hace unas semanas


por el Per de parte de la calificadora Fitch, ms
que un cambio sustantivo, es un nuevo signo
distintivo de la fortaleza del pas para enfrentar una
etapa difcil de la economa mundial.

g.

La credibilidad, las buenas propuestas y la


confianza son elementos inseparables para ganar
las prximas elecciones norteamericanas.

i.

Haz inmediatamente lo que tu profesor te ordena.

60

Es una
proposicin?

Simple o
compuesta?

j.

El pas saldr del subdesarrollo en los prximos


aos si mantiene una poltica fiscal adecuada.

k.

Lima es la capital de Ecuador.

l.

Obtener el grado de inversin y contar con el


potencial crecimiento del pas constituyen un imn
adicional para los inversionistas interesados en el
Per.

m.

El ndice selectivo, que agrupa a las 15 acciones


lderes de un pas, retrocedi un 0,24 por ciento el
pasado mes.

n.

Cierra la ventana antes de dormir.

o.

El acceso al mercado, la libre competencia y el


respeto a la propiedad intelectual son algunas de
las condiciones necesarias para atraer la inversin.

p.

Si la tasa de inters en los bancos es tan baja,


cmo no invertir en la Bolsa de Valores.

q.

Cmo saber si el tan esperado chorreo est


beneficiando directamente a los ms pobres.

r.

La prueba fue bastante fcil, pero casi todos


desaprobaron.

UNIDAD 2

El lenguaje de la Lgica Proposicional

61

Anexos

2.1 Sintaxis de LP

LP tendr como objeto el


anlisis de la clase de
argumentos cuya validez
depende del significado de las
expresiones y, o, si
entonces, etc.

As, para realizar el anlisis de


este tipo de argumentos en el
lenguaje de LP usaremos letras
en lugar de enunciados y las
palabras que aparecen
conectando los enunciados en el
argumento se representarn por
las constantes lgicas.

La lgica es una disciplina, como ya hemos sealado,


interesada en estudiar la validez argumentativa. Hemos
indicado tambin que la Lgica, cuando se aplica y se
enfoca al anlisis de los argumentos, sean de la ciencia o
de la vida cotidiana, plantea como estrategia la creacin
de lenguajes simblicos.
En general, en Lgica se desarrollan diferentes lenguajes
simblicos para analizar diferentes clases de argumentos.
Cada lenguaje lgico caracteriza su propia clase de
esquemas argumentales vlidos.
La Lgica proposicional trata las formas de argumentos
cuya validez depende exclusivamente de cmo estn
conectados los enunciados entre s.
Como nos interesa el estudio de los argumentos cuya
validez depende de cmo estn conectados los
enunciados, independientemente de su contenido,
debemos ofrecer un anlisis general de todos los
enunciados o al menos de todos los enunciados de la
misma forma. Para eso, construiremos un lenguaje que
conste de ciertas expresiones que funcionen como
conectivos que sern las constantes lgicas de nuestro
sistema
y
que
representarn
las
conjunciones
gramaticales. Tambin tendremos letras para representar
los enunciados simples del lenguaje mediante los cuales
se podrn construir enunciados complejos usando los
conectivos. Llamaremos a estas expresiones que a
diferencia de las constantes no tendrn significado fijo,
variables lgicas. Este lenguaje formal contendr tambin
signos auxiliares como los parntesis que nos permitirn
eliminar la ambigedad.
Llamaremos LP al lenguaje formal de
proposicional, cuya sintaxis aqu presentamos:

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)

2. CONSTANTES LGICAS U OPERADORES:


Tipo
Mondico
Didicos

Nombre
Negacin
Conjuncin
Disyuncin

Smbolo
~

significado
no ...
... y ...
... o ...

lgica

Condicional
Bicondicional

si...entonces
...si y slo si...

3. SIGNOS DE AGRUPACIN: (,),[,],{,}, puntos


auxiliares
4. METAVARIABLES: A, B, C, ... (representan fbf)
REGLAS DE FORMACIN:
RF1) Cada variable proposicional es fbf.
RF2) Si A es fbf, ~(A) es fbf.
RF3) Si A y B son fbf, entonces:
a) (A B) es fbf.
b) (A B) es fbf.
c) (A B) es fbf.
d) (A B) es fbf.
RF4) Slo son fbf si cumplen con las reglas anteriores.

ACERCA DEL USO DE LOS PUNTOS AUXILIARES:


Los puntos auxiliares se colocan a ambos lados de los
operadores didicos para poner de relieve su jerarqua.
EJEMPLOS:
p ( q r ) es lo mismo que p .. q r
(q r) (p q) es lo mismo que q r .. p q
EJEMPLOS
Cules de las siguientes secuencias de smbolos son
frmulas bien formadas del clculo de la lgica
proposicional? Seale el operador de mayor jerarqua de
cada FBF, y en el caso de no serlo explique por qu.
FBF
?
r

FBF atmica o literal

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:

Marca con un en el recuadro correspondiente a las frmulas bien


formadas (fbf) del lenguaje de la lgica proposicional.
Indica cul es el operador con jerarqua en las fbf.

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.

3. Para qu sirven los puntos auxiliares?

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, , , )

6. Elabora dos FBF que correspondan al siguiente esquema de frmulas. Emplee


todos los datos que aparecen adems de los dados en el esquema. No emplee
otros smbolos.
FBF

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

En conclusin para determinar cuntos Estados Posibles


del Mundo genera una FBF, debemos aplicar la siguiente
frmula: 2n, donde n es el nmero de variables que tiene
la FBF.

70

2.3.1 FUNCIONES VERITATIVAS


Son expresiones cuyo valor de verdad depende
exclusivamente del valor de verdad de sus componentes.
TABLAS DE VERDAD ELEMENTALES:
A B
V
V
F
F

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

CARACTERSTICAS DE LOS OPERADORES


Las caractersticas semnticas de los operadores se
pueden resumir en el siguiente cuadro:
Conjuncin:
Disyuncin:
V : Todos los elementos V.

V : Basta un elemento V

F : Basta un elemento F.

F : Todos los elementos F

Condicional:
V: 1. Antecedente es F
2. Consecuente es V
F:

Antecedente
consecuente es F

Bicondicional:
V : Valores iguales.
y

F : valores contrarios.

2.3.2 CLASIFICACIN DE FRMULAS


Las frmulas en LP se pueden clasificar semnticamente
en tautolgicas, contradictorias y contingentes o
consistentes.
TAUTOLGICAS:
Es VERDADERO en todo EPM.
Esquema de frmula: T
CONTINGENTES:
Presenta, por lo menos, un EPM
VERDADERO y un EPM FALSO.
Esquema de frmula: Q

71

Anexos

CONTRADICTORIAS:

Es FALSO en todo EPM.


Esquema de frmula:

MTODO DECISORIO

Es un procedimiento mecnico que permite decidir el


comportamiento de una fbf, es decir, determinar si esta
es tautolgica, contradictoria o contingente.
Ejemplos: Tablas de Verdad, Mtodo Abreviado,
Diagramas Semnticos.

2.3.3 EL MTODO ABREVIADO


Es un mtodo decisorio que permite evaluar una FBF para
determinar si sta es tautolgica, contradictoria o
contingente.
Para aplicar este mtodo debemos, en primer lugar,
aprender las TABLAS ELEMENTALES, y luego seguir las
indicaciones para el PROCESO OPERATIVO.
Indicaciones
abreviado:
1

para

proceso

operativo

del

mtodo

El mtodo abreviado parte de una hiptesis o


suposicin, es decir, de asumir que la FBF en cuestin
es VERDADERA o FALSA.
Conviene suponer que la FBF es falsa si ella es
condicional o disyuntiva, pero si es conjuntiva conviene
suponerla verdadera; ya que estas hiptesis generan
un solo EPM.
Ejemplo:

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

3 Debe trabajarse primero aquellos pedazos de fbf


que generen un EPM.
Ejemplo:

p
q

72

..

q ..
p
F V F F F

4 Se trasladan los valores de verdad de las


variables encontrados, una por una y tratando de
que se cumplan las reglas de las tablas de verdad
elementales.
Ejemplo:

p v
q
q p
F V V F

..

V F

5 Se visualiza si hay al menos una variable con


valores opuestos.
Ejemplo:

p v
q
q p
F V V F

..

V F

Si hay oposicin en los valores de una variable, no se


cumple la hiptesis; y si no hay oposicin, entonces la
hiptesis se cumple.
Entonces, a qu resultados llegamos al final de este
proceso?
Si se parti de una hiptesis verdadera y se encuentra
al final del proceso que dicha hiptesis no se cumple,
entonces la fbf nunca puede ser verdadera o, lo que es
lo mismo, la fbf ser contradictoria.
Si se parti de una hiptesis falsa y se encuentra al
final del proceso que dicha hiptesis no se cumple,
entonces la fbf nunca puede ser falsas o, lo que es lo
mismo, la fbf ser tautolgica.
Si se parti de una hiptesis verdadera o falsa y se
encuentra al final del proceso que dicha hiptesis s se
cumple, entonces la fbf puede ser contingente; para
verificarlo es necesario analizar en detalle los
resultados y examen en qu estados posibles del
mundo de cumple la hiptesis.

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

2. Mediante mtodo abreviado, determina si las siguientes frmulas son


tautolgicas, contradictorias o contingentes. A partir de los resultados,
construye la tabla de verdad de las frmulas contingentes.
Tipo de
frmula

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

(ps) (qr) (pq)(r


s)

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

Algunos trminos y operadores lgicos


He aqu algunas expresiones usuales que indican
conectivas lgicas. Sin embargo, debemos tener cuidado
al simbolizar pues la traduccin no es mecnica.

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

Interpretacin de los signos de puntuacin


Los signos de puntuacin no solo pueden indicar
conjuncin, tambin se pueden interpretar por otros
operadores o simplemente sealando el alcance de cada
operador.
Expresiones
Simbolizacin
CONJUNCIN

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:

Los signos de puntuacin:

Ejemplo:
No ocurre que p y q, a pesar de que r.
(p q) r

Si la negacin va antecediendo a otro operador

lgico:
Ejemplo:
No ocurre que si p, q.
(p q)

El modo del verbo:

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

1. La ciencia econmica est siempre justificada por el deseo humano de


satisfacer sus propios fines.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

2. La economa es la ciencia que estudia la conducta humana como una


relacin entre fines y medios escasos que tienen usos alternativos.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

3. Hay consenso en que una definicin no es sino la exposicin del significado


de una palabra por varias otras que no sean sinnimas.

SIMBOLIZACIN:

82

ESTRUCTURA FORMAL

PROPOSICIONES

4. Las economas del Grupo de los 7 y el Grupo de los 20 deben actuar


conjuntamente para salir de la crisis mundial.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

5. Las ventas a Europa de frutas frescas, especialmente mango, sufrieron una


contraccin en el 2008, aunque esto se puede atribuir en parte a un
exceso de oferta y no solo a la inminente recesin mundial.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

6. La globalizacin es un fenmeno que no resulta nuevo, aunque con el


trmino se ha querido denominar a las nuevas expresiones que alcanza el
fenmeno de la internacionalizacin de la vida social.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

7. Los yates y transatlnticos estn avanzando, en funcin de las nuevas


oportunidades, pero las balsas y botes de remo estn haciendo agua y
algunas se hunden rpidamente.

SIMBOLIZACIN:

83

Anexos

FORMALESTRUCTURA

PROPOSICIONES

8. En realidad una plena globalizacin no es ms que homogeneizar


determinadas aspectos de las relaciones econmicas, normas, principios,
hbitos e instituciones internacionales por parte de las potencias
hegemnicas.

ESTRUCTURA FORMAL

PROPOSICIONES

9. No hay una estimacin precisa de cuntos productores de Amrica Latina


participan del comercio justo, pero slo en Mxico se calcula que abarcan
50 000 familias campesinas. Entre 80 y 90 por ciento de las ventas
mexicanas, especialmente el caf orgnico, van a mercados del Norte rico.

SIMBOLIZACIN:

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

10.O todos nos hacemos responsables del problema de la corrupcin en el


pas o todos tendremos que pagar las consecuencias de este grave flagelo.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

11.Todo lo que no se gasta en salarios, intereses o arrendamientos es


beneficio, es decir dividendos aunque, normalmente, solo una parte del
beneficio total se distribuye a los accionistas en forma de dividendos.

SIMBOLIZACIN:

84

FORMALESTRUCTURA

PROPOSICIONES

12.Una vez que se han satisfecho las necesidades bsicas, el deseo de


conocer impulsa a realizar actividades menos limitadas y ms complejas.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

13.Si la inversin decrece, disminuir automticamente el trabajo y no habr


bienestar.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

14.El objeto de estudio de la Economa es la actividad humana y, por tanto, es


una ciencia social.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

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.

SIMBOLIZACIN:

85

Anexos

ESTRUCTURA FORMAL

PROPOSICIONES

16.Tradicionalmente, si la incertidumbre se apoderaba del contexto


econmico argentino, los ahorristas se volcaban masivamente a la compra
de dlares ya que la moneda norteamericana ha sido tradicionalmente uno
de los pocos refugios capaces de proteger la riqueza de la poblacin.

SIMBOLIZACIN:

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:

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

19.La retraccin de la economa global puede continuar un ao y medio ms


porque las medidas con que los gobiernos la estn combatiendo son muy
tmidas y tardas.

SIMBOLIZACIN:

SIMBOLIZACIN:

86

FORMALESTRUCTURA

PROPOSICIONES

20.El conocimiento no se globaliza, porque lo que en la realidad est


globalizndose es la apropiacin privada del mismo, mediante el refuerzo
del sistema de marcas y patentes que los pases ms avanzados pretende
extender incluso a rubros que hasta ahora eran considerados patrimonio
comn no apropiable.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

21.No es cierto que exista una pugna irreconciliable entre los partidos de
derecha y los de izquierda.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

22.No sern sancionados penalmente, pero s habr una sancin moral.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

23.Ni Luis ni Claudia son deportistas universitarios, pues ambos estn


concentrados en pasar sus cursos.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

24.No es cierto que si la pregunta es fcil, entonces la respuesta sea evidente.

SIMBOLIZACIN:

87

Anexos

FORMALESTRUCTURA

PROPOSICIONES

25.Si no es cierto que en Lima nieve en invierno y que llueva a cntaros,


entonces nuestro clima es templado.

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

28.Nadie podr resolver el ejercicio, aunque recurra a todos los medios.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

29.El tratamiento de un recurso no est justificado desde el punto de vista


econmico, a menos que sea escaso o tenga ms de un fin.

SIMBOLIZACIN:

88

FORMALESTRUCTURA

PROPOSICIONES

30.Todos aprobarn el examen aunque haya tres o cuatro preguntas difciles.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

31.Hasta el momento la economa no se ha ocupado en exceso de determinar


cmo se forman las necesidades humanas ni de si son ilimitadas o no, sino
del correcto uso de los recursos.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

32.El conocimiento racional est constituido por conceptos, juicios y


raciocinios, y no por sensaciones o pautas de conducta.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

33.Aunque no existen cifras oficiales, se calcula que en el Chile se realizan


170 mil abortos al ao.

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

36.Cuando mejoren las condiciones, los empleados dejarn la posicin hostil y


se dar paso al dilogo; sin embargo, la huelga no terminar hasta que se
firme un acuerdo, pues los trabajadores desconfan de los actuales dueos
de la empresa.

SIMBOLIZACIN:

FORMALESTRUCTURA

PROPOSICIONES

37.Dado que la vida es un derecho, hay que defenderla desde la concepcin.


Sin embargo, no debemos olvidarnos de la mujer, pues su vida e
integridad son afectadas al hacer exigible ese derecho.

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

39.No se justifica un aumento del sueldo mnimo, porque no favorecera a la


mayora e inducira a una elevacin de la informalidad ya que las micro y
pequeas empresas no podran pagar mayores sueldos.

ESTRUCTURA FORMAL

PROPOSICIONES

40. El sueldo mnimo slo se lo pagan a un mximo de 20 a 30 por ciento de


los trabajadores, entonces subir el sueldo mnimo slo beneficia a una
minora. La gran mayora no lo recibe porque es informal. Si se eleva el
sueldo mnimo se afectara el sector formal.

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.

2.4 Validez de inferencias


LA IMPLICACIN
Definicin: A implica a B cuando unidos por el
condicional, A como antecedente y B como consecuente,
la relacin es vlida.

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:

Si hay oposicin en los valores de al menos una


variable, entonces A implica a B.

Si no hay oposicin en los valores de una variable,


entonces A no implica a B.
Ejemplo: Determine si A = p ( q r) implica a B =
q (r p).
p (
V V F

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

No es simtrica, porque el que A implique B no


garantiza necesariamente que B implique a A.
Si A B, no necesariamente B A

LA EQUIVALENCIA
Definicin: A equivale a B cuando unidos A y B por el
bicondicional, se obtiene una relacin vlida.
AB

AB

Esto significa que A y B tienen la misma tabla de verdad, y


por ende se implican mutuamente.
Anlisis por Mtodo Abreviado: Para determinar si A y
B son equivalentes:
1) Se relacionan as: A B
2) Se supone falsa: A B, y se aplica M. A.
F
F
3) Decisin:
Si se encuentra un absurdo (una variable es a la vez
verdadera y falsa), entonces A equivale a B.
Si no se encuentra ningn absurdo (cada variable
tiene un solo valor de verdad en cada lnea del
procedimiento), entonces A no equivale a B.
Ejemplo: Si A = p (q r) y B = (q r), determine si A y
B son equivalentes.
Propiedades de la equivalencia: Esta relacin cumple con
las siguientes propiedades:
1. REFLEXIVA: Cualquier FBF equivale a s misma.
AA
2. TRANSITIVA: Si una FBF equivale a una segunda y
esta a una tercera, la primera equivale a la tercera.
( A B) ( B C).. A C
3. SIMTRICA: Si una FBF equivale a una segunda, la
segunda equivale a la primera.
A B . . B A
4. Las FBF tautolgicas son equivalentes entre s.
TT
5. Las FBF contradictorias son equivalentes entre s.

6. Para simplificar:
ATA
ATT
A
AA

LA NOCIN DE VALIDEZ FORMAL

93

Anexos

INFERENCIA: Es una estructura de proposiciones donde a


partir de una o ms proposiciones llamadas premisas se
obtiene otra proposicin llamada conclusin. Las
inferencias tienen varias formas de presentarse.
P1

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.

ANLISIS DE VALIDEZ POR MTODO ABREVIADO:


Para determinar si una inferencia es vlida se debe:

Primero, distinguir la conclusin del conjunto de


premisas. En un argumento, la conclusin puede
presentarse:

1) al final:

P1. P2. P3. De modo que, C.

2) al inicio:

C, puesto que P1, P2, P3.

3) al medio:

P1, P2, luego, C, puesto que P3.

Simbolizarla: (recordar la FBF inferencial)


P1 P2 Pn . . C

94

Suponerla falsa (es decir, las premisas verdaderas y


la conclusin falsa) y aplicar M. A.
P1 P2 Pn . . C
F

Si hay una oposicin en al menos una variable, es


vlida; y si no hay oposicin en los valores de las
variables, la inferencia es invlida.

Ejemplos: Determine la
expresiones mediante M, A.

validez

de

las

siguientes

1. p si q; puesto que si q, r, y p si s.

2. No p, si y solo si no q o s; de ah que, si s, no p; puesto


que, si r, s.

3. p si q, puesto que r. Si s o p, entonces r y q. Pero, no es


el caso que si r no s. Luego, no q si y solo si p.

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.

Todas las ballenas son mamferos.


Todos los mamferos tienen pulmones.
Por lo tanto, todas las ballenas tienen pulmones.

Pero un argumento puede contener tambin solamente proposiciones falsas y, sin embargo, puede ser un
argumento vlido, como sucede en el siguiente ejemplo:
II.

Todas las araas tienen diez patas.


Todas las criaturas de diez patas tienen alas.
Todas las araas tienen alas.

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.

Si yo tuviera todo el oro de Fort Knox, sera rico.


No tengo todo el oro de Fort Knox.
Por lo tanto, no soy rico.

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

Todos los peces son mamferos.


Todas las ballenas son peces.
Por lo tanto, todas las ballenas son mamferos.

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.

SIMBOLIZACIN: Y MTODO ABREVIADO

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

SIMBOLIZACIN: Y MTODO ABREVIADO

FORMALESTRUCTURA

PROPOSICIONES

4. Si las afirmaciones de las ciencias sociales no pueden refutarse o convalidarse


mediante un experimento en laboratorio, entonces usan una diferente
modalidad del mtodo cientfico. Ocurre que las afirmaciones de las ciencias
sociales no pueden refutarse ni convalidarse mediante un experimento en
laboratorio. Luego, las ciencias sociales usan una modalidad diferente del
mtodo cientfico.

Es vlida?

ESTRUCTURA FORMAL

PROPOSICIONES

5. 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.

SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

98

FORMALESTRUCTURA

PROPOSICIONES

6. La contabilidad y la administracin siempre trabajan juntas, dado que la


administracin necesita de la contabilidad o esta es una herramienta para
aquella. Adems, la administracin necesita de la contabilidad o las dos
conforman una sola disciplina. Sin embargo, no siempre la administracin y la
contabilidad trabajan juntas. Por ello, la contabilidad es una herramienta para
la administracin aunque las dos conforman una sola disciplina.

SIMBOLIZACIN: Y MTODO ABREVIADO

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?

SIMBOLIZACIN: Y MTODO ABREVIADO

FORMALESTRUCTURA

PROPOSICIONES

8. 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.

Es vlida?

SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

99

Anexos

FORMALESTRUCTURA

PROPOSICIONES

9. Si estoy condenado a desaprobar el curso de Lgica, es intil estudiar; y si no,


tambin es difcil estudiarlo. Estoy condenado a desaprobar el curso de Lgica
o no; por lo tanto, es intil o difcil estudiarlo.

SIMBOLIZACIN: Y MTODO ABREVIADO

FORMALESTRUCTURA

PROPOSICIONES

10.La delincuencia disminuir, si las leyes son buenas y su cumplimiento es


estricto. Si el cumplimiento de las leyes es estricto y la delincuencia
disminuye, nuestro problema es de carcter prctico. En consecuencia, si las
leyes son buenas, nuestro problema es de carcter prctico o el cumplimiento
de las leyes es estricto.

Es vlida?

SIMBOLIZACIN: Y MTODO ABREVIADO:

FORMALESTRUCTURA

PROPOSICIONES

11.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.

Es vlida?

SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

100

FORMALESTRUCTURA

PROPOSICIONES

12.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.

SIMBOLIZACIN: Y MTODO ABREVIADO

FORMALESTRUCTURA

PROPOSICIONES

13.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.

Es vlida?

SIMBOLIZACIN: Y MTODO ABREVIADO

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?

15. No es cierto que si todas las afirmaciones econmicas son irrefutables, si

SIMBOLIZACIN: Y MTODO ABREVIADO

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?

16.Si x pertenece a dos conjuntos, entonces pertenece a la interseccin de ellos;


adems, un conjunto est contenido en otro si todo elemento del primero est
en el segundo. Pero, no es cierto que si x pertenece a dos conjuntos, entonces
su interseccin sea vaca. Por lo tanto, aunque x pertenezca a dos conjuntos,
un conjunto est contenido en otro o su interseccin es vaca.

101

Anexos

FORMALESTRUCTURA

PROPOSICIONES
SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

PROPOSICIONES

FORMALESTRUCTURA

17.La pobreza es un problema social pues es un problema econmico. Si la


poltica econmica busca resolver los problemas econmicos pero no es
eficiente, entonces no puede ofrecer los resultados esperados. Por otro lado,
la pobreza es un problema econmico dado que la poltica econmica no es
eficiente. De ah que si la poltica econmica busca resolver los problemas
econmicos, entonces si la pobreza es un problema social, tambin es un
problema econmico.

SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

SIMBOLIZACIN: Y MTODO ABREVIADO

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?

19.La macroeconoma es un rea en constante evolucin ya que en ella se lleva a


cabo una constante investigacin. Adems, la meta de la investigacin
econmica no es tanto estar en lo correcto, sino ser preciso. Sin embargo, si la
meta de la investigacin econmica no es estar en lo correcto, o ninguna de
las actuales escuelas econmicas captura el funcionamiento real de la
economa, o ni ser preciso es la meta de la investigacin econmica ni la
macroeconoma es un rea en constante evolucin. Por ello, si en la economa
se lleva a cabo una constante investigacin, entonces no es cierto que
ninguna de las actuales escuelas econmicas capture el funcionamiento real
de la economa.

102

FORMALESTRUCTURA

PROPOSICIONES
SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

PROPOSICIONES

FORMALESTRUCTURA

20.Puesto que la herencia influye sobre los comportamientos predeterminados,


los factores fisiolgicos no limitan la conducta. Sin embargo, no hay estmulos
que provoquen dichos comportamientos, ni los factores externos estimulan la
predisposicin hacia un tipo de conducta ni los factores fisiolgicos la limitan.
Por ello, si la herencia influye sobre comportamientos predeterminados,
entonces no es cierto que o los factores externos estimulen la predisposicin
hacia un tipo de conducta o haya estmulos que provoquen comportamientos
predeterminados.

SIMBOLIZACIN: Y MTODO ABREVIADO

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.

SIMBOLIZACIN: Y MTODO ABREVIADO:

Es vlida?

SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

103

Anexos

FORMALESTRUCTURA

PROPOSICIONES

22.Se conservar el mismo volumen de produccin si la reforma agraria no da


buenos resultados; porque la reforma agraria dar buenos resultados si todas
las tierras son explotadas, pero se conservar el mismo volumen de
produccin si todas las tierras no son explotadas. Por otro lado, hay inversin
de capitales en minera, pero los mineros ganan salarios bajos no obstante
todas las tierras son explotadas. De ah que no es cierto que la inversin en la
produccin minera y la reforma agraria estn dando buenos resultados.

SIMBOLIZACIN: Y MTODO ABREVIADO

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?

SIMBOLIZACIN: Y MTODO ABREVIADO

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?

SIMBOLIZACIN: Y METODO ABREVIADO

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.

SIMBOLIZACIN: Y MTODO ABREVIADO

Es vlida?

II. Dada la siguiente inferencia:


Puesto que las ciencias deductivas son exactas y la Lgica es una ciencia
deductiva, no es cierto que las verdades lgicas o las verdades matemticas
sean relativas. No obstante, si la Lgica es exacta pero su aplicacin es
limitada, entonces las ciencias deductivas son exactas aunque las verdades
matemticas son relativas. Adems, no es verdad que si las ciencias
deductivas fueran exactas, la aplicacin de la Lgica no sera limitada. En
consecuencia, las verdades lgicas son relativas debido a que la Lgica es una
ciencia deductiva.
1. Determina su validez mediante mtodo abreviado.
2. Si resultara invlida, analiza los resultados para determinar qu premisas sera
necesario modificar o aadir para validar la inferencia.

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

se reducen todas las tautologas. Los principios lgicos son


tres:
Principio de identidad: toda proposicin es idntica a s
misma.
pp
Principio del tercio excluso: una proposicin
verdadera o falsa, no existe una tercera posibilidad.
pvp

es

Principio de no contradiccin: una proposicin no


puede ser verdadera y falsa a la vez.
(p p)
REGLAS DE INFERENCIA
Las reglas de inferencia se dividen en dos grupos: las
equivalencias notables y las implicaciones notables.
Las equivalencias notables si recordamos la nocin de
equivalencia
nos
indican
qu
frmulas
son
equivalentes a otras. Estas equivalencias no son las
nicas que existen, pero son las que nos resultan de
mayor utilidad para hacer demostraciones por
derivacin. Cada equivalencia notable nos permite
sustituir una frmula cualquier por su equivalente.
Las implicaciones notables atendiendo a la nocin de
implicacin que hemos presentado antes nos indica
qu es vlido inferir a partir de una serie de datos. Esta
relacin de implicacin no es recproca, como s lo es la
relacin de equivalencia.
A continuacin presentamos las reglas de inferencia, de
implicacin y equivalencia, que usaremos para poder
hacer demostraciones por derivacin.

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

1. DOBLE NEGACIN (DN)


2. IDEMPOTENCIA (IDEM)
3. COMNUTACIN (COM)
4. ASOCIACIN (ASOC)
5. DISTRIBUCIN (DIST)
6. DEFINICIN DEL
CONDICIONAL (DEF. )
7. DEFINICIN DEL
BICONDICIONAL (DEF. )
8. TRANSPOSICIN (TRANSP)
9. DE MORGAN (DM)

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

PROCEDIMIENTO PARA EL MTODO DE LA DERIVACIN


La derivacin como mtodo es la aplicacin de un
conjunto de reglas lgicas para demostrar que la
conclusin est implicada por un conjunto de premisas.

Es sintctico.
Es un sistema de reglas lgicas.
Demuestra solo las frmulas o inferencias vlidas.

Esta demostracin consiste en obtener la conclusin a


partir de un conjunto de premisas, en una secuencia finita
de pasos, donde cada paso est justificada por una regla
lgica.
LA PRUEBA DIRECTA
P1)
P2)
:
:
Pn)
n+1)
:
:
:
n+n) C

109

Anexos

// C
(justificacin)

(justificacin)

Ejercicios de aplicacin
I.

Demuestra la validez de las siguientes inferencias aplicando


derivacin. Justifica la respuesta en cada caso indicando qu regla de
inferencia has usado.

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

Redacta una conclusin que se derive vlidamente de los siguientes


conjuntos de proposiciones. Usa en cada caso reglas de equivalencias

e implicaciones notables que sean aplicables. Justifica indicando qu


reglas has usado en cada caso.
1. Si la msica es uno de los rituales ms antiguos de la especie humana, entonces de
alguna manera la msica define lo humano. Ciertamente, la msica es uno de los
rituales ms antiguos de la especie humana. En consecuencia
Conclusin:

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:

3. Si las empresas musicales son rentables, entonces la industria musical es un buen


negocio y es factible al empleabilidad en dicha industria. En efecto, las empresas
musicales son rentables. En consecuencia
Conclusin:

Justificacin:

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:

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:

6. Puesto que los derechos de autor contemplan los derechos de compositores,


entonces los intrpretes estn excluidos de esta regulacin. Pero los intrpretes no
estn excluidos de esta regulacin. Por tanto
Conclusin:

Justificacin:

7. Si la msica es tanto un medio para percibir el mundo como un instrumento de


conocimiento, entonces la msica es un completo constructo cultural. Ciertamente, la
msica es a la vez un medio para percibir el mundo y un instrumento de
conocimiento., Por tanto
Conclusin:

Justificacin:

8. Si el ranking Billboard toma en cuenta el streaming, las descargas as como las


tradicionales ventas fsicas, entonces es un ranking completo. Pero no es un ranking
completo. Entonces
Conclusin:

Justificacin:

9. Si desligamos la obra musical de la sociedad que la cre, los signos musicales


tendran distintos significados. Si los signos musicales tuvieran significados distintos,
entonces cada obra musical sera un producto cultural diferente. Por tanto
Conclusin:

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:

14. Los estudiantes de derecho o rinden el examen final satisfactoriamente o sustentan


un trabajo adicional para aprobar la materia. Resulta que estos estudiantes no
rindieron el examen final satisfactoriamente. Por ello
Conclusin:

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:

18. Juliana ha decidido o emprender un viaje de estudios, o dedicarse a ascender en su


carrera como politloga y alcanzar un mejor puesto en el rea en que se desempea.
Sin embargo, ha decidido no emprender el viaje de estudios. En consecuencia
Conclusin:

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:

20. Si el sistema tonal ha evolucionado en relacin con el capitalismo, entonces dicho


sistema se ha hecho ms racional y rgido. Si el sistema tonal se ha hecho ms
racional y rgido, entonces ha sufrido un proceso de racionalizacin. En
consecuencia
Conclusin:

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:

22. Si la experiencia musical genera campos de actividad cultural, entonces desempea


un papel social. Si la experiencia musical desempea un papel social, es necesario
comprenderla desde los estudios sociolgicos. De ah que
Conclusin:

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:

25. Si el baile y la msica surgen de sentimientos universales: alegra y tristeza, entonces


son creaciones naturales. Si el baile y la msica son creaciones naturales, entonces
todos somos msicos preexistenciales. Entonces
Conclusin:

Justificacin:

UNIDAD 3

La Lgica de clases

116

3.1 Proposiciones categricas


Importancia de la Lgica Clsica
Denominamos lgica de clases o lgica tradicional a la
lgica desarrollada por Aristteles sobre la base de las
llamadas proposiciones categricas. Esta lgica se
denomina tambin lgica de las proposiciones
analizadas, porque adems de tomar en cuenta las
relaciones interproposicionales, trata de la estructura
interna de las proposiciones categricas.
En este sentido, la lgica proposicional no es suficiente
para analizar todo tipo de inferencias, dado que muchos
argumentos vlidos resultan invlidos al ser analizados
por la lgica proposicional.
Por ejemplo, la inferencia: Todo limeo es peruano.
Todo peruano es latinoamericano. Por ello, todo limeo
es latinoamericano." nos resulta razonablemente
correcta, pero si la analizamos en LP resultara invlida,
lo cual contradice nuestra intuicin. Sin embargo, si
tomamos en cuenta las relaciones entre sujeto y
predicado que se dan dentro de las proposiciones,
obtendremos la confirmacin de su validez.

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

As, pues, hay inferencias que son vlidas no solo en


funcin de sus relaciones interproposicionales sino que
su validez reside en la estructura interna de las mismas,
y por lo tanto, es necesario tener algunos mtodos que
nos permitan analizar la validez de este tipo de
inferencias.
Qu son las proposiciones categricas?
Las proposiciones categricas son enunciados que
afirman o niegan, por ello pueden ser calificados como
verdaderos o falsos. Esto es lo que les otorga su
carcter proposicional. Pero, a qu nos referimos al
afirmar que son categricas? Pues al hecho de que
cada una de estas proposiciones establece una relacin
entre dos (o ms, cuando son atpicas) categoras.
Una categora puede expresarse como un sustantivo,
un adjetivo, un adjetivo sustantivado o una frase
nominal. En cualquiera de estos casos, la categora
alude a una clase de objetos, a un conjunto de cosas o
117

Anexos

individuos o un concepto que agrupa individuos. Por


ejemplo, la categora hombre, mortales, peces, el
conjunto de estudiantes de una universidad, el conjunto
de objetos rojos, etc. En toda proposicin categrica
una categora funciona como sujeto de la oracin y la
otra categora funciona como predicado.
Por otro lado, toda proposicin categrica se caracteriza
por sealar una cantidad, la que se manifiesta con
expresiones como: todos, algunos, nadie, nada, etc. As,
toda proposicin categrica puede clasificarse segn su
cantidad (universales o particulares) y segn su
cualidad (afirmativas o negativas).
Tradicionalmente, las proposiciones categricas tpicas
se denotan (o representan) con letras. As, la universal
afirmativa se denota con la letra A; la universal
negativa se denota con la letra E; la particular
afirmativa se denota con la letra I; y la particular
negativa se denota con la letra O. Estas denotaciones
se derivan de las palabras latinas AFFIRMO Y NEGO.
El cuadro siguiente ilustra la clasificacin de las
proposiciones categricas tpicas:
TIPO

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

La notacin de una proposicin se construye


representando las categoras con letras maysculas y el
tipo de la proposicin con una letra minscula. Por
ejemplo, la proposicin TODOS LOS HOMBRES SON
MORTALES tendra esta notacin: H a M. La H
representa la categora hombres; la M representa la
categora mortales y la a representa el tipo de la
proposicin (universal afirmativa).

118

Adems de las consideraciones sealadas sobre las


proposiciones categricas tpicas, es importante tener
en cuenta que entre ellas existen relaciones de
oposicin, las que pueden graficarse del modo
siguiente:

En el grfico anterior, se observa que las cuatro


proposiciones categricas estn dispuestas de tal modo
que representan un cuadrado. A este cuadrado, se le
conoce tradicionalmente con el nombre de cuadro de
oposicin. Si bien se pueden establecer muchas
relaciones de oposicin entre las cuatro proposiciones,
en este punto solo nos interesa destacar una de ellas: la
relacin que est marcada por las flechas.
Las proposiciones ubicadas en diagonal unas de otras
son entre s contradictorias. Esto significa que una es la
negacin de la otra. As, si por ejemplo afirmamos que
la proposicin SaP es verdadera, su contradictoria, SoP,
tendra que ser falsa. Y, del mismo modo, si SaP fuese
falsa, su contradictoria SoP sera verdadera.
Ms informacin sobre las relaciones de oposicin se
encuentra en el anexo 1 de este material.

119

Anexos

Distribucin de los trminos en las proposiciones


categricas
Adems de las relaciones de oposicin entre estas
cuatro proposiciones categricas, existe otro aspecto
importante que debemos tener en cuenta sobre ellas.
Se trata de la distribucin de los trminos. Como hemos
visto, cada proposicin categrica tiene dos trminos,
uno que funciona como sujeto y el otro, como
predicado. En cada proposicin categrica, se hace un
uso diferente de estos dos trminos y de ah que se
habla de cmo estn distribuidos los trminos en cada
proposicin. Para explicar esto, presentaremos la
distribucin de los trminos en un grfico.

Lo que se muestra en el grfico es lo siguiente:


Cada trmino encerrado en un crculo es el trmino
distribuido en la proposicin.
La proposicin A (SaP) solo distribuye su sujeto.
La proposicin E (SeP) distribuye sujeto y predicado.
La proposicin I (SiP) no distribuye ni sujeto ni
predicado.
La proposicin O (SoP) solo distribuye su predicado.
Es importante, adems, observar la relacin de oposicin
entre las proposiciones y la forma en que cada una
distribuye los trminos. As, cada proposicin distribuye
exactamente lo opuesto que su respectiva contradictoria.

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

Todos los mamferos son vivparos.

1.2

Algunas
ciencias
deductivas.

1.3

Algunas protenas son encimas.

1.4

Nadie
que
crea
en
completamente racional.

1.5

Ningn nmero primo es mltiplo de 3.

1.6

Cualquier ciencia natural es experimental.

1.7

Todos los
genticos.

1.8

Algunas clulas no tienen membrana.

1.9

Algunas mascotas son animales salvajes.

naturales

factores

no

son

duendes

hereditarios

NOTACIN

es

son

1.10 Nada material es espiritual.


2. Escribe dos proposiciones de cada tipo, segn se indica en cada caso y
escribe sus notaciones. Indica con un crculo cul es el trmino que cada
proposicin distribuye.
Notacin:

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

3. Qu tipo de proposicin son las siguientes: A, E, I, O? Escribe sus notaciones.


Indica, encerrndolo en un crculo, cul es trmino distribuido en cada caso.

3.1Algunos seres vivos no se reproducen.


3.2Nada que viaje a la velocidad de la luz es un objeto
fabricado por el hombre.
3.3Todos los seres que dependen del oxgeno son seres
vivos.
3.4Algunos mamferos son ovparos.
3.5Ningn ser vivo es eterno.
3.6Algunos mamferos son animales acuticos.
3.7Las formas de conocimiento ms valoradas por las
sociedades occidentales son las cientficas.
3.8Quienes no creen en Papa Noel disfrutan poco de la
Navidad.
4. Escribe la proposicin contradictoria correspondiente a cada una de las
siguientes:
4.1Algunos libros de texto son
aburridos.
4.2Todo objeto que viaja a la
velocidad de la luz es
incomprensible.
4.3Todos los seres que dependen del
oxgeno son seres vivos.
4.4Algunos mamferos son ovparos.
4.5Algunos libros de texto son
aburridos.
4.6Algunos directores de teatro son
escritores.
4.7Algunos silogismos no son vlidos.
4.8Algo difcil de comprender puede
ser interesante.

122

3.2 Silogismos categricos


Qu es un silogismo categrico?
Un silogismo categrico es una clase especial de
argumento caracterizado por lo siguiente:
Est compuesto de dos premisas y una conclusin.
Las premisas y la conclusin son proposiciones
categricas.
En total, el silogismo tiene tres trminos (o
categoras), uno de los cuales slo aparece en las
premisas (y se llama trmino medio); los otros dos
slo aparecen en la conclusin y se llaman trmino
menor (sujeto de la conclusin) y trmino mayor
(predicado de la conclusin).
La premisa mayor contiene el trmino mayor y el
trmino medio.
La premisa menor contiene el trmino menor y el
trmino medio.
La conclusin contiene el trmino menor (su sujeto)
y el trmino mayor (su predicado).
Veamos algunos casos para ilustrar lo que se acaba de
indicar.

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.

Como vemos, en el ejemplo 1, el trmino medio es


mortales, pues es el trmino (o categora) que slo
aparece en las premisas. Es la expresin que establece
una conexin entre las premisas. En ese mismo
ejemplo, el trmino mayor (el predicado de la
conclusin) es el conjunto de los que viven ms de cien
aos; y el trmino menor (el sujeto de la conclusin) es
hombres. En el ejemplo 2, el trmino medio es pez; el
mayor, mamfero; y el menor, ser acutico.
Al ver los ejemplos podemos tambin darnos cuenta de
que un silogismo puede ser un argumento slido o
vlido o puede no serlo. Precisamente por esta razn es
que resulta importante tener mecanismos para analizar
esta clase de argumentos.

123

Anexos

A continuacin nos detendremos a analizar las


proposiciones categricas, a fin de comprender mejor la
naturaleza de estos silogismos.

Modo y figura de un silogismo


Los silogismos categricos se analizan y se clasifican
segn su modo y su figura. Por ello, tanto el modo como
la figura son herramientas para catalogar un silogismo.
Para indicar cul es el modo y la figura de un silogismo,
primero debemos siempre ordenarlo. Esto significa que
el silogismo debe parecer con sus tres proposiciones
(dos premisas y una conclusin) en el orden siguiente:
Premisa mayor
Premisa menor
Conclusin
El modo de un silogismo
El modo de un silogismo es simplemente la secuencia
de los tipos de proposiciones que lo componen. As,
podemos tener silogismos del modo AAA (cuando sus
tres proposiciones son universales afirmativas), del
modo EAO, del modo IIA, etc. En total, podramos tener
64 modos diferentes, si combinamos los cuatro tipos de
proposiciones categricas (A, E, I, O) en los posibles
rdenes diferentes y de tres en tres, pues en un
silogismo slo aparecen tres proposiciones categricas.
Por ejemplo, retomemos los silogismos categricos que
vimos pginas atrs:

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

Todos los peces son seres acuticos.


(P a S)
Luego, ningn ser acutico es mamfero.(S
e M)
De manera que el modo de este silogismo sera:
EAE.
La figura de un silogismo
La figura de un silogismo nos indica cul es la posicin
del trmino medio en las premisas. Dado que slo
existen cuatro formas en que puede aparecer el trmino
medio en las premisas de un silogismo, entonces slo
puede haber cuatro figuras.
Las figuras de un silogismo se catalogan como
PRIMERA, SEGUNDA, TERCERA y CUARTA, tal y como se
ilustra a continuacin.
OJO:
P representa el trmino mayor, predicado de la
conclusin;
S representa el trmino menor, sujeto de la
conclusin;
M representa el trmino medio, que slo aparece en
las premisas y cuya posicin define la figura del
silogismo.
PRIMERA FIGURA

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

Posicin del trmino medio en laPosicin


primeradel
figura:
trmino medio en laPosicin
segunda del
figura:
trmino medio en laPosicin
tercera figura:
del trmino medio en la cuarta figura:

125

Anexos

Retomemos los ejemplos:

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

Existen diferentes mtodos para determinar si un


silogismo categrico es vlido o no. Por ejemplo,
tenemos el lenguaje de la Lgica cuantificaciones,
que es una ampliacin de LP y que nos permite
mediante procedimientos decisorios evaluar si un
silogismo es vlido o no. Tambin tenemos los
diagramas de Venn, los cuales nos permiten
determinar si un silogismo es vlido o no mediante
grficos que facilitan la visualizacin de la
estructura del silogismo.
En nuestro curso vamos a trabajar con un
mecanismo diferente, conocido como las reglas
clsicas. Estas reglas se basan en lo propuesto por
el propio Aristteles. Para determinar si un
silogismo categrico es vlido, debemos verificar
que el mismo cumple con todas las reglas que
enunciamos a continuacin. Eso es todo.
Veamos, pues, las reglas en cuestin.*

** La versin de estas reglas se ha formulado en base al texto de Copi y Cohen 1999: 262-272
126

1. Un silogismo categrico vlido debe tener tres


trminos, cada uno usado en el mismo sentido en
todo el argumento.
2. En un silogismo categrico vlido, el trmino medio
debe estar distribuido por lo menos una vez.
3. En un silogismo categrico vlido, si un trmino est
distribuido en la conclusin, entonces debe estar
distribuido tambin en las premisas.
4. Ningn silogismo categrico que tiene dos premisas
negativas es vlido.
5. Si una de las premisas de un silogismo categrico
vlido es negativa, la conclusin tambin debe ser
negativa.
6. Ningn silogismo categrico vlido que tenga una
conclusin particular puede tener dos premisas
universales.

A continuacin, presentamos un cuadro resumen de las


reglas, cada una asociada a una falacia en la que se incurre
cuando no se cumple con la regla.
Regla

127

Falacia asociada

1. Un silogismo categrico vlido debe tener


tres trminos, cada uno usado en el mismo
sentido en todo el argumento.

Falacia de los 4 trminos

2. En un silogismo categrico vlido, el


trmino medio debe estar distribuido por lo
menos una vez.

Falacia del medio ilcito

3. En un silogismo categrico vlido, si un


trmino est distribuido en la conclusin,
entonces debe estar distribuido tambin en
las premisas.

Falacia del menor ilcito


Falacia del mayor ilcito

4. Ningn silogismo categrico que tiene dos


premisas negativas es vlido.

Falacia de premisa exclusiva

5. Si una de las premisas de un silogismo


categrico vlido es negativa, la conclusin
tambin debe ser negativa.

Falacia por debilidad

6. Ningn silogismo categrico vlido que


tenga una conclusin particular puede tener
dos premisas universales.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

2.
Todos los msicos son poetas. Todas las
canciones son piezas musicales. Por ello,
todas las canciones son poemas.

NOTACIN CLSICA:

MODO:
FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

3.
Los contratos se firman; la compraventa
se
firma.
En
consecuencia,
la
compraventa es un contrato.

NOTACIN CLSICA:

MODO:
FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

4.
Algunos editorialistas son creativos; ya
que todos los diseadores grficos son
creativos y algunos editorialistas son
diseadores grficos.

NOTACIN CLSICA:

MODO:
FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

5.
Ningn

128

NOTACIN CLSICA:

compositor

percibe

regalas

MODO:

eternamente. Nadie que perciba regalas


eternamente vive en la absoluta
miseria. Por ello, ningn compositor vive
en la absoluta miseria.

FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

6.
Algunos conceptos son ambiguos pero
ninguna definicin lo es. Luego, algn
concepto es una definicin.

NOTACIN CLSICA:

MODO:
FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

10.
Ningn poltico es deshonesto. Todos los
demagogos son polticos. Por lo tanto,
ningn demagogo es deshonesto.

NOTACIN CLSICA:

MODO:
FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

11.
Ninguna

129

Anexos

NOTACIN CLSICA:

meloda

es

una

armona.

MODO:

Algunas armonas estn compuestas de


notas disonantes. En consecuencia,
algunas cosas compuestas de notas
disonantes son melodas.

FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

12.
Todos los indicadores econmicos son
argumentos. Algunos argumentos son
engaosos. Por lo tanto, algunos
indicadores econmicos son engaosos.

NOTACIN CLSICA:

MODO:

FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

15.
Todo reportaje autorizado es fiable.
Algunos reportajes falsos no estn
autorizados. Luego, algunos reportajes
falsos no son fiables.

NOTACIN CLSICA:

MODO:
FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

21.
Todos los testigos del crimen son
personas confiables. Algunas mujeres
fueron
testigos
del
crimen.
En
consecuencia, algunas mujeres son
personas confiables.

NOTACIN CLSICA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

23.
Ninguna idea es condenable. Todas las
opiniones son ideas. Por lo tanto,
ninguna opinin es condenable.

NOTACIN CLSICA:

MODO:

FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

25.
Todo pensamiento requiere lenguaje,
pero ninguna percepcin sensible lo
requiere. Luego, algn pensamiento no
requiere de percepcin sensible.

NOTACIN CLSICA:

MODO:

FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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:

Es vlido? Justifica la respuesta indicando qu regla incumple.

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

A es verdadera, entonces O es falsa.


A es falsa, entonces O es verdadera.
E es verdadera, entonces I es falsa.
E es falsa, entonces I es verdadera.
O es verdadera, entonces A es falsa.
O es falsa, entonces A es verdadera.
I es verdadera, entonces E es falsa.
I es falsa, entonces E es verdadera.

Podemos resumirlas as:


AO
AO
EI
EI

135

Anexos

En los ejemplos siguientes, se ilustra qu proposicin se infiere, por la relacin de


contradictoriedad, de cada uno de los datos dados en la columna de la izquierda.
Datos:

Proposicin inferida:

Toda molcula est


compuesta de tomos.

Es falso que alguna molcula


no est compuesta de
tomos.

Es falso que algunos textos


no sean aburridos.

Todos los textos son


aburridos.

Es verdad que algunos bienes Es falso que ningn bien se


se deprecian.
deprecie.

CONTRARIAS. Las contrarias se refieren a universales que solo difieren en


cualidad. Las contrarias no pueden ser ambas verdaderas a la vez, pero s
pueden ser falsas. Luego, las inferencias vlidas son:
Si A es verdadera, entonces E es falsa.
Si E es verdadera, entonces A es falsa.
Podemos resumirlas as:
AE
EA
En los ejemplos siguientes, se ilustra qu proposicin se infiere a partir de un
dato, por la relacin de contrariedad.
Datos:
Todos los cineastas son
egocntricos.
Nada que carezca de sentido
es verdadero.

Proposicin inferida:
Es falso que ningn cineasta
sea egocntrico.
Es falso que todo lo que
carezca de sentido sea
verdadero.

SUBCONTRARIAS. Las subcontrarias se refieren a particulares que solo difieren


en cualidad. Las contrarias no pueden ser ambas falsas a la vez, pero s pueden
ser verdaderas. Luego, las inferencias vlidas son:
Si I es falsa, entonces O es verdadera.
Si O es falsa, entonces I es verdadera.
Podemos resumirlas as:
IO
OI

136

En los ejemplos siguientes, se ilustra qu proposicin se infiere a partir de un


dato, por la relacin de subcontrariedad.
Datos:

Proposicin inferida:

Es falso que algunos libros de Algunos libros de texto no


texto sean aburridos.
son aburridos.
Es falso que algunos
argumentos no sean vlidos.

Algunos argumentos son


vlidos.

SUBALTERNAS. Cada proposicin particular es subalterna de su respectiva


universal. Si la proposicin universal es verdadera, su respectiva particular es
verdadera, pero de una proposicin universal falsa nada se concluye con
respecto a su subalterna. Luego, las inferencias vlidas son:
Si A es verdadera, entonces I es verdadera.
Si E es verdadera, entonces O es verdadera.
Podemos resumirlas as:
A I
E O
En los ejemplos siguientes, se ilustra qu proposicin se infiere a partir de un
dato, por la relacin de subalternacin.
Datos:
4.1 Todos los libros sagrados
contienen verdades.

Proposicin inferida:
Algunos libros sagrados
contienen verdades.

4.2 Ningn animal es inmortal.

Algn animal no es inmortal.

SUBALTERNANTES. Cada proposicin universal es subalternante de su


respectiva particular. Si una proposicin particular falsa, su respectiva universal
es falsa, pero de una proposicin particular verdadera nada se concluye con
respecto a su subalternante. Luego, las inferencias vlidas son:
Si I es falsa, entonces A es falsa.
Si O es falsa, entonces E es falsa.
Podemos resumirlas as:
I A
OE
En los ejemplos siguientes, se muestra qu proposicin se infiere a partir de un
dato, por la relacin de subalternacin.
Datos:
5.1 Es falso que algo difcil de
comprender pueda ser
interesante.
5.2 Es falso que algunos
directores de teatro no
sean escritores.

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

Todos los mamferos son vivparos.

1.2

Algunas ciencias naturales no son deductivas.

1.3

Algunas protenas son encimas.

1.4

Nadie que crea en duendes es completamente


racional.

1.5

Ningn nmero primo es mltiplo de 3.

1.6

Cualquier ciencia natural es experimental.

1.7

Todos los factores hereditarios son genticos.

1.8

Algunas clulas no tienen membrana.

1.9

Algunas mascotas son animales salvajes.

NOTACIN

1.10 Nada material es espiritual.

2. Escribe la proposicin contradictoria, la contraria o subcontaria y la subalterna


o subalternante segn corresponda de las siguientes proposiciones
categricas. Ubica la proposicin en el cuadro de la oposicin y luego escribe
las proposiciones que faltan.
2.1 Algunas palabras no son esdrjulas.

138

subcontrarioas

subalternatesSubalternas

subalternatesSubalternas

Contrarias

2.2. Ningn nmero par es divisible por 3.

subcontrarioas

subalternatesSubalternas

subalternatesSubalternas

Contrarias

2.3 Algunos fumadores sufren de cncer.

subcontrarioas

subalternatesSubalternas

subalternatesSubalternas

Contrarias

2.4 Todas las ciencias son demostrativas.

subcontrarioas

subalternatesSubalternas

subalternatesSubalternas

Contrarias

3. Si las siguientes proposiciones son FALSA, indica cul es el valor de verdad de


sus contradictorias, contrarias o subcontrarias y subalternas o subalternantes
segn corresponda y escrbelas.
3.1
Contrarias

subcontrarioas

Contrarias

139

Anexos

subalternatesSubalternas

3.2

subalternatesSubalternas

Todos los vegetales son seres


vivos. = FALSA

Ningn reptil es mamfero. =


FALSA

subalternatesSubalternas

subalternatesSubalternas

subcontrarioas

3.3

Algunas
ciencias
experimentales. = FALSA

son

subcontrarioas

subalternatesSubalternas

subalternatesSubalternas

Contrarias

3.4

subcontrarioas

subalternatesSubalternas

subalternatesSubalternas

Contrarias

Algunos Mtodos deductivos


no son formales. = FALSA

4. Si las siguientes proposiciones son VERDADERA, indica cul es el valor de


verdad de sus contradictorias, contrarias o subcontrarias y subalternas o
subalternantes segn corresponda y escrbelas.
4.1

subcontrarioas

140

subalternatesSubalternas

Contrarias

subalternatesSubalternas

Contrarias

Ningn mtodo demostrativo


es infalible. = VERDADERA
subalternatesSubalternas

4.2

subalternatesSubalternas

Todas las clulas son seres


vivos. = VERDADERA

subcontrarioas

4.3

Algunas
verdades
relativas. = VERDADERA

son

subcontrarioas

subalternatesSubalternas

SubalternatesSubalternas

Contrarias

4.4

141

Anexos

subcontrarioas

subalternatesSubalternas

subalternatesSubalternas

Contrarias

Algunos Animales no son


domsticos. = VERDADERA

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.

De acuerdo con Bochenski, autor clave en lo que a historia de la lgica se


refiere, el desarrollo de la lgica se puede dividir en cinco perodos:1

Perodo clsico antiguo (siglo IV a.C. siglo VI d.C.). Perodo que


formalmente se inicia con Aristteles, pero que puede rastrearse a
algunos pensadores previos. El inicio de la lgica formal suele trazarse
con Aristteles porque fue l quien concibi por primera vez en la
historia del pensamiento occidental la lgica como un instrumento y,
por ende, como una disciplina independiente de otras reas del
conocimiento humano, en el sentido de que tiene sus propios
mecanismo de anlisis, no en el sentido de que no guarda relacin con
otras disciplinas.

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.

Escolstica (siglo XI siglo XV d.C.). Este perodo, ubicado en plena


Edad Media, se caracteriza por ser una etapa fecunda en creacin e
investigaciones lgicas. Cuando se suele hablar del alto grado de
desarrollo de la lgica medieval, se alude a esta etapa.

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.

Lgica matemtica o simblica (desde la segunda mitad del siglo XIX


en adelante). ste es el momento clave de cambios en el desarrollo de
la lgica; es aqu cuando nuestra ciencia sufre una transformacin

1 Cfr. Bochenski 1966:21.


142

sustancial que la convierte en lo que conocemos hoy por lgica formal


y simblica.
Cabe insistir en que estas cinco etapas estn nicamente referidas a la
lgica occidental, la iniciada con Aristteles. Sin embargo, es necesario
mencionar que hubo un desarrollo independiente de la lgica oriental,
desde el siglo I d.C. En esta lgica no hubo desarrollo del clculo, pero
muchos de los hallazgos o trabajos en esta forma 2 de la lgica coinciden
con los de la lgica occidental, por ejemplo los referidos a algunas reglas
de inferencia deductivas.3
Antes de comenzar la exposicin de los hitos importantes en la historia de
la lgica, resultar de utilidad ponernos de acuerdo respecto de algunas
nociones elementales que se mencionarn reiteradamente en la
presentacin. Estas nociones son las siguientes:
Argumento deductivo: es la cadena de enunciados que guardan
entre s una relacin especial, la relacin premisas-conclusin. En
todo argumento, las premisas son las afirmaciones que pretenden
justificar la verdad de la conclusin; la conclusin es, por tanto,
aquello a favor de lo cual se argumenta. El argumento es deductivo
cuando las premisas pretenden garantizar la verdad de la conclusin
y no slo establecerla como probable. Esto es posible porque las
premisas contienen afirmaciones generales que supuestamente se
aplican a la totalidad de casos a los que se hace referencia en el
argumento. El argumento deductivo, la deduccin misma, es el tema
central de la lgica formal.
Validez: es una cualidad sintctica, estructural, de los argumentos
deductivos. Consiste en que si se admiten como verdaderas las
premisas, entonces debe admitirse tambin como verdadera la
conclusin. En un argumento vlido, nunca se da el caso de que las
premisas sean verdaderas y que al mismo tiempo la conclusin sea
falsa, lo que no significa que las premisas sean verdaderas
realmente, pues las premisas o la conclusin pueden ser falsas y el
argumento puede ser vlido.
Lgica proposicional: es una parte de la lgica que estudia las
relaciones entre las proposiciones, las conexiones lgicas entre ellas,
sin considerar los elementos lgicos que pueden hallarse dentro de
las proposiciones simples como los cuantificadores, los predicados,
los operadores modales, etc., sino solamente operadores tales como
la conjuncin, la negacin, el condicional, el bicondicional y la
disyuncin.
Lgica de predicados (o lgica cuantificacional): es la parte de la
lgica que estudia, adems de los elementos proposicionales,
algunos elementos internos de las proposiciones simples, tales como
2 As se refiere Bochenski a la lgica oriental, como una de las formas de la lgica.
3 Al respecto, vase Bochenski 1966, pgs. 431-463 y Prior 1976, pgs. 39-60.
143

Anexos

los cuantificadores, los predicados y los individuos. Es una ampliacin


de la lgica proposicional.
Lgica modal: es un rea de la lgica no clsica que estudia, adems
de los elementos proposicionales y cuantificacionales, los llamados
operadores modales. Esta gran rea de la lgica se suele dividir en
lgica modal altica, dentica, temporal y doxstica, segn el tipo de
modalidades que sean analizadas. Sin embargo, se suele llamar de
manera general "lgica modal" slo a la lgica modal altica, aquella
que estudia los operadores modales "necesario" y "posible".
Silogismo: es un tipo particular de inferencia que se caracteriza por
poseer bsicamente dos premisas, una conclusin y un trmino
medio que sirve de elemento comn y, por tanto, de conexin entre
las premisas. En un silogismo categrico, el trmino medio es una
categora; en tanto en un silogismo proposicional, el trmino medio
es una proposicin, ya sea simple o compuesta.
Sistema axiomtico: es una compleja estructura de enunciados que
est compuesta de axiomas, reglas de inferencia y teoremas. Tanto
los axiomas como los teoremas son tesis del sistema, es decir,
afirmaciones aceptables dentro del sistema. La diferencia entre unos
y otros reside en que los primeros son indemostrables dentro del
sistema, son los puntos de partida; en tanto los teoremas son
demostrados a partir de los axiomas y en virtud de las reglas de
inferencia. La naturaleza de los axiomas dentro de un sistema es un
asunto discutido y discutible, pues pueden considerarse afirmaciones
verdaderas que no necesitan bajo ningn punto de vista
demostracin alguna y, por tanto, seran afirmaciones apodcticas; o
podran considerarse simplemente afirmaciones que sirven para
demostrar todo lo que el sistema pretende demostrar como vlido
dentro del mismo sin que necesariamente sean afirmaciones
verdaderas para cualquier otro sistema.
Esta aproximacin general a estas nociones nos servir para comprender
muchos de los detalles a los que aludiremos a lo largo de la presentacin.
Empezaremos ahora la revisin histrica de los momentos en el desarrollo
de la lgica.

PERODO CLSICO ANTIGUO (IV a.C. VI d.C.)


Antes de Aristteles, varios pensadores plantearon la necesidad de
establecer criterios precisos para diferenciar las argumentaciones
correctas de las incorrectas, incluso plantearon aunque no explcita ni
sistemticamente muchas reglas de inferencia que son para todos hoy
conocidas, como el Modus Ponens o el Modus Tollens y muchas otras;
entre dichos pensadores cabe resaltar al propio Platn. Para ilustrar la
lnea de desarrollo que dio origen a las primeras formas de lgica formal

144

la aristotlica y la megrico-estoica vamos a reproducir el cuadro que


presenta Bochenski:4
Zenn de Elea (.C.)
Scrates ( .C.)
Platn (427-.C.)
Aristteles (384-.C.)
Teofrasto ( .C.)

Sofistas antiguos
Euclides de Megara

Diodoro Crono (307)


Filn de Megara

Zenn de Critias (366-246)


Crisipo de Solos (281-208)
ESCUELA PERIPATTICAESCUELA ESTOICA ESCUELA MEGRICA

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.

4 Cfr. Bochenski 1966: 38.


145

Anexos

Peri hermeneias. Para ilustrar el contenido de este trabajo,


citaremos un breve pasaje del mismo:
"Antes que nada hay que exponer qu es un nombre y qu es
un verbo y, a continuacin, qu es una negacin, qu una
afirmacin, qu una declaracin y qu un enunciado." (16a)
Con este plan de trabajo, Aristteles pone en claro el contenido del
Peri hermeneias: el estudio de la proposicin o sentencia; ello incluye
tambin, y necesariamente, la teora de la oposicin entre
proposiciones.
Los analticos primeros. Contiene un estudio del silogismo y de las
reglas de validez. En este sentido, se constituye como una obra de
lgica eminentemente formal.
Los analticos segundos. Contiene un estudio del silogismo
apodctico, es decir, demostrativo, y tambin la construccin de un
sistema axiomtico para la silogstica. Aristteles distingui dos
clases de silogismo, el apodctico y el dialctico:
"A la demostracin llamo razonamiento cientfico; y llamo
cientfico a aquel razonamiento en virtud de cuya posesin
sabemos." (71b, 15-20)
En cambio, el silogismo dialctico es aquel que es vlido pero cuyas
premisas son probables; por ello, este tipo de razonamiento no nos
hace saber, en el sentido fuerte de la palabra, pues no demuestra.
Los tpicos. Se considera el primer ensayo sistemtico de
Aristteles y contiene un estudio del silogismo dialctico y tambin la
teora de la oposicin entre proposiciones.
Refutaciones sofsticas. Contiene un estudio del silogismo sofstico,
es decir, de los sofismas o silogismos invlidos; por ello se afirma que
este trabajo revela los intereses prcticos de Aristteles en la
refutacin y es una suerte de manual prctico.
En los textos lgicos de Aristteles encontramos una primera creacin de
lgica formal, pues l plantea la clara idea de una ley lgica con validez
universal y adems hace uso de variables para analizar las proposiciones
us variables, letras maysculas, para referirse a los trminos de las
proposiciones categricas. Por otro lado, con la silogstica se crea el primer
sistema de lgica formal compuesto de leyes y desarrollado
axiomticamente. La silogstica es el centro de los trabajos lgicos de
Aristteles y la desarroll no slo para la lgica clsica, sino tambin para
la lgica modal.
El estudio del silogismo comprende la formulacin de reglas para
determinar con criterios formales la validez. Aristteles entiende que el
silogismo es una inferencia y lo clasific del modo siguiente: silogismo
146

demostrativo (inferencia vlida con premisas verdaderas, es el silogismo


cientfico, el que hace saber), silogismo dialctico (inferencia vlida con
premisas probables), silogismo erstico (inferencia con premisas que
parecen probables pero que no lo son; puede ser vlido o invlido).
En cuanto a la lgica proposicional, no se halla en Aristteles un desarrollo
sistemtico, sino bsicamente la formulacin de algunas reglas de
inferencia proposicionales. Del mismo modo, tampoco encontramos en el
Organon un desarrollo sistemtico de semntica o interpretacin formal
para los sistemas lgicos creados.
Con los trabajos en lgica de Aristteles se encuentra ya la partida de
nacimiento de la lgica formal, como puede inferirse de lo expuesto hasta
aqu. l plante de manera explcita reglas de inferencia puramente
formales e hizo uso de variables no slo para formular tales reglas, sino
tambin para explicar los diversos procedimientos de deduccin.

Escuela megrico estoica


Como vimos en el cuadro de Bochenski sobre la lgica antigua, adems de
la escuela aristotlica encontramos dos escuelas filosficas cuyos trabajos
en lgica son tambin de gran valor en una presentacin histrica general.
Dichas escuelas son la megrica y la estoica. Y, tal como lo hace
Bochenski, nosotros vamos a presentar ambas escuelas juntas.
Un primer aporte, e incluso un avance en relacin con los trabajos de
Aristteles, se halla en el surgimiento de una lgica proposicional
sistemticamente creada. Esto implica el uso de lo que hoy conocemos
como functores proposicionales, en particular, reglas de equivalencia para
la negacin, para la conjuncin y la disyuncin. Tambin es de importancia
la matriz de Filn, que es una explicitacin de la interpretacin lgica
semntica de lo que hoy llamamos el operador condicional en la lgica
proposicional. La matriz de Filn expresa exactamente la misma
interpretacin que hacemos hoy en lgica estndar del operador
condicional, obviamente esta interpretacin se presenta en lenguaje
natural y sin el recurso de una tabla de verdad.
Otro aporte importante se encuentra en la formulacin de diversas reglas
de inferencia proposicionales, como por ejemplo las que hoy conocemos
con los nombres de eliminacin del condicional para el sistema de la
deduccin natural o Modus Ponens, tambin el Modus Tollens, la regla de
De Morgan y otras.
Cabe destacar que una importante diferencia entre la escuela megricoestoica y la aristotlica se centra en que en la primera el sistema de la
lgica proposicional se funda en la semntica, aspecto que Aristteles no
trabaj. Los megricos y los estoicos desarrollaron tablas de valores, es
decir, se conocieron y se propusieron interpretaciones para los operadores
proposicionales; estas interpretaciones no difieren sustancialmente de las
usadas hoy da en los sistemas estndares de la lgica proposicional.
147

Anexos

Obviamente, las interpretaciones se expresaban en lenguaje natural y con


largas y complicadas formulaciones; sin embargo, el solo hecho de haber
concebido interpretaciones semnticas para los functores implica ya un
gran avance en lgica formal.

ALTA EDAD MEDIA (siglo VII siglo XI d.C.)


Segn Bochenski y muchos otros autores dedicados al estudio de la
historia de la lgica, durante este perodo no hubo aportes en cuanto a
creacin de mtodos nuevos de anlisis lgico, as como tampoco
investigacin sobre nuevos problemas. Por ello, no nos detendremos en
esta etapa.

ESCOLSTICA (siglo XI siglo XV d.C.)


Bochenski divide esta etapa en tres perodos:
Perodo de transicin. Llega hasta Pedro Abelardo (1079-1280). Es
una etapa en la que al comienzo no se trabajan problemas
nuevos.
Perodo creador. El principal representante de este perodo es
Pedro Hispano, con su obra Summulae Logicales.
Perodo de elaboracin. El trabajo de Guillermo de Ockham (1350)
es el ms importante en esta etapa.
En lneas generales los principales aportes de la escolstica a la lgica
formal estn centrados en la creacin de una semntica y una sintaxis
ampliamente desarrolladas a partir de una nueva concepcin de la lgica
formal, entendida y trabajada como una abstraccin del lenguaje natural,
lo que significa que las reglas de validez se desprenden de los enunciados
del lenguaje natural. Al hablar de una semntica, se alude a la formulacin
de interpretaciones detalladas para los functores proposicionales y es
precisamente en lgica proposicional en donde ms se pueden apreciar los
aportes de la escolstica.
Por otro lado, tambin es relevante el hecho de que los escolsticos
hicieron una explcita distincin entre leyes y reglas lgicas. Esta distincin
es un avance tcnico muy importante pues al establecer que las reglas
son instrucciones que permiten construir inferencias vlidas y que las
leyes son afirmaciones vlidas en s mismas y formalmente. Al mismo
tiempo con esta distincin se est logrando establecer la fundamental
diferencia entre lenguaje objeto y metalenguaje, distincin que ha
permitido resolver muchos problemas al interior de diversos sistemas
lgicos. Algunas de las reglas que formularon los escolsticos conservan
hasta hoy los nombres que ellos les dieron, por ejemplo, el Modus Ponendo
Ponens, el Modus Tollendo Tollens, Ex Contradictione Quodlibet y otras.
148

Para terminar de resear el trabajo lgico de los escolsticos hay que


sealar que sus investigaciones en lgica modal llegaron a un nivel de
desarrollo ms sofisticado que el de los estoicos y que en cuanto al trabajo
con las antinomias o paradojas, se dio solucin a problemas
completamente nuevos. Sin embargo, diversos especialistas concuerdan
en que el trabajo de los escolsticos, especialmente en lgica
proposicional, debe haber sido ms un redescubrimiento del trabajo de los
estoicos que una evolucin.

POCA MODERNA DE LA LGICA CLSICA (siglo XVI


siglo XIX d.C.)
En los inicios de la modernidad, los trabajos en lgica estuvieron marcados
por una profunda falta de inters y valoracin de lo formal, es ms, hasta
podra hablarse de una serie de prejuicios hacia el anlisis formal. El
rechazo por el formalismo de alguna manera estuvo vinculado al
humanismo, en tanto ste ltimo recogi de la tradicin griega diversos
elementos en desmedro de los trabajos del medioevo.
El texto clsico y representativo de este perodo, el conocido como La
lgica de Pourt Royal, de Arnault y Nicole5, recoge contenidos del Organon
aristotlico; sin embargo, no es un trabajo de lgica formal en sentido
estricto.
Al respecto de este perodo, veamos lo que afirma Bochenski:
"Pobre de contenido, desprovista de problemtica profunda,
repleta de una multitud de filosofemas no lgicos, y encima
psicologista en el peor sentido de la palabra: he aqu como
resumiramos lo que habamos de decir sobre la lgica clsica."
(Bochenski 1966: 271)
El hecho de que esta etapa de la lgica haya estado marcada por el
psicologismo, en un sentido negativo, implica que la lgica no era vista
como el instrumento de anlisis formal que permite deslindar los
argumentos vlidos de los invlidos. De ah tambin parte el rechazo hacia
el formalismo.

LGICA MATEMTICA O SIMBLICA (desde la segunda


mitad del siglo XIX en adelante)
Algunas de las caractersticas bsicas que distinguen este nuevo y ltimo
perodo en el desarrollo de la lgica son la creacin de clculos lgicos, es
decir, construcciones puramente simblicas basadas en principio en los
clculos matemticos; los sistemas formales se construyen primero y slo
despus pasan a ser traducidos al lenguaje natural, esto es un innovacin
5 Lgica o arte de pensar. Tambin es conocido como La Gramtica de Pourt Royal.
149

Anexos

respecto de todos los trabajos lgicos anteriores; las leyes lgicas se


formulan en los lenguajes artificiales. As, pues, es en esta ltima etapa
que se inicia el desarrollo del simbolismo lgico, elemento sustancial en
toda la lgica posterior.
De acuerdo con Bochenski, la lgica matemtica puede dividirse en cuatro
perodos:
La pre-historia. Comienza con Leibniz y termina en 1847. Aqu es
cuando surge la idea de la lgica matemtica, la idea de que es
posible crear simbolismos lgicos tan tiles como los
matemticos.
Perodo de Boole. Se inicia con su obra The Mathematical Analisis
of Logic (1847) y culmina con las Vorlessungen (1895) de
Schrder. Aqu se da el primer desarrollo, los primeros progresos,
de la lgica matemtica.
Perodo de Frege. Comienza con la Ideografa (Begriffsschift
1879) y termina con Principia Matemtica de Russell y Whitehead.
En esta etapa ya se haban hecho grandes progresos en el
desarrollo del simbolismo y, entonces, las preocupaciones e
investigaciones se centran en encontrar los fundamentos de la
matemtica en la lgica.
Perodo contemporneo. Bochenski lo subdivide del modo
siguiente: de 1910 a 1930: surgimiento de la metalgica y los
trabajos de la escuela formalista de Hilbert; de 1930 en adelante:
desarrollo de la semntica, de las lgicas polivalentes, modales;
desarrollo de la metodologa (Tarski), de la sintaxis (Carnap);
creacin de sistemas de lgica y metalgica (Gdel, semntica de
Tarski). Los aportes ms valiosos se hallan en la creacin de
nuevos sistemas (Lewis), las lgicas polivalentes de Post y
Lukasievicz (1920-1091).
Veamos ahora, uno a uno, los aspectos ms importantes de cada una de
estas etapas.

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

del pensamiento. Este alfabeto era lo que l llam la characteristica


universalis y consista en asignar a cada idea simple un signo y as
resolver las operaciones de deduccin por combinacin. Con esta
caracteristica universalis, pretendi aplicar lo que l llam la Mathesis
Universalis, esto es, el empleo del clculo para efectuar deducciones de
manera rigurosa e independientemente del lenguaje natural en que se
realicen dichas deducciones.
Sin embargo, sus pretensiones de crear un simbolismo no llegaron a dar
los frutos esperados pues su proyecto careca del instrumental adecuado y
prctico. A pesar de que no lleg a crear el simbolismo que hubiese
querido, se le considera el fundador de la lgica matemtica porque fue el
primero en intentar la construccin de un clculo lgico que permitiese
efectuar deducciones independientemente del lenguaje natural.

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

importantes sus trabajos en relacin con la posibilidad de crear una


mquina pensante (calculadora); esto implica que tena muy clara la idea
de que la deduccin es puramente mecnica.
Peirce (1839-1914)
Entre sus principales aportes, todos ellos de orden tcnico, cabe destacar
el haber concebido un nuevo operador, la inclusin de clases, para
expresar la proposicin universal afirmativa (todo A es B = A B); tambin
se cuenta entre sus aportes el haber profundizado el estudio de la
implicacin material a partir de la matriz de Filn; esto lo llev a
desarrollar la lgica proposicional al punto de haber creado lo que ahora
conocemos como las tablas de verdad. Con esto logr desarrollar la
semntica proposicional a niveles tcnicos no alcanzados antes, pues
logr establecer la interdependencia de los operadores.
Finalmente, con los trabajos de este lgico americano se establece que la
matemtica es una rama de la lgica y as se da un paso adelante en la
relacin entre estas dos ciencias formales, paso que luego, en la siguiente
etapa de la lgica formal, se ver fortalecido y llevado hasta sus ltimas
consecuencias.
Schrder (1841-1902)
En su texto Vorlesungen uber die Algebra der Logik (Lecciones sobre el
lgebra de la lgica; 1890-1895), se halla el tratamiento ms sistemtico y
completo de la lgica matemtica pues contiene una sntesis completa y
detallada de lo que se haba hecho sobre lgica en el siglo XIX. El perodo
de Boole culmina con este trabajo.

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

matemtica, el clculo proposicional, el lgebra de clases y los


prolegmenos a la aritmtica cardinal; en la segunda y tercera parte se
halla el desarrollo de la aritmtica. As, pues, con la obra de Russell se
cierra esta etapa en la lgica matemtica, aquella centrada en buscar los
fundamentos de la matemtica en la lgica; mientras que en la etapa
anterior, los trabajos de lgica estaban centrados en desarrollos tcnicos
para perfeccionar el nuevo instrumental simblico que haba empezado a
crearse.
En resumen, y siguiendo nuevamente a Bochenski, los logros ms
saltantes de este periodo son los siguientes:
Se consolida una metodologa lgica totalmente nueva: se
investigan las leyes lgicas mediante lenguajes creados
artificialmente, de modo inverso a como tradicionalmente se ha
haba hecho.
El mtodo formalstico llega a ser depurado y desarrollado con
rigurosidad.
Se recuperan doctrinas antiguas: el concepto de forma lgica, la
diferencia entre lenguaje objeto y metalenguaje, se consolidan los
dos lenguajes lgicos estndares ms conocidos y se desarrollan
independientemente lgica proposicional y lgica de trminos.

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

esto, consideremos el conjunto de los conjuntos normales, se contiene a


s mismo? Si se contiene a s mismo, entonces no debera contenerse por
no ser normal; si no se contiene a s mismo, entonces debera contenerse
por ser normal.
Con la aparicin de stas y otras paradojas lgicas, la tarea de los lgicos
se reorient a la bsqueda de soluciones que no trajeran abajo la nueva
base del edificio matemtico, la teora de conjuntos. Una de las soluciones
fue la axiomatizacin de la teora de conjuntos, desarrollada por Zermelo;
sin embargo, esta titnica tarea no evitaba la aparicin de nuevas y
posibles paradojas ms adelante. En este punto, surgen dos grandes
escuelas lgicas.
Una es la escuela logicista, de la que Russell form parte. Esta escuela
sostena la existencia independiente de las entidades matemticas y, por
tanto, la solucin de las paradojas deba darse en la manera en que nos
referimos a dichas entidades, es decir, en el lenguaje, pues si las
entidades matemticas existen y tambin las paradojas, stas ltimas slo
pueden deberse al modo en que "hablamos" de dichas entidades porque
no pueden ser paradjicas si existen. As, una de las alternativas para
resolver las paradojas la propuso el propio Rusell, con la teora de los tipos
lgicos. Esta teora estipulaba la forma en que es correcto atribuir
predicados a los conjuntos y otras entidades estableciendo jerarquas
para los predicados posibles.
La otra escuela fue la formalista, desarrollada por Hilbert. Esta escuela
sostena que las entidades matemticas son creacin del intelecto
humano y, por tanto, la solucin a las paradojas deba hallarse en la
axiomatizacin de todas las construcciones matemticas, pues slo as se
llegara a una construccin libre de paradojas. Esta alternativa se
constituye en una tarea titnica y bastante difcil.
Las investigaciones lgicas se ven, as, reorientadas en nuevas
direcciones. Por un lado se abre camino a nuevos desarrollos en la
semntica de los lenguajes formalizados, a interpretaciones rigurosas y
sistemticas de los lenguaje artificiales creados y de los que parten las
soluciones a los problemas existentes. A su vez, el desarrollo de la
semntica conduce al desarrollo de las lgicas polivalentes y stas, al de
las lgicas modales. Estos desarrollos no son novedosos, pues como ya
hemos sealado, ya desde Aristteles se haba abierto camino a la lgica
modal; sin embargo, en el siglo XX, tanto las lgicas polivalentes como las
modales se trabajan con el instrumental simblico que ya haba alcanzado
notables progresos tcnicos.
Por otro lado, la preocupacin por la axiomatizacin de teoras condujo al
desarrollo de la metalgica, esto es, al estudio de las condiciones que todo
sistema axiomtico debe satisfacer: consistencia, complecin e
independencia de los axiomas. La consistencia consiste en que en un
sistema dado nunca sea posible demostrar la tesis X y la tesis ~X, es decir
que el sistema est exento de contradiccin. La complecin consiste en
que dentro del sistema sea posible demostrar todas las tesis que el
sistema puede contener, as sean infinitas. La independencia de los
155

Anexos

axiomas consiste en que dentro de un sistema nunca sea posible


demostrar un axioma a partir de otro o de otros. Determinar si un sistema
axiomtico posee estas tres cualidades es tarea de la metalgica.

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.

DE SOTO Hernando, El misterio del capital

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

U.S. News & Report, 9 de julio de 1984.

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

George W. Gray; El frente en avance de la medicina

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

siempre que era una persona poco digna de confianza.


1.13
La tecnologa es una poderosa herramienta de desarrollo puesto que
el desarrollo se logra a travs de la tecnologa.

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)

La fbf es FALSA solo en la lnea 16.

[ ( 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

La fbf es VERDADERA solo en las lneas 8 y 16.

(ps) (qr) (pq)(r


s)

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

La fbf es FALSA solo en la lnea 30.

[(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

p: Todo lo que no se gasta en salarios es beneficio, es decir,


dividendos
q: Todo lo que no se gasta en intereses es beneficio, es
decir, dividendos
r: Todo lo que no se gasta en arrendamiento es beneficio, es
decir, dividendos
SIMBOLIZACIN:

(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

impulsa a realizar actividades menos limitadas y ms complejas.


p: Se han satisfecho las necesidades bsicas
q: El deseo de conocer impulsa a realizar actividades menos
limitadas
r: El deseo de conocer impulsa a realizar actividades ms
complejas

Una vez que p, q y r.

p: La inversin decrece
q: Disminuye automticamente el trabajo
r: Hay bienestar

SIMBOLIZACIN:

p(qr)

FORMALESTRUCTURA

ESPROPOSICION

13. Si la inversin decrece, disminuir automticamente el trabajo y no habr


bienestar.

Si p, q y no r.

p: El objeto de estudio de la Economa es la actividad


humana
q: La Economa es una ciencia social

SIMBOLIZACIN:

pq

FORMALESTRUCTURA

NESPROPOSICIO

14. El objeto de estudio de la Economa es la actividad humana y, por tanto, es una


ciencia social.

p y, por tanto, q.

PROPOSICIONES

p: Las relaciones econmicas posibles son muchas


q: Las relaciones econmicas posibles son muy complejas
r: Se hacen supuestos simplificadores para ir estudiando a
grandes rasgos lo que sucede con las distintas variables
econmicas cuando se producen cambios en el entorno
econmico
SIMBOLIZACIN:

(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.

16. Tradicionalmente, si la incertidumbre se apoderaba del contexto econmico


argentino, los ahorristas se volcaban masivamente a la compra de dlares ya que
la moneda norteamericana ha sido tradicionalmente uno de los pocos refugios
capaces de proteger la riqueza de la poblacin.

168

p(rq)

FORMALESTRUCTURA

PROPOSICIONES

p: La incertidumbre se apodera del contexto econmico


argentino
q: Tradicionalmente, los ahorristas se volcaban masivamente
a la compra de dlares
r: La moneda norteamericana ha sido tradicionalmente uno
de los pocos refugios capaces de proteger la riqueza de la
SIMBOLIZACIN:

Si p, q ya que r.

p: El dinero garantiza la tranquilidad


q: El dinero mejora la calidad de vida
r: El dinero contribuye a la ansiedad
s: El dinero contribuye a empeorar las condiciones de vida

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.

O bien p y, por ende,


q, o bien r y, en
consecuencia, s.

p: Per est en camino al primer mundo


q: El Per est en vas de salir del subdesarrollo
r: El Ministro de Economa miente cuando dice que no hay
ningn conflicto que detenga el avance de nuestro pas

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.

p: La retraccin de la economa global puede continuar un


ao y medio ms
q: Las medidas con que los gobiernos estn combatiendo la
retraccin de la economa global son muy tmidas
r: Las medidas con que los gobiernos estn combatiendo la
retraccin de la economa global son tardas

SIMBOLIZACIN:

ESTRUCTURA FORMAL

PROPOSICIONES

19. La retraccin de la economa global puede continuar un ao y medio ms porque


las medidas con que los gobiernos la estn combatiendo son muy tmidas y
tardas.

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

20. El conocimiento no se globaliza, porque lo que en la realidad est globalizndose


es la apropiacin privada del mismo, mediante el refuerzo del sistema de marcas y
patentes que los pases ms avanzados pretenden extender incluso a rubros que
hasta ahora eran considerados patrimonio comn no apropiable.

No p, porque q y r.

p: Existe una pugna irreconciliable entre los partidos de


derecha y los de izquierda

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.

p: sern sancionados penalmente


q: Habr una sancin moral

SIMBOLIZACIN:

pq

FORMALESTRUCTURA

NESPROPOSICIO

22. No sern sancionados penalmente, pero s habr una sancin moral.

No p, pero q.

p: Luis es deportista destacado


q: Claudia es deportista destacada
r: Luis est concentrado en pasar sus cursos
s: Claudia est concentrada en pasar sus cursos

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

24. No es cierto que si la pregunta es fcil, entonces la respuesta sea evidente.

No es cierto que si p,
entonces q.

p: En Lima nieva en invierno


q: En Lima llueve a cntaros
r: Nuestro clima es templado

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.

p: Los extraterrestres existen


q: Hay algunos libros que hablan de extraterrestres

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.

p: Nadie podr resolver el ejercicio


q: Nadie recurre a todos los medios

SIMBOLIZACIN:

(qq)p

FORMALESTRUCTURA

PROPOSICIONES

28.Nadie podr resolver el ejercicio, aunque recurra a todos los medios.

p, aunque q.

p: El tratamiento de un recurso est justificado desde


el punto de vista econmico
q: Un recurso es escaso
r: Un recurso tiene ms de un fin

SIMBOLIZACIN:

p(qr)

FORMALESTRUCTURA

PROPOSICIONES

29.El tratamiento de un recurso no est justificado desde el punto de vista


econmico, a menos que sea escaso o tenga ms de un fin.
No p, a menos que q o r.

p: todos aprobarn el examen


q: Hay tres preguntas difciles
r: Hay cuatro preguntas difciles

SIMBOLIZACIN:

171

Anexos

FORMALESTRUCTURA

PROPOSICIONES

30.Todos aprobarn el examen aunque haya tres o cuatro preguntas difciles.

( 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.

SIMBOLIZACIN: Y MTODO ABREVIADO

[ ( 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

SIMBOLIZACIN: Y MTODO ABREVIADO

( p q ) ( q r ) .. r q
FV F V F V V F FV F F F
Es vlida?

FORMALESTRUCTURA

PROPOSICIONES

28. Si la inversin decrece, disminuir automticamente el trabajo; y, si disminuye


automticamente el trabajo, no habr bienestar. Por ello, si no hay bienestar, la
inversin decrece.
Si p, q; y, si q, no r. Por ello, si
no r, la p.

NO

el yogurt contiene vitamina A = p


el yogurt contiene vitamina D = q
el yogurt ser parte de mi dieta. = r

SIMBOLIZACIN: Y MTODO ABREVIADO

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

30. Si las afirmaciones de las ciencias sociales no pueden refutarse o convalidarse


mediante un experimento en laboratorio, entonces usan una diferente modalidad del
mtodo cientfico. Ocurre que las afirmaciones de las ciencias sociales no pueden
refutarse ni convalidarse mediante un experimento cientfico en laboratorio. Luego,
las ciencias sociales usan una modalidad diferente del mtodo cientfico.
las afirmaciones de las ciencias sociales pueden
Si no p o q, entonces r. Ocurre
refutarse
mediante
un
experimento
en
que no p ni q. Luego, r.
laboratorio = p
las afirmaciones de las ciencias sociales pueden
convalidarse mediante un experimento en
SIMBOLIZACIN: Y MTODO ABREVIADO

[ ( 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

32. La contabilidad y la administracin siempre trabajan juntas, dado que la


administracin necesita de la contabilidad o esta es una herramienta para aquella.
Adems, la administracin necesita de la contabilidad o las dos conforman una sola
disciplina. Sin embargo, no siempre la administracin y la contabilidad trabajan
juntas. Por ello, la contabilidad es una herramienta para la administracin aunque
las dos conforman una sola disciplina.
La contabilidad y la administracin siempre
p, dado que q o r. Adems, q
trabajan juntas = p
o s. Sin embargo, no p. Por
la administracin necesita de la contabilidad = q
ello, r aunque s.
la contabilidad es una herramienta para la
administracin = r
SIMBOLIZACIN: Y MTODO ABREVIADO

[ ( 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.

SIMBOLIZACIN: Y MTODO ABREVIADO

( 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

35. Si estoy condenado a desaprobar el curso de Lgica, es intil estudiar; y si no,


tambin es difcil estudiarlo. Estoy condenado a desaprobar el curso de Lgica o no;
por lo tanto, es intil o difcil estudiarlo.

173

Anexos

SIMBOLIZACIN: Y MTODO ABREVIADO

( 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

estoy condenado a desaprobar el curso de Lgica


=p
es intil estudiar Lgica = q
es difcil estudiar Lgica = r

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

SIMBOLIZACIN: Y MTODO ABREVIADO

[ ( q r ) p ][ ( r p ) s ] . . q(s r )

FORMALESTRUCTURA

PROPOSICIONES

36. La delincuencia disminuir, si las leyes son buenas y su cumplimiento es estricto. Si el


cumplimiento de las leyes es estricto y la delincuencia disminuye, nuestro problema
es de carcter prctico. En consecuencia, si las leyes son buenas, nuestro problema
es de carcter prctico o el cumplimiento de las leyes es estricto.
p, si q y r. Si r y p, s. En
consecuencia, si q, s o r.

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.

SIMBOLIZACIN: Y MTODO ABREVIADO:

[ 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

Todo efecto es un suceso diferente de su causa = p


Todo efecto puede ser descubierto en la causa. = q
en vano pretendemos inferir algn efecto sin la
ayuda de la observacin = r
en vano pretendemos inferir algn efecto sin la

p; luego, no q. Y, si no q, r o
s. Por lo tanto, si p, s.

SIMBOLIZACIN: Y MTODO ABREVIADO

( 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

II. Dada la siguiente inferencia:


Puesto que las ciencias deductivas son exactas y la Lgica es una ciencia deductiva,
no es cierto que las verdades lgicas o las verdades matemticas sean relativas. No
obstante, si la Lgica es exacta pero su aplicacin es limitada, entonces las ciencias
deductivas son exactas aunque las verdades matemticas son relativas. Adems, no
es verdad que si las ciencias deductivas fueran exactas, la aplicacin de la Lgica no
sera limitada. En consecuencia, las verdades lgicas son relativas debido a que la
Lgica es una ciencia deductiva.
1. Determina su validez mediante mtodo abreviado.
2. Si resultara invlida, analiza los resultados para determinar qu premisas sera
necesario modificar o aadir para validar la inferencia.
las ciencias deductivas son exactas = p
la Lgica es una ciencia deductiva = q
las verdades lgicas son relativas = r
las verdades matemticas son relativas. = s
la Lgica es exacta = t

SIMBOLIZACIN: Y MTODO ABREVIADO

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

Demuestra la validez de las siguientes


inferencias aplicando derivacin. Justifica la
respuesta en cada caso indicando qu regla
de inferencia has usado.

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

Redacta una conclusin que se derive vlidamente de los siguientes


conjuntos de proposiciones. Usa en cada caso reglas de equivalencias
e implicaciones notables que sean aplicables. Justifica indicando qu
reglas has usado en cada caso.

1. Si la msica es uno de los rituales ms antiguos de la especie humana,


entonces de alguna manera la msica define lo humano. Ciertamente, la
msica es uno de los rituales ms antiguos de la especie humana. En
consecuencia
Conclusin:

Justificacin:

De alguna manera, la msica define lo humano.

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:

Armar mi maleta con anticipacin para no olvidar nada y no estar


apurada

Justificacin:

MPP
Modus
Ponens

3. Si las empresas musicales son rentables, entonces la industria musical es un buen


negocio y es factible la empleabilidad en dicha industria. En efecto, las empresas
musicales son rentables. En consecuencia
Conclusin:

Justificacin:

La industria musical es un buen negocio y es factible la empleabilidad en


MPP
dicha industria.
Modus

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:

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.

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:

El delito se sanciona con pena privativa de libertad.

MPP
Modus
Ponens

6. Puesto que los derechos de autor contemplan los derechos de compositores,


entonces los intrpretes estn excluidos de esta regulacin. Pero los intrpretes no
estn excluidos de esta regulacin. Por tanto
Conclusin:

Justificacin:

Los derechos de autor no contemplan los derechos de compositores.

MTT
Modus
Tollens

7. Si la msica es tanto un medio para percibir el mundo como un instrumento de


conocimiento, entonces la msica es un completo constructo cultural. Ciertamente, la
msica es a la vez un medio para percibir el mundo y un instrumento de
conocimiento., Por tanto
Conclusin:

Justificacin:

La msica es un completo constructo cultural.

MPP
Modus
Ponens

8. Si el ranking Billboard toma en cuenta el streaming, las descargas as como las


tradicionales ventas fsicas, entonces es un ranking completo. Pero no es un ranking
completo. Entonces
Conclusin:

No es cierto que el ranking Billboard tome en cuenta el streaming, las


descargas as como las tradicionales ventas fsicas.

Justificacin:

MTT
Modus
Tollens

9. Si desligamos la obra musical de la sociedad que la cre, los signos musicales


tendran distintos significados. Si los signos musicales tuvieran significados distintos,
entonces cada obra musical sera un producto cultural diferente. Por tanto
Conclusin:

Si desligamos la obra musical de la sociedad que la cre, entonces cada


obra musical sera un producto cultural diferente.

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:

No es cierto que todos critique la designacin del Fiscal de la Nacin

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:

Los peatones deben tener cuidado cuando enfrentan el trnsito.

Justificacin:

SD
Silogismo
disyuntivo

12. Si las normas son perfectibles, entonces a veces necesitan ser modificadas. Si las
179

Anexos

normas a veces necesitan ser


constantemente. Por lo tanto

modificadas,

entonces

deben

Conclusin:

Si las normas son perfectibles, entonces deben ser revisadas


constantemente.

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

Asumo las consecuencias pues soy un hombre maduro.

14. Los estudiantes de derecho o rinden el examen final satisfactoriamente o sustentan


un trabajo adicional para aprobar la materia. Resulta que estos estudiantes no
rindieron el examen final satisfactoriamente. Por ello
Conclusin:

Justificacin:

SD
Silogismo
disyuntivo

Los estudiantes de derecho sustentan un trabajo adicional para aprobar


la materia.

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:

Nuestro equipo ganar el torneo.

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

Es vlido? Por qu?

S. Cumple con las 6 reglas.


2.
Todos los msicos son poetas. Todas las
canciones son piezas musicales. Por ello,
todas las canciones son poemas.

NOTACIN CLSICA:

MaP
CaZ
CaP

MODO:

AAA
FIGURA:

Es vlido? Justifica la respuesta indicando qu regla incumple.

Invlido: no cumple la regla 1 / falacia de los cuatro trminos.


3.
Los contratos se firman; la compraventa se
firma. En consecuencia, la compraventa es
un contrato.

NOTACIN:

MODO:

CaF
VaF
VaC

AAA

Es vlido? Por qu?

Invlido: no cumple la regla 2 / falacia del medio ilcito.

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

Es vlido? Por qu?

S. Cumple con las 6 reglas.


5.
Ningn
compositor
percibe
regalas
eternamente. Nadie que perciba regalas
eternamente vive en la absoluta miseria. Por
ello, ningn compositor vive en la absoluta
miseria.

NOTACIN CLSICA:

PeV
CeP
CeV

MODO:

EEE
FIGURA:

1ra

Es vlido? Justifica la respuesta indicando qu regla incumple.

Invlido: no cumple la regla 4 / falacia de premisa exclusiva.

6.
Algunos conceptos son ambiguos pero
ninguna definicin lo es. Luego, algn
concepto es una definicin.

NOTACIN:

MODO:

DeA
CiA
CiD

EII
FIGURA

2da

Es vlido? Por qu?

Invlido: incumple la regla 5 / falacia por debilidad.


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:

GoP
SeG
SoP

MODO:

OEO

FIGURA:

1ra.

Es vlido? Justifica la respuesta indicando qu regla incumple.

Invlido: no cumple la regla 4 / falacia de premisa exclusiva.


8.
Ninguna
bendicin
es
gratuita.
En
consecuencia, algunos consuelos mezquinos
no son gratuitos. Porque la mayora de las
bendiciones son un consuelo mezquino.

NOTACIN:

MODO:

BeG
BiC
CoG

EIO
FIGURA

3era

Es vlido? Por qu?

S. Cumple con las 6 reglas.


9.
Todos los fariseos son sabios. Pero ningn
sabio es un hombre feliz. Por tanto, algunos
hombres felices no son fariseos.

NOTACIN:

MODO:

FaS
SeH
HoF

AEO

Es vlido? Por qu?

Invlido: no cumple la regla 6 / falacia existencial.

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

Es vlido? Por qu?

S. Cumple con las 6 reglas.


11.
Ninguna meloda es una armona. Algunas
armonas estn compuestas de notas
disonantes. En consecuencia, algunas cosas
compuestas de notas disonantes son
melodas.

NOTACIN CLSICA:

MeA
AiC
CiM

MODO:

EII
FIGURA:

4ta

Es vlido? Justifica la respuesta indicando qu regla incumple.

Invlido: no cumple la regla 5 / falacia por debilidad.


NOTACIN:

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

Es vlido? Por qu?

Invlido: no cumple la regla 3 / falacia del medio ilcito.


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:

MaO
OaC
CiM

MODO:

AAI

FIGURA:

4ta

Es vlido? Justifica la respuesta indicando qu regla incumple.

Invlido: no cumple la regla 6 / falacia existencial.


14.
Todo el que ahorra en minucias es un avaro.
Ningn avaro es un hombre generoso. Luego,
ningn hombre generoso ahorra en minucias.

NOTACIN:

MODO:

AaV
VeG
GeA

AEE

NOTACIN:

MODO:

AaF
SoA
SoF

AOO

FIGURA

4ta

Es vlido? Por qu?

S. Cumple con las 6 reglas.


15.
Todo reportaje autorizado es fiable. Algunos
reportajes falsos no estn autorizados.
Luego, algunos reportajes falsos no son
fiables.
Es vlido? Por qu?

Invlido: no cumple la regla 3 / falacia del ilcito mayor.

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.

KNEALE, William y Martha (1980) El desarrollo de la lgica. Madrid: Tecnos.


PRIOR, Arthur (1976) Historia de la lgica. Madrid: Tecnos.
ROSALES, Digenes (1994) Introduccin a la lgica. 3ra. ed. Lima: Monterrico.
TRELLES, scar y ROSALES, Digenes (2000) Introduccin a la lgica. 2da. ed.
Lima: Pontificia Universidad Catlica del Per.
WARTOFSKY, Marx W. Introduccin a la filosofa de la ciencia. Madrid: Alianza
Editorial, 1973, Vol 1.

184

Похожие интересы