Vous êtes sur la page 1sur 84

La Lgica

Filosofa y ciudadana. 1 Bachillerato

UNIDAD 3
La lgica

La Lgica

Filosofa y ciudadana. 1 Bachillerato

1. Introduccin: Una aproximacin a la teora de la informacin.


1.1. Concepto de comunicacin.
1.2. La transmisin de la informacin.
1.3. El lenguaje como la forma ms eficiente de la comunicacin humana.
2. Los lenguajes humanos.
2.1. Definicin de lenguaje natural.
2.2. Los elementos que componen un lenguaje natural.
2.3. Qu es una oracin?
2.4. Qu es un enunciado o proposicin?
2.5. Las insuficiencias del lenguaje natural y la forma superarlas.
2.6. Los lenguajes artificiales.
2.7. Elementos constitutivos de un lenguaje artificial.
2.8. Aplicaciones de los lenguajes artificiales.
3. Los razonamientos.
3.1. Definicin.
3.2. Tipos bsicos de razonamiento.
3.3. Razonamientos vlidos y razonamientos invlidos.
3.4. Validez y verdad.
3.5. Los razonamientos engaosos.
3.6. Distorsiones psicolgicas vinculadas a las falacias.
4. El lenguaje formal.
4.1. Definicin de lenguaje formal.
4.2. Smbolos y reglas en un lenguaje formal.
4.3. El clculo: definicin y caractersticas.
4.4 Qu es la lgica?
5. La lgica proposicional.
6. La lgica de proposiciones como lenguaje formal.
6.1 Definicin.
6.2 Vocabulario, operadores y expresiones bien formadas.
6.3. Las reglas de formacin de frmulas.
7. La operativa en la lgica proposicional: Simbolizacin.
7.1. Definicin.
7.2. Reglas de simbolizacin.
7.3. Normas para el uso de signos auxiliares.
8. La operativa en la lgica proposicional: tablas de verdad.
9. La operativa en la lgica proposicional: el clculo de deduccin natural.
10. Apndice: una introduccin a la lgica de clases.
11. Actividades
A. Autoevaluacin. (voluntaria)
B. Para completar. (voluntaria)
C. Tareas de sntesis. (obligatorias)
D. Comentarios de texto (obligatorios)
E. Ejercicios prcticos (obligatorios)

La Lgica

Filosofa y ciudadana. 1 Bachillerato

1. Introduccin: Una aproximacin a la teora de la


informacin.
1.1. Concepto de comunicacin.
La informacin es un ingrediente esencial para la vida; todas las especies
vivientes precisan informacin para sobrevivir. A travs de sus facultades el hombre
capta datos del entorno, percibe el mundo exterior, su cerebro procesa, elabora esa
informacin y almacena en la memoria la relevante, por la voz y los gestos traslada,
comunica a los dems esos contenidos informativos.
Informacin y comunicacin estn ntimamente relacionadas pero tienden a
confundirse.
Simplificando: informacin es lo que se percibe del medio ambiente, el
contenido del mensaje enviado a, o recibido de otros, un contenido almacenado en
la memoria. Comunicacin, en cambio, es transportar un mensaje, es un acto de
transmitir informacin. Esta puede obtenerse unilateralmente -el individuo ve que
llueve-, en tanto que la comunicacin es siempre bilateral o multilateral -A transmite
a B que llueve-.
As, comunicacin es algo ms amplio que informacin: comunicacin es
movimiento de informacin.

La Lgica

Filosofa y ciudadana. 1 Bachillerato

1.2. La transmisin de la informacin.


Consideremos la situacin de comunicacin en la cual estamos comprometidos
ahora: la lectura de este apartado.
En esta situacin de comunicacin en la que estamos ahora, los autores de
lo escrito hacen las veces de fuente. Los autores tenan un propsito al escribir este
documento, este mensaje. Sus mecanismos para escribir hicieron de encodificador
(claro est que los ordenadores, los programas ofimticos y las impresoras tambin
sirvieron de encodificadores). El mensaje incluye las palabras de este texto y la forma
en que estn dispuestas. Es transmitido por estos apuntes, por medio de ondas
luminosas (canal). Tu ojo es el decodificador; recibe el mensaje, lo decodifica, lo
retraduce en un impulso nervioso y lo enva finalmente a tu sistema nervioso central, al
receptor.

El lenguaje es un sistema de comunicacin mediante signos arbitrarios, pero


Cules son los aspectos del mismo que lo configuran como algo especficamente
humano?
La comunicacin animal es siempre restringida, y viene condicionada
por la existencia de un estmulo determinado que produce a su vez una respuesta
igualmente determinada. Solo la observacin del vuelo de las abejas ha permitido
conocer un sistema de comunicacin que contiene referencias fuera del tiempo y del
espacio concreto en que se produce el estmulo. Los loros y animales similares se

La Lgica

Filosofa y ciudadana. 1 Bachillerato

limitan, en cambio, a imitar sonidos, sin comunicacin alguna.


Los chimpancs, por ejemplo, pese a ser los primates ms cercanos al
hombre, no son capaces de hablar, tanto por su estructura cerebral como por la falta
de adecuacin de sus rganos de fonacin1. En un experimento llevado a cabo en la
Universidad de Nevada con un chimpanc denominado Washoe, solo se ha llegado a
conseguir que aprendiese hasta sesenta signos del lenguaje de los sordomudos y que
los pudiese utilizar en contextos muy controlados. A este respecto son tambin muy
interesantes las experiencias realizadas con delfines. Pero en cualquier caso se trata,
sin embargo, de situaciones muy concretas, en las que a un estimulo concreto se da
una respuesta determinada, esto es, predecible.
Por el contrario, la caracterstica esencial del lenguaje humano es su gran
capacidad de creacin, su creatividad. Los seres humanos no tienen restricciones
en los temas sobre los que puede versar su comunicacin; pueden formar nuevas
expresiones que manifiesten nuevos pensamientos y que se ajusten a nuevas
situaciones. Es el suyo un lenguaje de alcance ilimitado y que, adems, no precisa de
estimulo.
El cerebro humano dispone de unas zonas en las que se localiza el control del
habla y por ello es responsable de que el hombre sea un animal especializado en el
lenguaje, y por aadidura de que ste sea creador.
La facultad innata para la adquisicin y uso del lenguaje es fcilmente
observable en el nio, que, a travs de etapas progresivas y en escaso tiempo, llega
a dominar una serie muy compleja de habilidades que le permiten comunicarse con
el mundo que le rodea en el idioma al que ha estado expuesto durante unos pocos
meses.
Llegados a este punto se impone una explicacin an ms tcnica acerca de
la especificidad del lenguaje en el Homo Sapiens, por cuanto si toda persona normal
adquiere desde su infancia un sistema de signos arbitrarios, vocales, mediante los
cuales se comunica creativamente, no podemos por menos de preguntarnos cul es el
proceso lingstico que hace posible esa capacidad creadora.
Al analizar un cdigo lingstico, una lengua determinada, observaremos que
est construido en dos niveles o articulaciones que se pueden segmentar hasta
llegar a las unidades ms elementales. La segmentacin de la primera articulacin
divide el enunciado en oraciones, sintagmas (esto es, grupos verbales o nominales),
1

Podemos revisar la ilustracin que presentbamos en la unidad 2 y en la que comparbamos


la anatomia de un humano con la de un chimpanc.

La Lgica

Filosofa y ciudadana. 1 Bachillerato

palabras, y llega incluso a dividir a stas en sus unidades mnimas significativas, los
morfemas, que tienen una forma fnica (el significante) y un sentido (el significado).
Ahora bien, estas unidades de significado no se pueden seguir dividiendo en el plano
semntico, pero si en el fnico, hasta llegar a las unidades mnimas distintivas de la
segunda articulacin, los fonemas, que constituyen una lista cerrada de sonidos
en cada lengua, a partir de los cuales se puede conseguir un nmero prcticamente
ilimitado de unidades de la primera articulacin, y consiguientemente de enunciados.
De este modo la lengua, a partir de unos medios finitos, hace un uso infinito.
Esta explicacin de la productividad o, mejor an, de la creatividad del lenguaje
humano, sugerida ya por Saussure y analizada por Hjelmslev, ha sido tambin
desarrollada por el lingista francs Andr Martinet.

1.3. El lenguaje como


comunicacin humana.

la

forma

ms

eficiente

de

la

Desde que nos despertamos por la maana hasta que conciliamos el sueo
por la noche podemos encontrarnos con muchas y variadas situaciones en las que
tenemos necesidad de argumentar o razonar.
A veces de una forma consciente y otras no, de una manera obligada o
espontnea damos, y tambin exigimos, explicaciones sobre diversos temas, por
ejemplo, sobre nuestro comportamiento o el de otros, o quizs explicaciones de la
ocurrencia de ciertas cosas, prximas o lejanas a nosotros.
Imagnate un da de invierno en el que el cielo est todo cubierto de nubes oscuras y
hace un intenso fro; piensas que, como ayer, llover todo el da y te vistes de acuerdo
con el tiempo. Al salir de casa abres tu paraguas, y cuando llegas a tu destino ves a
un amigo en la calle con su paraguas cerrado, le saludas y comentas:
- Qu despistada soy! Cre que haca un da como ayer y cuando sal de casa
no mir si llova o no!
Has dado tres motivos que contribuyen a explicar por qu llevabas el paraguas abierto.
Tu amigo contesta lo siguiente
- Iras pensando en otra cosa!
Entre los dos habis dado las cuatro razones que hacen posible pensar que tu
conducta no es la de una persona demente o no tiene un fin juguetn, como sera el de
engaar a los transentes. Entre los dos habis argumentado o razonado sobre una
situacin ocurrida.

Estas explicaciones las habrais dado en el lenguaje oral, y nosotros, al explicar


el caso, hemos utilizado el lenguaje escrito.

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Es cierto que la comunicacin entre las personas puede realizarse de diversas


maneras con el llamado lenguaje mmico, el lenguaje musical, arquitectnico, pictrico,
etc., y no debemos menospreciar el valor que estas formas de expresin tienen
en la cultura humana. Sin embargo, el lenguaje oral o escrito -la lengua- es el que
proporciona habitualmente una comunicacin ms rpida y directa, y, en suma, ms
eficiente. Por tanto, sin pretender subvalorar la idea de que el lenguaje es una de
las muchas formas de comunicacin que posee el hombre, aqu reservaremos la
expresin el lenguaje exclusivamente para el lenguaje oral o escrito.
Estamos tan acostumbrados a utilizar cotidianamente el lenguaje que no nos
damos cuenta de que es un instrumento de comunicacin extremadamente refinado y
complejo. Parte del xito del lenguaje se debe precisamente a esto.
Por ejemplo, una misma oracin puede tener varios usos. As,
(1) Esta habitacin est muy cargada.
Puede pronunciarse con la intencin de informar a las personas presentes en ella de
la existencia de gran cantidad de humo de tabaco. Tambin se puede pronunciar para
expresar el deseo de que las personas que estn fumando dejen de hacerlo, e incluso
con el propsito de impedir que se fume ms.

Parte del xito de la comunicacin radica en saber cul es la funcin que


desempea una oracin en un momento dado, pues as nuestro comportamiento ser
distinto segn la funcin que le atribuyamos.
Supn que eres una persona no fumadora y que las reglas de la educacin
y cortesa social te invitan a formular la oracin para manifestar a tus compaeros tu
deseo de que paren un momento de fumar. No podremos decir que la comunicacin
haya tenido xito si tus compaeros piensan que slo ests constatando el estado de
la habitacin.
Conocer y llegar a identificar la variedad de tipos de mensajes que se
pueden transmitir con el lenguaje es, pues, algo preciso si queremos lograr una
comunicacin con xito; y es algo que nos ayudar tambin a la hora de analizar las
argumentaciones o razonamientos que demos o pidamos, en la medida en que se
realizan a travs del lenguaje.
El objetivo de este apartado es entrenarte a distinguir entre las funciones del
lenguaje, entre lo que es la funcin y la forma de las oraciones. Estas distinciones
son requisitos previos para estudiar las diferentes formas de razonamientos, y en
especial el razonamiento cientfico.

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Uno de los tres usos bsicos del lenguajes es el de ofrecer informacin.


Cuando queremos describir el mundo que nos rodea o comunicar a otros cierto
conocimiento sobre el estado o situaciones en que se encuentran los objetos externos,
e incluso los que son internos al sujeto que habla, utilizamos el lenguaje en su funcin
informativa. Esto lo llevamos a cabo por medio de la enunciacin de oraciones que
tienen un carcter o bien afirmativo, o bien negativo. Son ejemplos de este uso:
(1) Con las heladas de este invierno, todos mis geranios se han muerto.
(2) La novela que te prest no era de mi hermano.
(3) Sent una fuerte sacudida al desenroscar la bombilla.
El lenguaje tambin desempea una funcin informativa cuando con l
presentamos una serie de pensamientos que constituyen un razonamiento acerca
del mundo o sobre nosotros mismos He aqu una muestra de ellos:
(4) Cuando entr en la habitacin encend la luz y vi que no funcionaba.
Rpidamente comprob si haba saltado el automtico a causa de la tormenta,
pues el da anterior, haba estado el electricista revisando la instalacin, de
modo que lo ms probable era que sta estuviera bien.
(5) Eso fue al caer rodando por las escaleras. Le advert que eran peligrosas
y que ms de uno se haba roto ya un brazo; pero no me hizo caso y no tuvo
cuidado
La descripcin que hacemos del mundo puede ser verdadera o falsa, y, de
la misma manera, nuestros razonamientos pueden ser correctos o incorrectos, pero,
en cualquier caso, estamos dando informacin o conocimiento, y por ello el lenguaje
cumple una funcin informativa.
Estos ejemplos muestran que en nuestra vida diaria usamos el lenguaje
informativamente. Ahora bien, si quieres pensar en un tipo de personas que usa
el lenguaje de una manera informativa no slo en la vida cotidiana sino tambin
por exigencia de su profesin, piensa en los periodistas y en los cientficos. Ellos
se dedican de una manera particular a informarnos sobre sucesos y procesos que
ocurren en el mundo, aunque cada grupo lo haga de manera muy distinta.
Otra manera de utilizar el lenguaje consiste en comunicar sentimientos,
emociones o estados de nimo. Decimos entonces que el lenguaje desempea una
funcin expresiva, porque nuestro inters no se centra tanto en informar sobre
procesos anmicos como en manifestar emociones o incluso tambin en provocarlas
en los dems. Veamos algunos ejemplos:

La Lgica

Filosofa y ciudadana. 1 Bachillerato

(6) Qu asco! Me dan ganas de vomitar: hay un perro destripado en la


carretera!
(7) Los suaves y fragantes ptalos de rosas perfumaban sus blancas manos
como los azahares inundaban de frescor aquel patio de mi juventud.
Por supuesto, cuando usamos el lenguaje de una manera expresiva estamos
informando tambin, en cierta medida, por ejemplo, de cuales son nuestros recuerdos,
apetencias o desagrados. Pero entonces estamos tomando la palabra informar
en un sentido muy amplio. Es necesario ser ms precisos y diferenciar las distintas
situaciones en que nos podemos encontrar, pues absolutamente todo lo que nos rodea
est informando de algo: la presencia del sol en el este nos suministra la informacin
de que ha amanecido, que comienza un nuevo da; un campo lleno de amapolas, de
que estamos en primavera y un grito de un nio, de algo que sucede, que le duele la
mano que le examino.
Sin embargo, el sol y el campo estn ah y yo extraigo la informacin
mencionada aunque no haya ninguna intencin informativa por su parte (en este caso,
la intencin se excluye de antemano, pues el sol y el campo, como objetos inanimados
que son, no pueden tener intenciones). El grito del nio me informa de la existencia
de un dao en la medida en que es la expresin espontnea de un dolor, pero si el
nio no quiere atraer nuestra atencin, no diremos que su grito pertenece a la funcin
informativa del lenguaje, sino a la expresiva.
No podemos juzgar el uso expresivo del lenguaje en trminos de verdad o
falsedad, como hacemos con el que tiene una funcin informativa. Si lo que se desea
es comunicar estados de nimo, hemos de ver si el lenguaje usado cumple esa
misin, es decir, si es el apropiado o no para llevar a cabo ese fin. Por ejemplo, decir:
(8) Magnfico partido! Enhorabuena!
No es la mejor manera de manifestar nuestra satisfaccin por el resultado del
encuentro y, a la vez, nuestra decepcin por la calidad del juego. Sera ms apropiado
-y a la vez ms sincero- decir:
(9) Buen partido, pero a ver si la prxima vez jugis mejor!
De la misma manera que el uso informativo del lenguaje se considera en
general tpico del cientfico (aunque no slo de ste), el expresivo se considera ms
propio del poeta, ya que ste - segn se piensa habitualmente- trabaja con el lenguaje
para dar a conocer sus sentimientos y estados de nimo, o bien para despertarlos en
otros.

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Otro tercer uso del lenguaje es el imperativo, se da cuando se pretende


motivar o causar una accin de un tipo determinado, es decir, cuando, sin desear
ofrecer informacin alguna, ni provocar o manifestar ningn sentimiento, se quiere
lograr que el oyente se comporte de una manera determinada.
(10) Qutate el abrigo.
(11) Por favor, psame la sal.
(12) Qu tiempo hace hoy?
Son ejemplos claves del uso directivo del lenguaje. Las rdenes, las
recomendaciones, los ruegos y las preguntas tienen como fin obtener ciertos
resultados: por eso decimos que desempean una funcin directiva. Con ellos se
requiere una forma de valoracin distinta de la del lenguaje informativo y del expresivo.
Al uso directivo del lenguaje no cabe aplicarle tampoco las ideas de verdad o falsedad.
Lo que diremos es que es ms o menos razonable o adecuado, siempre relativamente
a unas circunstancias dadas. Por ejemplo, (11) ser un ruego inadecuado cuando no
haya sal en la mesa en donde est comiendo la persona a la que uno se dirige.
Ahora bien, aunque hemos distinguido tres usos o funciones bsicas del
lenguaje hemos de tener presente que en la comunicacin efectiva se da una mezcla
de estas funciones. El silbido del tren, por ejemplo, es un ejemplo tpico de interaccin
entre la funcin informativa y directiva. El lenguaje que usan los cientficos no es
meramente informativo, ni el potico simplemente expresivo, ni el lenguaje militar
solamente directivo. Un cientfico en su informe puede, adems de exponer una teora,
dar expresin a su entusiasmo por haber logrado explicar una serie de fenmenos,
pedir a otros investigadores que prosigan indagando en el tema para progresar en su
esclarecimiento. En (6) se expresa un sentimiento de repulsin o repugnancia, pero
tambin se nos informa sobre la causa de ese sentimiento. Si a (10) le aadimos.
(l0 a) ..., en esta habitacin hace mucho calor.
Entonces, adems de motivar una accin, constatamos un hecho. Y si decimos
(10 b) ..., aqu se asfixia uno.
No slo informamos de un exceso de calor sino que tambin expresamos
nuestra incomodidad por este hecho.
Esta mezcla de funciones es lo que hace que el lenguaje sea instrumento de
comunicacin tan rico y sutil como complejo. Es precisamente esta complejidad la que
nos obliga a diferenciar los distintos usos que del lenguaje hacemos todos aquellos
que trabajamos con l.

10

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Nuestro inters en esta unidad est en adiestrarnos en las formas de


razonamiento a fin de poder detectar mejor cules son los correctos e incorrectos,
y estar as en condiciones de juzgar bien la situacin en que se efecten. Pero los
razonamientos tienen que ver con la funcin informativa del lenguaje, y, por tanto, es
preciso que sepamos distinguir esta funcin de las otras.
Con ello esperamos no confundir, por ejemplo una serie de rdenes con un
razonamiento, ni pretender que la expresin de un sentimiento forme parte de lo que
llamamos razonar (falacia ad misericordiam). Si bien en nuestra vida cotidiana el
lenguaje puede desempear varias funciones cuando trabajamos con l para dar o
exigir a otros explicaciones y argumentos, tenemos que saber valorar las posibilidades
y limitaciones del lenguaje que se requiere para este fin, el informativo, comparndolas
con las cualidades de los otros usos del lenguaje.
Esta tarea de diferenciacin es harto difcil, pues no existen reglas precisas
para llevarla a cabo, y est as supeditada a la experiencia y habilidad de los que
usamos el lenguaje.
Sera un error pretender identificar estas funciones por la forma gramatical en
que se presentan las oraciones.
En efecto, podemos distinguir cuatro formas: declarativa, exclamativa,
imperativa e interrogativa, y podramos pensar que la forma declarativa est
nicamente emparentada con la funcin informativa, as como la forma exclamativa
con la expresiva y las formas imperativas e interrogativas con la funcin directiva.
Pero esto no seria vlido como regla general, pues jugamos con el lenguaje de muy
distintas maneras para manifestar nuestras intenciones.
Por ejemplo, la declarativa No quiero ir a por el pan no hace ms que
expresar un deseo o intencin, mientras que otra como Has llegado tarde puede muy
bien formularse para exigir una disculpa. A veces con una pregunta podemos no slo
pedir una informacin sino tambin sugerir una accin, por ejemplo: Has comprado
el peridico?. En ciertos momentos elegimos una forma interrogativa para manifestar
un deseo nuestro y a la vez provocarlo en otro, como en No te apetecera un helado
de coco bien fresquito en este da tan caluroso? A los miembros de una reunin que
llevan horas encerrados discutiendo un problema les anunciamos la llegada imprevista
de una tormenta diciendo cmo llueve!; pero tambin, con la misma oracin le
indicamos a nuestra compaera que tenga ms cuidado con su paraguas si quiere
protegernos de la lluvia.

11

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Por ltimo, hemos de recordar que las poesas, canciones y, en general, todo
el gnero expresivo pueden encerrar una moraleja o enseanza y muchas veces nos
ofrecen informacin histrica y poltico-social. As, por ejemplo, los romances cantaban
las victorias recientes de algn seor.
As pues, aunque muchas veces la forma gramatical nos sirva de seal para
determinar la funcin que tiene un determinado pasaje, no debemos confiar en ella
como el medio propio para valorarlo. Hemos visto que no hay una conexin estricta,
necesaria, entre funcin y forma.
La funcin de una expresin o de un texto depende exclusivamente de la intencin de
la persona que hable o escribe, independientemente de si tal intencin es reconocida o
no por otros. Muchas veces no sabremos a ciencia cierta cual es esa intencin, ni por
tanto, cul es la funcin de una expresin que alguien ha dicho o escrito.
Diversas personas pueden, pues, atribuir a lo dicho o escrito distintas
funciones. As, por ejemplo, la oracin declarativa Sepan que la prueba anterior no ha
sido superada por ninguno de ustedes, tiene una funcin informativa si es la intencin
del profesor comunicar el resultado de un determinado examen a sus alumnos, pero
los alumnos pueden atribuir diversas intenciones al profesor y tener as distintas
opiniones sobre la funcin de lo dicho por l: unos lo interpretan informativamente,
otros como manifestacin de su descontento por el resultado y an otros como que el
profesor les ha exigido mayor atencin y estudio.
Determinar la funcin es algo que comporta cierta dificultad en la medida en
que es, como hemos dicho, relativa a las intenciones de la persona que habla y no hay
tcnicas precisas que nos ayuden a detectarlas.
Tampoco existen tcnicas para distinguir el discurso informativo que es
el que a nosotros nos interesa de los otros tipos de discurso. Slo podemos
ayudarnos de nuestro saber y de la prctica con los distintos usos del lenguaje, que
aparecen habitualmente mezclados. Para lo que si tenemos una serie de tcnicas
es para valorar el discurso informativo en la medida en que ste se presente como
razonamiento.

12

La Lgica

Filosofa y ciudadana. 1 Bachillerato

2. Los lenguajes humanos.


2.1. Definicin de lenguaje natural.
Por lenguaje natural se entiende la lengua utilizada por una comunidad
lingstica y que utilizamos para nombrar objetos, hacer preguntas expresar
emociones, describir sucesos, etc. El ruso, el cataln, el ingls o el castellano son
ejemplos de lenguajes naturales.

2.2. Los elementos que componen un lenguaje natural.


Un lenguaje natural consta de un conjunto finito de smbolos, las letras o signos
lingsticos y un nmero determinado de reglas -morfosintaxis- para la formacin de
oraciones.
Las reglas morfosintcticas permiten infinitas realizaciones expresivas. Por
ejemplo, en castellano siempre podremos aadir a un segmento lingstico otras
palabras mediante la conjuncin y.

2.3. Qu es una oracin?


Una oracin es una expresin lingstica gramaticalmente correcta y que posee
sentido completo. Por ejemplo, El cuarzo es un mineral, Qu hora es?, Llueve
o Cierra la puerta son oraciones. Por el contrario vivir con o suyo papel sintiendo
no son oraciones.
Desde el punto de vista de su significado, las oraciones se clasifican en:
enunciativas, desiderativas, de posibilidad, dubitativas, exhortativas, interrogativas
y exclamativas. Cada una de ellas puede, adems, afirmar o negar la conformidad
objetiva del sujeto con el predicado.

2.4. Qu es un enunciado o proposicin?


Un enunciado es un segmento lingstico que tiene sentido completo y que
es susceptible de ser verdadero o falso se trata de una oracin enunciativa- . De tal
forma que:

Toda oracin es una expresin, pero no al revs.

Todo enunciado es una oracin, pero no al revs.


Slo podemos atribuir valor de verdad al contenido que expresan las oraciones

enunciativas o proposiciones. Por ejemplo, El cuarzo es un mineral es una oracin

13

La Lgica

Filosofa y ciudadana. 1 Bachillerato

enunciativa que expresa un contenido verdadero. Asmismo el contenido de la


oracin Llueve ser verdadero o falso en funcin del momento en que se exprese.
Por el contrario las rdenes, los deseos, las exclamaciones o las preguntas,
por ejemplo, no tienen valor de verdad y carece de sentido preguntarse si son
verdaderos o falsos.

2.5. Las insuficiencias del lenguaje natural y la forma


superarlas.
El lenguaje natural resulta poco apropiado para las construcciones tericas
de la ciencia o para la expresin de razonamientos complejos, necesitados de una
exactitud que el lenguaje ordinario no posee.
Estas insuficiencias son consecuencia de:
Imprecisiones semnticas.
Hay

palabras

insuficientemente

definidas

(trminos

vagos),

como rpido, difcil o agradable que impiden la exacta comprensin del


mensaje. Los polticos, por ejemplo, hacen un uso constante de expresiones
vagas. Qu quieren decir exactamente cuando anuncian que "se tomarn
medidas"?
Hay palabras que tienen ms de un significado y que se usan ambiguamente:
en tales casos resulta imposible averiguar por el contexto con cul de sus
significados se est usando. Por ejemplo, en la oracin Pedro ha alquilado una
casa se expresan dos proposiciones: o la ha alquilado para l, o ha alquilado
una de las casas de su propiedad a otra persona.
Deficiencias sintcticas.
Las reglas morfosintcticas del lenguaje natural resultan, con frecuencia,
ineficaces porque:
Carecen de criterios rigurosos y suficientes para evitar las oraciones sin
sentido. Qu decir de un enunciado como Los tambores demandan
libertad? Pueden tener los tambores intencionalidad? Es falso? Carece de
significado y, consecuentemente, no puede ser ni verdadero ni falso?
No permiten operar con exactitud y eficacia, de manera que un enunciado
como Tras lanzar el salvavidas Ramn, se hunda en el lago nos hace dudar
de su significado (Quin se hunda? Ramn o el salvavidas?).

14

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Preguntmonos ahora, Podra la ciencia, por ejemplo, trabajar con enunciados


ambiguos?
En cuanto a la forma de superar estas deficiencias podemos apuntar lo siguiente:
Las deficiencias que proceden de la vaguedad de las palabras o de sus usos
ambiguos, se superan mediante:

La redefinicin de los conceptos ordinarios, y

La utilizacin de un simbolismo artificial basado en una correspondencia


biunvoca -de uno a uno- entre smbolo y objeto representado.

La Fsica, por ejemplo, dispone de un extenso repertorio de trminos ordinarios


redefinidos unvocamente (tales como fuerza, masa o energa) as
como de otros smbolos convencionales (t, e, v, etc.) que permiten a los
investigadores operar con frmulas.
Las deficiencias que resultan de la vaguedad de los enunciados (confusiones,
contrasentidos, etc.) se superan mediante la estipulacin de unas reglas con
criterios tcnicos suficientes para evitarlas. Ej.: precisin del significado de los
conceptos. Y
Las incongruencias de los razonamientos (sofismas, paradojas, aporas, etc.)
mediante la dotacin de reglas operativas tan eficaces y rigurosas que hagan
imposible la demostracin de contradicciones. Ej.: dentro de un mismo sistema
no se puede derivar una proposicin y su contraria.

2.6. Los lenguajes artificiales.


Para superar las deficiencias del lenguaje natural y dotar a las ciencias de una
expresividad rigurosa y exacta, se construyen lenguajes artificiales, esto es, lenguajes
bien definidos que poseen una estructura operativa y eficaz (por ejemplo: los lenguajes
informticos).
Los lenguajes artificiales permiten profundizar en la investigacin matemtica y
cientfica sin exponerse a caer en las imprecisiones del lenguaje ordinario.
En lneas generales puede decirse que todas las ciencias emplean lenguajes
artificiales y que sta es una de las condiciones de su progreso.

2.7. Elementos constitutivos de un lenguaje artificial.


Bsicamente consta de los mismos elementos que cualquier otro lenguaje, esto
es, signos y reglas sintcticas, pero se le exige adems:

15

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Que los signos del vocabulario estn bien definidos.

Que el conjunto de reglas para la formacin de enunciados sea efectivo, es


decir, permita saber en cualquier momento si nos encontramos ante una
expresin bien formada del lenguaje artificial que se trate.
Que el conjunto de reglas operativas permita pasar de unas expresiones a
otras construyendo cadenas deductivas rigurosas y exactas.
Desde el punto de vista expresivo, los lenguajes artificiales disponen de un
campo muy limitado. Slo sirven para satisfacer las necesidades expresivas de
aquellos sectores del saber para los que fueron diseados. Pero desde el punto
de vista de su aplicacin a la ciencia, el uso de lenguajes artificiales resulta, en la
actualidad, imprescindible.

2.8. Aplicaciones de los lenguajes artificiales.


La lgica formal y la matemtica son prototipos de lenguajes artificiales. Su
aplicacin al terreno cientfico ha sido la condicin de su espectacular desarrollo: la
fsica, por ejemplo, inici su despegue a partir del momento en que Galileo (s. XVI)
matematiz sus enunciados y la someti a la exactitud y rigor del mtodo matemtico.
El gran libro de la naturaleza est escrito en smbolos matemticos.
Galileo Galilei

16

La Lgica

Filosofa y ciudadana. 1 Bachillerato

3. Los razonamientos.
3.1. Definicin.
Un razonamiento es un proceso mental (como lo son tambin la imaginacin
o el recuerdo) que se caracteriza porque en l se produce un paso de uno o
ms enunciados (las premisas) a otro posterior (la conclusin) que se deriva
necesariamente de aqullos.
En el lenguaje natural, la conclusin de los razonamientos viene introducida por
expresiones como por tanto, luego, en consecuencia, se deduce que, etc.
Por ejemplo:
Le dije que si me prestaba un libro, me distraera durante el viaje, y l me lo prest.
Puedes deducir que he tenido un viaje muy distrado.

Aunque todo razonamiento es una forma de pensamiento, todo pensamiento


no es razonamiento.
La lgica se ocupa de la estructura del razonamiento en vistas a que dicho
razonamiento sea formalmente vlido, de ah que prescinda de los contenidos y que
se diferencie claramente de otras disciplinas que, como la psicologa, se interesan
tambin por el razonamiento pero desde otra ptica.
El razonamiento del ejemplo anterior y el siguiente aunque poseen diferente
contenido, poseen la misma estructura:
Si las ballenas son una especie en extincin, las leyes deberan prohibir su busca y
captura. Todo el mundo sabe que las ballenas se estn extinguiendo. Por tanto, las
leyes deberan prohibir que se las cace.

En ambos razonamientos, la primera premisa es un enunciado condicional


(del tipo, Si X, entonces Y). La segunda premisa no es ms que la afirmacin del
antecedente del condicional (siendo X, prestar un libro o las ballenas son una
especie en extincin). La conclusin inferida es el consecuente del condicional, o
sea Y.
Nos resulta sencillo observar que la estructura
Premisa:

Si X entonces Y

Premisa:

Conclusin:

17

luego Y.

La Lgica

Filosofa y ciudadana. 1 Bachillerato

As pues, resulta aplicable a una infinidad de razonamientos sean cuales


quieran sus contenidos.

3.2. Tipos bsicos de razonamiento.


Antes de pasar a otro asunto, vamos a hablar brevemente de una divisin que
se suele hacer entre los argumentos.
A stos se los clasifica en argumentos deductivos y argumentos
inductivos. Las personas que dan un argumento deductivo pretenden que el
apoyo que sus premisas dan a su conclusin es tan completo que esta ltima es
necesariamente verdadera si las premisas lo son. Por el contrario, el apoyo que
se pretende en un argumento inductivo es ms dbil. Se quiere nicamente que la
conclusin sea ms probable si las premisas son verdaderas.
Tanto en un argumento deductivo como en uno inductivo se saca o extrae una
conclusin a partir de las premisas. En el lenguaje especializado de la lgica se dice
que de las premisas se infiere una determinada conclusin. Por ello frecuentemente
a los argumentos se les llaman tambin inferencias, o bien se dice que en los
argumentos se hacen inferencias, lo que viene a ser lo mismo, pues lo que se quiere
decir, expresado en lenguaje comn, es que de las premisas se extraen conclusiones.
Tambin se dice que las premisas implican (lgicamente) la conclusin.
La diferencia entre los argumentos deductivos y los inductivos la expresamos
con esa terminologa especializada diciendo que en los argumentos deductivos la
inferencia es ms fuerte que en los inductivos.
Se suele hacer una distincin entre varios tipos de argumentos inductivos.
En un argumento inductivo podemos encontrar una conclusin general a partir de
premisas sobre casos particulares que se estiman suficien-temente similares Por
ejemplo:
Premisa:

Los trozos de cobre c1,... cn se calientan al ser golpeados por una


piedra.

Premisa:

Los trozos de cobre b1 ,..., bn se calientan al ser golpeados por un


martillo.

Conclusin:

18

El cobre se calienta al ser golpeado por un objeto slido.

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Tambin encontramos argumentos inductivos en los que la conclusin no es


una generalizacin. Las premisas presentan datos sobre casos similares que hacen
pensar que un determinado hecho es probable. Por ejemplo:
Premisa:

En el parque los pjaros pan al atardecer

Premisa:

En las tardes de primavera y verano los pjaros pan en las riberas.

Premisa:

He odo cantar a los pjaros en las montaas por la tarde durante las
pocas templadas.

Conclusin:

Durante el paseo de esta tarde otoal oiremos piar a los pjaros.

Se distingue a veces un ltimo tipo de argumento inductivo, cuando el


argumento se basa explcitamente en la probabilidad matemtica. Un ejemplo de este
tipo es el siguiente:
Premisa:

En la prxima tirada de los dados he de sacar dos seises para ganar la


partida.

Premisa:

Los dados con que tiro no estn trucados

Conclusin:

No ganar la partida.

La conexin entre las premisas y la conclusin, en todos los tipos de


argumentos inductivos, slo permite suponer, en el mejor de los casos, que, si todas
las premisas son verdaderas, entonces es probable que la conclusin tambin lo sea.
El otro tipo de inferencia es la inferencia deductiva o deduccin. Veamos un
ejemplo.
Premisa:

Julia slo sale con chicos boy-scouts.

Premisa:

Martn no es boy-scout.

Conclusin:

Julia no sale con Martn.

Como decamos antes, una inferencia deductiva es ms fuerte que una


inductiva. La persona que da una argumentacin deductiva pretende que la conclusin
es segura si las premisas son verdaderas. A qu puede deberse esa garanta? A
que, de algn modo, el contenido informativo de la conclusin est ya en el de las
premisas La conclusin slo pone de manifiesto algo que ya se dice en las premisas,
aunque de una manera oculta, implcita.
Tomemos el ejemplo dado antes:

19

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Al afirmar que Martn no es boy-scout, ste no puede ser alguien elegido por Julia
para salir con ella, ya que a sta slo le gustan los chicos que son boy-scouts, y,
consecuente con ello, slo sale con ese tipo de chicos.

Hemos de insistir una vez ms en que, por supuesto, en nuestra vida cotidiana
no damos de modo habitual los argumentos en la forma bien estructurada y explcita
en que se presentan en nuestros ejemplos. El ltimo argumento, por ejemplo, podra
perfectamente presentarse de la siguiente manera:
Martn no es boy-scout, as que Julia no lo tiene en cuenta.

Por eso, el modo en que se suelen presentar los argumentos en la vida


cotidiana hace a veces difcil reconocerlos, y a veces, aunque se los reconozca, podra
hacer difcil decir el tipo al que pertenecen.
As que, mientras en los ejemplos dados de inferencias o argumentos, es
bastante claro cundo tenemos un argumento inductivo y cundo estamos ante uno
deductivo, en otros casos la cuestin puede no estar tan clara.
Hemos caracterizado la diferencia entre uno y otro tipo en trminos de lo que
pretenden las personas al dar un argumento o hacer una inferencia. En trminos,
por tanto, en los que hay un componente subjetivo. Realmente no existen criterios
precisos que sirvan para diferenciar siempre de un modo puramente objetivo cundo
estamos ante un argumento inductivo o ante uno deductivo.
Pero la observacin anterior no debe llevarnos a la precipitada conclusin de que
en ningn caso existan formas precisas y objetivas de diferenciacin entre tipos de
argumentos. Ese criterio es la validez de la inferencia.

3.3. Razonamientos vlidos y razonamientos invlidos.


Un razonamiento es formalmente vlido, esto es, posee una estructura
correcta cuando existe una conexin adecuada entre las premisas y la conclusin.
La validez formal de un razonamiento es relativa al sistema en el que estemos
operando, como la correccin de una operacin matemtica, depende del sistema en
que calculemos. As, por ejemplo:
24 + 1 = 1 (ser correcto en el sistema aritmtico que utilizamos para contar las horas
del da pero no en el de la suma de nmeros naturales en base 10).

En lneas generales, un razonamiento es formalmente vlido si:

20

La Lgica

Filosofa y ciudadana. 1 Bachillerato

La conclusin se deriva de las premisas y/o de los axiomas2 del sistema,


por aplicacin de las reglas de razonamiento establecidas en dicho sistema.
(Validez sintctica).
La conclusin es verdadera para todos los casos de interpretacin de las
premisas si las premisas son verdaderas (Validez semntica).
En un razonamiento vlido, la conclusin se deriva rigurosamente de las
premisas, de manera que es imposible que alguien mantenga las premisas y niegue la
conclusin sin contradecirse.
Veamos ahora cundo una inferencia, sea de tipo inductivo o deductivo, tiene
la caracterstica de ser vlida, o, como tambin se dice muchas veces, correcta.

Comencemos por las inferencias deductivas.


La persona que hace una inferencia deductiva pretende que la conclusin es
necesariamente verdadera si las premisas son verdaderas, es decir, que en el caso
de que las premisas sean verdaderas, la conclusin no puede ser falsa. Ahora bien,
esa pretensin puede estar justificada o no. En el caso de que lo est, es decir, de
que efectivamente la conclusin no pueda ser falsa si las premisas son verdaderas,
decimos que la inferencia es vlida (deductivamente).
Un ejemplo de inferencia vlida es la del apartado anterior referente a Julia, la chica
con una preferencia exclusiva por los boys scouts.

La validez es una propiedad objetiva de las inferencias. No depende de las


intenciones o pretensiones de nadie, sino de que se cumpla lo que hemos expresado
en la definicin que se acaba de dar. Ahora bien, de dnde proviene la validez
deductiva de una inferencia?, Qu es o que hace que sea vlida?, Hay alguna
caracterstica ms o menos patente de las inferencias que nos lleve a reconocerlas
como vlidas?
Consideremos el siguiente ejemplo.
Premisa:

Todos los zumbos son bumbos

Premisa:

Colt es un zumbo.

Conclusin:

Colt es un bumbo.

2 En los lenguajes formales (como la lgica o la matemtica) se denomina axioma toda proposicin

que se toma corno principio sea o no evidente. Los axiomas se establecen sin demostracin y una vez
establecidos, su verdad es incuestionable en el sistema al que pertenecen. La serie de nmeros naturales
y toda la aritmtica elemental, por ejemplo, se fundamenta en los cinco axiomas establecidos por Peano
en 1889:

21

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Si lo representamos graficamente mediante diagramas de Venn, quedara:

Sin captar el significado del argumento -puesto que las palabras en cursiva no
tienen por qu pertenecer a ningn idioma conocido- podemos decir que la conclusin
debe ser verdadera en el caso de que las premisas sean verdaderas, y podemos
decirlo por la forma que ste tiene. Reconocemos que las inferencias de esta forma
han de ser todas ellas vlidas He aqu esquemticamente la forma del argumento
deductivo vlido del ejemplo anterior
Premisa:

Todos los A son B.

Premisa:

x es un A.

Conclusin:

x es un B.

Vamos ahora a usar este esquema con un ejemplo con sentido:


Premisa:

Todos los espaoles son europeos.

Premisa:

Martn es un espaol.

Conclusin:

22

Luego Martn es un europeo.

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Observa que, efectivamente, la inferencia es vlida3.


La conclusin general que puede obtenerse de esto es que, al menos para
ciertas inferencias, su validez o no validez viene determinada por su forma. A la
investigacin de esas formas de inferencia que dan inferencias vlidas y de las formas
que no las dan se la llama lgica formal.
La validez o correccin de un argumento inductivo no viene determinada por la
forma que tenga. Un argumento inductivo es correcto, es vlido, cuando sus premisas
aportan una buena base para afirmar que la conclusin puede ser verdadera. Dicho
con otras palabras, el argumento es vlido si la conclusin es probable (al menos ms
probable que no) suponiendo verdaderas las premisas.
De le que no cabe duda es de que la probabilidad es cuestin de grados. Por
ello, es razonable considerar que unos argumentos inductivos son ms fuertes que
otros. Por ejemplo, recordemos que en el primer tipo de argumento inductivo de los
mencionados en el apartado anterior (el de los trozos de cobre), la conclusin es
una generalizacin hecha sobre una serie de datos o ejemplos. En principio hay que
considerar que cuantos ms ejemplos sirvan de base a un argumento, ms probable
es su conclusin, por tanto, ms fuerte es el argumento.
La cuestin es, en realidad, algo ms complicada, porque, como pone de
manifiesto nuestro ejemplo del apartado anterior, el del cobre que se calienta al ser
golpeado, es ms importante para la probabilidad de la conclusin la variedad en
los materiales con que se golpea el cobre que la mera acumulacin de casos con un
mismo objeto u objetos de un mismo material.
Tambin en el segundo tipo de argumento inductivo, en el que la conclusin
no es una generalizacin (el de los pjaros que pan), tenemos unas inferencias ms
fuertes que otras. Considera el siguiente ejemplo:

Premisa:

Cada ao se realizan 20 ejercicios en esta clase.

Premisa:

Todos estos ejercicios son similares en grado de dificultad.

Premisa:

De los 19 efectuados hasta ahora todos los alumnos han fallado al


menos una pregunta.

Conclusin:

Este ao no habr un solo alumno que consiga sacar bien todo un


ejercicio.

Puedes emplear el mismo sistema de representacin grfica mediante diagramas de Venn


para darte cuenta visualmente de lo que se propone en estos argumentos

23

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Compara este argumento inductivo con el siguiente:


Premisa:

Cada ao se realizan 20 ejercicios en esta clase.

Premisa:

Todos estos ejercicios son similares en grado de dificultad.

Premisa:

De los 5 efectuados hasta ahora todos los alumnos han fallado al


menos una pregunta.

Conclusin:

Este ao no habr un solo alumno que consiga sacar bien todo un


ejercicio.

Sin duda estars de acuerdo con que el primero tiene una base ms slida (19
de 20) que el segundo (5 de 10) para sacar idntica conclusin. El primer argumento
es vlido, porque la cantidad de ejercicios hechos ya en relacin con los que faltan
es lo suficientemente grande como para no esperar ningn cambio en el resultado
obtenido hasta el momento. No as el segundo, donde faltan ms de la mitad de los
ejercicios.

3.4. Validez y verdad.


Validez y verdad son dos conceptos distintos que no debemos confundir, cosa
que no es poco frecuente. Por eso es preciso dedicar un momento a reflexionar sobre
ellos.
Es cierto que ambas palabras se utilizan muchas veces como equivalentes en
el habla cotidiana. A veces, por ejemplo, omos a alguien decir Tu argumento no es
verdad o Lo que afirmas no es vlido. Pero para clarificar los razonamientos hemos
de ser ms rigurosos con nuestra terminologa.
La verdad, y su contrapartida la falsedad, es una propiedad de enunciados
(afirmaciones o negaciones). Hoy llueve ser verdadero o falso dependiendo de las
condiciones atmosfricas que se dan en el da en que sea pronunciado; El oro es un
metal precioso es un enunciado verdadero en todos aquellos lugares y pocas en
que dicho metal as se ha considerado y Nern no fue un emperador romano es falso
para toda persona que tenga mnimos conocimientos de historia occidental.

24

La Lgica

Filosofa y ciudadana. 1 Bachillerato

La validez es una propiedad de argumentos que, como hemos dicho depende


unas veces de la forma del argumento y otras de la mayor o menor evidencia que
aportan las premisas. La validez o no validez de un argumento es independiente de
la verdad o falsedad de las premisas excepto en un caso: un argumento deductivo
vlido cuyas premisas sean todas verdaderas no puede tener una conclusin
falsa.
Veamos un ejemplo de argumentos vlidos con premisas o conclusin falsas.
Premisa:

Todas las aves son ovparas, (V)4

Premisa:

Los canguros son aves. (F)

Conclusin:

Los canguros son ovparos. (F)

Compara la forma del anterior ejemplo con el siguiente Se trata de un


argumento no vlido aunque tengan premisas y conclusin verdaderas.
Premisa:

Todas las aves son ovparas. (V)

Premisa:

Los patos son ovparos. (V)

Conclusin:

Los patos son aves. (V)

3.5. Los razonamientos engaosos.


Hay un tipo de razonamientos que tienen la apariencia de correccin, pero que
no son correctos porque esconden algn error. A este tipo de argumentaciones se les
denomina falacias. Existen dos clases de falacias: formales y materiales.

Falacias formales
Son razonamientos deductivos no vlidos porque su forma no es vlida,
sin embargo tiene una apariencia de validez. Hay varios. Aqu estudiaremos unos
cuantos.

Falacia de la afirmacin del consecuente.


Presenta este esquema:
Premisa:

Si X entonces Y

La V hace alusin a la verdad de la proposicin y la F a su falsedad de acuerdo al los


conocimientos sobre los asuntos tratados en cada proposicin.

25

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Premisa:
Conclusin:

Y
por tanto, X

La falacia o el error consiste en afirmar el antecedente del condicional (X)


tan slo porque se afirma o se da el consecuente (Y), sin pensar que este se
puede dar con otras condiciones. Por ejemplo, el siguiente razonamiento es
falaz:

Premisa:

Si llueve las calles se mojan,

Premisa:

Las calles estn, efectivamente, mojadas

Conclusin:

Por tanto, ha llovido

Es obvio que del hecho que las calles estn efectivamente mojadas no se
desprende que haya llovido. Se pueden dar otras condiciones que lo expliquen,
como por ejemplo, que alguien haya tirado un cubo del agua o por la accin de
las operaciones del servicio de limpieza de nuestro ayuntamiento.
As pues, este razonamiento no tiene una forma vlida, aunque a primera vista
pueda parecerlo. En un razonamiento deductivo vlido, la conclusin se extrae
necesariamente de las premisas, y no es el caso del ejemplo.

Falacia de la negacin del antecedente.


Presenta este esquema:
Premisa:

Si X, entonces Y

Premisa:

No X

Conclusin:

Por tanto, no X

La falacia o el error consiste en negar el consecuente (Y) del condicional


tan slo porque no se da el antecedente (X), sin pensar que el consecuente
tambin se puede dar con otras condiciones.
Por ejemplo, el razonamiento que planteamos a continuacin es una falacia de
negacin del antecedente:

26

Premisa:

Si como turrn, se me estropearn los dientes

Premisa:

No como turrn

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Conclusin:

Por tanto, no se me estropearn los dientes.

Y lo es ya que los dientes se pueden estropear por otras razones o condiciones


como por ejemplo a causa de la caries. No podemos concluir la negacin del
consecuente slo a partir de la negacin del antecedente.

Falacia de peticin de principio.


La cometemos cuando la conclusin del argumento se quiere probar a partir
de premisas que a su vez se prueban, o deberan probarse, con la misma
conclusin. Por ejemplo:
Premisa:

La Biblia afirma que Dios existe.

Premisa:

El autor de la Biblia es Dios.

Conclusin:

Por tanto, Dios existe.

La segunda premisa contiene implcitamente la conclusin, es decir, se


pretende probarla a partir de la misma conclusin.

Falacias no formales
Son razonamientos deductivos o inductivos no vlidos, aunque no por la forma.
No son vlidos porque la informacin que proporcionan las premisas no es pertinente
para la conclusin establecida, bien porque las premisas proporcionan un soporte nulo
o escaso a la conclusin, bien porque se comete algn error lingstico o caemos en
alguna trampa del lenguaje.

Falacia ad hominem.
Cometemos este tipo de falacia cuando, en lugar de analizar el razonamiento
y discutir las razones que presenta, atacamos a la persona que lo sostiene (ad
hominem significa, literalmente, contra la persona). Por ejemplo, podramos
afirmar:
La crtica que realiza Freud de la religin no es verdadera, porque Freud es un judo
frustrado. O bien decir: La poltica econmica del PP es nefasta, simplemente porque
es una poltica de derechas. O bien: El seor X cree que las botellas de PVC son
perjudiciales para la salud, porque el seor X es fabricante de botellas de vidrio, etc.

27

La Lgica

Filosofa y ciudadana. 1 Bachillerato

La falacia consiste, en todos los casos, en desautorizar, desprestigiar o atacar


de algn modo a la persona en lugar de analizar si son suficientemente
pertinentes las razones que alega5.

Falacia ad ignorantiam
Este otro tipo de falacia consiste en afirmar que una proposicin es verdadera
slo porque desconocemos si es falsa, como por ejemplo, afirmar que la
proposicin Dios existe es verdadera porque no hay nada demostrado en
contra.
Obviamente, la falacia tambin puede funcionar a la inversa: es decir, afirmar
que una proposicin es falsa porque no se ha demostrado que sea verdadera.
As, por ejemplo, afirmar que Es falso que el tabaco provoque impotencia sexual
porque hasta ahora no existe ninguna evidencia de lo contraria.

Falacia ad populum
La falacia consistira en la apelacin a los sentimientos del oyente como
recurso para obtener el asentimiento ante una proposicin. Quien comete esta
falacia a menudo espera que el oyente acte de una determinada manera,
incluso sin haber asentido a la proposicin.
El poltico o el comerciante que apela a los sentimientos del pblico con la
finalidad de que adopten el punto de vista que ellos defienden incurren en esta
falacia. Por ejemplo, si quieres la paz, prepara la guerra.
El lenguaje, por tanto, se puede emplear como instrumento de manipulacin,
como recurso para persuadir y vencer. Por ejemplo, muchos productos de
consumo emplean el calificativo de natural como recurso para aumentar el
atractivo y multiplicar las ventas. Porque lo que es natural se presenta como
sinnimo de puro, verdadero, autntico y saludable, y opues-to a contaminado,
falso y artificioso.

Que cuantos juran por las palabras del maestro sin atender a lo que se dice, sino a quin lo
dijo, sepan que las grandes sentencias son de todos pertenecen a todos. Sneca, Ventajas de
la vejez en Cartas morales a Lucilio.

28

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Mediante un desplazamiento del sentido se subraya slo una de las posibles


interpretaciones de la palabra. Pero realmente, En qu sentido es natural un
champ y no lo es, por ejemplo, un coche?

Falacia ad verecundiam
Consiste en apelar indebidamente a la autoridad intelectual de alguien para
justificar alguna proposicin o creencia. Por ejemplo, Marx afirma que la religin
es el opio del pueblo. Por tanto, es seguro que la religin es el opio del pueblo.

Cuando nos basamos en la supuesta autoridad de alguien para argumentar


nuestras conclusiones, podemos incurrir en el error de creer que con sta hay
suficiente para considerar verdadero aquello que dice.
La apelacin a la autoridad no es, sin embargo, siempre falaz, sino que
depender de si la autoridad a quien apelamos est legitimada o no6.

Falacia ad misericordiam
Esta falacia consiste en apelar a los sentimientos del oponente para
persuadirlo. As, por ejemplo, si un padre se negara a comprarle un ciclomotor
a su hijo, ste podra apelar a la misericordia del padre diciendo que va a ser el
nico de su pandilla sin moto y que se va a sentir inferior, marcado, marginado
por ello. Otra forma de expresarlo, ms coloquial, sera decir que esta falacia
consiste en provocar o dar pena, en hacerse el mrtir ir de vctima o incluso
chantajear emocionalmente. Con la pena se pretende ablandar y doblegar
por va sentimental al contrincante, cuando no puede hacerse por va lgica,
Otro ejemplo: el paciente que no cumple los consejos que le da su mdico
puede utilizar tambin esta falacia: S que me he pasado con los datos del
colesterol y no he bajado los tres kilos que deba, pero es que estoy pasando por una
delicada situacin familiar.

Falacia de la pista falsa


Esta falacia consiste en concentrar la atencin sobre aspectos secundarios o
incorrectos y extraer, por tanto, de ellos una conclusin equivocada.
Ejemplo: supongamos que un determinado gobierno elimina el servicio militar
obligatorio. Medida en cualquier caso meritoria. La oposicin, para restar
6

O resulta verdadera nuestra respuesta a una tarea solo por el hecho de que hemos buscado
la respuesta en Wikipedia.

29

La Lgica

Filosofa y ciudadana. 1 Bachillerato

mrito a la medida, podra argumentar diciendo que la prdida de la mili es


una lstima, pues contribua a que los habitantes de las diferentes regiones
del pas se conocieran, convivieran y as se llevaran mejor. El argumento
es evidentemente falaz. La supuesta contribucin de la mili a la cohesin
interregional es, adems de sumamente discutible, es un dato absolutamente
secundario (los mozos de las diferentes regiones podran conocerse y
convivir tambin mediante viajes subvencionados por el gobierno). Una forma
correcta de restar mritos a la medida sera insertarla en una coyuntura
internacional: no lo ha hecho el gobierno por propia iniciativa, sino que viene
impuesto desde fuera (por disposiciones comunitarias, por la actual distribucin
de bloques estratgicos, etc.). Tambin comete esta falacia quien culpa a
las mafias de la llegada de inmigrantes en pateras y cayucos: el verdadero
problema es la miseria y el fallo de una verdadera justicia distributiva a escala
mundial.

Falacia de la supresin de prueba


Se incurre en esta falacia cuando al argumentar se elimina la informacin que
no nos beneficia o se la ofrece sesgada, es decir, dndole la interpretacin que
ms nos interesa.
Ejemplos: esta falacia aparece con alguna frecuencia y con gran variedad
de formas. As se presenta a veces con la variante que podemos
llamar estadstica: los espaoles somos los que disfrutamos de mayor
calidad de vidas. Es evidente que si no se nos dice ms, se nos ha dicho muy
poco. Se supone que cuando tal informacin aparece en un peridico, se basa
en algn tipo de estudio estadstico: pero, Qu criterios se han empleado?
A veces se nos dan incluso cifras: pero no se suele aclarar si son absolutas o
relativas.

Falacia de la generalizacin precipitada


La cometemos cuando, a partir de unos pocos datos -o claramente
insuficientes-o de casos no adecuados, establecemos una generalizacin. Por
ejemplo, podemos decir Los catalanes son unos desconfiados solo porque he
conocido a unas cuantas personas que lo eran y que, adems, eran catalanas.

30

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Pero de unos pocos casos no podemos llevar a cabo una generalizacin.


As tambin ocurre en la mayora de las encuestas que se nos presentan en
muchos programas televisivos.
Sin embargo, no siempre que generalizamos caemos en una falacia. La
generalizacin se puede justificar cuando tenemos suficientes datos o nuestras
informaciones tienen entidad suficiente para ampliar nuestras afirmaciones
u otros casos no comprobados. Por ejemplo, puedo concluir que todos los
metales se dilatan con el calor.

Las generalizaciones inductivas por enumeracin simple son de este tipo. A


pesar de todo, ya sabemos que, tratndose de generalizaciones inductivas,
corremos el riesgo de equivocarnos, porque la verdad de las premisas slo
hace probable la verdad de la conclusin7.

Falacia de la falsa causa o post hoc, ergo propter hoc


Esta otra falacia consiste en afirmar que un fenmeno es causa de otro
simplemente por el hecho de ser anterior a ste cronolgicamente (despus de
esto, por tanto, a causa de esto).
La falacia consiste en confundir la prioridad temporal con la causalidad. Por
ejemplo: Despus de tomar las pastillas para el dolor de cabeza, contraje la
hepatitis. Por tanto, las pastillas han sido la causa de la enfermedad.
Podra ser que las pastillas en cuestin tuviesen un componente que causara
la hepatitis. Esto no lo debemos descartan pero no podemos afirmar que
hemos contrado la hepatitis slo por el hecho de haber tomado antes las
pastillas8.

Estamos ante los casos del falso dilema o de la pregunta compleja. En el primero de ellos
el recurso consistente en plantear una cuestin desde dos nicas alternativas posibles, casi
siempre radicalmente antagnicas, y que en la mayora de los casos expresan de modo tcito
las creencias de quien las propone. En este sentido, se observa un maniquesmo exacerbado.
Ejemplo: en campaa electoral todos los partidos plantean el siguiente falso dilema: unos
votis, o con los otros llegar el caos.
En el segundo la falacia consiste en plantear cuestiones cuyo enunciado no da la oportunidad
al interrogado de poder manifestar su punto de vista, pues stas presuponen ya la solucin
que suele ser la que desea el que pregunta.
Ejemplo: Sigue siendo tu hijo tan hiperactivo? Si se responde no, resulta que ya no lo es, pero
que lo fue. Si se responde s, es que lo fue y lo sigue siendo.
8 Acurdate de que correlacin y causalidad no son trminos sinnimos.

31

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Falacia de la ambigedad
Se trata de emplear trminos que pueden tener ms de un significado. Hay
muchas palabras que tienen ms de un significado (polismicas) y tambin
hay enunciados que se prestan a ms de una interpretacin. Cuando por
el contexto no es posible determinar el significado de una palabra o de una
oracin, decimos que aquella palabra u oracin se est empleando con
ambigedad.
Por ejemplo, en la frase No me gustan los bancos, la palabra banco se est
usando ambiguamente. En el enunciado El juez conden a Perico Baranda por
el delito de haber estafado a su hermano, la ambigedad afecta a toda la frase,

porque, por el contexto no sabemos si la persona estafada era hermana del


juez o del condenado.
La ambigedad en el uso de las palabras y oraciones se puede evitar
ampliando el contexto lingstico. Por ejemplo, en la frase no me gustan los
bancos, prefiero las cajas de ahorro, ha desaparecido la ambigedad ampliando

el contexto lingstico. La ambigedad sintctica del otro ejemplo se evita con


una nueva redaccin: Perico Baranda ha sido condenado por el delito de haber
estafado a la hermana del juez encargado del caso.

Si trasladamos la ambigedad de las palabras o de los enunciados al terreno


de los argumentos, podemos llegar a conclusiones falsas partiendo de
premisas verdaderas, aunque empleemos un razonamiento formalmente
correcto. Por ejemplo: Los hombres y las mujeres no son iguales. La justicia debe
respetar las diferencias. Por tanto, la justicia debe tratar de modo desigual a los
hombres y a las mujeres. El razonamiento es formalmente correcto, pero caemos

en la trampa de la ambigedad. La falacia se basa en confundir la desigualdad


biolgica (que es innegable) con la desigualdad jurdica (que es injustificable).

Falacia de la vaguedad
Se trata de emplear trminos con significado poco preciso o mal delimitado.
Muchas palabras se pueden usar con grandes dosis de imprecisin, lo que
produce un alto grado de indeterminacin en la comunicacin ordinaria. Por
ejemplo, decimos Haba mucha gente en el partido o Ral va a poca velocidad.
En estos enunciados las palabras mucha y poca se emplean vagamente y,
aunque ampliemos y precisemos el contexto lingstico, el significado de estas
palabras difcilmente quedar delimitado con exactitud.

32

La Lgica

Filosofa y ciudadana. 1 Bachillerato

La imprecisin aplicada a los argumentos nos puede llevar a conclusiones


equivocadas. Esto puede suceder cuando, en las premisas alguna palabra se
usa vagamente. De este modo, si decimos que Ral va a poca velocidad y que
Concha va a muy poca velocidad, sera lgico afirmar que Ral es ms rpido que
Concha.

Sin embargo, nos equivocamos, porque Ral se desplaza a 30 km/h (y


decimos que va a poca velocidad porque ayer iba a 60 km/h) y Concha va a 40
km/h (y decimos que va a muy poca velocidad porque ayer iba a 120 km/h). De
hecho, pues, Concha va ms rpido que Ral.
Las falacias, en definitiva, son errores que se cometen al razonan. Su
existencia nos demuestra que el uso de la razn no implica necesariamente
que la usemos correctamente, ni que la razn sea ninguna garanta de
conocimiento ni de la racionalidad de nuestras creencias. Las falacias
representan un uso errneo o, mejor an, un abuso de la razn.

3.6. Distorsiones psicolgicas vinculadas a las falacias.


La falacia constituye una distorsin de la realidad, ya que no presenta las
cosas como realmente son. La comisin continua de falacias hace perder el sentido
de la realidad. En Psicologa, la prdida del sentido de la realidad equivale a un
desequilibrio mental. La depresin, que los expertos consideran, por su extensin en
las sociedades modernas, una especie de resfriado psquico, suele ser consecuencia
de una visin distorsionada de lo que nos rodea.
Para la denominada terapia cognitiva en Psicologa, la verdad, la visin
correcta de las cosas, cura, hace recuperar el equilibrio anmico. Los pensamientos,
cogniciones o visiones del mundo crean el estado anmico. Un pensamiento negativo
crea estados de nimo negativos, acaba desequilibrando y deprimiendo. El hecho
curioso, que vincula lgica con Psicologa, es que este pensamiento negativo consiste
en distorsiones, en visiones deformadas de la realidad que son el resultado de
la aplicacin inconsciente de numerosas falacias. Los psiclogos las denominan
distorsiones cognitivas, pero su naturaleza falaz es evidente, Veamos algunas de
ellas:
Pensamiento todo-o-nada: se ve el mundo en blanco y negro, sin matices,
sin trmino medio: triunfo o fracaso, Me quieren o me odian, lo hago
muy bien o muy mal, Esta distorsin encierra las dos modalidades bsicas

33

La Lgica

Filosofa y ciudadana. 1 Bachillerato

de la falacia: la induccin temeraria o indebida y la informacin insuficiente.


Se detectan tambin rastros del falso dilema. La no matizacin, el pasar de un
extremo a otro no es mentalmente saludable,

Generalizacin excesiva: como me ha salido una cosa mal, todo lo que venga
despus me va a salir tambin mal. La induccin temeraria resulta aqu muy
clara,

Filtro mental: me quedo con lo negativo y dejo pasar lo bueno, con frecuencia
lo negativo es anecdtico. No es importante haber sacado las mejores notas de
mi clase, lo verdaderamente importante es que Jenny no quiere venir conmigo
al cine. Se trata de una variante clara de pista falsa.
Descalificacin de lo positivo: en lo positivo slo veo lo malo. Si me elogian,
no es que valga, es que me estn adulando, Aqu se mezclan la pista falsa con
la supresin de prueba.
Conclusiones apresuradas: del malhumor del compaero de trabajo, de
su trato abrupto hoy conmigo, deduzco que tiene algo contra m y no lo que
realmente le pasa: que tiene un terrible dolor de cabeza. Estamos ante un
evidente non sequitur
Magnificacin y minimizacin: magnifico lo malo que me pasa y minimizo
lo bueno. Es gravsimo que el director haya sido hoy agrio conmigo y no
tiene importancia alguna que lleve todo el mes elogiando mi trabajo. Aqu se
mezclan la pista falsa con la supresin de prueba.
Razonamiento emocional: la verdad est en los sentimientos, no cuenta
la razn, si me siento intil es que soy intil. No cuenta que mi sentimiento
proceda de que he tenido un mal da, de que estoy cansado, etc. Aqu
prepondera la falacia ad misericordiam auxiliada por un non sequitur
Etiquetacin: a las personas y las cosas hay que ponerles etiquetas,
normalmente negativas, para que todo est claro: el vecino es un ruidoso,
el colega de trabajo un envidioso, mi mejor amigo un traidor. En todos estos
casos suprimo prueba, me quedo con la pista falsa y mi visin de la realidad
acaba siendo una caricatura.
Falacia del reguero de plvora: todo el mundo es igual, de manera que si
hago algo mal y alguien deja de quererme, se correr rpido la voz y al final no
me querr nadie, La induccin temeraria es aqu ms que evidente.

34

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Falacia del foco: todo lo que hago de cara al pblico ocurre como en un
escenario, de manera que si no hago cosas absolutamente extraordinarias,
no gustar y acabarn desprecindome. Mezcla de induccin temeraria, pista
falsa y supresin de prueba.

35

La Lgica

Filosofa y ciudadana. 1 Bachillerato

4. El lenguaje formal.
4.1. Definicin de lenguaje formal.
Se denomina Lenguaje formal al lenguaje artificial que utiliza una tabla de
smbolos formales- formas que carecen de significado fijo- y cuyas reglas sintcticas
poseen la operatividad y eficacia del clculo. La lgica y la matemtica son lenguajes
formales.

4.2. Smbolos y reglas en un lenguaje formal.


Una tabla de smbolos formales es el conjunto de signos - constantes y
variables- que utiliza un determinado lenguaje formal.
La tabla de smbolos formales se establece por convenio y contiene tantos
smbolos como sean necesarios para operar en el lenguaje artificial que se trate.
Las variables son signos que carecen de significado fijo - como su nom-bre
indica, su sentido es variable- y, en consecuencia, pueden recibir un sur-tido ilimitado
de contenidos: podemos establecer correspondencias entre tales smbolos, por una
parte, y objetos o procesos de la realidad, por otra.
En matemticas, los nmeros pueden utilizarse para contabilizar caballos,
conjuntos, ngulos o conceptos, pero jams diremos del nmero 3 que se refiere
exclusivamente a los caballos, los conjuntos, etc.
En lgica, el smbolo p puede traducir cualquier enunciado afirma-tivo
como Pars es una ciudad o Cada da hace ms calor- pero siempre y cuando
aparezcan en procesos distintos de trabajo; de lo contrario, o sea, cuando aparezcan
en un mismo problema tendrn que representarse por variables distintas. Es lo mismo
que ocurre en matemticas cuando se trabaja en un mismo problema con varias
inggnitas-.
Los smbolos variables constituyen el vocabulario primitivo del lenguaje formal.
Las constantes son signos con un sentido fijo que sirven para enlazar entre
s los smbolos del vocabulario primitivo. En los lenguajes formales, los smbolos
constantes se llaman tambin operadores.
En matemticas, los signos de sumar, restar o dividir son smbolos constantes
u operadores.

36

La Lgica

Filosofa y ciudadana. 1 Bachillerato

En lgica, el disjuntor V o el condicionador , son signos operadores que


enlazan unas variables con otras.
Todo lenguaje formal se sirve de dos tipos de reglas: las reglas de formacin
de frmulas y las reglas de transformacin de frmulas.
Se denominan reglas de formacin de frmulas a las que establecen los
criterios para combinar correctamente los smbolos formales.
En matemticas, la expresin (3 + 4)* 7 es una frmula bien formada en el
clculo de los nmeros naturales, pero es no ocurre con (3 + *4)* +7.
En lgica, la expresin (p V q)r es tambin una frmula bien formada; pero
no ocurre lo mismo con (p V q)r
Se denominan reglas de transformacin de frmulas a las que permiten
operar con frmulas dentro del clculo, esto es, pasar de una frmula a otra.
En matemticas, podemos transformar la expresin (3 + 4)* 7 a otra que
le sea equivalente, por ejemplo 49 o 45 + 4 o 50 1 y que se utilizan segn
convenga en cada caso.
En lgica tambin podemos pasar de unas expresiones a otras aplicando las
reglas de transformacin que ms adelante estudiaremos. Por ejemplo, podemos
transformar, si as nos interesa, la frmula A V B en (A B) mediante una regla
de definicin.

4.3. El clculo: definicin y caractersticas.


Calcular es realizar las operaciones necesarias para determinar un valor
conociendo su relacin con otros ya dados.
Las reglas de un lenguaje formal son operativas y eficaces por tres razones
fundamentales:

Porque mediante tales reglas siempre podemos saber si una frmula pertenece
o no a su lenguaje.

Porque mediante las reglas podemos obtener todas las frmulas vli-das
dentro de un sistema formal determinado.
Porque de su aplicacin estricta es imposible deducir, en el lenguaje que se
trate una frmula y su negacin.

37

La Lgica

Filosofa y ciudadana. 1 Bachillerato

4.4 Qu es la lgica?
La lgica puede definirse como la teora de las condiciones del razonamiento
formalmente vlido.
La lgica es un lenguaje formal porque dispone de una tabla de smbolos
formales -constantes y variables-, de unas reglas de formacin de frmulas que
legitiman la combinacin de smbolos y de unas reglas de transformacin de frmulas
que permiten operar con ellas con la eficacia de un clculo.
Dado que estas caractersticas tambin las posee la geometra, la aritmtica,
las formalizaciones de la fsica, etc., conviene recordar de nuevo el objeto de la lgica,
con el fin de distinguirla de otros lenguajes formales: la lgica se ocupa de la validez
de los argumentos independientemente de su contenido. En consecuencia, sern
sistemas lgicos aquellos que son aplicables al razonamiento con independencia de
su contenido.

38

La Lgica

Filosofa y ciudadana. 1 Bachillerato

5. La lgica proposicional.
La lgica proposicional o de enunciados es el apartado ms elemental y
bsico de la lgica. Es el ms elemental porque es el ms sencillo; es el apartado
bsico porque sirve de fundamento al resto del edificio de la lgica clsica.
La lgica proposicional trata de la validez formal de los razonamientos donde
las premisas y la conclusin son proposiciones -enunciados- tomados en bloque, esto
es, sin analizar.
Un enunciado es tomado en bloque cuando se prescinde de los elementos que
lo integran y pasa a ser considerado como un todo - una unidad lingstica-.
El enunciado Todos los hombres son mortales, desde el punto de vista de la lgica
de predicados sufrira la siguiente interpretacin simblica:

x (PxQx)
Que se leera: Para todos los casos de x, si x tiene la propiedad de ser un hombre (Px),
entonces x tiene la propiedad de ser mortal (Qx)).

Observa que la simbolizacin atiende a la estructura interna del enunciado.


En cambio, si tomamos el enunciado en bloque prescindimos de analizar
su estructura interna y lo simbolizamos con una consonante como p, q, etc. As
tendramos como ejemplos de proposiciones que aparecen en un mismo asunto a
resolver:
Todos los hombres son mortales sera p.
Nadie conoce el verdadero significado de la vida sera q.
Camine la sana razn por la senda iniciada por los sentidos sera r.

Que aparecen simbolizadas por tres diferentes consonantes porque resultan


tres enunciados diferentes (lo mismo ocurre cuando en un problema de matemticas
tenemos que dar distintos nombres a las variables manejadas si hablamos, por
ejemplo, de un sistema de ecuaciones con dos incgnitas)
Frente a la ventaja de su sencillez, tenemos que la lgica proposicional se
limita a analizar y estudiar sistemticamente aquellos razonamientos cuya validez no
depende de la estructura interna de sus enunciados.
La lgica proposicional establece las combinaciones vlidas de enunciados
simples - atmicos - y compuestos moleculares- en argumentos cuya validez queda
determinada por las reglas de deduccin.

39

La Lgica

Filosofa y ciudadana. 1 Bachillerato

6. La lgica de proposiciones como lenguaje formal.


6.1 Definicin.
Formalizar un lenguaje es convertirlo en un clculo, esto es, en un
procedimiento deductivo que consta de smbolos, frmulas (combinaciones de
smbolos) y reglas operativas.
La lgica de proposiciones ser un clculo formal de las relaciones de
inferencia entre enunciados sin analizar, cuando:

Se provea de un lenguaje artificial (vocabulario primitivo y operadores).

Defina el uso o aplicacin de los operadores con objeto de establecer la nocin


de frmula (enunciado bien formado o de modo abreviado- ebf).

Estipule las relaciones de deduccin entre enunciados mediante reglas de


inferencia (razonamientos vlidos).

6.2 Vocabulario, operadores y expresiones bien formadas.


La tabla de smbolos utilizada por la lgica proposicional consta de:
Variables o letras enunciativas: se corresponden con las letras consonantes
del alfabeto, en minscula, a partir de la m: m, n, p, q, r, etc., con un
subndice si es preciso como, por ejemplo, p1, p2, p39.
Se denominan letras enunciativas porque sirven para simbolizar enunciados.
As, Llueve podra simbolizarse p.
Se denominan variables porque su contenido vara; por definicin pueden
representar cualquier enunciado.
Constantes u operadores: son signos que denotan relaciones u operaciones
lgicas y sirven para establecer conexiones -de ah que se denominen tambin
conectores o conectivas- entre enunciados.
Se denominan constantes lgicas porque su sentido es fijo -no vara- al denotar
relaciones lgicas.

Tenemos que advertir que el uso de la v genera confusiones por su parecido con el

disyuntor. Por ello recomendamos que no se emplee esta consonante.

40

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Las conectivas ms comunes de la lgica proposicional son de dos tipos:


mondicas - porque se aplican a un solo enunciado- y didicas -porque se
aplican a dos enunciados-.
De entre las conectivas mondicas, la ms usual es el negador () que
equivale a la negacin del lenguaje natural.
De entre las conectivas didicas, las ms usuales son: el conjuntor () que
se corresponde con la conjuncin y del lenguaje natural; el disyuntor (V)
que se corresponde con el uso inclusivo de la disyuncin o del lenguaje
natural; el condicionador () que equivale a la expresin si... entonces y el
bicondicionador () que corresponde a la expresin si y slo si del lenguaje
natural.

Signos auxiliares: parntesis, corchetes y llaves, usados para la formalizacin


de enunciados complejos y argumentos con varias premisas.

En el clculo lgico, una frmula es toda expresin bien hecha o ebf, esto es,
formada segn reglas previamente establecidas.
Ejemplos de frmulas del lenguaje de la lgica proposicional son: p, r, r
p, (p q) (r V s).

Reglas de formacin de frmulas


Las reglas de formacin de frmulas determinan, en primer lugar, qu
smbolos sirven para representar los enunciados simples o frmulas atmicas.
Adems, y en relacin con los enunciados compuestos o frmulas moleculares,
determinan, mediante definiciones de uso o sintcticas, la forma de operar de las
conectivas.
Por ejemplo, establecen que si A y B son frmulas y un operador,
podemos relacionarlas en la expresin A B, que ser, a su vez, una frmula bien
formada del clculo.

41

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Definicin sintctica de las conectivas:

Definicin del negador ()


Es el smbolo conector que aplicado a una frmula A da como resultado la
expresin A.
Se lee: no, no es cierto que, no es el caso que, etc. Equivale al sentido
dado en el lenguaje natural a la conjuncin negativa no.

Definicin del conjuntor ()


Es el conector que aplicado a dos frmulas A y B da como resultado la
expresin A B.
Se lee: y. Equivale al sentido dado en el lenguaje natural a la conjuncin
copulativa y, pero tambin se deben interpretar as nuestro pero, las
enumeraciones, las oraciones redactadas con separacin de comas (llegu,
v, venc) y los puntos gramaticales.

Definicin del disyuntor (V)


Es el conector que aplicado a dos frmulas A y B da como resultado la
expresin A B.
Se lee: o. El disyuntor equivale en el lenguaje natural al sentido inclusivo de la
disyuncin o. Semejantes son las expresiones oo., o bien o bien y
similares.

Definicin del condicionador ()


Es el conector que aplicado a dos frmulas A y B da como resultado la
expresin AB.
Se lee: si. .... entonces. Se emplea para expresar condiciones suficientes.
La expresin que antecede al condicionador se denomina antecedente, y la
que le sucede, consecuente o consiguiente.
Similares son expresiones donde la palabra entonces est implcita, del estilo
de si llueve, la ropa tendida se mojar. Ms convencional es su equivalencia
a expresiones del estilo si, por tanto, o si .., en consecuencia.

Definicin del bicondicionador ()


Es el smbolo conector que aplicado a dos frmulas A y B da como
resultado la expresin AB.

42

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Se lee: si y slo si, cuando y solamente cuando, equivale, etc. Suele


emplearse para establecer equivalencias y definiciones y para expresar
condiciones necesarias y suficientes10.

6.3. Las reglas de formacin de frmulas.


Para comprobar si una expresin es una frmula bien formada o fbf del
clculo basta que cumpla las condiciones estipuladas por las reglas de formacin.
Para el clculo proposicional son las siguientes:
1. Una letra enunciativa (con o sin subndice) es una frmula bien formada.
Ej. p, r, q3,
2. Si A es una frmula, A tambin lo es. Ej. p.
3. Si A y B son frmulas, A B, A B, AB y AB tambin lo son.
Ej. p q, p q, p (r s), p q.
4. Ninguna expresin es una frmula del clculo proposicional sino en virtud de
las anteriores.

10

El antecedente de un condicional expresa las condiciones suficientes para que suceda lo

afirmado en el consecuente: basta que ocurra el hecho indicado en el antecedente para que
tenga lugar lo descripto en el consecuente. As, en el ejemplo El hecho de que Argentina
exporta software implica que exporta tecnologa Informtica, que Argentina exporte software
es condicin suficiente para afirmar que exporta tecnologa informtica.
El consecuente de un condicional expresa condiciones necesarias del antecedente. Toda vez
que ocurra lo indicado en el antecedente, entonces necesariamente suceder lo descripto en el
consecuente. En el ejemplo anterior, el hecho de que Argentina exporte tecnologa informtica
es condicin necesaria para que exporte software.
De http://www.econ.uba.ar/www/departamentos/humanidades/plan97/logica/Legris/apuntes/APC-LL.pdf

43

La Lgica

Filosofa y ciudadana. 1 Bachillerato

7. La operativa
Simbolizacin.

en

la

lgica

proposicional:

7.1. Definicin.
Simbolizar un lenguaje es una operacin consistente en sustituir -traducirlos signos de ese lenguaje por smbolos - esto es, por los smbolos del clculo
proposicional, en nuestro caso- de tal modo que a cada objeto perteneciente al
universo del discurso de las relaciones de inferencia entre enunciados, corresponda
uno y slo un smbolo lgico, y a cada smbolo lgico uno y slo un objeto del discurso
(este tipo de correspondencia se denomina biunvoca y su uso viene a garantizar la
univocidad de la interpretacin).

7.2. Reglas de simbolizacin.


Regla de simbolizacin I
Cada uno de los enunciados simples del lenguaje natural se sustituir
por

variables

proposicionales

simbolizadas

mediante

las

letras

minsculas: m, n, o, p, q, r, etc., con subndices, si fuera preciso.


As:

Ludovico es un buen estudiante sera: p.

7 es un nmero primo sera: q

Quiz lo mejor sea ver todo esto con un ejemplo sera: r

Llueve sera: s

Regla de simbolizacin II
Las expresiones del lenguaje natural tales como no, no es cierto, no es el
caso que, es falso, no es posible, es imposible, etc., se sustituirn por el
smbolo .
As:

44

No la volv a ver ms sera: p

No es cierto que Platn recibiera el premio Nobel sera: q

La Lgica

Filosofa y ciudadana. 1 Bachillerato

No es verdad que no te conozca sera: r.

Regla de simbolizacin III


Las

expresiones

del

lenguaje

natural

tales

como y, ni, pero, que, e, mas, etc., se sustituirn por el smbolo .


As:

Pasaba arrolladora en su hermosura y el paso le deje sera: p q

Simnides juraba pero evitaba blasfemar sera: p q

No es cierto que me escuches y no hables sera: (p q)

Regla de simbolizacin IV
Las

expresiones

del

lenguaje

natural

tales

como o, o...o..., bien...bien... , ya. ..ya..., etc., se sustituirn por el


smbolo .
As,

O cierras la puerta o pillar un resfriado sera: p V q

O te callas o no te escucho sera: p V q

O no viene tu nombre en la gua telefnica o he olvidado el alfabeto


sera: r V s

Regla de simbolizacin V
Las

expresiones

entonces,

del

...luego...

lenguaje
.

.,

natural
..

por

tales

como:

tanto...,

...,

si...
en

consecuencia..., cuando, con tal que, ...se infiere..., ...se deduce..., ...se
deriva..., ...se demuestra..., etc., se sustituirn por el smbolo .
As,

Si Juan pierde el autobs, llegar tarde sera: p q

Como me inviten, ir sera: rs

Si hoy no es lunes, maana no ser martes sera: tw.

Regla de simbolizacin VI

45

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Las expresiones del lenguaje natural tales como: si y slo si..., ...equivale
a ..., ...es igual a..., ...vale por..., ...es lo mismo que..., etc., se sustituirn
por el smbolo .
As,

Un pueblo es democrtico si y slo si hay elecciones libres sera: pq

Slo en el supuesto de que t no la hayas matado, quedars libre sera:


rs

Podrs entrar en la comunidad slo si eres vegetariano y no practicas el


amor libre sera p (m n).

7.3. Normas para el uso de signos auxiliares.


En los ejemplos que hemos venido proponiendo con anterioridad ya hemos
manejado los signos auxiliares. Las normas que rigen su uso son:

Norma 1. No se utilizar el parntesis en aquellos casos en que los conectores


afecten a enunciados simples o atmicos.
Ej.:p

Norma 2. Se utilizar el parntesis cuando el conector afecte a toda una


conjuncin, disyuncin, condicional o bicondicional.
Ej.: (p V q); p(r s).

Norma 3 Se utilizar el parntesis en las expresiones conjuntivas y disyuntivas


precedidas o seguidas de un condicionador o bicondicionador.
Ej.: en lugar de p qr tendremos que poner (p q)r.

Norma 4. Se utilizar el parntesis en las expresiones en las que nos interese


precisar la dominancia del conector, o bien porque los conectores posean la
misma dominancia - como en el caso del conjuntor y del disyuntor que son
idempotentes - o bien porque el sentido de la expresin exige la alteracin de
la dominancia de las conectivas fuertes -el condicionador y el bicondicionador
son las conectivas de mayor extensin o dominancia-.
Ej.: Ante la imprecisin de m n p con el uso de parntesis podemos
obtener o una disyuncin dominante m (n p) o una conjuncin
dominante (m V n) p. Todo de pender de lo que se quiera simbolizar;
para el primer caso sera o bien como (m) o bien duermo (n) y descanso (p)
, mientras que para el segundo la lectura sera o como (m) o duermo(n) y

46

La Lgica

Filosofa y ciudadana. 1 Bachillerato

descanso(p).

47

La Lgica

Filosofa y ciudadana. 1 Bachillerato

8. La operativa en la lgica proposicional: tablas de


verdad.
PARA ABRIR BOCA

En la lgica proposicional es posible determinar los valores de verdad de


una frmula dada mediante un procedimiento sencillo denominado clculo de

48

La Lgica

Filosofa y ciudadana. 1 Bachillerato

matrices o tablas de verdad. La utilizacin de matrices o tablas sirve para hallar las
combinaciones posibles, y sus resultados, de los valores de verdad de cualquier
frmula de la lgica proposicional.
Toda tabla de verdad consta de dos tipos de columnas: la(s) columna(s) de
la izquierda -llamada de referencia- en donde se consignarn todas las posibles
combinaciones

de

los valores de verdad y falsedad de las letras o variables

proporcionales, y la(s) columna(s) de la derecha que contiene los valores de verdad de


las partes y del conjunto presentes en la frmula.
Para los conectores que hemos contemplado los valores de sus combinaciones
seran:

Columnas de

Columnas de las combinaciones

referencia

VARIABLES

OPERADORES

negacin

conjuncin

disyuncin

condicional11

bicondicional

112

Normas para la elaboracin de una tabla.


El nmero de combinaciones posibles a considerar es de 2n donde n
es el nmero de variables que entran en juego (ej. si se tratara de tres, las
combinaciones posibles seran 8).

11

Condicin suficiente, pero no necesaria. Si llueve, las calles estarn mojadas

12

Los 1 representan el valor verdadero y los 0 el de falsedad. De ah que puedan ser


sustituidos por V o F respectivamente.

49

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Para contemplar todas las posibles combinaciones de valores y no


olvidar ninguna, la tcnica ms til es dar valores a las columnas de referencia
yendo de derecha a izquierda. En la ms prxima a la derecha se alternar
los 1 con los 0 , en la siguiente se duplicar esa alternancia, o sea, tendremos
que alternar dos 1 con dos 0,; en la tercera se duplicar la anterior, as, se
alternarn cuatro 1 con cuatro 0 y as sucesivamente (ver ejemplo tratado).
A la hora de realizar la tabla de cualquier frmula, siempre hay que
proceder de lo ms simple a lo ms complejo, o sea, lo primero a realizar son
los valores de las conexiones cuyos operadores tengan menos extensin e
ir progresando haca los que tienen ms extensin (atendiendo simpre a los
signos auxiliares).
Por ejemplo, si tenemos la siguiente frmula:
[(p V q) (s p) (qs)] p

El orden de construccin de la tabla sera (mirar recuadro inferior a medida que se leen los
pasos):
1. Realizar todas las combinaciones posibles de las variables: 23. Para cualquier caso la
frmula sera 2n, siendo n el nmero de variables.
2. Contemplar las negaciones de las variables simples
3. Realizar por separado cada uno de los tres bloques que constituyen el antecedente.
4. Realizar la de la conjuncin que los une y
5. Hacer la del anterior resultado con el consecuente.
6. Nos encontraremos entonces con:
7. En la ltima columna de la derecha (sombreada) sale el resultado. Slo puede haber
tres casos: tautologa (todo 1: la frmula siempre ser verdadera). Contradiccin
(todo 0: ser siempre falsa). Indeterminacin (0 y 1: a veces ser verdad y otras no,
dependiendo de la combinacin de valores).
8. Se dice que dos frmulas, X e Y, son equivalentes cuando tienen la misma tabla de
verdad. Entonces, X Y

50

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Las tablas de verdad se usan como mtodos para determinar la validez de un


razonamiento.
a. Aquellas expresiones bien formadas donde se de la siguiente estructura:
[ X Y Z] Z son razonamientos.

b. Donde X, Y son las premisas y Z es la conclusin.


c. Un razonamiento es vlido si es imposible que siendo las premisas
verdaderas, la conclusin sea falsa.
El procedimiento a seguir sera el de elaborar la tabla de verdad, una
vez considerados las combinaciones posibles de valores, considerando

que el

razonamiento es una contradiccin. Si viramos que con tal exigencia no se cae en


ningn momento de la reconstruccin de la tabla en la necesidad de que una valor
de cualquier columna tuviera que ser al mismo tiempo verdadero y falso, entonces
estaramos ante un razonamiento invlido. En caso contrario, sera vlido.

51

La Lgica

Filosofa y ciudadana. 1 Bachillerato

9. La operativa en la lgica proposicional: el clculo de


deduccin natural.
La deduccin es una operacin lgica que consiste en obtener un enunciado
-conclusin- a partir de otro(s) -premisa(s)- mediante la aplicacin de reglas de
inferencia. (Decimos que alguien infiere -o deduce- t de r si acepta que si se da r,
entonces se da t).
Los

humanos,

razonamiento

en

deductivo:

nuestra
partimos

vida
de

diaria,

utilizamos

enunciados

constantemente

empricos

el

-supuestamente

verdaderos- para concluir en otro enunciado que se deriva de aquellos.


En secciones anteriores hemos tratado de la simbolizacin de enunciados y
de la construccin de frmulas. Ahora vamos a introducir las reglas de inferencia que
nos permiten operar con las frmulas, organizando cadenas deductivas formalmente
vlidas.
Una cadena deductiva es una secuencia finita de enunciados de los cuales
uno, la conclusin, se sigue necesariamente de los anteriores. Cada enunciado que
forma parte de una determinada cadena deductiva, constituye una lnea de derivacin.
Hay que advertir que antes de desarrollar el proceso de clculo de deduccin natural
resulta necesario establecer la validez de la argumentacin que se nos presenta, o
sea, la coherencia existente entre premisas y conclusin a la que se ha de llegar.
Recordemos, el principio bsico: si las premisas son verdaderas, la conclusin
necesariamente lo es o, lo que es lo mismo, no puede darse el caso de que el
antecedente en su conjunto sea cierto mientras que la conclusin sea falsa.
En la estructuracin de estas lneas de estructuracin tenemos que tener
presente que:
Las distintas lneas de derivacin se colocarn una debajo de otra, numeradas
correlativamente a partir del uno.
Las lneas correspondientes a las premisas iniciales irn provistas de un guin
que preceder al nmero que tengan asignado. (o acompaadas de la letra p,
inicial de premisa)

Si la lnea corresponde a una frmula inferida, se indicar a su derecha la regla


aplicada y las premisas utilizadas en la operacin.

52

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Por ejemplo:

-1
-2
3

q
pq
p
q M.P.P. (1, 2)

Las lneas 1 y 2 van precedidas de un guin, lo cual indica que se se trata de


premisas iniciales.
La lnea 3, que es la conclusin inferida, se ha obtenido aplicando la regla
Modus Ponens sobre las frmulas dadas en las lneas 1 y 2.

Pero De qu manera puede obtenerse la conclusin?


La conclusin puede obtenerse directamente aplicando reglas de inferencia
sobre las premisas iniciales.
Por ejemplo:

-1
-2
-3
4
5

r V n
p(rVn)
mp
m
pM.P. P (2, 3)
r V n M.P.P (1, 4)

Pero cuando en el desarrollo de la derivacin es necesario utilizar premisas


adicionales (supuestos no contemplados en las premisas dadas), decimos que la
derivacin es subordinada, esto es, la obtencin de la conclusin se subordina a la
utilizacin de tales supuestos.
En este segundo caso tenemos que tener en cuenta que:
Las lneas de derivacin que introducen provisionalmente supuestos no
contemplados en las premisas iniciales, debern llevar una seal en escuadra
mirando hacia abajo (). Donde el significado de dicha seal es: supngase por
el momento...
Los supuestos provisionales debern ser cancelados- cerrados-

antes de

establecer la conclusin. Un supuesto provisional queda cancelado cuando, en


una lnea posterior de dicha derivacin, se obtiene una frmula tal que permite
la deduccin inmediata de otra frmula que es independiente del referido
supuesto. La cancelacin de un supuesto se expresa cerrando la escuadra ().

53

La Lgica

Filosofa y ciudadana. 1 Bachillerato

En caso de que la conclusin no pueda obtenerse por los mtodos ya


reseados, recurriremos a la derivacin indirecta o reduccin al absurdo.
La reduccin al absurdo consiste en suponer como premisa provisional la
negacin de la frmula que se pretende demostrar y obtener, mediante este supuesto,
una contradiccin (A A). La consecuencia lgica ser la negacin del supuesto, esto
es, la afirmacin de la conclusin deseada.
La reduccin al absurdo se fundamenta en el principio lgico que excluye
aquellas hiptesis de las que pueda derivarse una contradiccin. Si de un enunciado
(m) se sigue una contradiccin (r r, por ejemplo), el enunciado debe ser rechazado.
En este sentido es importarte tener presente que:
Las lneas de derivacin que introducen el supuesto (la negacin de la
conclusin) y la contradiccin obtenida, observarn las condiciones relativas
a los supuestos provisionales y a la cancelacin de los mismos que ya hemos
comentado para el caso de la derivacin subordinada.
Todo supuesto provisional y toda frmula que de aqul se derive y quede
incluida entre ambas escuadras una vez el supuesto se ha cancelado, no podr
volver a utilizarse como elemento de nuevas inferencias.

54

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Las reglas de inferencias ms comunes son las que te presentamos en este


cuadro

NOTA
Si la lnea horizontal entre la formula inicial y la derivada es un trazo grueso ser que la
operacin es irreversible, slo se da en el sentido descendente; mientras que si son dos
lneas paralelas la operacin es reversible, o sea, la operacin puede realizarse de forma
descendente o descendente segn convenga.

55

La Lgica

56

Filosofa y ciudadana. 1 Bachillerato

La Lgica

Filosofa y ciudadana. 1 Bachillerato

10. Apndice: una introduccin a la lgica de clases.


Clase

es

el

trmino

que

en

lgica

corresponde

al

trmino

matemtico conjunto. Una clase es una coleccin de objetos cualesquiera,


aunque se prescinde de la naturaleza concreta de esos objetos y de su existencia o
inexistencia. Por el contrario, la idea de conjunto implica la existencia de esos objetos.
Tal como se entiende generalmente la lgica de clases, no tiene demasiado inters
distinguirla de la teora de conjuntos.
Una misma clase puede ser definida de dos maneras: 1) por intensin, que
consiste en expresar la propiedad o propiedades que poseen sus elementos: 2) por
extensin, que consiste en enumerar todos sus elementos.
As, la clase A puede ser definida por intensin: A son nmeros pares iguales o
menores que 11, y por extensin como A= { 2, 4, 6, 8, 10}. La definicin extensional
obviamente no sirve para clases que incluyan un nmero infinito o ilimitado de
miembros.

El enunciado todos los hombres son mortales puede ser simbolizado


mediante una sola letra: p, tal y como hemos visto en el clculo de proposiciones si
consideramos el enunciado como un bloque y no entramos a analizar su estructura
interna. Sin embargo, si consideramos este enunciado no de manera global sino en
funcin de su estructura interna, podemos simbolizarlo de manera diferente.
Si empleamos las letras H (que representara una clase) para designar al
conjunto formado por todos los hombres, y M para el conjunto formarlo por todos
los mortales, el enunciado podra formalizarse de la siguiente manera: H M, y se
leera: la clase de los hombres est incluida en la clase de los mortales, o la clase
de los hombres es una subclase de la clase de los mortales (decir lo contrario no
sera correcto).
Si en el clculo de proposiciones nos referamos a operaciones entre
proposiciones, ahora lo haramos de operaciones entre clases. El lgebra o clculo de
clases es, pues, una reinterpretacin de la lgica de proposiciones.
Hay dos clases que merecen especial mencin. Denominamos clase universal,
y la representarnos con la letra U, a la clase a la que pertenecen todas las cosas
o individuos que en un determinado momento consideremos. Siguiendo a Venn
y Euler, dentro del rectngulo U representaremos mediante crculos las clases

57

La Lgica

Filosofa y ciudadana. 1 Bachillerato

a que se refieren nuestras expresiones. Por ejemplo, dentro de la clase universal


U estudiantes, la clase A estudiantes de 1 de Bachillerato ser el crculo de color
incluido en el rectngulo que representa a U. Mira la figura 1.

De forma similar denominamos clase vaca, y la representarnos con e1 smbolo


, a la clase a la que no pertenece ningn individuo.

Smbolos elementales constantes (conectivas)


Conectivas de clases: son las constantes que, al relacionar una clase con
otra, dan lugar a una clase nueva, distinta y ms compleja. Estas conectivas son tres y
reciben el nombre de conectivas de clases:

Complemento de. Su smbolo es y corresponde a la negacin () del


clculo de proposiciones. La expresin A se lee la clase complemento
de la clase A o simplemente complemento de A, En la figura 2 se observa
que A o la clase complemento de A es la formada por los miembros de la
clase universal U que no son miembros de la clase A. Si A es la clase de los

58

La Lgica

Filosofa y ciudadana. 1 Bachillerato

espaoles que creen que un libro al ao no hace dao, la clase complemento


de A (A) estar formada por los espaoles que no creen que un libro al ao
no hace dao.
Interseccin, Su smbolo es y corresponde a la conjuncin () del clculo
de proposiciones. La expresin A B se lee la clase interseccin (o la
clase producto) de las clases A y B, o la interseccin de A y B, Si A es la
clase de los futbolistas y B, la clase de campeones de Europa, la clase A
B, es decir la clase interseccin de A B, estara formada slo por los
futbolistas que son campeones de Europa, Mira la figura 3, donde la clase A
B corresponde a la parte de color oscuro.

Unin. Su smbolo es y corresponde a la disyuncin incluyente (V) del


clculo de proposiciones. La expresin A B se lee la clase unin (o clase
suma) de las clases A y B o la unin de A y B.Si A es la clase de las mozas
altas y B, la clase de las mozas delgadas, la clase A B estar formada
por las mozas altas o delgadas, y las que son ambas cosas a la vez. Mira la
figura 4, donde la clase A B corresponde a la parte de color oscuro.

59

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Conectivas de enunciados sobre clases: son constantes que relacionan una


clase con otra, pero no dan lugar a otra clase nueva. Simplemente son enunciados
que se hacen sobre las clases. La clase A est incluida en la clase B no da lugar
a otra clase nueva; solamente enuncia algo sobre (acerca de) la relacin que existe
entre A y B, Reciben el nombre de conectivas de enunciados sobre clases y son las
siguientes:
Inclusin, Su smbolo es y corresponde al condicional () del clculo de
proposiciones. La expresin A B se lee la clase A est incluida en la clase
B o la clase A es una subclase de la clase B. Todos los miembros de la clase
A son, a la vez, miembros de la clase B, pero no a la inversa. Si A es la clase
de los licenciados en paro y B, la clase de los licenciados, entonces A B,
pero no, afortunadamente, a la inversa. La relacin de inclusin de una clase
en otra no da lugar a otra clase nueva como en los tres casos del apartado
anterior. Aqu solamente se hace un enunciado sobre las clases A y B. La
relacin de inclusin slo se da entre clases. La relacin de un elemento con
una clase se define como relacin de pertenencia o no pertenencia. Mira la
figura 5.

60

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Igualdad. Su smbolo es = y corresponde al bicondicional () del clculo de


proposiciones. La expresin A= B se lee la clase A es igual a la clase B o A
igual a B. Dos clases son iguales cuando tienen los mismos miembros. Dos
clases son equivalentes cuando tienen el mismo nmero de miembros.
Dos clases iguales son equivalentes, pero no a la inversa. La clase formada
por los Beatles es equivalente a la formada por los cuatro Profetas Mayores,
pero no parece que sean dos clases iguales. Por el contrario, la clase formada
por los Beatles y la formada por los autores de Yellow submarine son
iguales.
Por otro lado, hay que afirmar de la igualdad lo mismo que decamos de la
inclusin: no da lugar a otra clase nueva, solamente se hace un enunciado
sobre las clases A y B. Mira la figura 6.

Conectivas de enunciados sobre clases a partir de enunciados sobre clases


son la negacin, conjuncin, disyuncin, condicional y bicondicional, del clculo
de proposiciones, pero utilizadas ahora para componer enunciados sobre clases a
partir de otros enunciados sobre clases. Y su funcionamiento es similar al que ya
hemos visto en la lgica proposicional.
As nos podramos encontrar con expresiones como:

61

La Lgica

Filosofa y ciudadana. 1 Bachillerato

11. Actividades
A. Autoevaluacin. (voluntaria)

Establece la verdad (V) o la falsedad(F) de la siguientes


sentencias.
1. La comunicacin es algo ms que informacin
2. Un lenguaje natural es un producto histrico
3. El japons es un producto histrico
4. La matemtica es un lenguaje natural
5. Palabras y oraciones son los elementos bsicos que constituyen un
lenguaje natural
6. Oracin y Proposicin son lo mismo
7. Toda proposicin es una oracin pero no toda oracin es una
proposicin
8. La frase: Se tienen que tomar medidas! Es un buen reflejo de las
insuficiencias presentes en un lenguaje natural.
9. La lgica es un lenguaje artificial
10.Decodificar consiste en traducir el mensaje para evitar que se
comprenda por el receptor
11. La comunicacin animal es siempre restringida, y viene condicionada
por la existencia de un estmulo determinado que produce a su vez
una respuesta igualmente determinada.

62

La Lgica

Filosofa y ciudadana. 1 Bachillerato

12. La caracterstica esencial del lenguaje humano es su poca capacidad


creativa

13. Parte del xito de la comunicacin radica en saber cul es la funcin


que desempea una oracin en un momento dado, pues as nuestro
comportamiento ser distinto segn la funcin que le atribuyamos.
14. La funcin informativa es muy propia del saber cientfico
15. Podemos juzgar el uso expresivo del lenguaje en trminos de verdad o
falsedad, como hacemos con el que tiene una funcin informativa
16. Las rdenes, las recomendaciones, los ruegos y las preguntas tienen
como fin obtener ciertos resultados: por eso decimos que desempean
una funcin directiva.
17.La funcin de una expresin o de un texto

no depende

exclusivamente de la intencin de la persona que hable o escribe,


independientemente de si tal intencin es reconocida o no por otros.
18. Una oracin es una expresin lingstica gramaticalmente correcta y
que posee sentido completo.
19.El argumento La crtica que realiza Freud de la religin no es
verdadera, porque Freud es un judo frustrado es un ejemplo de
falacia de ambigedad .
20.La verdad, y su contrapartida la falsedad, es una propiedad de
argumentos
21. La validez es una propiedad de argumentos
22. La lgica posee la estructura de un clculo
23. Las constantes poseen un significado fijo y nico
24. Las constantes no son los operadores
25. Una EBF es una expresin buena y familiar

63

La Lgica

Filosofa y ciudadana. 1 Bachillerato

26. Las reglas de formacin de frmulas permiten fundamentar el paso de


unas frmulas a otras.
27.Las reglas de transformacin de frmulas permiten construir
expresiones bien formadas dentro de un clculo
28. Las reglas de formacin de frmulas no abarcan a todas las posible
expresiones bien formadas construibles en un sistema
29. Las reglas de transformacin de frmulas no deben permitir deducir
expresiones contradictorias dentro de un misma derivacin
30. En la lgica proposicional se tiene en cuenta la estructura interna de
las proposiciones.
31. En la lgica de clases s se tiene en cuenta la estructura interna, de
sujeto y predicado, caracterstico de las proposiciones
32. Los razonamientos son solo deductivos
33. Los razonamientos inductivos son todos falaces
34. En los razonamientos deductivos correctos podemos afirmar que la
conclusin est en las premisas
35. Verdad y Validez son conceptos que no significan lo mismo
36. La lgica no se preocupa de la estructura sino del contenido de los
razonamientos
37. Inferir es lo mismo que argumentar.
38. Las reglas de formacin de frmulas sirven para lo mismo que las de
transformacin de frmulas

B. Para completar. (voluntaria)


Completa con las palabras adecuadas los siguientes fragmentos
Es necesario que respetes nmero, gnero, tildes y tiempos verbales

64

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Cada segmento corresponde a una palabra


1. _____________es algo ms amplio que _____________: _____________ es
movimiento de _____________.
2. En esta situacin de comunicacin en la que estamos ahora, los autores de lo escrito
hacen las veces de _____________. Los autores tenan un propsito al escribir
este documento, este _____________. Sus mecanismos para escribir hicieron de
_____________ (claro est que los ordenadores y las impresoras tambin sirvieron
de _____________). El mensaje incluye las palabras de este texto y la forma en que
estn dispuestas. Es transmitido por estos apuntes, por medio de ondas luminosas
(_____________). Tu ojo es el _____________; recibe el mensaje, lo decodifica, lo
retraduce en un impulso nervioso y lo enva finalmente a tu sistema nervioso central,
al _____________.
3. Al analizar un cdigo lingstico, una lengua determinada, observaremos que est
construido en dos niveles o _____________ La segmentacin de la _____________
_____________ divide el enunciado en _____________, Estas unidades de
significado se pueden seguir dividiendo hasta llegar a las unidades mnimas
distintivas de la _____________ _____________, los _____________, que
constituyen una _____________ _____________ en cada lengua, a partir de los
cuales se puede conseguir un nmero prcticamente _____________ de unidades
de la primera articulacin, y consiguientemente de enunciados.
4. Uno de los tres usos bsicos del lenguajes es el de _____________
_____________. Cuando queremos _____________el mundo que nos rodea o
_____________a otros cierto _____________sobre el estado o situaciones en que
se encuentran los objetos externos, e incluso los que son internos al sujeto que
habla, utilizamos el lenguaje en su funcin informativa. Esto lo llevamos a cabo
por medio de la enunciacin de oraciones que tienen un _____________o bien
_____________, o bien _____________.
5. . En la funcin _____________nuestro inters no se centra tanto en informar sobre
procesos anmicos como en _____________ _____________ o incluso tambin en
_____________en los dems..

65

La Lgica

Filosofa y ciudadana. 1 Bachillerato

6. De la misma manera que el uso _____________del lenguaje se considera en


general tpico del _____________, el _____________se considera ms propio
del _____________, ya que ste trabaja con el lenguaje para dar a conocer sus
sentimientos y estados de nimo, o bien para _____________en otros.
7. Un lenguaje _____________consta de un conjunto finito de _____________,
las letras o signos lingsticos y un nmero determinado de _____________morfosintaxis- para la formacin de _____________.
8. Un _____________es un proceso mental

que se caracteriza porque en l

se produce un paso de uno o ms _____________(las _____________) a


_____________posterior (la _____________) que se deriva necesariamente de
aqullos.
Las
9.

_____________son

_____________con

un

_____________

_____________que sirven para enlazar entre s los smbolos del vocabulario


primitivo. En los lenguajes formales, los smbolos constantes se llaman tambin
_____________.
10.
La

lgica

_____________trata

de

la

_____________formal

de

los

_____________donde las _____________y la _____________son _____________enunciados-

_____________en

_____________,

esto

es,

_____________

_____________.

C. Tareas de sntesis. (obligatorias)


Desarrolla una contestacin adecuada para cada una de las preguntas

66

La Lgica

Filosofa y ciudadana. 1 Bachillerato

1. Qu es la comunicacin?
2. Qu diferencias existen entre comunicacin e informacin?
3. Realiza un catlogo de las operaciones y elementos que intervienen en la
comunicacin. Define cada uno de los elementos establecidos anteriormente.
4. Qu es el lenguaje? En qu consiste la creatividad del lenguaje humano?
Qu es la doble articulacin?
5. Qu caractersticas posee el lenguaje conceptual o propiamente humano?
6. En qu consiste dar una explicacin? Qu es un razonamiento? Qu
medio empleamos para ello?
7. Cules son las tres funciones del lenguaje y cules son sus caractersticas?
Cul es la propia del lenguaje cientfico?
8. Qu quiere decirse con que los enunciados u oraciones declarativas son las
nicas que pueden ser verdaderos o falsos?
9. En qu sentido se dice que informacin e intencin van unidas? De qu
depende, en definitiva, la funcin de un texto o de una expresin?
10. Realiza un esquema donde queden reflejadas las distintas funciones del
lenguaje y las formas lingsticas posibles.
11. Qu es el lenguaje natural?
12. Qu diferencias hay entre una proposicin y una oracin?
13. Qu es una imprecisin semntica? Qu son las deficiencias sintcticas?
14. Qu cuatro acciones hay que acometer para superar las insuficiencias del
lenguaje natural?
15. Qu tres elementos constituyen un lenguaje artificial? En qu consisten?
16. Cmo se define un lenguaje formal?
17. Qu es la Deduccin? Qu es la induccin?
18. Qu es la lgica?
19. Qu es un razonamiento?
20. Cundo un razonamiento es formalmente vlido?
21. Qu se entiende por verdad? Qu se entiende por validez?
22. Qu es una falacia?
23. Pon un ejemplo claro de falaca ad hominem.
24. Pon un ejemplo claro de falaca ad populum.
25. Pon un ejemplo claro de falaca ad verecudiam.
26. En qu consiste una falacia de ambigedad?

67

La Lgica

Filosofa y ciudadana. 1 Bachillerato

27. En qu consiste una falacia de vaguedad?


28. En qu consiste una falacia ad misericordiam?
29. Qu son las reglas de formacin de frmulas?
30. Por qu se dice que son operativas las reglas de un lenguaje formal?
31. Qu es simbolizar un lenguaje?
32. Qu es una cadena deductiva?
33. Qu es una clase?

D. Comentarios de texto (obligatorios)


Los textos A, B, y C son ya para trabajar con ellos.
Textos para comentar
Texto A.
Qu es un smbolo? Es un signo que representa una idea, una emocin, un deseo,
una forma social. Y es un signo convencional, acordado por los miembros de lo sociedad
humana, no uno seal natural que indica la existencia de otra cosa como el humo seala
dnde hay fuego o las huellas de una fiera apuntan a lo fiera que ha pasado por all. En
los smbolos los hombres se ponen de acuerdo para referirse o comunicar algo, por eso
deben ser aprendidos y por eso tambin cambian de un lugar o otro (lo que no ocurre con
los seales como el humo o los huellas). Las palabras o los nmeros son los ejemplos ms
claros de smbolos pero en modo alguno los nicos. Tambin ciertos seres u objetos pueden
ser cargados por los hombres con un valor simblico: el rbol de Gernika, por ejemplo,
es una planta como otras y adems el smbolo de los fueros del pueblo vasco; la difunta
lady Di se ha convertido en smbolo paro muchos de diversos virtudes. Cualquier cosa,
natural o artificial, puede ser un smbolo si nosotros queremos que lo sea, aunque no haya
ninguna relacin aparente ni parecido fsico entre lo que materialmente simboliza y lo que
es simbolizado. De esta manera, nadie ser capaz de adivinar por s solo que el negro es el
color del luto (de hecho, en algunos pases orientales es el blanco) o que perro, chien
y dog son nombres poro lo mismo especie animal.
Savater, Fernando. Las preguntas de la vida, Ariel

68

La Lgica

Filosofa y ciudadana. 1 Bachillerato

TAREAS

Elabora un mapa conceptual o esquema del fragmento.

Elabora un breve resumen del fragmento.

Cules son las caractersticas definitorias del lenguaje humano?

En qu se diferencia la propuesta darwinista de la lamarckista?

Texto B.
Los smbolos se refieren solo indirectamente a la realidad fsica y sin embargo apuntan
directamente a uno realidad mental, pensada, imaginada, hecha de significados y de
sentidos, en lo que habitamos los humanas exclusivamente como humanos y no como
primates mejor o peor dotados. Los mitos, las religiones, la ciencia, el arte, la poltico, la
historia, desde luego tambin la filosofa todo son sistemas simblicas basados en el
sistema simblico por excelencia que es el lenguaje. Lo vida misma, que tanto apreciamos,
o la muerte, que tanto tememos, no son solo sucesos fisiolgicos sino tambin procesos
simblicos: por ello, algunos estn dispuestos o sacrificar su vida fsica en defensa de
sus smbolos vitales y hay muertes simblicas o las que rememos an ms que al mero
fallecimiento de nuestro cuerpo, Como dijo el poeta Baudelaire, habitamos en bosques de
smbolos: las selvas humanos parlas que vagamos estn hechas de smbolos.
Savater, Fernando Las preguntas de lo vida, Ariel

TAREAS

Elabora un mapa conceptual o esquema del fragmento.

Elabora un breve resumen del fragmento.

Piensa en algn smbolo que te sea cotidiano: un tatuaje, unos zapatos,


la nota que has sacado en una asignatura. Qu significa para ti? Qu
significa pata los que te rodean?

Cules son las caractersticas definitorias del lenguaje humano?

Por qu la vida y la muerte no son meros procesos fisiolgicos pata el ser


humano?

Texto C.

69

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Los lgicos han comparado a menudo los clculos con los juegos, sobre todo con el ajedrez.
En efecto: los smbolos primitivos corresponderan a las piezas del juego. Dado un objeto
cualquiera, podramos decidir si se trata o no de una pieza de ajedrez: ante una mquina
de vapor, por ejemplo, diramos que no. Las reglas de formacin corresponderan a las
instrucciones sobre las posiciones que pueden ocupar las piezas: una pieza situada en la
palma de una de las manos de un Buda del siglo IX no es una pieza en juego. Las reglas de
transformacin seran como las reglas sobre los movimientos que se pueden efectuar con las
piezas: asomarse a un amplio ventanal y arrojar desde l un alfil al mar Adritico no sera un
movimiento del ajedrez.
Deao, Alfredo. Introduccin a la lgica formal

TAREAS
1. Elabora un esquema o mapa conceptual del fragmento.
2. Elabora un resumen del fragmento.
3.

Qu es un clculo?

4. Qu es un vocabulario? Qu son las reglas de formacin de frmulas?


Qu son las reglas de transformacin de frmulas?

E. Ejercicios prcticos (obligatorios)


Ejercicio 1.-Trata de distinguir entre los siguientes argumentos cules son deductivos
y cules inductivos. (Si es deductivo mrcalo con una D y si es inductivo con una I).
Razona la respuesta.
Ejercicio resuelto
Todos los gatos son mamferos. Los mamferos amamantan a sus cras. Por
ello, cuando nazcan los gatitos que esperamos mi gata los amamantara.

70

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Es una deduccin. Se relacionan dos clases (gatos y mamferos) y se


determina una propiedad de una de ellas (amamantar). Si observas la
representacin no sera necesario saber ni siquiera el significado de los
trminos para establecer su vinculacin deductiva.
Ejercicios para resolver
1. El agua hierve a 100 C, porque siempre que la caliento y alcanza los 100 C
hierve.
2. Siempre que he comido pats que estaban recubiertos de manteca de cerdo no
tenan conservantes qumicos. Para que los pats de lata duren algn tiempo
necesitan algn tipo de conservante. La manteca de cerdo es un conservante.
3. Algunas personas son arquitectos. Los arquitectos son universitarios. Luego
algunas personas son universitarias.
4. S que slo te gustan dos frutas, las peras y los pltanos. En la despensa no
haba peras y no las has podido sacar de ningn otro sitio, as que, dado que
ests comiendo una fruta, lo que ests comiendo es un pltano.
5. Podemos dudar de que su prximo chiste provoque risa; hasta ahora no ha
habido ninguno de su repertorio que haya tenido xito.

Ejercicio 2. Indica con una A cualquier enunciado atmico y con una M cada enunciado molecular. En el caso de que se trate de enunciado atmico, simbolizarlo
mediante una variable proposicional.
Ejercicio resuelto

71

Hoy no se fa, maana tampoco

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Es un enunciado molecular (M). Lo es por varias razones. En primer lugar,


tenemos las expresiones negativas no y tampoco; por otro lado - eliminando
tales matices negativos-, tenemos dos enunciados afirmativos (Hoy no se fa
y Maana se fa).
Ejercicios para resolver
1. Margarita lloraba con el rostro oculto entre las manos.
2. La felicidad es la suma de los bienes.
3. O te vas o me marcho.
4. Cuando lloro no me salen las lgrimas.
5. No puedo dormir pensando en los exmenes.
6. La vida cenobtica es esencial para cambiar el mundo.Una lectura alternativa
de la esta frase sera ( si se quiere cambiar el mundo.)
7. Todava no tienes edad para ser impertinente.
8. De haber tenido un to en Amrica me hubiera dedicado a cazar mariposas.

Ejercicio 3:Simbolizar las siguientes expresiones.


NEGACIONES
Ejercicio resuelto

No es cierto que la lgica sea difcil.

Ejercicios para resolver


1. Pedro no es mdico.
2. Todo lo que t dices es falso.
3. No es verdad que todo lo que tu digas sea falso.
4. La cuadratura del crculo es imposible.
5. Es imposible que no sea cierto lo que dices
6. El sol no es una estrella.

72

La Lgica

Filosofa y ciudadana. 1 Bachillerato

7. No es verdad que el sol no sea una estrella.

CONJUNCIONES
Ejercicio resuelto
Estos problemas no son muy difciles para mi, aunque he tardado en resolverlos.

Ejercicios para resolver


1. Los tejados son de pizarra y las puertas de madera.
2. Ella tiene la luz, tiene el perfume, el color y la lnea.
3. Me van bien los estudios pero no apruebo.
4. No es cierto que cantaran y bailaran.
5. No creo en lo que dices y, sin embargo, sigo confiando en ti.
6. Ni puedo prohibirlo ni puedo tolerarlo.
7. Lleg, vio y venci.
8. Lo siento mucho, me he equivocado, no volver a ocurrir.

DISYUNCIONES
Ejercicio resuelto
Demostrar esta proposicin sea por el mtodo directo sea por el indirecto.

73

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Ejercicios para resolver


1. Ya sea por el estudio, ya sea por la suerte, aprobar las oposiciones.
2. Me entero de la situacin poltica leyendo El Pas o La Vanguardia.
3. O me eligen presidente o abandono la poltica.
4. O estudias y trabajas o sers un desgraciado.
5. No es posible que o no queden macarrones en la despensa o que el supermercado no est abierto los domingos.
6. O se queda o se marcha: no es posible que se quede y se marche.

CONDICIONALES
Ejercicio resuelto
Hace fro, luego no es verano

Ejercicios para resolver

74

La Lgica

Filosofa y ciudadana. 1 Bachillerato

1. El hombre es un animal poltico, por tanto no es un salvaje.


2. Si hoy es lunes, maana no ser jueves.
3. Cuando hay abundancia, desaparece la miseria.
4. Si no crees en Dios pero blasfemas, te ests contradiciendo.
5. T dedcate a la electrnica y vers como ganas dinero.
6. Se convertir en un demcrata con tal de que pueda ocupar un cargo.
7. Si eres licenciado, no es posible que no sepas leer ni escribir.

BICONDICIONALES
Ejercicio resuelto
Un mineral es metal si y slo si es un buen conductor de la electricidad.

Ejercicios para resolver


1. La suma de los ngulos de un tringulo equivale a 1800.
2. Dejar el tabaco si y slo si t dejas el alcohol.
3. Tener malos pensamientos equivale a practicarlos.
4. nicamente los esquimales atolondrados cazan las focas a pedradas.

COMPLEJAS
Ejercicio resuelto
Dos rectas son paralelas si tienen la misma direccin.Otra lectura de la frase sera (Si
tienen la misma direccin, entonces dos rectas son paralelas)

75

La Lgica

Filosofa y ciudadana. 1 Bachillerato

Ejercicios para resolver


1. Decir que la suma de sucesiones positivas es una sucesin positiva y el
producto de sucesiones positivas es una sucesin positiva equivale a decir
que la suma Y el producto de dos nmeros reales positivos es un nmero real
positivo. Otra lectura de la frase sera (La suma de sucesiones positivas es
una sucesin positiva y el producto de sucesiones positivas es una sucesin
positiva si y slo la suma de dos nmeros reales positivos es un numero real
positivo y el producto de dos nmeros reales es un nmero real positivo).
2. Perseverando en tus decisiones y no cediendo al desaliento frente a los
obstculos, comprobars cmo el xito te sonre. Otra lectura de la frase
sera [Si perseveras en tus decisiones y no cedes al desaliento frente a los
obstculos , entonces comprobars cmo el xito te sonre ].
3. Si Frankestein cruza nuestras calles, ha de indicar que' y cuantos fines
persigue, y si miente, le daremos con las puertas en las na-rices, pero si dice
la verdad, le invitaremos a cenar. Otra lectura sera (Si Frankestein cruza
nuestras calles, entonces ha de indicar qu fines persigue y cuntos fines
persigue , y si miente (si no dice la verdad) , entonces le daremos con las
puertas en las narices y si dice la verdad, entonces le invitaremos a cenar ).
4. El hidrxido de aluminio es maleable y, a igualdad de peso, mejor conductor
de la electricidad que el cobre. Otra lectura sera (El hidrxido de aluminio es
maleable y si tiene el mismo peso que el cobre , entonces es mejor conductor
de la electricidad que ste ).

76

La Lgica

Filosofa y ciudadana. 1 Bachillerato

5. Si Hume rechaza la causalidad y pone en entredicho la existencia del mundo


exterior, entonces, si de alguna manera no recobrara dicho mundo, habra que
incluirle entre los escpticos.
6. O la Televisin modifica sus esquemas y renueva su programacin o se
producir una huida masiva de telespectadores y veremos las calles inundadas
de gente.
7. Si se ganan las elecciones y nuestros representantes acceden al poder,
confiaremos en ellos si y slo si cumplen sus promesas y el poder no les
corrompe.
8. Las lluvias pueden volver o no, pero cuando nosotros estemos lejos del tiempo
y del espacio querremos volver a los aos de juventud.
9. Si el objetivo de la guerra es destruir o doblegar a otro sistema suprapersonal,
entonces hay guerra si y slo si existe violencia fsica y ruptura de relaciones
diplomticas.
10. Si siembras temprano y podas tardo, cogers pan y vino.
11.Llorar, a menos que me apruebes. Otra lectura sera (Si no me apruebas,
llorar o tambin (O lloro o me apruebas).
12.Si los elefantes se fugan, entonces el domador se quedar muy triste y los
payasos o los nios rompern el saxofn a menos que los elefantes vuelvan.
13. Si las partculas elementales del tomo se aceleran y se escinden, los trozos"
resultantes no son ni ms pequeos ni ms ligeros que tales partculas. Si
los "trozos" resultantes no son ni ms pequeos ni ms ligeros, las partculas
elementales del tomo son las ltimas unidades representativas de la materia.
Las partculas elementales se aceleran y se escinden. Por tanto, son las
ltimas unidades re-presentativas de la materia.
14.Si se admite la teora del eterno retorno, se debe admitir la exis-tencia de
entidades corpusculares identificables a travs del tiempo y que se pueda
hablar de un estado del universo definido en cada instante individual. Ahora
bien, no es cierto que haya entidades corpusculares permanentes y estados
del universo definidos en cada instante. Por tanto, la teora del eterno retorno
es inadmi-sible.
15. Si la noche es clara, Drcula agitar sus alas y afilar sus dientes. Si agita sus
alas y encuentra mi ventana abierta, pasar, me des-pertar, pero le dar un
fuerte tirn de orejas. Si afila sus dientes y la encuentra cerrada montar en

77

La Lgica

Filosofa y ciudadana. 1 Bachillerato

clera, romper los cristales y le dar un fuerte tirn de orejas. As pues, si la


noche es clara y Dr-cula encuentra la ventana abierta o cerrada, le dar un
fuerte tirn de orejas.
16. Si la pena de muerte antepone la defensa de 1a sociedad a la conservacin de
la persona, entonces, si supone la destruccin total de la persona, imposibilita
la correccin del penado. Imposibilita la correccin del penado slo si es
condenable ticamente. La pena de muerte antepone la defensa de la sociedad
a la conservacin de la persona. Por tanto, si la pena de muerte supone la
destruccin total de la persona e imposibilita la correccin del penado, es condenable ticamente.
17. La fsica cuntica describe la naturaleza a base de observables cl-sicos o a
base de estados abstractos. Si describe la naturaleza a base de observables
clsicos, permite representarse las cosas intuitivamente, pero exige la renuncia
a la causalidad. Si describe la naturaleza a base de estados abstractos,
prohbe la representacin intuitiva pero permite conservar la causalidad. No es
cierto que la fsica cuntica prohba la representacin intuitiva y que conserve
la causalidad. Por tanto, no es cierto que si la fsica cuntica representa las
cosas intuitivamente, no renuncie a la causalidad.
18.Si los habitantes de Venus invaden la Tierra, entonces los hombres se
pondrn nerviosos o las mujeres se entusiasmarn. Si los hom-bres se ponen
nerviosos, las mujeres se entusiasmarn. Por tanto, si los habitantes de Venus
invaden la Tierra, las mujeres se entusiasmarn.
19. Si las autoridades prohben fumar en pipa a los feos, entonces los guapos se
alzarn indignados porque no venden pipas. Silos gua-pos no venden pipas o
las autoridades crean nuevos puestos de trabajo, entonces la nacin no saldr
de la crisis econmica. La nacin sale de la crisis econmica y los guapos no
venden pipas. Por lo tanto, las autoridades no prohibirn fumar en pipa a los
feos.
20. Si los filsofos callasen, la nieve quemara y los crculos seran cuadrados. Si
los crculos fuesen cuadrados, entonces los matemticos se dedicaran a cazar
brujas y las abejas a fabricar acero. Ni los matemticos se dedican a cazar
brujas, ni las abejas a fabri-car acero. Por tanto, los filsofos no callarn.
21.Los apaches se vern obligados a desenterrar el hacha de guerra y dejarn
sin cabellera a los colonos si y slo si el caballo de hierro cruza sus territorios

78

La Lgica

Filosofa y ciudadana. 1 Bachillerato

o los tirantes del general Custer no le llegan a los pantalones. Pero si el rostro
plido deja en su casa el tubo de fuego o el caballo de hierro no cruza sus
territorios, los apaches nicamente bailarn la danza de la lluvia y, en caso
de que el rostro plido les visite amistosamente, compartir la pipa de la paz
con el apache. O es cierto que el rostro plido les visita amis-tosamente o
se conservan todas las cabelleras en su sitio. Si el rostro plido comparte la
pipa de la paz, el humo invadir el Can del Colorado. No es cierto que se
conserven en su sitio todas las cabelleras o que el rostro plido no deje en su
casa el tubo de fuego. As pues, si los tirantes del general Custer no le llegan
a tos pantalones, los apaches se vern obligados a desente-rrar el hacha de
guerra y el humo invadir el Can del Colorado.
22. Si existieran seres extraterrestres y tuviesen inteligencia, nos ha-bran enviado
algn mensaje de salutacin o habran venido a ha-cernos alguna visita. Si
nos hubiesen visitado, habran presentado pblicamente sus credenciales ante
los humanos. Si hubiesen pre-sentado pblicamente sus credenciales ante
los humanos, entonces todos los humanos los describiran de modo similar.
No es cierto que todos los humanos describan a los seres extraterrestres de
modo similar o que stos no tengan necesariamente figura antro-pomrfica.
Los seres extraterrestres no tienen figura antropomrfica y no nos han enviado
ningn mensaje de salutacin. Por lo tanto, si existieran seres extraterrestres,
no tendran inteligencia.
23. Si el toro tuviera sentido del humor o fuese un animal vengativo, se sentara
en medio de la plaza y dormira una plcida siesta. Si el toro se sentase en
medio de la plaza, entonces los espectadores se marcharan decepcionados o
el torero se sentira ridculo. Ni el torero se siente ridculo, ni los espectadores
se marchan decepciona-dos. As que el toro no tiene sentido del humor.
24. Slo en casa me qued y entre tinieblas apareci Drcula. Estaba slo ante
el peligro, pero los intocables de Elliot Ness llegaron en mi ayuda. Se hizo el
silencio de los corderos y aquello pareci un duelo de titanes o la guerra de los
mundos. Y despus de nueve semanas y media la batalla acab. Al final, esta
casa era una ruina pero los gremmlins se haban ido.

Ejercicio 4:Realiza las siguientes tablas de verdad.


De tablas de verdad no te proponemos ningn caso resuelto porque ya hemos
desarrollado uno en el apartado correspondiente de la unidad.

79

La Lgica

Filosofa y ciudadana. 1 Bachillerato

1. [(pq) p] p.
2. (p V p) [q p].
3.

{(p q) (q V p) [(p p)q] } [(q V p) (p V q)].

4. {[p ( pq)] [(p V p) q] (q p)} p.


5. p(r p).
6. {(p V q) (pq)} V (q V q).
7. [(rs) (sr)] (rs)
8. [(pq) V q] [(p V q) (q V p)].
9. [(p V q) (q p) (q p)] p.
10. [(pq) (rq) (p V r)] q.

Ejercicio 5:Realiza las siguientes derivaciones deductivas.


VINCULADOS A LA LEY DEL MODO PONENDO PONENS.

Ejercicio

resuelto

pq

-1. pq

-1. r (pq)

-1. pq

-1.mn

-2. p

-2. r

-2. qr

-2. tm

-3. p

-3.np
-4.t
5. m MPP 2,4.
6. n

MPP 5,1

7. p

MPP 6,3

VINCULADOS A LA LEY DEL MODO TOLLENDO TOLLENS.

Ejercicio

resuelto

(pq)

-1. pq

-1. t

-1. n(wm)

-1. (pq)r

-2. q

-2. ns

-2. st

-3. st

-3.qr

-2- r

80

La Lgica

Filosofa y ciudadana. 1 Bachillerato

-4. mn

3. (pq) MTT 1,2

-4. pq
-5. tn
-6. ( wm)

VINCULADOS A LA LEY DEL SILOGISMO DISYUNTIVO.

A.

- 1.r s

- 1.t

- 1. t s

-2. s

-2. (pm) q

-2. t

-3.t s
-4. (r w) (pm)
-5. s (r w)

VINCULADOS A LA LEY DE LA DOBLE NEGACIN.

-1. pq

-1. r

-1. pq

-2.p

-2.qr

-2.t
-3.rt
-4.qr

VINCULADOS A LA LEYES DE INTRODUCCIN Y ELIMINACIN


CONJUNTOR.
A

pq

-1.(qs) t

-1.ps

-1.(pq) r

-1.p(m t)

-2.rs

-2.qs

-2.rt

-2.qt

-3.p r

-3.s

-3.t

-3.nq
-4.n r

81

DEL

La Lgica

Filosofa y ciudadana. 1 Bachillerato

-5. r

VINCULADOS A LA LEYES DE LA PROPIEDAD CONMUTATIVA.

mn

-1.p(n m)

-1.m s

-1.n

-2.p q

-2.s(pq)

-2.m n

-3.q

-3.t (qp)

-3.tq

-4.rm

-4.mt

-5. rw

-5.r
-6.q (r s)

VINCULADOS A LA LEY DE INTRODUCCIN DEL DISYUNTOR.

qs

mn

-1. p

-1.m p

-1.(m n) p

-2.p q

-2.r

-2.m r

-3. p r

-3. r s

MIXTOS.

Ejercicio resuelto
p

-1.rs
-2. t
-3.pq
-4.st
-5.qr
6. s MTT 2,5
7. r SD 1,6
82

La Lgica

Filosofa y ciudadana. 1 Bachillerato

8. q MTT 5,7
9. p MTT 2,7

Ejercicios para resolver

t m

mn

-1.ws

-1.pq

-1.s n

-1.s

-2.w t

-2.qt

-2.(p q) (ts)

-2.q r

-3.r t

-3.tn

-3.(p q) r

-3.r s

-4.rp

-4.p

-4.q (m n)

-5.s
E

nw

mt

-1.t s

-1.n (n w)

-1.w

-1.s m

-2.qt

-2.p q

-2.q t

-2.sq

-3.s

-3.mt

-3.m n

-3.wr

-4.q p

-4.qs

-4.nw

-4.m

-5.(r s)t

-5.q m

-5.qr

-6.mn

-6.r n

-6.tn

-7.pr

-7.n r

-7.w t

83

La Lgica

84

Filosofa y ciudadana. 1 Bachillerato

Vous aimerez peut-être aussi