Invitación a la lógica

(Versión: 25 de noviembre de 2005)

Raymundo Morado

Instituto de Investigaciones Filosóficas

UNAM

morado@[Link]

1
 ÍNDICE

1. ¿Para qué sirve este libro? (Introducción)

1.1. Concepto de Lógica formal.

1.2. Objeto de estudio de la Lógica formal.

1.3. Factores del pensamiento, su forma y contenido.

1.4. Diferencias entre Lógica formal y Teoría del conocimiento (nociones generales).

1.5. Relaciones y diferencias de la Lógica formal con la psicología, la gramática y la matemática

(nociones generales).

1.6. Utilidad de la Lógica formal en la investigación científica y en la vida cotidiana.

1.7. Principios lógicos supremos: identidad, no contradicción, tercero excluido y razón suficiente.

2. ¿Sobre qué piensas? (El Concepto)

2.1. Caracterización del concepto.

2.2. Formación de conceptos.

2.3. Propiedades de los conceptos: extensión y comprehensión o contenido.

2.4. Relaciones entre extensión y comprehensión (variación inversa).

2.5. Distinciones entre imagen, palabra; objeto y expresión del concepto.

2.6. Clasificación de los conceptos:

a) Por su extensión: singular, común, particular, colectivo y universal.

b) Por su comprehensión: simple, complejo, abstracto y concreto.

c) Por su perfección: claro, confuso y distinto.

2.7. Los predicables.

2.8. Las categorías aristotélicas.

2.9. Operaciones conceptuadoras, sus reglas y técnicas:

a) Definición.

2
 b) División.

c) Clasificación.

3. ¿Qué opinas? (El Juicio)

3.1. Concepto de juicio. Su expresión verbal.

3.2. Estructura del juicio. Características: verdad y falsedad (afirmativo y negativo).

3.3. Clasificación de los juicios:

a) Cualidad y cantidad (A, E, 1, 0,).

b) Relación (categóricos, disyuntivos e hipotéticos ).

c) Modalidad (problemáticos, asertóricos y apodícticos).

d) Analíticos y sintéticos.

3.4. Cuadro de la oposición, reglas, posibilidades de verdad, equivalencias y conversiones.

3.5. Equivalencias por diagramas de Venn.

4. ¿En qué te basas? (El Razonamiento)

Cómo crear, entender y mejorar argumentos.

4.1. Naturaleza y características del razonamiento.

a) Elementos: materia o contenido y forma.

b) Premisas y conclusión.

c) Validez e invalidez.

d) Relación de las premisas con la conclusión (implicación).

4.2. Inferencias mediatas e inmediatas.

a) Conversión simple.

b) Conversión por accidente.

c) Subalternación.

d) Contraposición.

3
4.3. Clases de razonamiento o inferencias mediatas.

a) La deducción.

b) La inducción.

c) La analogía.

d) La estadística o probabilidad.

e) Los métodos de Miii.

f) La inducción en la investigación científica.

5. ¿Cómo usar predicados sencillos? (El Silogismo)

5.1. Definición y elementos.

5.2. Reglas del silogismo.

5.3. Validez e invalidez del silogismo.

5.4. Figuras y modos.

5.5. Pruebas de validez de los silogismos categóricos mediante diagramas de Venn.

5.6. Silogismos irregulares.

6. ¿Cómo evitar que te engañen? (Falacias)

6.1. Noción de falacia y sofisma.

6.2. Falacias formales e informales.

6.3. Falacias de atinencia:

a) Apelación a la fuerza (ad baculum).

b) A la persona (ad hominem).

c) Llamado a la piedad (ad misericordiam).

d) Petición de principio.

e) Apelación a la autoridad (ad verecundiam).

f) Por lo que todo el pueblo dice (ad populum).

4
6.4. Falacias de ambigüedad:

a) El equívoco.

b) La anfibología.

c) La división.

7. ¿Cómo negar o añadir? (Cálculo proposicional)

7.1. ¿Para qué sirve aprender esto? (Elementos del cálculo proposicional)

7.2. ¿Cómo puedo presentar mis ideas? (Clasificación de las proposiciones)

7.3. ¿Cómo analizar lo que alguien dice? (Las conectivas lógicas)

7.4. ¿Cómo expresarme con más precisión? (El lenguaje simbólico de la lógica proposicional)

7.5. ¿Cómo hablar bien? (Reglas sintácticas)

7.6. ¿Cómo reconocer lo inevitable y lo imposible? (Tablas de verdad)

8. ¿Todos o algunos? (Pruebas de validez e invalidez)

8.1. La validez lógica de los argumentos.

8.2. Las reglas de inferencia.

8.3. Las demostraciones formales.

8.4 Elementos de Lógica cuantificacional:

a) Símbolos de los cuantificadores.

b) Leyes de ejemplificación y generalización.

5
 CAPÍTULO 1

¿Para qué sirve este libro? (Introducción)

EPÍGRAFE

“...el razonar no es sólo el aspecto frío y calculador del hombre, sino también el factor que impregna

y hace posible las vivencias más humanas: los momentos felices, los instantes de tragedia, los errores

y los aciertos”. Chávez Calderón (1982), p. 6.

ACTIVIDADES Y JUEGOS

Goya escribió que “El sueño de la razón produce monstruos”. Cuando la razón se duerme

aparecen los monstruos de la superstición y los horrores de las pasiones desbocadas. Debemos tener

pasiones que nos muevan a la acción, pero no dejar que nos posean y manipulen. Debemos tenerlas,

no ser sus títeres. La pasión puede y debe acompañar a una razón despierta, para que la pasión pueda

enriquecer la vida, en vez de entorpecerla.

6
 La lógica es la ciencia de tener una imaginación despierta. ¿Qué monstruos crees que pueda

producir la falta de lógica? Antes de leer lo que sigue, escribe en un máximo de tres renglones para

qué crees que puede servirte la lógica (si no sabes, conjetura algo):

RESUMEN INTRODUCTORIO

La lógica es, entre otras cosas, la ciencia del razonar correcto. Esto es tan general como suena,

pues lo que distingue a la lógica de otras ciencias es su generalidad de aplicación. Casi siempre

conviene pensar correctamente. Por ello, su estudio es un auxiliar valioso no sólo de cualquier estudio

profesional, sino de la vida diaria. Y la lógica es particularmente útil en ciertas disciplinas como la

informática, las matemáticas y la filosofía. La lógica sirve para la computación, el derecho, la

lingüística, la filosofía, la ingeniería eléctrica, las matemáticas. Por ejemplo, sirve para la

computación. El corazón de una computadora es normalmente su unidad de procesamiento central

(“Central Processing Unit” o CPU). Y el corazón de la CPU es la unidad lógico-aritmética. Es decir,

la lógica está literalmente en el centro de la computación y una de las primeras cosas que se aprende

al estudiar computación es a conocer los “circuitos lógicos”. Además, los programadores utilizan

lógica cuando se comunican con las computadoras mediante negaciones, conjunciones, disyunciones,

7
condicionales, identidades, etc. Y una vez escrito un programa, se usa la lógica para verificar que esté

correcto. Esto es muy importante cuando el programa controla cohetes nucleares u horarios de trenes.

No basta que en un millón de simulaciones no ocurran problemas. Necesitamos saber que nunca

podrían ocurrir problemas con programas que controlan equipos de hospital o bancos. Y esta

“verificación de programas” es en gran medida lógica aplicada para salvar vidas y evitar enormes

pérdidas económicas.

NOTAS CURIOSAS AL MARGEN

(Foto de la “Máquina Analítica” de Charles Babbage en el siglo XIX)

Hay un tipo de programación llamada Programación Lógica, muy popular en Europa y Japón.

OBJETIVOS BREVES

La función de la lógica es básicamente la evaluación de patrones de razonamiento. Partimos

de la creación de los razonamientos, dando sugerencias sobre cómo construirlos. Aquí la lógica nos

puede ayudar a crear más y mejores razonamientos. Una vez hechos los razonamientos, podemos

empezar a evaluar cuáles métodos de razonamiento son más adecuados. La meta es mejorar la

argumentación haciéndola más eficiente, eficaz y adecuada.

8
 Pero saber lógica cuantificacional, no garantiza razonar perfectamente. Piensa en esto: si

sabemos aritmética, ¿ya sabemos matemáticas perfectamente? La lógica cuantificacional es como la

aritmética del razonamiento. No alcanza para todo (no se pueden hacer puentes con pura aritmética;

se necesita cálculo), ni es imprescindible (puede hacerse topología sin números). Pero es tan útil que

casi no hay aplicación donde no aparezca. Así es que hay que ser humildes. Este es solamente un

curso introductorio de lógica y no te promete hacerte un genio de la argumentación. Pero la humilde

aritmética sirve para ir al mercado y que no nos engañen al cobrarnos. La lógica elemental solamente

resuelve problemas elementales, pero esos problemas a veces son de vida o muerte.

TÉRMINOS CLAVE

Todos razonamos, igual que todos comemos y todos respiramos. Desgraciadamente, no todos

lo hacemos bien y algunos consejos pueden ser útiles para mejorar la manera en que lo hacemos. ¿Es

la lógica la ciencia del razonamiento? Solamente en parte. El razonamiento tiene aspectos

psicológicos, sociológicos, históricos, económicos, políticos, estéticos, etc. La lógica se concentra en

el aspecto de evaluar en qué condiciones generales el razonamiento nos lleva a conclusiones

razonables, es decir, cuándo cierta información nos permite inferir otra.

Lógica: La teoría de la inferencia aceptable.

1.1. Concepto de Lógica formal.

CASOS DE ESTUDIO

9
 Considera los siguientes razonamientos. ¿Cuáles crees que son válidos? (La barra horizontal

se lee “por lo tanto”.)

Atardece y llueve Atardece o llueve

____________ ____________

Llueve Llueve

Amanece y nieva Amanece o nieva

____________ ____________

Nieva Nieva

PROBLEMAS

Considera los siguientes ejemplos:

 La vida es corta y cruel; por lo tanto, la vida es cruel.

 La vida es un desafío y está llena de posibilidades; por lo tanto, la vida está llena de

posibilidades.

 Hay que buscar la salud y conservarla; por lo tanto, hay que conservar la salud.

¿En qué se parecen todos esos ejemplos? ¿Son buenos razonamientos?

TEORÍA

10
 Se puede ver que estos ejemplos correctos de inferencia comparten la misma forma. Siempre

que tengamos una conjunción (A y B) se podrá concluir B. Lo sabemos por su forma. La lógica no

sabe sobre biología, física, o sobre nuestra familia pero sabe sobre la forma de los argumentos con los

que hablamos de biología, física y familia. En este sentido la lógica puede ser formal.

Hay también lógica informal que toma en cuenta la materia del razonamiento. Por ejemplo

para identificar algunas falacias tenemos que entender qué dicen y no solamente que forma tienen.

TÉRMINOS CLAVE

Lógica formal: La que podría desarrollarse sin saber que no

necesitamos saber de qué estamos hablando.

EJERCICIOS DE REPASO

Dijimos que siempre que tengamos una conjunción (A y B) se podrá concluir B.

1. ¿Se podrá también concluir A?

En cambio, si solamente sabemos que (A o B), no se puede concluir ni A ni B.

2. Da un ejemplo de una frase de la forma (A o B) que sea verdadera, aunque A sea falsa.

3. Da un ejemplo de una frase de la forma (A o B) que sea verdadera, aunque B sea falsa.

TEORÍA

11
 1.2. Objeto de estudio de la Lógica formal.

No toda la lógica es formal pero una gran parte de ella sí. Dice cosas que se aplican a

cualesquiera razonamientos que tengan cierta forma. Podemos hablar de la forma sola sin mencionar

nada de biología, física o familia, haciendo un estudio estrictamente formal de las inferencias que

hacemos. Por supuesto, nuestras inferencias siempre tienen cierto contenido, pero no es necesario

saber cuál es ese contenido para decir de una conjunción se pueden inferir cualesquiera de los

conyuntos. Siempre que la conjunción sea verdadera sus conyuntos también lo serán.

1.3. Factores del pensamiento, su forma y contenido.

¿Quieres que se piense sobre cómo mejorar tu vida, las relaciones en tu familia, las

condiciones en tu sociedad? Eso requiere cuatro factores:

1) Alguien tiene que tomarse el trabajo de pensar. ¿Vas a ser tú el sujeto pensante

sobre esos temas, o vas a dejar que alguien más se ocupe de ello?

2) Tienes que escoger sobre qué vas a pensar. El objeto pensado debe quedar claro.

Hay quienes empiezan tratando de resolver un problema familiar, y de pronto se

ponen a tratar de vengarse de antiguas ofensas. No les es claro sobre qué van a

pensar.

3) El pensamiento como proceso requiere tiempo. ¿Quieres cualquier respuesta

rápida o tienes disposición a invertir algo de tiempo para mejorar la respuesta a tus

preguntas?

12
 4) El pensamiento como resultado requiere alguna expresión. Tal vez tu pensamiento

como proceso es claro (tú lo entiendes bien) pero tu pensamiento como expresión es

oscuro (los demás no entendemos qué pensaste).

La lógica te puede ayudar con estos cuatro factores del pensamiento. Te puede ayudar a

determinar a quién le toca pensar sobre algo, quién debe ser el sujeto pensante; por ejemplo, a quién

le corresponde el peso de probar algo, la carga de la prueba. Puede ayudar a clarificar cuál es el

objeto pensado para no salirnos del tema sin darnos cuenta. Puede mejorar nuestro pensamiento

como proceso haciéndolo más confiable. Y puede mejorar nuestra expresión del pensamiento como

resultado para poder comunicarnos mejor y entendernos más.

APLICACIONES A LA VIDA COTIDIANA

Encuentra un problema de tu vida cotidiana sobre el que hayas pensado mucho y dinos a

quiénes les corresponde solucionarlo, cuánto tiempo crees que se requiera para solucionar el

problema y si crees que se debe llegar a un acuerdo hablado, escrito, o de otra forma.

1) ¿Cuál es el objeto pensado?

2) ¿Quienes deberían ser los sujetos pensantes?

3) ¿Cual es el tiempo necesario para el pensamiento como proceso?

4) ¿Cómo es conveniente plasmar el pensamiento como resultado?

1.4. Diferencias entre Lógica formal y Teoría del conocimiento (nociones generales).

13
 La Teoría del Conocimiento (también llamada “epistemología” porque conocimiento en

griego se dice “episteme”), investiga sobre el conocimiento mismo: ¿qué tanto podemos conocer?,

¿cómo podemos identificar si algo es realmente conocimiento?, ¿qué tipos de conocimientos hay?,

etc.

Un tipo de conocimiento es especialmente importante: el conocimiento inferencial,

aquel al que llegamos como conclusiones a partir de cierta información. Uno de los requisitos para

poder decir que hay conocimiento inferencial es que la inferencia que produce tal conocimiento sea

aceptable. La teoría general sobre cuándo una inferencia es aceptable es la lógica. Por lo tanto, la

lógica juega un papel importante en la teoría del conocimiento.

La teoría del conocimiento también investiga cuestiones como los criterios para llegar a saber

si algo es verdad. Las únicas verdades que la lógica estudia son las verdades lógicas.

EJERCICIO

Da tres ejemplos de verdades que no puedan ser descubiertas por pura lógica.

TEORÍA

La lógica puede ser vista como la parte de la Teoría del Conocimiento que habla sobre los

criterios inferenciales para identificar verdades lógicas e inferencias aceptables.

1.5. Relaciones y diferencias de la Lógica formal con la psicología, la gramática y la

matemática (nociones generales).

14
 La lógica es la más rigurosa de todas las disciplinas humanas en el sentido de que es la única que toma en cuenta

todas las posibilidades. Cuando un físico considera posibles resultados de un experimento no considera la posibilidad de

que los resultados contravengan de manera masiva a las leyes de la física hasta hoy aceptadas. Incluso cuando es un

experimento crítico para poner a prueba alguna de estas leyes presupone que el resto de ellas se mantiene. No considera

todas las posibilidades sino solamente las que a sus luces son las posibilidades físicas relevantes. Igual con las

posibilidades en economía, historia, etc. En cambio, para decir que algo es una verdad de su disciplina la lógica deductiva

tiene que sostener que es una verdad necesaria, no en sentido físico, no en sentido histórico, sino en sentido lógico. Es

decir, cualquier situación no incoherente ha sido tomado en cuenta.

La lógica deductiva considera todas las posibilidades y en ello reside su enorme poder. Por eso debe tener una

especie de neutralidad con respecto al tema que le permite ser aplicada a cualquier contexto porque todo contexto ha

sido implícitamente considerado. Ahora bien, pensemos en un jugador sentado a la mesa de ruleta tratando de decidir si

apostar o no. El pobre jugador entiende lo suficiente de teoría de probabilidades para darse cuenta que es improbable que

gane. Podría tener una racha de suerte que le hiciera ganar 30 veces seguida a la ruleta. Ciertamente es una posibilidad

pero es muy poco probable que ocurra. Si la visión en su mente de la posibilidad de enormes riquezas ejerce más poder

que la del reconocimiento de lo poco probable de eso, es muy probable que dañe su vida y la de sus personas queridas.

Parte de la sabiduría en vivir es balancear el reconocimiento de lo posible con el reconocimiento de lo plausible.

Reconocer solamente lo plausible nos lleva a descuidar posibilidades de mejoría. Concentrarnos solamente en lo posible

nos lleva a descuidar la prudencia. La sensatez debe incluir consideraciones tanto de posibilidad como de plausibilidad.

Hay cosas posibles que no son plausibles.

En el terreno de la Lógica la consideración de todas las posibilidades es el campo de la deducción y ese rigor

extremo simplifica las cosas. No tenemos que hacer distinciones entre diferentes tipos de posibilidades. En contraste, la

plausibilidad tiene que escoger y distinguir entre diferentes tipos de posibilidades. No todo lo posible es igualmente

plausible. Todas las alternativas son posibles pero algunas más posibles que otras. Cuando seleccionamos dentro de las

posibilidades algunas que consideramos más plausibles nuestra lógica deja de ser deductiva porque estamos dejando de

lado posibilidades que son altamente improbables. Por supuesto ésta es la manera como de hecho reflexionamos tanto en

la ciencia como en la vida diaria casi todo el tiempo.

La ocasión de utilizar la deducción se reserva a situaciones muy especiales. La deducción es el ideal de

considerar todas las posibilidades pero lo no deductivo puede representar la sensatez de reconocer que no todas las

posibilidades son iguales.

15
 la psicología

La lógica estudia el pensamiento humano pero no trata de describir cómo es o por qué se da, o cómo podría

cambiar. La lógica no es psicología. No habla de cómo es nuestro pensamiento sino de cómo debiera ser. Para la

psicología una ley del pensamiento es una manera de pensar que todos tenemos; para la lógica una ley del pensamiento es

una manera de pensar aceptable, la tengamos los seres humanos o no. Por ejemplo, las computadoras utilizan reglas de

razonamiento como la resolución, la paramodulación, la hipermodulación, etc., que pueden ser extrañas para un ser

humano. Incluso es posible que ningún ser humano las utilice. Sin embargo, siguen siendo leyes del pensamiento aunque

ningún ser humano (o no humano) las siga. A la lógica no le interesan las causas de que tengamos ciertos prejuicios o de

que lleguemos a ciertas conclusiones. Le interesa saber si es legítimo llegar a esas conclusiones.

la gramática

La lógica normalmente utiliza un serie de fórmulas especiales con una bien definida gramática. Pero no la hace

un estudio de la gramática en el sentido de la gramática del Español. La lógica habla de cómo generar lenguajes y nos

describe una sintaxis que nos dice cuándo algo es una oración del lenguaje correctamente construida y cuando no lo es.

Nos da también una semántica que nos permite hablar de la verdad o falsedad de las oraciones del lenguaje. En su área de

metalógica puede incluso comparar diferentes lenguajes.

Aun así, no es realmente una teoría gramatical en el sentido tradicional. A la lógica no le interesan las reglas para

construir otras oraciones que las de su lenguaje lógico. No le interesa la emotividad de lo que decimos, la belleza de la

expresión o las etimologías de su lenguaje.

la matemática

Alguna gente cree que “Lógica” y “Lógica Matemática” son sinónimos. Esto no es verdad. Hay lógica que no es

simbólica, que no es matemática, que no es formal. Mientras que toda matemática utiliza recursos lógicos, no toda lógica

16
utiliza recursos matemáticos. La lógica tiene una generalidad que no tiene la matemática. Puede clarificar y fundamentar

varias áreas de las matemáticas pero habla de cualesquiera objetos y no solamente de los objetos matemáticos. Tiene una

mayor amplitud temática.

La lógica puede beneficiarse del uso de métodos matemáticos y la matemática beneficiarse del uso de métodos

lógicos. Algunas de las verdades que se encuentran en uno de los campos se traducen en verdades similares en el otro

campo. La lógica se parece a las matemáticas porque estudia estructuras muy generales, incluye inferencias necesarias,

tiene un lenguaje especial y utiliza algunos métodos de la practica matemática. Pero la lógica incluye, por ejemplo,

estudios de la falacia de apelación indebida a las masas que no pueden ser considerados estudios matemáticos en ningún

sentido serio. A su vez la matemática incluye estudios sobre teoría de conjuntos que difícilmente podrían ser interpretados

como verdades lógicas.

1.6. Utilidad de la Lógica formal en la investigación científica y en la vida cotidiana.

La lógica puede ser útil para la investigación científica porque provee criterios de rigor,

claridad y precisión. Además permite clarificar las teorías científicas estudiando las relaciones lógicas

entre las diferentes afirmaciones de la ciencia. Es importante poder reconocer en una teoría científica

qué cosas se dan por supuestas y qué cosas se derivan de otras.

Hay áreas de la Filosofía de la Ciencia que se ocupan de reconstrucciones lógicas de teorías

científicas. Lo distintivo de la ciencia es la metodología y una de los aspectos de la lógica es como

metodología de las ciencias, es decir estudios de los métodos para obtener conocimiento científico.

La lógica es también muy útil en la vida cotidiana. Puede ayudarnos a entender mejor nuestras

ideas. Nos permite saber con más claridad qué es lo que opinamos nosotros u otras personas, cómo

puede justificarse lo que decimos o creemos, y qué se sigue de ello, qué compromisos intelectuales

contraemos al sostener algo.

17
 1.7 Principios lógicos supremos: identidad, no contradicción, tercero excluido y razón

suficiente.

Tratamos de guiar nuestra actividad mental por algunos principios generales conocidos como

leyes fundamentales del pensamiento. Estas leyes no tienen que ser las más básicas; puede ser que

sean derivables de otras pero nos parecen tan seguras que les damos una categoría especial y

apelamos a ella cuando estructuramos nuestro discurso.

Una ley fundamental por ejemplo es la ley de identidad que tiene varias formas. En su

versión ontológica dice que toda cosa, objeto o individuo es idéntico a sí mismo. En su versión

inferencial dice que si afirmamos algo entonces estamos comprometidos a aceptar ese algo. Hay

quienes hay objetado a esto porque la conclusión y la premisa son la misma y parecemos caer en un

círculo vicioso. Efectivamente, como forma de convencer tiene el defecto retórico de la circularidad;

pero cuando no estamos tratando de convencer a nadie no hay ningún problema lógico en decir que

quien afirma algo tiene el compromiso lógico de asumirlo.

Otro principio es la ley de no contradicción que nos dice que toda contradicción es falsa. Ha

sido objetado por quienes entienden a las contradicciones como oposiciones que pueden coexistir: por

ejemplo en las polémicas en la ciencia o en la lucha de clases sociales. Pero estas polémicas y luchas,

aunque se excluyan mutuamente no son más que contrarias. El principio de no contradicción se

refiere a las contradictorias: cosas que no solamente no pueden ser ambas verdaderas sino que

tampoco pueden ser ambas falsas. El principio no dice que no pueda haber gente que se contradigan

mutuamente; lo único que dice es que no todos pueden estar diciendo la verdad. No impide ser en

cierto sentido y no ser en otro sentido, aunque sí excluye ser y no ser en el mismo sentido. No dice

que no pueda haber contradicción de intereses sino que los intereses contradictorios no pueden ser

satisfechos al mismo tiempo. El mundo esta lleno de oposiciones y contradicciones. Lo único que

18
dice la Lógica es que no podemos contradecirnos sin equivocarnos. El principio no dice que las dos

personas que se contradicen no puedan tener algo de verdad. Lo único que dice es que no pueden ser

ambas totalmente verdaderas. Hay sistemas de Lógica que estudian los efectos de las contradicciones

y para ello son capaces de contenerlas en el sistema sin producir una trivialización (que todo pueda

ser inferido). Estos cálculos fueron creados por un latinoamericano a principios de los años sesentas

por el brasileño Newton da Costa y muestran que se puede hablar consistentemente de cosas

inconsistentes, igual que se puede hablar con claridad y rigor de cosas confusas y oscuras.

Un tercer principio fundamental del pensamiento es llamado ley de tercio excluso o tercero

excluido. Más que una ley irrestricta es un supuesto de la mayoría de los sistemas lógicos. A saber,

que el lenguaje que vamos a utilizar se limita a oraciones que son o verdaderas o falsas. Por supuesto,

hay oraciones que no son ni verdaderas ni falsas como por ejemplo las preguntas o las órdenes. Esta

“ley” es más bien un presupuesto sobre qué área de nuestro lenguaje va a ser analizado y no vale para

lógicas que toman en cuenta áreas mas amplias del lenguaje, como son, por ejemplo, las lógicas

presuposicionales, las lógicas de imperativos, las lógicas de preguntas (erotéticas), las lógicas

jurídicas, deónticas, etcétera.

El principio de tercio excluso a veces se distingue del principio de bivalencia porque mientras

que el principio de tercio excluso dice que no podemos dar el valor verdad tanto a una proposición

como a su negación, el principio de bivalencia lo que dice es que solamente contamos con dos

valores de verdad (verdadero y falso). Ni contamos con diferentes grados de verdad ni nuestro

lenguaje incluye oraciones que no son ni verdaderas ni falsas, o que sean tanto verdaderas como

falsas (esto último violaría el principio de no contradicción).

Más discutible es el llamado “principio de razón suficiente”. No es un principio lógico sino un

principio epistemológico, según el cual todo tiene alguna razón que lo explica de manera suficiente.

Nada ocurre sin razón, todo puede ser justificado o bien todo tiene alguna causa. En ninguna de estas

19
versiones tenemos un principio lógico. Lo que hay es más bien un supuesto metodológico de que para

todo hay alguna razón.

20
 CAPÍTULO 2

¿Sobre qué piensas? (El Concepto)

2.1 Caracterización del concepto.

Un concepto es una idea, una noción, un tema: algo sobre lo cual se puede decir algo. En casi

todos los lenguajes esto se expresa con sustantivos. Es fácil detectar un sustantivo porque se puede

aplicar un artículo: “el”, “la”, “lo”, “los”, “las”. A menudo es una sola palabra pero como podemos

aplicar conceptos a conceptos, más que sustantivos lo que corresponde a los conceptos son las frases

sustantivales como “adolescentes mexicanos” o “la felicidad que me proporciona pensar en mis

padres en las tardes de lluvia”. También podemos utilizar nombres propios para formar conceptos

individuales como “Napoleón Bonaparte”, “Miguel Hidalgo y Costilla”, “Mi primer amor”.

Básicamente, un concepto es el significado de un término pero puede haber conceptos para los cuales

no hay término, es decir, ideas para las cuales no tenemos un nombre.

Un tema por sí mismo no afirma nada. El concepto lluvia no se compromete con que está

lloviendo o con que no. El concepto Dios no nos compromete a que existe o no existe. Lo único que

se requiere para un concepto es que sea algo de lo cual podamos hablar, decir algo, afirmar algo.

Algunos temas son especialmente buenos para desarrollar argumentaciones. Otros son buenos

para fantasear sobre ellos, para dirigir la vida, para deleitarnos con su belleza, para establecer lazos de

amistad, para explorar. Pero para argumentar no cualquier concepto es igualmente favorable.

EJERCICIOS

No cualquier tema nos lleva a argumentar. Escriba un tema que nos lleve a argumentar:

21
Evalúe qué tan bueno es su tema para llevar a argumentar. En cada rubro anote 3 puntos si esa

característica se cumple completamente, 2 puntos si lo cumple medianamente, y 1 punto si no lo

cumple para nada.

CARACTERÍSTICAS PUNTOS

Específico

Claro (para su auditorio)

Interesante (para usted)

Importante (en sí y para usted)

Fructífero (teórica o prácticamente)

Conocido (por usted)

De actualidad (para su auditorio)

Adecuado (para este curso)

TOTAL

Escriba otro tema todavía mejor para llevar a argumentar:

Entregue su libro a la persona sentada detrás de usted. (Si está al final de la fila, pase su libro a la

persona sentada al otro extremo.)

22
Evalúe a su colega como evaluó usted antes su primer tema. Sume el total, ponga su nombre y firma,

y devuelva el libro.

CARACTERÍSTICAS PUNTOS

Específico

Claro

Interesante (para usted)

Importante (en sí y para usted)

Fructífero

Conocido (por usted)

De actualidad

Adecuado (para este diplomado)

TOTAL

Nombre y firma de quien evaluó:

2.2 Formación de conceptos

23
 Existe una manera de generar conceptos a través de su extensión. Dado cualquier conjunto de

individuos podemos general el concepto de ser miembro de ese conjunto de individuos. Es decir, a

todo conjunto le corresponde al menos un concepto que designa a los miembros de ese conjunto.

Podemos formar conceptos incluso cuando no tenemos elementos. Por ejemplo, al conjunto vacío le

corresponde el concepto “elemento del conjunto vacío”; por supuesto no hay ningún elemento del

conjunto vacío, ¡está vacío!

Si tenemos los números 1, 2, y 3 podemos formar el concepto “elemento del conjunto {1, 2, 3}”.

Puede haber otros conceptos que sean co-extensionales con éste. Por ejemplo, el concepto “número

natural positivo menor a 4” o el concepto “3 primeros números primos”. Además podemos usar

funciones para generar nuevos conceptos a partir de otros. Por ejemplo, para todo conjunto podemos

generar el concepto “conjunto de todos los subconjuntos de ese conjunto”. Esto se conoce como

Conjunto Potencia. En lógica hablamos de que hay significado de términos y significado de

funciones. La función toma un número de argumentos y produce objetos. Por ejemplo, algunos

conceptos están formados a partir de otros conceptos. Por ejemplo, el concepto “tío” esta formado a

partir de los conceptos “padre o madre” y “hermano”. El concepto “abuelo paterno” está formado de

combinar el concepto “padre” consigo mismo.

También podemos formar conceptos por analogía, generalización, inducción, abstracción,

etcétera.

2.3. Propiedades de los conceptos: extensión y comprehensión o contenido.

Un concepto tiene intensión (con “s”) y extensión. Para que dos conceptos sean el mismo deben

tener la misma intensión, es decir las mismas notas y si tiene la misma intensión debe tener la misma

extensión. Por lo tanto cuando te mencionen dos conceptos con diferentes extensiones tu sabes que

24
los conceptos deben ser diferentes. Esto es así al grado que a veces en lugar de hablar de los

conceptos hablamos de sus extensiones y decimos, por ejemplo, que el concepto “adolescentes” es el

conjunto de todos los adolescentes, el concepto “mexicano” es el conjunto de todos los mexicanos y

el concepto “adolescente mexicano” es el conjunto que es la intersección de los otros dos conjuntos.

Esta manera de hablar es muy útil y se conoce como el enfoque extensional porque estamos

utilizando las extensiones para identificar a los conceptos.

2.4. Relaciones entre extensión y comprehensión (variación inversa).

La intensión de un concepto (también llamada su comprehensión) son las notas que tiene, las

características que cumplen todos los objetos a los que se puede aplicar ese concepto o noción. Son,

25
por así decirlo, los requisitos para pertenecer al club. Las cosas que satisfagan todos esos requisitos

pertenecen al club. Es decir, las cosas que satisfagan las notas que componen la intensión de un

concepto forman parte de la extensión de tal concepto, y las que no quedan fuera del club. Por

supuesto mientras más requisitos haya para pertenecer a ese club, menos miembros tendrá. En otras

palabras, a mayor intensión, menor extensión. Y al revés, mientras menos requisitos haya más fácil

será ser un ejemplo de esa idea, ser un objeto de ese tipo. Por lo tanto, cuando queramos que nuestros

conceptos se apliquen a muchas cosas conviene poner pocos requisitos (es decir, poca intensión,

pocas notas para caracterizar el concepto). Pero cuando queramos ser más específicos, cuando

queramos que lo que decimos, que la idea o el tema sea más concreto y se aplique a solamente unas

pocas cosas entonces tenemos que ponerle los apellidos a la idea, tenemos que ser más específicos

añadiendo notas, conjuntando más nociones para que lo que decimos se aplique a menos cosas y sea

más concreto. En general, queremos ser lo más específicos posibles, es decir, dar el mayor número

posible de notas para los conceptos de que tratamos y así evitar generalidades (a menos que

busquemos decir algo general).

Por cierto, hay casos en los que aunque aumentemos la intensión no decrece la extensión. Por

ejemplo, los seres humanos con pulmones son los mismos que los seres humanos con pulmones y

riñones. Aunque el segundo concepto tiene más notas, más comprehensión, no se aplica a más

objetos. Por ello decimos que al aumentar la intensión la extensión es menor o igual. Igualmente, al

disminuir las notas la extensión será mayor o igual.

EJERCICIOS

1. Haga más especifico el tema que ha escogido añadiendo notas al concepto, es decir,

incrementando la intensión.

26
 2. Haga más general el concepto, es decir, incremente su extensión quitándole notas,

disminuyendo su intensión.

3. Si hay una cosa a la que se le aplica un concepto pero no otro, ¿pueden esos dos conceptos

tener la misma extensión? ¿Por qué?

4. Si hay una cosa a la que se le aplica un concepto pero no otro, ¿esos dos conceptos pueden

tener la misma intensión? ¿Por qué?

2.5. Distinciones entre imagen, palabra; objeto y expresión del concepto.

Podemos comunicarnos con imágenes pero si somos ciegos o estamos en la oscuridad también

tenemos palabras. Las palabras pueden ser ellas mismas imágenes como en la escritura jeroglífica, o

pueden ser sonidos como en el lenguaje hablado, o pueden ser secuencias de pulsos

electromagnéticos como en nuestras computadoras. Lo importante es que podemos utilizar a las

imágenes y a las palabras como medios para comunicar ideas. La palabra “idea” es ambigua. Puede

poder significar un concepto o también algo que decimos sobre un concepto, una afirmación. A

menudo nuestras ideas son más claras que nuestra expresión: sabemos lo que queremos decir pero no

logramos decirlo con claridad. Una palabra puede referirse a un concepto claro de una manera oscura.

Quienes más dominan el lenguaje son los poetas porque continuamente tratan de expresar nuevas

cosas de nuevas formas. Pero eso no significa que los poetas sean los más claros de entender.

Mallarmé o Ezra Pound pueden ser muy difíciles de comprender y en ocasiones bastante confusos

pero son capaces de expresar cosas difíciles, sentimientos, impresiones, ideas desusadas, y por ello es

que el estudio de la lógica puede beneficiarse de un conocimiento de la poesía. Saber poesía no está

reñido con saber lógica. Al contrario, puede ser un valioso auxiliar para ello.

27
 2.6. Clasificación de los conceptos

a) Por su extensión: singular, común, particular, colectivo y universal.

Nuestras palabras son ambiguas, pueden querer decir diferentes cosas, representar diferentes

conceptos. Por ejemplo, la expresión “el hombre” puede referirse a conceptos diferentes. Si decimos

“Juan se peleó con Maria; el hombre estaba enojado”, en este caso “el hombre” se refiere a un

individuo en particular, a Juan. Es un concepto singular. Pero cuando decimos “el hombre es

racional” no nos referimos nada más a Juan sino a lo que tienen en común todos los hombres: es un

concepto común. Un tipo de concepto singular es el colectivo (que se aplica a una colectividad). Por

ejemplo, cuando decimos “El hombre se involucró en muchas guerras durante el Siglo XX” no nos

referimos a todos los seres humanos sino al grupo finito de seres humanos que vivieron durante esa

centuria. Por supuesto, hay conceptos universales que se aplican a todo, como por ejemplo “cosa”,

“ente”, “ser”. En cambio hay conceptos particulares (todos los demás) que se aplican a parte

solamente.

b) Por su comprehensión: simple, complejo, abstracto y concreto.

Algunos conceptos son simples (como “ser”) mientras que otros son complejos, combinación

de conceptos más simples (como “tío abuelo”).

Aquello a lo que el concepto se refiere puede ser algo concreto como la luna o algo abstracto

como el número 4. Aunque los conceptos mismos son abstractos, lo que representan no siempre es

algo abstracto. Por ejemplo, el concepto “mesa” representa cosas físicas, el concepto “hígado”

representa algo que existe en el espacio y en el tiempo, mientras que las ideas, los conceptos mismos

28
no están ni en el espacio ni en el tiempo. Podemos hablar de que un concepto surgió en 1905, pero

también podríamos decir que el concepto ya existía como una posibilidad y fue simplemente

descubierto en 1905. En ese sentido un concepto no tiene edad, no existe en ningún tiempo

determinado, no es algo que ocurre en el tiempo. Tampoco podemos cuanto pesa o de qué color es.

No podemos decir que el concepto existe en China pero no en México. (En cierto sentido, sí, por

supuesto, podemos decir que el concepto de “saudade” lo tienen los portugueses pero no los

mexicanos o que el concepto de caballo no exista en la América prehispánica. Pero el que los seres

humanos conozcamos a los conceptos en determinado tiempo y espacio no significa que un concepto

como el de cero esté en algún lugar o en algún tiempo, aunque durante un período solamente los

Mayas en Yucatán lo tuvieron.)

c) Por su perfección: claro, confuso y distinto.

Un concepto puede ser más o menos claro más, o menos confuso. A veces nuestros

interlocutores no entienden de qué queremos hablar. El tema debe ser lo más claro posible.

Debemos distinguir claridad de inteligibilidad. Por ejemplo, la matemática es clara aunque no

lo sea para nosotros; es clara en sí misma aunque sea muy difícil entenderla. Debemos distinguir el

que algo sea claro en sí mismo y que lo sea para nosotros. Puede ser más claro para nosotros si lo

parafraseamos. Al entender qué es lo que quiere decir otra persona, al hacer más clara su expresión

del concepto, podremos ver más fácilmente si el concepto en sí mismo era claro o no.

Hay algunos conceptos que son ellos mismos confusos. Una manera de aclarar un concepto es

especificarlo más, responder a la pregunta “¿en qué sentido?”. Cuando decimos “La muerte es el fin

de la vida” la expresión es confusa. ¿Es el fin porque esta al final o es el fin porque es la meta?

Algunos cristianos creen que la muerte es algo benéfico (como cuando Santa Teresa exclama “que

29
muero porque no muero”). El concepto de muerte mismo puede ser confuso. ¿Es posible que muera

una idea? ¿Una moda? ¿Puede algo morir antes de nacer, como un feto? Si alguien pierde toda

actividad cerebral pero el resto de su cuerpo continúa funcionando, ¿está muerto o no?

Algunos conceptos no son bastante claros ellos mismos aunque los expresemos con claridad.

El concepto mismo es confuso. La paráfrasis nos permite entender cuál es el concepto que estamos

trasmitiendo pero el concepto mismo puede no ser claro y confundirse con otros conceptos. Nosotros

queremos que un concepto sea “distinto”, que lo podamos distinguir de otras cosas. No queremos

confundir libertad con libertinaje o autoridad con autoritarismo.

Para hacer estas distinciones puede servirnos la clasificación, el delimitar los límites extremos

del concepto a través de la especificación de las propiedades, de las notas que componen el concepto

y de un examen de los casos límite, las cosas que caen dentro del concepto pero que parecerían caer

fuera y las cosas que caen fuera pero parecerían caer dentro. Al explicar nuestro concepto a otras

personas nos conviene mencionar qué cosas entendemos como instancias de ese concepto, elementos

que caen dentro de la extensión del concepto aunque a otra persona le pudiera parecer que no caen y

que cosas caen fuera aunque alguien pudiera pensar que deben estar dentro.

2.7. Los predicables.

Existen cosas que se pueden decir sobre los temas. El ejemplo clásico de tema es el ser

humano y sobre este tema podemos hacer varias preguntas:

1. ¿En qué género de cosas se incluye? Por ejemplo, es un animal.

2. ¿Qué diferencia lo distingue de otro miembros de ese género? Por ejemplo, a

diferencia de otros animales, el ser humano es racional.

30
 3. ¿Entonces, qué especie de cosa es un ser humano? Uniendo género y diferencia,

podemos decir que es un animal racional.

4. ¿Qué es propio de un ser humano? Por ejemplo, la risa.

5. ¿Y qué rasgos tiene por accidente? Por ejemplo, ser terrícola.

EJERCICIO

Sobre el tema que haya escogido, responda las siguientes preguntas:

1. ¿En qué género de cosas se incluye?

2. ¿Qué diferencia lo distingue de otro miembros de ese género?

3. ¿Entonces, qué especie de cosa es?

4. ¿Qué es propio de ello?

5. ¿Y qué rasgos tiene por accidente?

2.8. Las categorías aristotélicas.

Hace 24 siglos, Aristóteles se preguntó qué tipos de cosas había. Las dividió en varias

categorías. Por ejemplo, podemos hablar de un baile (substancia), de cuánto bailaste (cantidad), de

cómo bailaste (cualidad), de que fuiste pareja de baile de alguien (relación), de dónde fue el baile

(lugar), de cuándo fue (tiempo), de que algunos pasos eran de lado (situación), de que estabas

estrenando zapatos (estado), de que sacaste a bailar (acción) y te pasó que te sacaron a bailar

(pasión).

EJERCICIO

31
 Identifica en qué categoría cae tu tema.

2.9. Operaciones conceptuadoras, sus reglas y técnicas:

a) Definición.

Una manera entender algo es preguntarnos qué tipo de cosa es, a que género de cosas

pertenece, qué clase de individuo cae bajo ese concepto. Una buena manera de empezar a clarificar

un concepto es diciendo el género al que pertenece, es decir, qué tipo de cosas son las que caen bajo

ese concepto.

El primer consejo para clarificar nuestros conceptos es decir cuál es el género próximo de ese

concepto, es decir, qué tipo de cosas son las que caen bajo ese concepto, lo más específicamente

posible. Las cosas que caen bajo cierto concepto pueden también caer bajo muchos otros. Puede ser

que un concepto sea de muchos tipos. Por ejemplo, un gato es un objeto, es un ser vivo, es una cosa,

es un animal. De los diferentes tipos que es, el que más información nos da es el más próximo,

“animal”. No nos sirve de mucho decir que un gato es una cosa porque ése es un género muy lejano.

Queremos el tipo más especifico de cosas, queremos el género próximo.

Dentro de un tipo de cosas puede haber muchas distintas. Aunque el gato es un animal hay

muchos tipos diferentes de animales. La pregunta es ¿Qué distingue a los gatos de otros animales?

Dentro de las muchas especies de animales, ¿qué permite caracterizar a la especie felina a diferencia

de otras especies? A esto le llamamos, por supuesto, diferencia especifica.

32
 Ahora podemos dar una idea general de cómo definir nuestras nociones. Cuándo quieras

clarificar tus ideas (de qué estas hablando) menciona el género próximo y la diferencia especifica. Es

decir, menciona qué tipo de cosa es lo más específicamente posible y en que se distingue de otras

cosas de ese tipo, su diferencia de otras especies.

No todas las definiciones son del mismo tipo. A veces simplemente estamos instaurando una

manera de usar una palabra. Cuando alguien dice “Esto es así por definición” puede querer estar

diciendo “No nos pelemos por palabras, así es como voy a entender esos términos”. Por ejemplo, si

preguntamos a quien dice que “un triángulo tiene tres ángulos” por qué tiene tres lados, nos puede

responder “Simplemente por definición; si no tuviera tres ángulos no le llamaríamos triángulo”. Tal

definición simplemente decide convencionalmente cómo vamos a entender cierto nombre. Le

llamamos definición nominal porque define un nombre, define como vamos a utilizar ciertas

palabras, ciertos términos, cierto vocablo.

Cuándo lo que buscamos es una definición nominal debemos asegurarnos es que la definición

explique bien cómo deseamos usar la palabra y que nos de una manera de parafrasearla cada vez que

nos la encontremos en nuestro discurso, que nos indique qué podemos poner en vez de la palabra

“torre”.

A veces lo que estamos tratando de definir no es una palabra sino las cosas que corresponden

a esa palabra. “Cosa” en latín se dice “res” y esas definiciones son “reales”, es decir de cosas en vez

de palabras. Cuando alguien dice que una torre se puede mover vertical y horizontalmente, podemos

preguntar si está haciendo una definición real o nominal. Si la definición es nominal le podemos decir

que aceptamos su uso de la palabra “torre”. No nos vamos a pelear por palabras. Si quiere llamarle

torre a la pieza en el ajedrez que sólo se puede mover solamente horizontal y verticalmente, entonces

tiene todo su derecho de llamarle “torre” o “elefante de guerra”. Pero si está tratando de dar una

definición real de lo que son las torres, incluyendo a la Torre Eiffel y la Torre de Pisa, entonces

33
podemos quejarnos y decir que es una mala definición aunque la aceptáramos como definición

nominal. Una buena definición real debe capturar aquello que normalmente se designa con esa

palabra, debe capturar el concepto que perseguimos, debe decirnos qué tipo de cosas son realmente

esas que nombramos. N o estamos preguntando sobre cómo se usan las palabras sino cómo es la

realidad, qué tipo de cosas son realmente y qué diferencia tienen realmente con otras cosas de ese

tipo.

Llamamos a lo que estamos definiendo se llama definiendum y lo que lo define es el

definiens. Para que la definición nos permita entender lo que estamos definiendo se requiere que el

definiendum no aparezca en el definiens y en general que en el definiens sólo haya cosas más claras

que el definiendum; de lo contrario la definición no cumpliría su tarea clarificadora.

EJERCICIO

Las definiciones de definiendum y de definiens, ¿fueron nominales o reales? ¿Por qué?

b) División.

Borges narra cómo en el jardín del emperador de China se intentó clasificar a los animales

pero las divisiones entre las diferentes especies dejaban mucho que desear. Para una buena división

se requiere que sea exhaustiva y que los grupos en los que se dividen sean mutuamente excluyentes.

No es una buena división si no divide completamente. Por ejemplo, dividir a los seres

humanos entre derechistas e izquierdistas es una división incompleta porque no es exhaustiva.

34
 Asimismo, las clases en las que dividimos deberían ser mutuamente excluyentes, es decir, no

debe haber nada que pertenezca a más de una división. Por ejemplo, dividir a los seres humanos entre

europeos y anglosajones deja a los ingleses en ambas categorías.

En lógica hablamos de particiones. Al particionar un conjunto se le divide en subconjuntos

que sean mutuamente excluyentes y conjuntamente exhaustivos.

EJERCICIO

1. Proponga una división de los estudiantes de su clase.

2. Proponga una división para los colores.

3. Proponga una división de los amigos.

4. Explique qué tienen de malo las siguientes divisiones:

a. Dividir a los seres humanos entre derechistas e izquierdistas.

b. Dividir a los seres humanos entre europeos y anglosajones.

c) Clasificación.

Borges habla de una enciclopedia en la que “los animales se dividen en (a) pertenecientes al

Emperador, (b) embalsamados, (c) amaestrados, (d) lechones, (e) sirenas, (f) fabulosos, (g) perros

sueltos, (h) incluidos en esta clasificación, (i) que se agitan como locos, (j) innumerables, (k)

dibujados con un pincel finísimo de pelo de camello, (l) etcétera, (m) que acaban de romper el jarrón,

(n) que de lejos parecen moscas”.

EJERCICIO

35
¿Qué problemas ves con la clasificación que menciona Borges?

36
 CAPÍTULO 3

¿Qué opinas? (El Juicio)

Un juicio (afirmación, aseveración, enunciado) se distingue por decir algo que podría ser

verdadero o falso sobre el tema. Cuando decimos juicio nos referimos a nuestra opinión. No significa,

como por ejemplo en el derecho, toda el proceso de deliberación, sino tan solo la sentencia, hipótesis

o conclusión a la que llegamos.

EJERCICIOS

Afirme algo sobre el nuevo tema. (Puede cambiar su tema en este momento si quiere.) No

cualquier juicio es conveniente para desarrollar una argumentación. Trate de que lo que diga sea una

hipótesis de trabajo útil para argumentar.

Evalúe qué tan útil es su hipótesis para argumentar. En cada rubro anote 3 puntos si esa

característica se cumple completamente, 2 puntos si lo cumple medianamente, y 1 punto si no lo

cumple para nada.

CARACTERÍSTICAS PUNTOS

Aseveración (con verbo)

37
Clara (para su auditorio)

Verdadera (para usted)

Pertinente (al tema)

Controvertible o interesante (para su auditorio)

Original (para su auditorio)

Defendible (por usted)

Fructífera (teórica o prácticamente)

TOTAL

Escriba otra hipótesis todavía mejor para argumentar:

Entregue su libro a la persona sentada enfrente de usted. (Si está al principio de la fila, pase su

libro a la persona sentada al otro extremo.)

Evalúe a su colega como evaluó su primera hipótesis. Sume el total, ponga su nombre y firma,

y devuelva el libro.

CARACTERÍSTICAS PUNTOS

Aseveración (con verbo)

38
Clara (para su auditorio)

Verdadera (para usted)

Pertinente (al tema)

Controvertible o interesante (para su auditorio)

Original (para su auditorio)

Defendible (por usted)

Fructífera (teórica o prácticamente)

TOTAL

Nombre y firma de quien evaluó:

ELOGIO DE LA PARÁFRASIS

Hay quienes aprenden de memoria en vez de aprender. La memoria debe ser un suplemento y no un

sustituto de la comprensión. Aprender de memoria no significa aprender sin entender. Al contrario,

gracias a la memoria podemos comprender mejor.

Hay la memoria superficial de quienes repiten las palabras sin entenderlas, y la memoria

profunda de las ideas. La diferencia está en la capacidad de expresar la misma idea aunque

cambiemos las palabras. A esto lo llamamos la capacidad de parafrasear.

39
Escriba "informativo”, “emotivo”, “metafórico”, “retórico” o “directivo” a la derecha del poema de

Efraín Huerta que use el lenguaje especialmente con ese propósito.

Efraín Huerta (1914-1982)

40
 Absoluto amor

Es la primera vez que un absoluto amor de oro

hace rumbo en mis venas.

Así lo creo te amo

y un orgullo de plata me corre por el cuerpo.

Tango

Hoy

Amanecí

Dichosamente

Herido

De

Muerte

Natural.

Ay poeta

Primero

Que nada

Me complace

Enormísimamente

Ser

Un buen

Poeta

41
 De segunda

Del

Tercer

Mundo.

(“”.)

Che

En

La

Calle

Deben

Pasar

Cosas

Extraordinarias

Por

Ejemplo

La

Revolución.

ACTIVIDADES Y JUEGOS

1) Haga un grupo de cuatro alumnos. Asigne números a los otros tres: “Compañero 1”, “Compañero

2” y “Compañero 3”.

42
2) Escriba en una hoja una hipótesis de trabajo (puede ser nueva). Escriba “Hoja A” arriba a la

derecha de la hoja.

3) Copie su hipótesis en dos nuevas hojas. Escriba arriba a la derecha de las hojas: “Hoja B” y “Hoja

C”.

4) Escriba en una nueva “Hoja D” tres paráfrasis de su hipótesis. Tenga cuidado de no anotar la

formulación original de la hipótesis; solamente las tres paráfrasis. Escriba arriba a la derecha de la

hoja: “Hoja D”.

5) Verifique que ninguna de las palabras de la hipótesis (en las hojas A, B y C) aparezca en sus tres

paráfrasis de la hoja D.

6) Intercambie su hoja A con el compañero 1.

7) Haga en una “Hoja E” una paráfrasis de la hipótesis de su compañero 1. Escriba arriba a la

derecha de la hoja: “Hoja E”. No lea todavía la hoja D de su compañero 1.

8) Intercambie su hoja B con su compañero 2.

9) Haga en una “Hoja F” una paráfrasis de la hipótesis de su compañero 2. No lea tampoco todavía

la hoja D de su compañero 2.

10) Intercambie su hoja C con su compañero 3.

11) Haga en una “Hoja G” una paráfrasis de la hipótesis de su compañero 3. No lea todavía la hoja D

de su compañero 3.

12) Entregue su hoja E a su compañero 1, la hoja F a su compañero 2, y la hoja G a su compañero 3.

13) Revise las paráfrasis que sus compañeros hicieron de la hipótesis de usted.

14) Muestre a sus tres compañeros las tres paráfrasis que usted había hecho (su hoja D).

15) Comente con sus tres compañeros cómo podemos ayudar a nuestros lectores para que entiendan

mejor qué ideas deseamos transmitirles.

43
Entreguen, como equipo, las sugerencias que hayan podido encontrar para que los lectores entiendan

mejor qué ideas deseamos transmitirles.

LECTURA DE LA PUNTUACIÓN

Traiga por escrito para la siguiente sesión cuál es la diferencia entre:

1) una coma y un punto y coma,

2) dos puntos y puntos suspensivos,

3) punto y seguido y punto y aparte.

En la siguiente clase haga un equipo de cuatro personas.

Escoja uno de los pasajes más abajo.

Cada uno de los cuatro miembros del equipo leerá el pasaje que haya escogido en voz alta.

Mientras le toca a los demás leer, escriba usted sin leerlo el texto con todos los signos de puntuación.

(Es recomendable leer muy despacio y marcar los signos de puntuación con la entonación y el

énfasis.)

1) César entró; sobre la cabeza llevaba el casco, en los pies las sandalias, en la mano la fiel

espada.

2) César entró sobre la cabeza. Llevaba el casco. En los pies las sandalias; en la mano la fiel

espada.

3) César entró sobre la cabeza; llevaba el casco en los pies, las sandalias en la mano, la fiel

espada.

44
4) ¿Dejo mis bienes a mi sobrino Juan? No. ¿A mi hermano Luis? Tampoco. Jamás se pagará la

cuenta al sastre. Nunca, de ningún modo, para los jesuitas. Todo lo dicho es mi deseo.

5) Dejo mis bienes a mi sobrino Juan. No a mi hermano Luis. Tampoco, jamás, se pagará la

cuenta al sastre. Nunca, de ningún modo, para los jesuitas. Todo lo dicho es mi deseo.

6) ¿Dejo mis bienes a mi sobrino Juan? No. ¡A mi hermano Luis! Tampoco, jamás, se pagará la

cuenta al sastre. Nunca, de ningún modo, para los jesuitas. Todo lo dicho es mi deseo.

7) ¿Dejo mis bienes a mi sobrino Juan? No. ¿A mi hermano Luis? Tampoco, jamás. Se pagará la

cuenta al sastre. Nunca, de ningún modo, para los jesuitas. Todo lo dicho es mi deseo.

8) ¿Dejo mis bienes a mi sobrino Juan? No. ¿A mi hermano Luis? Tampoco, jamás. ¿Se pagará

la cuenta al sastre? Nunca, de ningún modo. Para los jesuitas todo. Lo dicho es mi deseo.

9) Amo a Soledad;

no a Julia, cuya bondad

persona humana no tiene;

no aspira mi amor a Irene,

que no es poca su beldad.

10) ¿Amo a Soledad?

No. A Julia, cuya bondad

45
persona humana no tiene.

No aspira mi amor a Irene,

que no es poca su beldad.

11) ¿Amo a Soledad?

No. ¿A Julia, cuya bondad

persona humana no tiene?

No. Aspira mi amor a Irene,

que no es poca su beldad.

12) ¿Amo a Soledad?

No. ¿A Julia, cuya bondad

persona humana no tiene?

No. ¿Aspira mi amor a Irene?

¡Que no!... Es poca su beldad.

46
 3.2 Estructura del juicio. Características: verdad y falsedad (afirmativo y negativo).

Cuando hacemos un juicio, cuando juzgamos algo, podemos decir que cierta cosa ocurre o

que no ocurre. Podemos afirmar o negar que ocurra un hecho determinado. Así es que tenemos

juicios afirmativos y juicios negativos.

No siempre es fácil decir si un juicio es afirmativo o negativo. Por ejemplo, si decimos que la

creatividad humana es infinita, ¿estamos afirmando la cualidad positiva de infinitud de la creatividad

humana o estamos negando que sea finita? En realidad estamos haciendo ambas cosas: estamos

afirmando la infinitud y negando la finitud al mismo tiempo. La palabra “infinitud” parece llevar

dentro una negación pero algunos teólogos han propuesto que lo positivo es la infinitud y que la

finitud es tan solo una negación de esa infinitud, una limitación de la infinitud. Además, una

proposición es equivalente a su doble negación. Pero si algo dice lo mismo que la negación de su

negación, ¿es entonces algo afirmativo o algo negativo en sí misma?

La división entre oraciones afirmativas y negativas no es muy útil a menos que clarifiquemos

lo que entendemos por oraciones negativas. No conviene entender por negativa cualquier oración

equivalente a una fórmula cuyo primer elemento es una negación; ¡todo tiene esa propiedad por doble

negación! Esa división falla en darnos realmente una distinción porque le falta exclusividad.

Pero si por negación entendemos cualquier oración en la cual el operador lógico explícito

principal es un operador de negación, entonces podemos distinguirlo de aquellas oraciones que no

tienen como operador principal a una negación. Esta definición no es muy adecuada para los

lenguajes donde no es claro lo que es explícito (por ejemplo, el español), pero podemos utilizarla en

la mayoría de los casos y funciona bien para los lenguajes para lógica diseñados normalmente.

47
 Podemos tener oraciones como “Hitler fue culpable de homicidio” y “Hitler fue inocente de

homicidio” y considerar que una es la negación de la otra. Sin embargo, ambas son afirmaciones

porque ninguna tiene explícitamente a un operador de negación como el operador principal.

Igualmente podemos tener negaciones dentro de la oración. Por ejemplo, en la oración

“Necesariamente Hitler no fue inocente de homicidio” tenemos una negación pero no es el operador

principal; el operador principal es “necesariamente” y por lo tanto no podemos llamarle negación a la

frase completa.

Nótese que la conjunción de dos negaciones no es una negación pues el operador principal ya

no es una de esas negaciones sino la conjunción de ellas. Entonces, si decimos que Hitler no fue

inocente ni ignorante de sus homicidios, el operador principal es la conjunción de dos negaciones (la

negación de su inocencia y la negación de su ignorancia) y esta conjunción es afirmada.

La negación lógica se distingue de otras negaciones porque produce parejas de afirmaciones

con la característica de ser conjuntamente exhaustivas y mutuamente excluyentes. Es decir, producen

exactamente dos subdivisiones y decir que algo cae en algo de las subdivisiones es exactamente negar

que cae en la otra. Así pues, la afirmación de que algo está en una de las subdivisiones es la negación

de la afirmación de que está en la otra. Se están dividiendo los mundos posibles, las situaciones

posibles y nada más hay de dos tipos. Aquellas situaciones en las que una de las oraciones es

verdadera y aquellas situaciones en que la otra es verdadera. Esos dos tipos de situaciones son

mutuamente excluyentes y conjuntamente exhaustivos. Eso es lo que significa negar lógicamente

algo.

3.3. Clasificación de los juicios:

a) Cualidad y cantidad (A, E, 1, 0,).

48
 Además de la cualidad de ser afirmativos o negativos nuestros juicios, pueden ser abarcadores

o precavidos. Podemos decir que todos los objetos de cierto tipo tienen cierta propiedad (por ejemplo,

que todos los políticos mienten) o decir que hay al menos algunos que tienen esa propiedad. A esas

ambiciosas afirmaciones les llamamos universales mientras que a las precavidas les llamamos

particulares. Eso nos da una cuádruple división de las afirmaciones:

las universales afirmativas,

las universales negativas,

las particulares afirmativas y

las particulares negativas.

A las afirmativas se les asociaron las letras las primeras vocales de la frase latina afirmo: la A

es la universal afirmativa y la I es la particular afirmativa. A las negativas se les asignaron las vocales

la expresión latina nego y por lo tanto la E representó a la negativas universales y la O a las negativas

particulares.

Para entender la estructura lógica de estas afirmaciones necesitamos otra conectiva además de

la negación. Necesitamos a la conjunción. Por ejemplo, cuando decimos que hay algunos casos de

políticos mentirosos, aunque no nos comprometemos a decir si son todos o no, lo que estamos

diciendo es que existe por lo menos un caso de un individuo que es tanto político como mentiroso,

que es ambas cosas.

“Algunos políticos son mentirosos” quiere decir que existe al menos un individuo que es

político y que es mentiroso. Pero, ¿cómo decir que es la misma persona? Necesitamos una variable

que enlace a ambas afirmaciones, una X de la que se predique tanto ser político como ser mentiroso.

Para abreviar “Existe al menos una x tal que...” usaremos una E volteada y lo escribiremos “x”.

Entonces nuestra frase existe al menos una X que es político mentiroso queda representada como “x

Px & Mx” donde “Px” abrevia “x es político” y “Mx” abrevia “x es mentiroso”.

49
NOTAS CURIOSAS AL MARGEN

Hay diferentes muchas maneras distintas de decir cuántos objetos son de cierto tipo. Tenemos los

cuantificadores “Casi todos”, “Casi ninguno”, “Exactamente 17”, “Menos de 50”, “Más de mil”, “La

mayoría”, etc. Hay lógicas para tratar a todos estos cuantificadores. Nosotros nos limitaremos a

“Todos” y “Al menos uno”.

EJERCICIO

Simbolice: “Hay flores hermosas”.

Los universales negativos y los particulares negativos son iguales pero con la segunda

característica negada: “Hay algunos políticos que no son mentirosos” o “Todos los políticos no son

mentirosos”. Como ya sabemos manejar la negación podemos representar esto sin mayor problema.

Durante mucho tiempo se pensó que la forma de las afirmaciones universales y de las

particulares era básicamente la misma, exceptuando por la cantidad de cosas a las que atribuíamos

algo, todos o algunos. Pero desde mediados del siglo XIX sabemos que es mejor analizar esto en

términos diferentes. Mientras que el particular dice que algunos individuos son políticos y son

mentirosos, lo que dice el universal es más parecido a que no hay políticos que no sean mentirosos.

La estructura lógica es muy distinta. No es lo mismo decir que algunos son algo (particular) a decir

que no hay algunos que no sean (universal).

El universal es entonces la negación de un existencial, pero no del existencial en el que se

predican dos propiedades, sino de un existencial donde se predica una y se niega la otra: decir que

todos los unicornios tienen cuerno significa que no hay ni siquiera un unicornio que no tenga cuerno.

Éste es un análisis mucho más fructífero que el tradicional de la silogística aristotélica y es el que

50
conviene adoptar hoy día. No siempre se ajusta exactamente a lo que dice el español pero ningún

análisis preciso puede coincidir con el español en toda su ambigüedad.

La negación de un existencial es la afirmación de un universal. Decir que no hay algún

político que no mienta significa que de cualquier individuo se puede decir que no tiene al mismo

tiempo la propiedad de ser político y la de no mentir; es decir que de todo individuo es verdad que no

es político sin mentir.

(Como detalle técnico, durante siglos los aristotélicos creyeron que el universal implicaba al

particular y generalmente esto no ocasionaba problemas. Pero hablar de unicornios u otros objetos

inexistentes tiene la desagradable consecuencia de que del hecho de que todo unicornio tiene cuernos

se sigue que existen algunos al menos uno. Sabemos que todas las brujas hacen encantamientos pero

de ahí no podemos concluir que existe al menos una bruja que hace encantamientos (las brujas no

existen).

Al interpretar el universal como “no hay un individuo que al mismo tiempo tenga la primera

característica y carezca de la segunda”, la afirmación “Todos los unicornios tienen cuerno” se

entiende como “No hay ningún objeto que sea un unicornio sin cuerno”. Efectivamente, no hay

unicornios sin cuernos simplemente porque no hay unicornios.

Podemos abreviar “No se da A sin B” con la ayuda del símbolo “” al que familiarmente

llamamos “herradura”. Es usual leer “A  B” como “Si A entonces B” y le llamamos un condicional.

Ésta es una lectura desafortunada porque no es un condicional en el sentido cotidiano; cuando mucho

es un condicional en un sentido técnico. Le llamamos “condicional material” pues lo único que hace

es hablar sobre la materia de las proposiciones, es decir, sus valores de verdad, diciendo que no se da

la combinación de que es verdad de que se posee la primera característica pero falsedad que se posee

la segunda. Hay que notar que puede haber varias razones por las que no se da la combinación

completa. En los condicionales normales hay razones de peso por las que no puede darse la

51
combinación. Pero el condicional material sólo dice que no se da la combinación, tal vez porque de

manera vacua la primera condición no es verdadera o la segunda condición no es falsa aunque puede

que no haya ninguna relación entre ellos. No se da de hecho que la luna sea de queso; por lo tanto, no

se da de hecho que la luna sea de queso sin que nosotros seamos ratones. Por lo tanto, “Si la Luna es

de queso nosotros somos ratones” es cierto en el sentido del condicional material pero no es cierto en

la mayoría de los sentidos que nos interesan en la vida diaria ya que no hay relación necesaria lógica

o causal entre que la luna sea de queso y que nosotros seamos ratones.

b) Relación (categóricos, disyuntivos e hipotéticos ).

Consideremos los siguientes ejemplos de afirmaciones tajantes, disyuntivas e hipotéticas:

(1) Juan acusó a su amigo de ser desleal.

(2) Juan le dijo que o bien había votado por el o había sido desleal.

(3) Juan le dijo que si no había votado por él, había sido desleal.

Solamente en el primer caso Juan esta acusando a su amigo. En los otros está dando una

disyuntiva o una hipótesis.

Cuando decimos “Si existe Santa Claus, entonces te traerá regalos” no estamos afirmando que

te traerá regalos. Cuando decimos “Si tus padres nunca te han mentido entonces Santa Claus existe” o

“Si mi abuelita tuviera ruedas sería bicicleta” no estamos diciendo que Santa Claus exista o que mi

abuela tenga ruedas. Estamos tan solo ofreciendo una expresión hipotética o condicional. Esto

también podemos formularlo en términos de disyunciones: “O no es cierto que tus padres nunca te

han mentido o Santa Claus existe”; “O mi abuela no tiene ruedas o es una bicicleta”.

Éstas son técnicas para no tener que comprometernos a algo demasiado difícil de defender.

Son maneras de debilitar nuestras pretensiones y por lo tanto de hacer más segura la conclusión. El

52
argumento es más prudente, dice menos; en este sentido es más débil. Pero la inferencia es más

segura porque hay menos riesgo. Mientras más fuertes son las premisas o más débil la conclusión,

más seguro es el argumento. Mientras más débil son las premisas o más fuerte la conclusión, menos

seguro es el argumento.

EJERCICIO

Di si la afirmación está ofrecida categórica, disyuntiva o hipotéticamente.

Para refutar a alguien que dice algo categóricamente basta con mostrar que es falso. En

cambio para refutar una disyunción necesitamos mostrar que ambos disyuntos son falsos. Para refutar

un condicional material es suficiente mostrar un caso en el que el antecedente es verdadero pero el

consecuente no. No podemos refutar una disyunción simplemente mostrando que uno de los

disyuntos es falso, ni refutar un condicional simplemente mostrando que el consecuente es falso o

que el antecedente es falso.

EJERCICIO

¿Cuáles son refutaciones aceptables?

¿Qué afirmaciones contradirían a los siguientes ejemplos de proposiciones categóricas

disyuntivas e hipotéticas?

c) Modalidad (problemáticos, asertóricos y apodícticos).

53
 Los juicios pueden ser ofrecidos como probables (problemáticos), verdaderos (asertóricos) o

como necesariamente verdaderos (apodícticos). ¿Qué tanto quieres comprometerte con tu hipótesis?

¿Qué tipo de juicio es?

d) Analíticos y sintéticos.

A veces sabemos que algo cosas son verdad. Sabemos que es verdad que Juan es idéntico a sí

mismo, que 2 más 2 son 4, que algunas madres son regañonas, que todo triángulo tiene 3 lados.

Algunas de estas afirmaciones sabemos que son ciertas por el mero significado de las palabras. La

palabra “triángulo” significa que es una figura con tres ángulos en el espacio euclidiano y por ello

debe tener exactamente tres lados. A estos juicios les llamamos “analíticos” porque basta analizar su

significado para darnos cuenta de que son ciertos. Aquellos enunciados para los que no basta son

“sintéticos”. Por ejemplo: la velocidad de la luz en el espacio vacío es de cerca de 300 mil kilómetros

por segundo. Esto no lo podemos saber tan solo analizando las palabras “luz” y “velocidad”.

Tenemos que hacer mediciones. Las palabras “luz” y “velocidad” seguirían significando lo mismo

aunque la velocidad de la luz fuera 600 mil kilómetros por segundo.

Algunos proposiciones son analíticas porque en cierto sentido el predicado está contenido en

el sujeto. Al analizar el sujeto encontramos eso que le predicamos. Por ejemplo, un triángulo tiene

tres ángulos. Pero no todas las oraciones tienen sujeto y predicado; por ejemplo, “Llueve” “2+2= 4”,

los juicios disyuntivos o los hipotéticos. Para estos casos podemos utilizar otra definición de

analiticidad: su verdad puede ser comprobada utilizando solamente definiciones y reglas de lógica.

También se puede clasificar a los juicios en términos de cómo los adquirimos. Por ejemplo, si

dependen de la experiencia o si pueden mostrarse independientemente de ella. Por supuesto, si nunca

tuviéramos experiencias no pensaríamos. Pero no todo lo que pensamos requiere de la experiencia

54
para comprobarlo. Los juicios que no lo requieren son llamados “a priori” y los que sí dependen para

su comprobación son llamados “a posteriori”.

Es opinión común que todos los juicios analíticos son a priori; no necesitamos experiencias,

basta con examinar el significado de las palabras. Hay consenso entre los filósofos que todos los

juicios analíticos son a priori, pero no hay consenso sobre si todos los juicios a priori son analíticos.

Es decir, hay consenso en que todos los juicios a posteriori son sintéticos pero no sobre si todos los

sintéticos son a posteriori. Por ejemplo, el gran filósofo Emmanuel Kant creía que algunos juicios

eran sintéticos a priori. ¿Tú que opinas? ¿Puedes dar ejemplo de un enunciado sintético a priori?

¿Puedes dar ejemplo de un analítico a posteriori (lo cual parece imposible por definición)?

Es importante saber si algo es analítico o sintético, es decir, si podemos conocer su verdad con

tan solo un análisis conceptual o si requerimos más que definiciones y lógica. Por ejemplo, cuando

alguien dice que el aborto es matar a un ser humano, se le puede preguntar “¿Es eso analítico o

sintético?”. Si es analítico significa que esa es la manera como utiliza esos términos. No tiene caso

ponerse a discutir por los términos. Ha definido “ser humano” de tal manera que decir que el aborto

es matar a un ser humano es analítico para esa persona. Si así es como esa persona utiliza los

términos, no tiene caso pelearse por palabras. Si lo que ofrece son definiciones nominales, entonces

es verdadero en virtud del significado de los términos. Eso no hace a la discusión muy interesante.

Pero si la persona nos dice que está tomando “matar” en el sentido usual y “ser humano” en el sentido

usual y que su definición es real, no nominal, entonces sí puede haber motivo para una discusión.

Todos los juicios analíticos son necesarios. No es claro si hay algunos juicios sintéticos que

sean lógicamente necesarios pero todos los analíticos son necesarios. ¿Es la necesidad de los juicios

analíticos siempre de naturaleza lógica? Hay algunos ejemplos que parecen indicar que no; por

ejemplo, no está claro que sea cuestión de lógica el que algo que es completamente rojo no pueda ser

completamente verde.

55
EJERCICIO

Alicia en el país de las maravillas se encuentra con Humpty Dumpty, quien le dice (traduzco):

--¡Ahí tienes gloria para ti!

--No sé qué quieras decir con «gloria» --dijo Alicia.

Humpty Dumpty sonrió despectivamente.

--Claro que no..., hasta que te lo diga. Quise decir que «ahí tienes un argumento contundente

para ti».

--Pero «gloria» no significa «un argumento contundente» --objetó Alicia.

Cuando uso una palabra --dijo Humpty Dumpty, con un tono de voz más bien desdeñoso—

significa lo que yo elijo que signifique..., ni más ni menos.

--La cuestión es --dijo Alicia-- si puedes hacer que las palabras signifiquen tantas cosas

distintas.

--La cuestión es --dijo Humpty Dumpty-- quién manda..., eso es todo.

¿Quién crees tú que tiene razón, Alicia o Humpty Dumpty? ¿Es analítico o sintético decir “Quise

decir que «ahí tienes un argumento contundente para ti»”?

56
 3.4. Cuadrado de oposición, reglas, posibilidades de verdad, equivalencias y conversiones.

Las relaciones entre las proposiciones aristotélicas pueden resumirse en un “cuadrado de

oposición” donde oponemos entre sí a los cuatro tipos de proposiciones.

NOTAS CURIOSAS AL MARGEN

También hay cuadrados de oposición para universales y existenciales en su significado

contemporáneo, y para muchas otras relaciones. Por ejemplo, para las de necesidad y posibilidad. La

necesidad es como una cuantificación universal: nos dice de algo que ocurre en todo mundo posible.

La posibilidad es como un existencial: nos dice que hay al menos un mundo posible en el que algo

ocurre. Por ello no es de asombrar que las modalidades de necesidad y de posibilidad se comporten

como los cuantificadores y tengan su cuadrado de oposición. Igualmente las relaciones deónticas,

temporales, etc.

57
 CAPÍTULO 4

¿En qué te basas? (El Razonamiento)

Defienda la hipótesis que haya escogido (o una nueva si prefiere):

RESUMEN INTRODUCTORIO

Hablaremos sobre cómo crear, entender y mejorar argumentos.

4.1 Naturaleza del razonamiento.

58
 El lenguaje humano tiene infinitos usos. Podemos usar palabras y gestos para rezar, incitar a

la acción, divertir, expresar emociones, o para varias cosas a la vez. Los mismos gestos, las mismas

palabras que exhortan pueden informar o establecer lazos de amistad en una conversación informal.

Un uso del lenguaje es comunicar información. Sin embargo, ningún científico puede

limitarse a decir la verdad. Si alguien nos dijera que los principios de la termodinámica son falsos,

que la conciencia no tiene ubicación espacial o que la recesión se contrarresta con inversión estatal,

pero añadiera que no tiene un argumento con que apoyar lo que dice, nosotros pensaríamos que tal

vez diga la verdad, pero que no está haciendo física ni filosofía ni economía. Toda ciencia exige

apoyo para lo que se afirma.

¿Por qué necesitamos dar argumentos? Ciertamente no son imprescindibles en muchas

actividades. A menudo nos conformamos con obtener opiniones acertadas. En contraste, un filósofo o

científico busca conocimiento. Se puede accidentalmente tener creencias verdaderas que no

constituyen conocimiento porque carecen de fundamento racional. Cuando nuestro objetivo no es

sólo tener creencias verdaderas sino, mas aun, tener conocimiento, debemos construir argumentos.

No es difícil construir un argumento. Podemos empezar haciendo un temario, es decir, una

lista de temas que nos parezcan interesantes. Por ejemplo, a mí me interesan los siguientes temas: las

leyes lógicas del razonamiento válido, cómo saber si algo es racional, cómo puede cambiarse

sensatamente de creencias, qué tan falibles somos los seres pensantes, la enseñanza de la lógica.

Ya con los temas de interés, escogemos uno de ellos sobre el cual tengamos una opinión

controvertible. Es importante no decir algo que sea generalmente aceptable. Las creencias que todos

aceptamos no suscitan discusión y por ello raramente demandan el esfuerzo de ser justificadas con

argumentos. Escogemos pues algo lo más controvertible posible. Por ejemplo, sobre la enseñanza de

la lógica, yo creo que no debe enseñarse lógica formal a los principiantes sino análisis lógico de

argumentos del lenguaje natural. Esto es una tesis controvertible y habría que defenderla ofreciendo

59
razones que la apoyen. Es decir, habría que tratarla como la conclusión de algunas premisas. (Claro

que también podemos argumentar en favor de algo que nadie duda. Pero la necesidad de dar razones

es ejemplificada más dramáticamente cuando sabemos que una tesis que nos importa es puesta en

duda por otros.)

En el caso de nuestra tesis controvertible, "La enseñanza de la lógica debe empezar con el

análisis lógico de argumentos del lenguaje natural", hay que entender bien a qué llamamos lógica,

qué es un análisis lógico de argumentos, qué es un lenguaje natural, y distinguir todos estos

conceptos de otros conceptos cercanos pero distintos. Para entender mejor la tesis es útil

parafrasearla, decirla con otras palabras. En general, los términos que hay que clarificar son aquellos

que sean claves y puedan no ser usados de la manera común.

Una de las mejores formas de paráfrasis es la simbolización pues nos obliga a traducir a un

lenguaje más preciso nuestras ideas. Ya simbolizada y desprovista de ambigüedad nuestra hipótesis,

pasamos a preguntarnos tanto qué cosas se siguen de ella (para entender mejor su alcance), como de

qué cosas se puede seguir. Hay que recordar que algunas cosas se siguen por el significado de los

términos (las implicaciones semánticas) mientras que otras cosas se siguen por el uso contextual de

las expresiones.

Proponer proposiciones que justifiquen nuestra tesis es a veces la parte más difícil. A estas

alturas ya sabemos mejor qué queremos decir y cuál es su alcance, pero no sabemos de dónde se

podría obtener. Es decir, tenemos la conclusión pero nos es difícil identificar sus premisas. Aquí nos

podemos aprovechar de la labor de miles de lógicos que a través de los tiempos han descrito y

clasificado las formas más comunes de obtener conclusiones de manera lógicamente impecable.

Veremos más adelante 32 de ellas, un verdadero arsenal de estrategias para argumentar lógicamente.

Por supuesto, faltan muchas otras reglas no veritativo-funcionales, pero estas pocas pueden dar una

idea de como usar la lógica para estructurar una argumentación.

60
 EJERCICIOS

1. Haga un temario con diez temas que le interesen a usted. Note que lo que se pide es una lista

de diez ``frases sustantivales'', diez objetos de su interés.

2. Ahora escoja tres de esos temas y diga algo controvertible sobre cada uno de ellos.

Argumentos deductivos y no deductivos

Hay al menos dos maneras importantes de argumentar. La primera ocurre cuando no

queremos o no podemos demostrar algo. Nos conformamos con probar que es razonable creer en ello.

Para esto no se requiere dar demostraciones infalibles y totalmente seguras. Basta que la base de que

partimos, las premisas, sean confiables y que efectivamente apoyen en buena medida nuestra

conclusión. Por ejemplo, muchos filósofos no tratan de probar que Dios existe; sólo buscan

convencer de que la hipótesis de su existencia es racionalmente aceptable. Su conclusión esta

matizada por un ``es razonable creer que'', ``es probable que'', etc.

Algunos tipos de demostración de este tipo son los argumentos:

i. inductivos: partir de premisas particulares y llegar a una conclusión general.

ii. abductivos: partir de las conclusiones para llegar a las premisas.

iii. por analogía: extrapolar similitudes.

iv. plausibles: de sentido común.

v. probables: concluir lo que tiene una alta probabilidad matemática.

vi. estadísticos: partir de muestreos y generalizar a una población.

Cuando nuestras ambiciones son mayores, tratamos de dar un fundamento a prueba de dudas y

hacer inferencias infalibles. A estas argumentaciones en las que se intenta garantizar con las premisas

61
plenamente a la conclusión les llamamos deducción. Por ejemplo, se ha querido usar el argumento

ontológico para demostrar que Dios existe. El que falle en su intento no impide que sea ofrecido

como si fuera correcto.

(A veces se llama inducción a cualquier inferencia en la que las premisas no intentan ser

suficientes para la conclusión. Es mejor llamarles simplemente no deductivos para no confundirlos

con los inductivos en el sentido mencionado primero.)

Es raro (si no imposible) encontrar razonamientos que no contengan algo de deducción.

Aunque en la vida diaria son menos comunes, nos concentraremos en los métodos deductivos. En

ellos, precisamente por ambiciosos, es más fácil evaluar si la argumentación logra sus propósitos o

no. Un estudio riguroso de los razonamientos no de deductivos es mucho más difícil.

EJERCICIOS

3. A falta de mayor información, ¿se proponen los siguientes argumentos como deductivos?

a. Dada la evidencia disponible, es razonable suponer que todo proceso mental tiene un

origen neurológico.

b. Todo proceso mental tiene un origen neurológico porque no hay otra manera de

transformar sensaciones en percepciones.

4. ¿Recuerda sus tres afirmaciones controvertibles? Dé razones para sostener cada una de ellas.

Es decir, proponga tres argumentos.

Marque con una X cuando haya un argumento.

( ) Comimos ya que nos hubieron servido.

( ) Comimos ya que no tenemos hambre. (Es decir, podemos inferir que comimos.)

62
( ) Pienso, luego existo.

( ) Pienso; luego existo. (Es decir, existo después de pensar.)

( ) Creo que moriré porque todos los hombres mueren.

( ) Creo que moriré porque creo todo lo que me dicen. (Es decir, a causa de que creo todo lo que

me dicen.)

( ) Me mintió. Entonces no era usual. (Es decir, en aquel entonces no ocurría a menudo.)

( ) Me mintió. Entonces no era de confianza.

Mencione cinco maneras distintas en que le hayan convencido a usted de algo en el pasado.

Escriba en qué daña a otros el tratar de convencerlos mediante amenazas, chantajes emocionales,

dogmatismo, o tratando de confundirlos.

Ahora escriba en qué le podría dañar a usted mismo apelar a prejuicios o debilidades para convencer

a otros.

Identifique cuáles de los siguientes pasajes son hermosos, cuáles verdaderos y cuáles argumentativos.

Escriba “SÍ” o “NO” en cada columna.

Blanca Luz Pulido (1956-)

63
 ¿Hermoso? ¿Verdadero? ¿Argumentativo?

¿Amor a través de Internet? Improbable, y en

todo caso, algo que sucede sólo a otros. En

medio de ese universo en expansión, entre la

multitud de datos, cifras, información, música,

poesía, etcétera, que circulan el ciberespacio,

existe una buena cantidad de sitios que

exploran (y explotan, a veces) una de las

inquietudes humanas más antiguas y difíciles:

hallar pareja. Estos negocios virtuales, en

algunos casos, son una prueba de que el

espíritu inventivo y la originalidad para

abordar asuntos difíciles aún pueden seguir

dando frutos. (“Así encontré a Mário en

Internet” de Blanca Luz Pulido.)

Canta el agua y su voz es una plegaria

que repite clara y cercana una pregunta,

una pregunta que dejamos olvidada

esperando la llegada de la lluvia.

(“Canta el agua” de Blanca Luz Pulido.)

Cuando la sobrevivencia cotidiana se hace

difícil, las personas se endurecen, su amplitud

de miras se detiene, sus miedos renacen, su

64
capacidad de disfrute disminuye, su ánimo de

viajar y de renovar sus conocimientos casi

desaparece. Su interés por los demás, personas

y países, decrece ante la tediosa lucha de

todos los días por el "irla pasando" de una

vida escasa y gris. (“Em defesa da poesia” de

Blanca Luz Pulido.)

4.1 a Materia y forma del razonamiento.

La forma lógica de un razonamiento se obtiene sustituyendo sus términos (sujetos,

predicados, oraciones, etc.) por variables. Por ejemplo, si en el razonamiento:

Si el universo es finito entonces la materia no es eterna. El universo es finito. Concluimos que la materia no

es eterna.

substituimos las oraciones ``El universo es finito'' y ``La materia no es eterna'' por las variables P y

Q, obtenemos la forma lógica Si P entonces Q; P; concluimos que Q.

Un mismo argumento puede tener diferentes formas lógicas. El ejemplo que dimos también

tiene la forma Si P es Q entonces R no es S; P es Q; concluimos que R no es S,1 o la forma P; Q;

concluimos que R.2 Sólo las dos primeras formas garantizan siempre la conclusión cuando las

premisas son verdaderas, no importa lo que usemos como instancias de substitución. Esto es lo que

entenderemos por validez lógica (deductiva) de un argumento.

EJERCICIOS

1
Note que las variables ya no substituyen oraciones sino los términos “el universo”, “finito”, “la materia” y “eterna”.
2
¿Qué significan aquí P, Q y R?

65
Da ejemplos de diferentes razonamientos formalmente válidos y abstrae la forma que explica su

validez.

4.1 b Premisas y conclusión

Un argumento o razonamiento es una serie de afirmaciones en las que una de ellas, la

conclusión, se ofrece como apoyada en las otra(s) que son llamadas sus premisas o razones. Las

premisas hacen más plausible o probable la conclusión (decimos que la justifican); a veces incluso la

explican causalmente.3

La distinción entre premisas y conclusión puede señalarse con ciertas expresiones. A menudo

una premisa sigue a las expresiones: basándonos en que, como, como muestra, como indica el que,

cuando, dado que, debido a que, en caso de que, en vista de que, es implicado por, la razón es que, lo

cual es necesario pues, porque, pues, puesto que, se deduce de, si, siendo, viendo que, ya que.

Y usualmente una conclusión sigue a las expresiones: así pues, basados en lo anterior, como

resultado, de lo que resulta que, de lo que se deduce que, de lo que se deriva que, de lo que se

desprende que, de lo que se infiere que, de lo que se sigue que, de tal modo, en conclusión, en

consecuencia, entonces, Lo anterior nos conduce a que, lo cual es suficiente para, lo cual significa

que, luego, podemos inferir que, por consiguiente, por ello, por ende, por lo anterior, por lo que, por

lo tanto, se implica que, se sigue que.

Desgraciadamente, por un lado, estas expresiones se usan también para formular órdenes,

analogías, condicionales que no se comprometen a afirmar ninguna de sus partes,4 relaciones

temporales (como en ``luego''), o relaciones causales. Por otro lado, podemos encontrar
3
Ver Thomas (1986), p. 13.
4
En un argumento hay un compromiso tanto con la verdad de las
premisas como con la de la conclusión, así sea hipotético.

66
razonamientos que no señalan su estructura con ninguna de tales expresiones. Sólo por el contexto

sabemos que estamos frente a un razonamiento. De todos modos, con o sin esos ``marcadores'', lo

distintivo de un razonamiento es ofrecer algunas afirmaciones en apoyo a otras. Si no se busca este

apoyo, bueno o malo, no tenemos un razonamiento.

Debemos recordar que las premisas pueden ser redundantes o estar implícitas. La conclusión

misma puede estar sobreentendida. Por si fuera poco, varios razonamientos pueden presentarse como

si fueran uno solo. La moraleja es que un análisis lógico presupone una comprensión previa del

discurso a estudiar. Si no se entiende la estructura del discurso de un autor no se le puede analizar

lógicamente. Esta desventaja en la comunicación humana produce una ventaja al usar el análisis

lógico. El análisis nos fuerza a clarificar el pensamiento cuya estructura lógica deseamos estudiar y

cuya solidez deseamos evaluar.

EJERCICIOS

5. Encuentre un ejemplo de argumento y señale las premisas y las conclusions.

6. En los ejemplos siguientes, diga si se trata de un argumento y, en caso afirmativo, cual es la(s)

premisa(s) y cual(es) la(s) conclusion(es).

a. Continuaremos estudiando ya que nos despertemos.

b. El alma es inmortal, dado que es incorpórea.

c. El alma es incorpórea, dado que es inmortal.

4.1 c. Validez e invalidez.

67
 Hay dos formas en que una premisa no apoya una conclusión. Cuando la información que se

invoca es tanto o más dudosa que lo que se quiere establecer y cuando la información es insuficiente

pero se intenta hacerla pasar por suficiente. Un argumento es lógicamente válido si la verdad de las

premisas sería suficiente para garantizar la verdad de la conclusión y es contundente si es

lógicamente válido y las premisas son verdaderas.5

Estas definiciones producen algunas reglas generales: un argumento con premisas verdaderas

y conclusión falsa no es válido y, por lo tanto, tampoco contundente; un argumento con premisas

falsas no es contundente, aunque puede ser válido, etc. Si hacemos una tabla con diversas

posibilidades,6 obtenemos el siguiente cuadro:

¿Premisas verdaderas? ¿Conclusiones ¿Argumento válido? ¿Argumento

verdaderas? contundente?

Sí No

No

al que podemos completar las líneas de la siguiente manera:

¿Premisas verdaderas? ¿Conclusiones ¿Argumento válido? ¿Argumento

verdaderas? contundente?

Sí No {No} {No}

No {Quizás} {Quizás} {No}

Es decir, la primera línea nos informa que las premisas son verdaderas y las conclusiones no. Las

casillas que preguntan sobre la validez y la contundencia no tienen información pero una breve

reflexión nos revela que el argumento no puede ser ni válido ni contundente. La segunda línea tenía
5
Decimos que un argumento es contundente sin circularidad si es contundente y las premisas no contienen
explícitamente a la conclusión. Por ejemplo, argumentar que la tierra gira partiendo de la premisa de que la tierra gira es
lógicamente válido y parte de una premisa verdadera, pero es circular.
6
Este ejemplo y el ejercicio que sigue están adaptados de Morton L. Schagrin, William J. Rapaport y Randall R. Dipert,
Logic: A Computer Approach. McGraw-Hill Book Company (1991), p. 11.

68
aun menos información; sólo nos decía que las premisas no son verdaderas. Con esa información no

podemos decidir si las conclusiones son verdaderas o si fueron obtenidas validamente, pero podemos

concluir que el argumento no es contundente.

EJERCICIO

7. Complete la siguiente tabla:

¿Premisas ¿Conclusiones ¿Argumento ¿Argumento contundente?

verdaderas? verdaderas? válido?

1. Sí Sí Sí

2. No Sí

3. No

4. No No

5. Sí No

6. Sí No

7. No Sí No

8. No Sí

9. Sí Sí

10. Sí Sí

11. Sí No

12. Sí No

13. No No

69
14. No No

15. No No

16. No Sí

17. Sí Sí

18. Sí Sí

19. Sí

20. Sí

21. Sí

22. No

23. No

24. Sí No

25. Sí Sí No

26. Sí Sí No

27. Sí No Sí IMPOSIBLE

28. No

29 No Sí Sí

30. No IMPOSIBLE Sí

31. Sí IMPOSIBLE Sí No

32. Sí

Notas: La línea <Sí, Sí, __, __> enfatiza la diferencia entre verdad y validez, mientras que la línea

<__, __, __, Sí> señala que la contundencia incluye validez y verdad de premisas y conclusión.

Finalmente, la línea <Sí, No, __, __> muestra que la validez de un argumento es incompatible con

70
tener premisas verdaderas y conclusión falsa. Esta condición mínima para la validez de un argumento

tendrá un papel importante en los capítulos siguientes.

Un argumento lógicamente válido es aquel que tiene al menos una forma lógica válida, es

decir, una forma con la propiedad de que, sin importar lo que pongamos en lugar de las variables

correspondientes, en ningún mundo posible nos lleva de premisas verdaderas a una conclusión falsa.

Tal universalidad es requerida. Para que la forma de un argumento sea lógicamente válida, no basta

exigirle que no nos haya llevado hasta ahora de verdad a falsedad. Para decir que la forma de un

argumento es lógicamente válida no basta que a veces no lleve de verdad a falsedad. La lógica es más

exigente; quiere la seguridad de que no nos podría llevar, por muy rara que fuera la situación, de

verdad a falsedad.

A partir de información verdadera, un argumento lógicamente válido solamente nos lleva a la

verdad. ¿Y uno inválido? Puede llevarnos o no. El que tenga una forma inválida no indica que

siempre llevará de verdad a falsedad. Aunque suene raro, es posible deducir inválidamente

conclusiones verdaderas. Por ejemplo, de que Platón era griego no se deduce validamente que para

Kant existían proposiciones sintéticas a priori. Sin embargo, esto que hemos concluido inválidamente

es verdadero. Y, en el argumento válido sobre el universo, vimos que tenía, entre otras, la forma P;

Q; concluimos que R, una forma inválida. Pero también tenía una forma válida: Si P entonces Q; P;

concluimos que Q. Basta que alguna de las formas lógicas de un argumento sea válida para que el

argumento lo sea.

Resumiendo:

1) Un argumento es lógicamente válido cuando tiene al menos una forma lógica válida

(que nunca nos puede llevar de verdad a falsedad).

2) Un argumento es lógicamente inválido cuando no tiene una sola forma válida.

71
 3) Tener un caso que no lleve de verdad a falsedad no garantiza que la forma es válida.

4) Tener una forma inválida no significa siempre llevar de verdad a falsedad.

Esto tiene dos importantes consecuencias. En primer lugar, para garantizar la validez de un

argumento basta mostrar que tiene alguna forma válida. Cuando deseamos probar que un argumento

es válido no debemos olvidar que bien puede poseer varias formas lógicas válidas. Es económico usar

la más general.

En segundo lugar, para refutar lógicamente un argumento, es preciso mostrar que todas sus

formas lógicas son inválidas. Si queremos probar que es formalmente inválido, necesitamos

desplegar todas las partículas lógicas posibles para garantizar que no hay una estructura oculta que lo

pueda justificar. Así pues, cuando en nuestro análisis detectemos en un argumento una forma inválida

debemos ser precavidos. Para refutar el argumento hace falta la premisa extra, difícil de asegurar, de

que por mucho que afináramos nuestro análisis no encontraríamos una forma lógica de ese argumento

que sí fuera válida.

La lógica nos enseña la humildad de que es más fácil probar que refutar la argumentación de

otros. Probar la validez requiere mostrar una forma válida. Refutar requiere mostrar la invalidez de

todas las formas del argumento. En lógica es mucho más fácil cooperar en la búsqueda de la verdad

que atacar a los que piensan diferente.

EJERCICIO

Explique con sus propias palabras por qué todo argumento, válido o inválido, tiene una forma lógica

inválida.

4.1 d. Relación de las premisas con la conclusión

72
 ¿Qué es la implicación lógica? Queremos argumentos que nos permitan defender nuestra

hipótesis, nuestra conclusión. Para ello no basta apilar informaciones inconexas sino encontrar bases,

fundamentos, soporte. Si no hay esa relación de fundamentar, de apoyar, de sostener, entonces las

premisas son inútiles. (Podrán servir para distraer a las personas con las que estamos discutiendo pero

no representan un avance en la búsqueda de la verdad y no proveen de un respaldo racional. El

respaldo que queremos es un especie de garantía: si la información es “buena” entonces nuestra

inferencia es aceptable. ¿Qué significa que la información sea buena? Normalmente que sea

verdadera.

¿Qué significa que la inferencia sea aceptable? Normalmente, que haga altamente probable a

la conclusión, al grado que sea sensato sostenerla. El grado máximo de apoyo es el deductivo, en el

cual hay 100% de seguridad que la verdad de las premisas implica la verdad de la conclusión.

Dependiendo de qué estemos hablando, diferentes ciencias y disciplinas se ocuparan de la verdad de

las premisas. Es labor de la Lógica ocuparse de la validez de la inferencia. La inferencia no es una

afirmación sino un tránsito entre afirmaciones. Por ello no es verdadera ni falsa: es legítimo o

ilegítimo, válido o invalido este paso. La verdad corresponde a las afirmaciones, la validez a las

inferencias.

Hay que distinguir el uso causal del uso inferencial de las partículas indicadoras

de argumento. Lo que buscamos en un “ya que” o en un “porque” no es una causa por

la que algo ocurrió, sino una razón por la que yo puedo decir que lo sé. La pregunta no

es “¿por qué pasó?” sino “¿cómo sé yo que pasó?”.

EJERCICIOS

73
 Una vez escrita la hipótesis haga la siguiente actividad:

Dé 5 oraciones que apoyen su hipótesis y numérelas: 1, 2, 3, 4 y 5.

Una vez escritas, diga si esas oraciones apoyan solas o en combinaciones, es

decir ¿es uno suficiente o se necesita 1 y 2? o ¿es suficiente 1, 2, y 3? ¿Es 4 suficiente?

¿4 y 5? Etcétera.

Diga cuáles combinaciones mínimas de las razones que se ofrecieron serían

suficientes para sostener la conclusión.

Cuando uno de esos conjuntos de razones es super-conjunto de otro, entonces es superfluo

para inferir la conclusión porque ya el conjunto menor permite inferirla. (A esta propiedad de la

lógica deductiva le llamamos monotonicidad. Cuando no se presenta, la lógica no es monotónica.)

Los diferentes subconjuntos de proposiciones pueden ser suficientes para la conclusión. Cada uno de

estos subconjuntos no superfluos es un posible conjunto de premisas de los cuales se puede concluir

la conclusión.

EJERCICIOS

Eliminando a los superfluos, diga cuáles son los subconjuntos que permiten concluir la

hipótesis.

Haga diagramas mostrando diferentes subconjuntos que determinan diferentes argumentos.

74
 4.2 a Conversión Simple

Hemos visto que diferentes combinaciones de cuantificadores y conectivas pueden tener

diferentes significados. Puede haber también formas distintas de decir lo mismo y afirmaciones que

se siguen de otras. A veces por su pura forma podemos detectar esto. Hay maneras deductivas,

perfectamente válidas, infalibles de “convertir” a un sujeto en predicado y al predicado en sujeto.

Por ejemplo, si ningún a es b entonces ningún b es a. Es decir, si no hay ni siquiera un

individuo que es a y b entonces no hay ni siquiera un individuo que es b y a. Otra conversión: si hay

algo que es a y b entonces hay algo que es b y a.

Esta es la forma “simple” de convertir: las universales negativas y las particulares afirmativas

simplemente intercambian sujetos y predicados. ¿Qué podría ser más simple?

La razón de que sea válida la conversión simple es la propiedad que tienen las conjunciones

de ser conmutativas: cualquier conjunción de una cosa con otra es lo mismo que la conjunción que la

segunda con la primera. Hay otras conmutaciones posibles usando disyunciones. Igual que las

conjunciones, las disyunciones respetan la conmutatividad. Y las cosas que dicen exactamente lo

mismo son sustituibles una por otra sin que se afecte el valor de verdad de la proposiciones de las que

sean parte.

Hay que notar que estas equivalencias no son aceptables, por ejemplo, cuando no estamos

usando las oraciones sino mencionándolas: aunque dos oraciones sean equivalentes pueden no tener

el mismo número de letras, pueden no ser creídas o deseadas por las mismas personas, etc.

75
 4.2 b conversión por accidente

En cambio, no se pueden convertir de manera simple las universales afirmativas en sus

conversas o las particulares negativas: el que todos los a sean b no significa que todos los b son a; y el

que algunos a no sean b no implica que hay algunos b que no sean a. Esto puede verse claramente con

los diagramas de Venn.

En estos casos la conversión es más “accidentada”. Si todos los a son b (y suponemos que hay

algunos a), entonces al menos algunos b deben ser a. De la universal afirmativa podemos pasar a la

conversa también afirmativa pero en particular.

Otra conversión accidental válida es pasar de la universal negativa a la conversa particular

negativa.

4.2.c: Subalternación.

Como vimos en el cuadrado de oposición hay inferencias por subalternación cuando se

cumple el requisito del presupuesto existencial. Si sabemos que todos los unicornios tienen cuerno

bastará la premisa adicional de que hay algún unicornio para concluir que al menos un unicornio

tiene cuerno. De igual manera, con la universal negativa y la particular negativa, igual que con la

universal positiva y particular positiva. Si ningún unicornio tiene alas entonces basta el supuesto de

que hay unicornios para concluir que existe algo que es un unicornio y que no tiene alas. Podemos

entonces pasar de la subalternante a la subalternada (de la universal a la particular). ¡Pero solamente

bajo el supuesto adicional de que hay cosas del primer tipo!

Los sistemas de Lógica Clásica están diseñados con un par de presupuestos: presuponemos

que hay algo en el Universo. Lo cual es cierto pero no deja de ser un presupuesto porque no es

76
demostrado por pura lógica y suponemos que si hablamos de algo existe. Es decir, no hay dominios

de discurso vacíos y no hay nombres vacíos. Estos dos presupuestos no son indispensables: se puede

trabajar con lógicas libres de presupuestos ontológicos, presupuestos existenciales, simplemente

llamadas “lógicas libres”. Pero cuando ambos presupuestos se cumplen es más sencillo utilizar la

lógica Clásica Estándar. Y en la lógica Clásica Estándar podemos pasar, gracias a estos presupuestos,

de que todos los elementos de un Universo de discurso tienen cierta propiedad a que hay al menos un

elemento que la tiene.

¿Qué pasaría si el Universo de discurso fuera vacío? En ese caso todos los existenciales serían

falsos pero todos lo universales, por ser negaciones de existenciales, serían automáticamente

verdaderos. Otra manera de ver esto es inferir del universal de que todos mentimos que Juan Pueblo

miente. ¿Quién es Juan Pueblo? Es un hombre cualquiera pero por el segundo presupuesto de la

Lógica Clásica el nombre “Juan Pueblo” no puede ser vacío, debe corresponder a alguien. Por lo

tanto podemos concluir que alguien es pecador a partir de que dijimos que todo individuo es pecador.

En suma, la inferencia del universal al existencial es válida bajo el supuesto de que nuestro universo

de discurso no es vacío. Inferir de todos los a son b que algunos a son b es aceptable bajo el supuesto

de que existe al menos alguna a.

EJERCICIO

Dé cinco ejemplos en que se sigue la inferencia por subalternación.

4.2d Contraposición

77
 La contraposición es una regla para convertir condicionales, afirmaciones hipotéticas en otros

condicionales o afirmaciones hipotéticas diferentes pero equivalentes, y tiene la propiedad de que al

hacerlo dos veces regresamos a la formulación original.

En un condicional, el antecedente es una condición suficiente para el consecuente y el

consecuente una condición necesaria para el antecedente. Pero si todos los as están en el conjunto de

las bs entonces lo que no está en b tampoco estará en a. Es decir podemos hacer una inferencia por

contraposición: contraponemos la falta de la condición necesaria con la falta de la condición

suficiente. Esto está relacionado con la regla de Modus Tollendo Tollens como su correlato

condicional: si de a se sigue b entonces de la negación de b se sigue la negación de a. Es decir, si no

se da la condición necesaria entonces no se da la condición que la necesitaba (la condición

suficiente).

Supongamos que alguien nos dice que todo político es deshonesto. Por contraposición nos

está diciendo que los que no son deshonestos no se meten a políticos. Esto lo sabemos por

contraposición y si contraponemos la contrapuesta tendremos que todos los que no se mantienen

fuera de la política no son honestos es decir que todos los políticos son deshonestos: dos

contraposiciones nos regresan a la posición original. ¿Quiere eso decir que una contraposición es la

negación de un condicional? No. La negación de un condicional material es la conjunción de la

condición suficiente con la negación de la necesaria; no es otro condicional sino una conjunción. Lo

que tenemos aquí no es un caso de doble negación sino el hecho de que intercambiamos antecedente

y consecuente agregando negaciones. Si los intercambiamos dos veces regresamos a lo mismo con

dos pares de negaciones, las cuales pueden desaparecer por la ley de doble negación. Queda por ello

la formulación original.

4.3.a Razonamientos deductivos inferencias mediatas deductivas

78
 Las inferencias pueden ser completamente seguras. Ese es sólo uno de los tipos de

razonamientos pero es un tipo extremadamente importante porque es el tipo de inferencias que

garantizan que no obtendremos del procesamiento de las premisas algo menos verdadero que aquello

con lo que empezamos.

Claro, solamente hay garantía de preservación de la verdad de las premisas a la conclusión si

es que efectivamente las premisas son verdaderas. Si las premisas son falsas, deductivamente puede

ocurrir que la conclusión sea falsa o verdadera. Nada hay tan falso que no contenga algo de verdad y

por tanto podemos deductivamente extraer de falsedades tanto falsedades como verdades. Pero de las

verdades no podemos extraer deductivamente más que verdades. Este es el atractivo de utilizar

métodos deductivos que nos permiten poder concentrarnos en la verdad de las premisas y no

preocuparnos por el riesgo de introducir falsedades donde no las había.

No existe todavía una teoría completa del razonamiento deductivo y de hecho sabemos que

ciertas maneras que habían parecido muy prometedoras de tratar de desarrollar esta teoría están

condenadas al fracaso. Pero algunas formas de razonamiento deductivo ya las hemos logrado estudiar

de manera completa. Por ejemplo, todos los razonamientos deductivos en base a conectivas o

funciones de verdad bivalentes. Para este tipo de razonamiento deductivo ya tenemos un sistema o

cálculo completo, consistente y correcto. También tenemos un sistema completo para la lógica

bivalente de predicados de primer orden con funciones de verdad y cuantificadores estándar.

Pero hay otras regiones del discurso racional que aún no hemos podido sistematizar. Quedan

muchas regiones por sistematizar. Después de todo, aunque la lógica empezó hace 24 siglos con

Aristóteles, en su forma moderna tiene apenas tiene menos de dos siglos y sus mayores logros están

todavía por surgir.

¿Serás tu quien haga el gran sistema lógico del siglo XXI? Esperemos que sí.

79
 4.3.b Inferencias mediatas inductivas

Algunos autores utilizan el término “inducción” para cualesquiera razonamientos que no son

deductivos. Pero hay tantos razonamientos no deductivos que es mejor distinguir sus diferentes

clases.

La palabra “inductivo” puede reservarse para los razonamientos que llegan a conclusiones

generales a partir del examen de instancias. Inducimos una ley general a partir de casos específicos.

Nótese que esto podría ser también deductivo, en el caso límite de que pudiéramos revisar todas las

instancias de aplicación de la ley general. Normalmente no lo hacemos y nuestra inferencia es un

salto de la generalización, que puede ser aceptable, puede ser sensata pero que carece de la certeza

que daría haber confirmado que el principio se cumple en todas y cada una de las instancias.

La forma general de la inducción es

Fa, Fb, Fc, ... Fn

_____________

x Fx.

Hay criterios para distinguir diferentes tipos de inducciones; algunas son mejores que otras. Y

existe un gran desarrollo en el estudio reciente de lógicas inductivas que son muy importantes para

ciencias empíricas en las que requerimos criterios para generalizar a partir de casos aislados. Por

ejemplo, el generalizar observaciones médicas, económicas, históricas, etc.

4.3.c Analogía

80
 El razonamiento por analogía es un razonamiento por semejanza o similitud. Descubrimos que

dos cosas se parecen en muchos aspectos y extrapolamos que se parecerán en otros aspectos cuya

similitud no hemos confirmado. Esto puede ser sensato pero también puede ser una manera muy

peligrosa de razonar.

Hay buenas analogías y malas analogías. La forma general es

x es como y en el aspecto 1

x es como y en el aspecto 2

...

x es como y en el aspecto n

______________________

x es como y en el aspecto n+1

Por supuesto, si las similitudes no tienen nada que ver, si los aspectos en los que son

semejantes no tienen nada que ver con el nuevo aspecto sobre el que estamos conjeturando, la

analogía corre el riesgo de llevarnos a terribles equivocaciones. El que alguien tenga un rostro que te

recuerda a un tío no es buena base para suponer que tendrá las características de personalidad de tu

tío.

No siempre es fácil discernir si los aspectos son relevantes o no. Muchos frenólogos en el

siglo XIX creían que la gente que se pareciera en ciertas protuberancias del cráneo se parecerían

también en sus impulsos criminales. Tomó tiempo poder desechar a la frenología como una mala

analogía. Hay quienes creen que, como la grasa humana es semejante a la grasa que usamos en la

cocina, entonces ¡es posible fundirla con calor! Tratan de usar ropas que les hagan sudar mucho para

perder grasa y lo único que logran es una peligrosa deshidratación.

81
 4.3.d Estadísticas y probabilidad

Otro tipo de razonamientos no deductivos son los probabilísticos. El estudio de la

probabilidad mismo puede hacerse de forma rigurosa y matemática. Podemos calcular con exactitud

la probabilidad sin trampas de que salga nuestro número de lotería: el número de boletos que hemos

comprado dividido entre el número de boletos en el sorteo. Eso no es meramente probable; eso es

seguro (bajo el supuesto de que la lotería es honrada). La probabilidad de que una moneda caiga cara

es 0.5 o 50/50 o 50%. Y eso lo sabremos con 100% de probabilidad.

Por eso hay que distinguir entre los juicios de teoría de la probabilidad que son deductivos,

matemáticos, de los juicios de probabilidad en los cuales atribuimos a algo cierta probabilidad y esta

atribución puede ser matemática o no. El que 512 más 513 son 1017 es seguro (porque es simple

aritmética). Pero cuando estoy sumando, sabiendo que me equivoco a menudo, la probabilidad de que

mi suma haya sido sin error es menos de 100%, aunque de eso no tiene la culpa la aritmética.

Se ha dicho que, si conociéramos todos los factores que afectan un hecho, la probabilidad de

lo que predecimos sería de 100%. Pero desgraciadamente no las conocemos. Otra gente afirma que

aunque hay eventos indeterminados, se les puede asignar una probabilidad (como en la mecánica

cuántica).

Hay algunos principios de la probabilidad que nos ayudan a razonar mejor: por ejemplo, que

la probabilidad de una disyunción entre eventos independientes es la suma de las probabilidades de

los eventos. También hay principios como el teorema de Bayes que nos ayuda a evitar que nos quiten

inevitablemente todo nuestro dinero en las apuestas.

Tenemos además razonamientos estadísticos en los cuales extrapolamos a partir de una

muestra. Es una forma de inducción y hay criterios para decidir que una inferencia estadística es

82
mejor o peor pues no cualquier muestreo estadístico es aceptable. Queremos que la muestra sea

representativa de la población sobre la que vamos a generalizar. Si les preguntamos a la gente su

opinión sobre el gobierno pero hacemos la encuesta por Internet, automáticamente estamos

limitándonos al sector de la población que usa Internet (o que usa teléfonos o que lee ciertas revistas)

y esto puede no ser representativo de la población en general .

4.3.e Los métodos de Mill

En el siglo XIX un filósofo llamado John Stuart Mill propuso varios criterios sobre cómo

hacer bien investigación científica. Aunque sus criterios no describen toda la actividad científica y no

siempre son usados ni son suficientes para muchos tipos de investigación, son bastantes sensatos y

útiles.

Por ejemplo: si queremos saber que es lo que está causando algo, hagamos una lista de los

factores que intervienen y veamos qué pasa si los modificamos uno por uno. Si podemos modificar o

incluso eliminar un factor sin que desaparezca el efecto es probable que ese efecto no sea la única

causa. Tal vez sea una causa concomitante con otros de los factores. Por ello no basta hacer esto con

los diferentes factores. También puede ser necesario hacer variaciones con combinaciones de todos

los factores.

4.3.f La inducción en la investigación científica

83
 Dependiendo del tipo de ciencia tenemos diferentes criterios de adecuación. Por ejemplo, en

ciencias científicas basadas en la experiencia sensorial es indispensable que la teoría siga a los

resultados experimentales. No es aceptable cambiar los resultados para ajustarse a la teoría; eso se

considera deshonestidad científica. La teoría debe ajustarse a los resultados experimentales. No

debemos reportar como un hecho cualquier cosa que nosotros creamos sobre el mundo sino sólo

aquello que el mundo nos permita ver. Por ello los experimentos deben ser públicos, es decir,

reproducible por la comunidad científica. Si un científico se basa en información que no pública (por

ejemplo, que un arcángel le dio las respuestas) esto quizás sea verdad pero no cuenta como

descubrimiento científico. La ciencia no quiere solamente opiniones verdaderas sino también

opiniones verdaderas que cuenten con una justificación o evidencia aceptable. Es decir, la ciencia no

busca la mera verdad; también quiere conocimiento.

En el caso de cuestiones empíricas, la evidencia debe ser empírica. No cuentan las opiniones

individuales. Podrá ser un buen rasgo personal tenerle fe a los amigos pero en la ciencia no es

cuestión de amistades o favoritismos; en la ciencia es cuestión de evidencia y hacerle caso a lo que

los experimentos muestran.

84
 CAPÍTULO 5

¿Cómo usar predicados sencillos? (El Silogismo)

Aristóteles, visto por Rafael.

5.1. Definición y elementos del silogismo.

Cuando los predicados tiene un solo argumento (por ejemplo, “.. es alto” o “... es rojo”)

decimos que es un predicado monádico. Los predicados diádicos ponen en relación dos argumentos.

Por ejemplo, “... es más alto que ...” o “... le parece rojo a ...”. También hay predicados de 3

argumentos como “... está entre ... y ...”, de 4 argumentos, etc. De momento utilizaremos nada más

los monádicos.

EJERCICIO

1. Escriba tres predicados monádicos importantes para ser una buena amiga o amigo. Por

ejemplo, “... es sincera”.

2. Escriba tres predicados diádicos importantes para ser una buena amiga o amigo. Por ejemplo,

“... es sincera con ...”.

3. Escriba tres predicados triádicos importantes para ser una buena amiga o amigo. Por ejemplo,

“... es sincera con ... sobre ...”.

85
 Podemos combinar cuantificadores, conjunciones y negaciones para hacer una gran cantidad

de afirmaciones distintas. Por ejemplo, para construir las universales afirmativas y las universales

negativas, las particulares afirmativas y las particulares negativas. Hay muchas otras proposiciones

pero empezaremos con esas.

EJERCICIO

Identifique si la cuantificación es universal o particular:

¿Universal o particular?

Un sabio domina su enojo (es decir, “Todos los sabios dominan su Universal

enojo”).

Un sabio educó a Platón (es decir, “Al menos un sabio educó a Platón”). Particular.

Siempre hay que conservar la calma.

A veces hay que conservar la calma.

Algunas mentiras son necesarias.

Toda mentira es inmoral.

Un buen maestro escucha a sus alumnos.

Un maestro está en la cárcel.

Tradicionalmente decimos que las universales afirmativas (“Todos los A son B”) y a las

particulares afirmativas (“Algunos A son B”) son respectivamente de tipo A e I (del latín “AfIrmo”).

De las universales negativas (“Ningún A es B”) y particulares negativas (“Algunos A no son B”)

decimos que son de tipo E y O respectivamente (del latín “nEgO”).

Cuando nos restringimos a los argumentos de solamente dos premisas y una conclusión, todas

de la forma sujeto/predicado, y todas construidas como afirmaciones universales o particulares,

afirmativas o negativas, estamos en el dominio de la lógica silogística. Con la teoría del silogismo

86
aristotélico empezó la lógica hace 24 siglos. Este tipo de razonamiento es un fragmento de la lógica

cuantificacional o lógica de predicados de primer orden; de hecho es el fragmento monádico de esta

lógica.

Como nos limitamos a proposiciones de tipo sujeto/predicado, la conclusión será de la forma

“(Algunos o todos) los Zs (no) son Ys”. En las premisas aparecerá el sujeto de la conclusión (llamado

término menor) y el predicado de la conclusión (llamado término mayor), así como algo para

enlazarlos (llamado término medio).

5.2. Reglas del silogismo.

Una vez que hemos decidido limitarnos a las formas silogísticas, algunas reglas pueden ser

observadas.

En primer lugar, si alguna de las premisas es negativa entonces la conclusión no puede ser

afirmativa y si las dos premisas son negativas ninguna conclusión es silogísticamente aceptable. Esto

no quiere decir que ninguna conclusión sea aceptable; tan solo que ninguna de las silogísticas lo es.

Otra regla es que la conclusión debe seguir la menor cantidad en las premisas. En otras palabras, si

una de las premisas es particular la conclusión debe serlo también. De hecho, si ambas premisas son

particulares ninguna conclusión se sigue.

Otra regla es que el término medio debe estar distribuido para poder conectar ambas premisas.

Tiene que ser tomado en todo su extensión por lo menos en una de las premisas porque si solamente

hablamos parcialmente en ambas puede ser lo que la parte que tomamos sea diferente en cada caso y

por lo tanto no haya algo común en lo que basarnos para conectar una premisa con la otra y obtener la

conclusión.

Ahora bien, ¿cómo sabemos cuáles formas son aceptables y como sabemos que las otras no lo

son? Es decir, cómo demostramos que un inferencia es infalible o como demostramos que puede

87
fallar? Una manera de demostrar que una forma de razonamiento puede fallar es simplemente

mostrando un caso en el que falla, un contraejemplo. El contraejemplo muestra que la forma no

siempre es aceptable. Buscamos un caso de esa forma tal que todas sus premisas sean verdaderas pero

la conclusión sea falsa. Eso nos muestra que esa forma no es infalible. Esto lo podemos hacer con

cualquiera de los casos inválidos.

Por ejemplo, la regla de que dos negativas no se concluye nada silogísticamente prohíbe la

forma

Todos los X no son Y

Todos los Z no son X

Por lo tanto, todos los Z no son Y.

ya que tiene dos premisas negativas. Un ejemplo de inferencia que nos llevara de verdad a falsedad

con esa forma sería:

Todos los viejos no son menores de edad

Todos los niños no son viejos

Por lo tanto, todos los niños no son menores de edad.

Este ejemplo muestra que la forma es inválida deductivamente.

EJERCICIO

Dé contraejemplos para otras 5 formas inválidas.

5.3. Validez e invalidez del silogismo.

Algunos silogismos son válidos y pueden derivarse a partir de reglas válidas; algunos

silogismos son inválidos y puede demostrarse su invalidez presentando un contraejemplo (un caso en

el que las premisas sean verdaderas pero la conclusión sea falsa).

88
 ¿Y cómo probamos que una forma silogística sí es válida? Una manera de hacerlo es derivarla

a partir de principios básicos. Por ejemplo, la transitividad justifica aceptar la forma “Barbara” que va

de todos los Y son Z y todos los X son Y a todos los X son Z. Con un número pequeño de estos

principios podemos demostrar la validez de todas las formas silogísticas (aunque algunas requieren el

presupuesto de que hay algunos elementos).

No solamente el silogismo sino todas las inferencias válidas en lógica de predicados de primer

orden pueden ser validadas. Como mencionamos antes, el silogismo es el fragmento monádico de la

lógica de primer orden. Podemos demostrar cada uno de los silogismos validos independientemente

pero lo normal es aprovechar cada forma silogística que vamos validando para validar otras formas

silogísticas. Por ejemplo, reducir un silogismo válido nuevo a silogismos válidos que ya han sido

validados previamente.

5.4. Figuras y modos.

Hay cuatro posibles figuras:7

Primera figura:

X Y

Z X

________

Z Y

Segunda figura:

X Y

X Z

________

7
Aristóteles describió solamente las tres primeras figuras. Su discípulo Teofrasto estudió los que ahora se conocen como
modos de la cuarta figura, que es como la primera con las premisas invertidas.

89
 Z Y

Tercera figura:

Y X

Z X

________

Z Y

Cuarta figura:

Y X

X Z

________

Z Y

Una manera de recordar las cuatro figuras es ubicar al término medio, la X. En la primera

figura aparece arriba a la izquierda y abajo a la derecha; en la segunda aparece a la izquierda, en la

tercera a la derecha y en la cuarta arriba a la derecha y abajo a la izquierda. Es decir: \ | | /, una

especie de “W”.

Hay 4 tipos de proposiciones silogísticas: 2 cantidades (universal o particular) x 2 calidades

(afirmativa o negativa). Eso hace 64 modos en cada figura (4 tipos de primera premisa x 4 tipos de

segunda premisa x 4 tipos de conclusión). Como hay cuatro figuras, tenemos 256 combinaciones

silogísticas.

La mayoría son formas inválidas de razonamiento. Sólo 24 de ellas son aceptables (bajo un

supuesto de existencia). Las otras 232 son deductivamente inválidas.

90
 Como son pocas las formas correctas, es fácil enumerarlas. Durante la Edad Media (hará unos

ochocientos años) se les dieron nombres que describían como manipularlas y se hicieron versos para

facilitar recordarlas8:

Barbara Celarent Darii Ferio Baralipton

Celantes Dabitis Fapesmo Frisesomorum;

Cesare Camestres Festino Baroco; Darapti

Felapton Disamis Datisi Bocardo Ferison.9

La primera vocal indica la cantidad y calidad de la primera premisa, la segunda vocal

las de la segunda premisa y la tercera vocal las de la conclusión. Por ejemplo, Frisesomorum tiene la

primera premisa (I) particular afirmativa, la segunda (E) universal negativa y la tercera (O) particular

negativa. Los modos de la primera figura son Barbara, Celarent, Darii y Ferio. Los modos de la

segunda figura son Cesare, Camestres, Festino y Baroco. Los de la tercera son Darapti, Felapton,

Disamis, Datisi, Bocardo y Ferison. Los de la cuarta son Baralipton, Celantes, Dabitis, Fapesmo y

Frisesomorum.10

Como la primera figura es

X Y

Z X

________

Z Y

tenemos los siguientes modos:

Barbara

Todos los Y son Z

8
Hay diferentes versiones de los nombres y de los versos con los que se aprenden.
9
A estos hay que añadir Barbari, Celaront, Celantos, Cesaro y Camestros, que se dan por sobreentendidos pues se
obtienen por subalternación.
10
Los modos de la cuarta figura son más apropiadamente llamados Bramantip, Camenes, Camenos, Dimaris, Fesapo y
Fresison porque se trasponen las premisas.

91
 Todos los X son Y

Por lo tanto, todos los X son Z. 11

Celarent

Todos los Y no son Z

Todos los X son Y

Por lo tanto, todos los X no son Z.

Darii

Todos los Y son Z

Algunos X son Y

Por lo tanto, algunos X son Z.

Ferio

Todos los Y no son Z

Algunos X son Y

Por lo tanto, algunos X no son Z.

EJERCICIO

Escriba los modos de la segunda, tercera y cuarta figura.

Una vez justificada Barbara por transitividad, podemos reducir los otros modos de la primera

figura a Barbara y todos los demás modos a alguno de la primera figura.

En cada nombre latino hay pistas de como reducir ese modo a un modo de la primera figura.

La inicial indica a cuál modo de la primera figura se puede reducir: Si empieza con B, a Barbara, si

con C a Celarent, si con D a Darii y si con F a Ferio.

11
Aristóteles dice literalmente: Si pues lo A de todo lo B y lo B de todo lo G, necesariamente lo A de todo lo G se
predica.

92
 La consonante que sigue a las vocales muestra como hacer la reducción de esa línea. Por

ejemplo, Frisesomorum se reduce a Ferio por empezar con F, y como tiene una “s” después de la

premisa I y la premisa E, las reduce por conversión simple. Una “p” significa conversión por

accidente o parcial. La “m” de Camestres significa que hay que mover las premisas transponiéndolas.

La “c” en Baroco y Bocardo significa que hay que poner la contradictoria de la conclusión en vez de

la premisa en O y hacer una reducción al absurdo.

EJERCICIOS

1. Reduzca a Barbara: Baralipton, Bocardo y Bamalip.

2. Dé un contraejemplo para cada una de Barbare, Celerent, Daria y Feria en la primera figura.

5.5. Pruebas de validez de los silogismos categóricos mediante diagramas de Venn.

John Venn (1834 – 1923)

Los diagramas de Venn han sido un auxiliar muy popular para manejar silogismos desde su

introducción en 1880 por el profesor John Venn de la Universidad de Cambridge. Nos ofrecen una

93
manera de “ver” la conclusión de un silogismo una vez que representamos la información de las

premisas.

Podemos representar con un círculo el conjunto de las cosas que caen bajo el concepto del

término medio. Con otro círculo representar las cosas que caen bajo el concepto del término mayor y

con un tercer círculo representar el conjunto de las cosas que caen bajo el concepto del término

menor. Si decimos que todos los a son b eso lo podemos representar tachando el área de los a que

están fuera de b.

Hay que notar que esto sería la interpretación contemporánea condicional que nos dice que no

hay a sin b, es decir, que no hay a que no sea b. Pero no nos comprometemos a que haya algún a. Para

este supuesto existencial necesitamos decir que hay algo entre a y b. Lo podemos representar

dibujando un punto de buen tamaño en la intersección de los dos conjuntos. De hecho, alguna

variante de esto es la manera de presentar que algunos a son b y por lo tanto no es de extrañar que los

lógicos tradicionales concluyeran la particular afirmativa a partir de la universal afirmativa.

Con dos círculos tenemos cuatro áreas que son el conjunto de los que son a y b (A B), el

conjunto de los que son a pero no son b (A B), el conjunto de los que no son a pero si son b (A B) y

el conjunto de los que no son a ni b (A B).12

Un tercer círculo divide cada una de esas áreas en dos: una que es parte del nuevo círculo y

otra que queda fuera. Así tenemos las áreas de los a que son también b y c (A B C), los a que son b

pero no son c (A B C), los a que no son b pero son c (A B C), los a que no son b ni c (A B C), los que

no son a pero son b y c (A B C), los que no son ni a ni b pero sí son c (A B C), los que no son a pero

son b aunque no son c (A B C), los que no son ni a ni b ni c (A B C).

Para simbolizar que no había a que fueran b habíamos tachado el área de intersección de a con

b; ahora que sea dividido esa área en dos subáreas tendremos que poner taches en ambas
12
Este último conjunto fue pasado por alto por Venn porque no dibujaba el entorno dentro del cual estaban los conjuntos
a y b pero puede encontrarse en los trabajos del lógico Charles Dodgson, mejor conocido por su seudónimo Lewis Carroll
como el escritor de Alicia en el país de las maravillas.

94
subsecciones para representar que no hay nada en toda esa área. Marcar que algo no existe en un área

es equivalente a marcar que no existe en ninguna de sus subáreas. Esto no tiene mayor dificultad.

El problema es qué hacer con el punto con el que habíamos marcado que algo existía en un

área cuando dividimos esa área. ¿Dónde pondremos el punto para decir que algo que es a y es b?

¿Pondremos el punto en el área que es a y b y c, o en el área que es a y b pero no c? No podemos

poner el punto en ninguna de esas dos subáreas porque no tenemos información para decidir en cuál

de ellas debe estar. Por ello adoptaremos la convención de que un punto sobre la línea que separa

ambas áreas representa que sabemos que hay algo en alguna de ellas o tal vez en ambas pero no

sabemos en cuál.

Ahora podemos representar la información de las premisas con taches y puntos y si el

silogismo es válido al representar las premisas automáticamente quedará representada también la

conclusión. Si no lo es, entonces la conclusión no está contenida en las premisas y no se sigue

deductivamente .

EJERCICIOS

1. De los 64 modos posible de primera figura, hay 6 modos válidos y 58 inválidos. Diga con sus

propias palabras los 6 modos válidos de la primera figura.

2. Dé un ejemplo para cada modo válido de la primera figura cuyas premisas sean todas conocidas

por sus condiscípulos como verdaderas (las conclusiones deben ser todas ellas verdaderas).

3. Dé un ejemplo de cada uno de los modos válidos de la primer figura usando premisas de esa

forma que sean conocidas por todos sus condiscípulos como falsas (las conclusiones pueden ser

también falsas).

4. Represente con diagramas de Venn las premisas de todos los modos válidos de primera figura y

compruebe que la conclusión queda representada automáticamente también.

95
5. De los 58 modos inválidos escoja 10 y escríbalo con sus propias palabras.

6. Dé un ejemplo de cada uno de esos 10 silogismos inválidos en el cual las premisas sean conocidas

como verdaderas por todos sus compañeros de clase y la conclusión sea conocida como falsa por

ellos.

7. De los 58 modos inválidos escoja uno y represente la información de las premisas. En un

diagrama aparte represente la conclusión y señale qué información en la conclusión falta en las

premisas. (Puede usar un solo diagrama si prefiere, poniendo con tinta negra la información de las

premisas y con tinta roja la información sobre la conclusión que falta para que la conclusión

estuviera también representada en el diagrama).

5.6. Silogismos irregulares.

Como hemos visto, el silogismo estándar se limita a la forma de dos premisas,

sujeto/predicado con cuantificación universal o particular y (si acaso) negación en el predicado. Esto

es, no está diseñado para manejar proposiciones que no sean sujeto/predicado (como “Llueve”), con

más o menos premisas, con cuantificación de otros tipos (como “la mayoría”, “casi todos”, “23”,

etc.), sin término medio, etc.

Aristóteles menciona ciertos razonamientos que nombra entimemas. Este modo de razonar se

caracteriza por basarse en los supuestos o creencias aceptadas por el auditorio al que se le presenta el

argumento. A partir de Quintiliano la palabra “entimema” fue interpretada como “en la mente”, pero

no en la mente del auditorio sino algo en la mente del que presenta el argumento, la idea siendo que

hay cosas que dejamos sin decir, que damos por sobreentendidas y nosotros suponemos que el

auditorio puede leer entre líneas y completar el argumento. Así, por ejemplo, pudiéramos decir

“Sócrates es humano; por lo tanto es mortal” dejando implícita la premisa de que los humanos son

mortales, dándola por sobreentendida. O pudiéramos decir “Los humanos son mortales; por lo tanto

96
Sócrates es mortal” dado por sobreentendido lo que nosotros suponemos que el auditorio sabe, es

decir, que Sócrates es un ser humano. La idea es que si proveyéramos la premisa omitida entonces el

silogismo estaría completo. No se trata de un mal silogismo sino que de una exposición parcial.

EJERCICIO

En los siguientes entimemas proponga una premisa adicional que hiciera al razonamiento

válido:

Juan es un político; por lo tanto, Juan es mentiroso.

Juan es mexicano; por lo tanto, Juan juega bien al futbol.

María es norteamericana; por lo tanto, María habla inglés.

Otro tipo de silogismo irregular es el epiquerema, donde damos un apoyo adicional a alguna

de las premisas. Por ejemplo, decimos

Sócrates es humano, ya que nació de una mujer, Fenareta.

Los humanos son mortales.

Por lo tanto, Sócrates es mortal.

EJERCICIO

Dé cinco ejemplos de epiqueremas.

De igual manera que podemos omitir un premisa por considerarla obvia, también podemos

omitir una conclusión, aducir más premisas y continuar infiriendo. El efecto equivale a encadenar

varios silogismos: un polisilogismo. Por ejemplo, una cadena de silogismos del modo Barbara: “Juan

es político, los políticos mienten, los que mienten son pecadores, los pecadores van al infierno, los

que van al infierno sufren; por lo tanto, Juan sufre”.

EJERCICIO

97
 Diga qué modos válidos se pueden encadenar para justificar esta inferencia: Los a son b, los b

son c, algunos d son a, por lo tanto algunos d son c.

Otro tipo famoso de inferencia estudiado en a antigüedad es el llamado sorites (literalmente

“sobre el montón”). Se refiere a que podemos argumentar que las cosas no cambian cuando se

modifican muy poco o que al menos una propiedad de la situación no cambia y por lo tanto

concluimos que tampoco cambiará esa propiedad después de varios cambios. El ejemplo que le da

nombre es el de un montón de granos de arena: añadiendo un grano a un montoncito, éste no deja de

ser pequeño. Podemos agregar un grano de arena y seguir diciendo que tenemos solamente un

montoncito. Pero si esto es así, podemos añadir un segundo grano y seguir diciendo que es un

montoncito; y un tercero y un cuarto y un quinto grano. Pero después de un millón de granos ya no

tenemos derecho a decir que todavía tenemos un pequeño montoncito. Es muy común concluir de que

un cambio es pequeño que no tiene efecto. Pero el efecto cumulativo de cambios pequeños puede ser

un cambio grande. Por eso los razonamientos de tipo sorites deben ser hechos con mucho cuidado y

fácilmente se prestan a engaños. Quien dice “Mira, un día más que nos retrasemos en entregar el

trabajo, no puede ocasionar ningún daño; y si no ocasiona ningún daño entonces podemos volverlo a

hacer...”.

EJERCICIO

Explique por qué falla el sorites en la canción de bebedores que dice que “una copa no es

ninguna; dos es media y tres es una. Y como una no es ninguna, volveremos a empezar”.

Si entendemos silogismo en general como cualquier razonamiento que parte de dos premisas

(y en algunas ocasiones de tres) y llegan a conclusiones infalibles, podemos darle ese nombre a otros

procesos inferenciales.

98
 En un silogismo disyuntivo en lugar de utilizar como primera premisa un condicional

podemos utilizar una disyunción y decir que o a o b es verdad. Si añadimos como segunda premisa la

información de que a no es el caso, entonces b tiene que ser verdad porque en una disyunción

verdadera siempre hay al menos una alternativa verdadera. Si ninguna de las alternativas es cierta

entonces en realidad no tenemos una verdadera disyunción no tenemos una disyunción verdadera.

Hay disyunciones inclusivas en las que ambas alternativas están abiertas y disyunciones exclusivas

donde se excluyen mutuamente y debe ser exactamente una verdadera y la otra falsa. Con ambos

tipos de disyunciones el silogismo disyuntivo es muy útil porque reduce alternativas mediante el

expediente de negar la otra. El secreto para que funcione un silogismo disyuntivo es tener alternativas

exhaustivas. Si no son verdaderamente exhaustivas, la disyunción es falsa. Además necesitamos tener

la información de que una de las alternativas no puede tomarse.

EJERCICIO

Dé un ejemplo de disyunción en política, en medicina o en su vida personal. Busque una

situación en la que una de las dos opciones no sea aceptable y haga un silogismo disyuntivo para

obtener como conclusión la otra alternativa.

El modo Barbara puede ser visto como transitividad de condicionales: Si algo es A, entonces

es B; pero si es B entonces es C; por lo tanto si es A es C. Los condicionales son transitivos

normalmente. Si tenemos dos condicionales con un término en común que aparece en uno de ellos

consecuente y en el otro como antecedente, podemos obtener el condicional que combina al

antecedente que quedaba como antecedente, con el consecuente que quedaba como consecuente.

Esta manera de razonar es un muy útil como estrategia para inferir. Basta que nos

preguntemos qué podría conectar proposiciones que ellas mismas pudieran estar muy alejadas. Si

encontramos algo que se siga de una de ellas y de lo cual se siga la otra entonces un silogismo

99
hipotético nos puede servir para unirlas. Está formado por tres juicios hipotéticos y de ahí su nombre

y es conocido también como transitividad del condicional.

EJERCICIOS

1. Ofrezca un silogismo hipotético para defender que todos los mexicanos se irán al cielo (use el

término común de que tienen paciencia de santos).

2. Defienda la tesis de que los hombres deben ser tratados como niños usando la información

intermedia de que son inmaduros.

3. Defienda que los norteamericanos son terroristas utilizando la información intermedia de que han

atacado poblaciones civiles.

4. Defienda la tesis de que el arte es útil utilizando la información intermedia de que mejora la vida.

Hay dos maneras bastante conocidas de manejar dilemas, esto es, alternativas. No son las

únicas posibles (de hecho, hay infinidad de maneras posibles) pero son dos muy útiles. Supongamos

que tenemos un dilema, ya sea una disyunción inclusiva o una disyunción exclusiva. En cualquiera de

los dos casos, al menos una de las alternativas es verdadera. En el caso de la disyunción inclusiva tal

vez ambas, en el de la exclusiva una alternativa debe ser verdadera y la otra debe ser falsa.

Cuando consideramos dos alternativas, una manera de juzgar entre ellas es preguntarnos qué

consecuencias acarrearían. Puede ser que la primera alternativa nos llevaría a una situación A

mientras que la segunda alternativa nos llevaría a una situación B. Ya que al menos una de ellas tiene

que ser aceptada, entonces al menos una de A o B tiene también ser aceptada. Esto se conoce como

razonamiento por dilema constructivo porque construimos una disyunción a partir de otra

disyunción o dilema, y los condicionales que nos señalan las consecuencias que tendría tomar cada

una de las alternativas.

100
 Por otro lado, si yo sé algo me llevaría a la consecuencia Y y otra cosa me llevaría a la

consecuencia Z pero alguna de esas dos consecuencias debe ser rechazada (no Y o no Z), entonces

alguno de los dos antecedentes tiene que ser rechazado. Es decir, si W me lleva a Y, y X me lleva a

Z, y no Y o no Z, entonces no W o no X:

Si W, Y.

Si X, Z.

No Y o no Z.

__________

No W o no X.

EJERCICIO

1. Demuestra por dilema constructivo que uno es descortés o hipócrita basándote en que uno dice la

verdad o dice mentiras.

2. En los siguientes razonamientos diga si estamos haciendo un dilema constructivo o un dilema

destructivo:

1. Si siempre dices la verdad, entonces molestarás a los hombres. Pero si no siempre dices la

verdad entonces molestarás a los dioses. O bien dices siempre la verdad o no. Como

conclusión, o molestarás a los hombres o a los dioses.

2. Si dices siempre la verdad agradarás a los dioses. Si no siempre dices la verdad agradarás

a los hombres. O bien siempre dices la verdad o bien no. Por lo tanto, o bien agradarás a

los dioses o a los hombres.

3. Si no siempre dices la verdad agradarás a los hombres. Si siempre dices la verdad

agradarás a los dioses. Pero o no agradarás a los dioses o no agradarás a los hombres. Por

lo tanto, o no siempre dices la verdad o no dejas siempre de decir la verdad.

101
4. Si eres veraz agradarás a los dioses. Si no eres veraz entonces desagradarás a los hombres.

Pero desagradarás a los dioses o a los hombres. Por lo tanto no serás veraz o no dejarás de

serlo.

5. Si sigues a tu corazón, te casarás por amor. Si sigues a tu estómago te casarás por dinero.

Pero o no te casarás por amor o no te casarás por dinero. Por lo tanto, o no seguirás a tu

corazón o no seguirás a tu estómago.

102
 CAPÍTULO 6

¿Cómo evitar que te engañen? (Falacias)

6.1. Noción de falacia y sofisma.

En el momento de intentar argumentar, de dar apoyo racional a nuestras afirmaciones, es

común caer en razonamientos ``hipócritas'' que parecen correctos pero que, en realidad, pueden

originar errores. Decimos que tenemos una falacia cuando un argumento parece ser válido sin serlo.

La idea de “parecer” no es muy clara porque lo que le parece a una persona puede no parecerle a otra.

Cualquier razonamiento no válido podría considerarse una falacia. En realidad, usamos pocas formas

argumentativas y pocas son generalmente consideradas válidas sin serlo. Así es que, aunque en

principio cualquier razonamiento inválido podría ser una falacia, en la práctica hablamos de algunos

tipos específicos de razonamiento falaces. Algunos autores reservan la palabra sofisma para las

falacias que aunque parecen válidas al auditorio no son ofrecidas porque el proponente las considere

válidas sino con el propósito consciente de engañar al auditorio.

Hay que hacer notar dos cosas: primero, que aunque una forma falaz no sea válida eso lo

único que significa es que no todas sus instancias garantizan la verdad de la conclusión sobre la base

de la verdad de las premisas. Pero eso no excluye que algunas veces llegue a ocurrir que una instancia

sí sea valida. Lo único que hemos dicho es que no todas las instancias son validas. No podemos

entonces identificar falacia con forma de razonamiento inválido sin más. Todo razonamiento tiene al

menos la siguiente forma inválida: inferir de las premisas p la conclusión c, lo cual a veces es válido

y a veces no. Mientras que una forma válida es aquella que siempre es una garantía, una forma

inválida es tan sólo aquella que no siempre es una garantía, pero no tiene que ser una forma que

nunca es una garantía. Esta es la diferencia entre “no todos” y “todos no” que se estudia en la

cuantificación y el cuadrado de oposición de juicios. Así pues, tener una forma falaz no

necesariamente hace un razonamiento falaz. El no tener ninguna forma válida es lo que lo hace falaz.

103
En otras palabras, algo es una falacia si todas sus formas son falaces mientras que es válido con que

una sola de sus formas lo sea.

Lo segundo que hay que tomar en cuenta es que no todas las formas inválidas de

razonamiento son siempre malas. En algunas circunstancias pueden ser formas decentes y adecuadas

de razonar. Por ejemplo, pasar de una serie de instancias a generalizar normalmente no es una buena

inducción; pero pudiera serlo. Por ejemplo, si revisamos todas las instancias entonces sería de hecho

deductivo. O si la selección y estudio de las instancias se hace de manera de manera que respete el

método científico pertinente, entonces no se estaría cometiendo falacias. Tal vez los resultados no

sean infalibles pero el razonamiento científico no tiene que ser infalible para ser aceptable. De igual

manera las analogías, las abducciones, pueden parecer falacias y no serlo si son analogías bien hechas

o abducciones que provean de la mejor explicación posible. Aunque no sean razonamientos 100%

seguros, tampoco tienen el estigma de ser falacias.

Exceptuando el caso cuando las premisas son lógicamente verdaderas y la conclusión es

lógicamente falsa, siempre es posible encontrar alguna instancia de forma válida a partir de una

forma falaz. Esto tiene una importante consecuencia: si encontramos una forma válida podemos con

confianza decir que el razonamiento es válido pero si encontramos una forma inválida de

razonamiento tenemos que ser modestos: exceptuando el caso mencionado, lo único que podemos

decir es que no hemos encontrado una forma válida todavía. A quien propone el argumento le toca

ahora mostrar qué forma lógica es la que le da validez a su razonamiento. Si no puede presentar

ninguna entonces es razonable suponer que tal vez no la haya y que estamos ante la presencia de un

mal razonamiento que tan solo le pareció bueno al proponente. Es decir, una falacia.

A veces se descuida que una falacia es un tipo (malo) de argumento. Si se descuida eso,

podemos llamar a las amenazas “argumentos de apelación indebida a la fuerza”. No se trata de un

104
argumento que apela a la fuerza si no hay argumento, si es simplemente una amenaza. Amenazar no

es argumentar.

La amenaza puede ser parte de un argumento o conllevar implícito un argumento. Por

ejemplo, el argumento: “Te haré daño si no me obedeces. Como no quieres que te haga daño, te

conviene obedecerme”. Ese argumento de hecho es bueno: alguien que efectivamente crea que le van

a lastimar si no obedece, tiene buenas razones para obedecer. Pero dar buenas razones para tomar en

serio una amenaza no hace a la amenaza racional.

En cambio, hay argumentos en los que la apelación a la fuerza no tiene cabida. Podemos

concluir que debemos evitar la cólera de otra persona pero no podemos concluir que 2+2 son 5. Tal

vez concluyamos que hay que darle la razón a la persona que dice que 2+2 son 5, pero el argumento

no puede probar que 2+2 son 5. Todas las amenazas del mundo no cambian la realidad matemática.

Hay casos en que no hay apelación indebida a la fuerza porque no hay argumentación. Y hay

casos en que la apelación no es indebida porque da información que hay que tomar en cuenta. No

existe falacia de apelación a la autoridad aunque sí existe la falacia de apelación indebida a la

autoridad.

¿Cuándo estamos realmente ante una falacia? Tienen que darse las siguientes condiciones:

1.- Debe haber una argumentación. No basta con órdenes, súplicas o frases sueltas. Tiene que ser

plausible interpretar lo que se nos dice como un razonamiento en el que se está tratando de probar

algo.

2.- La apelación que se hace a la opinión o voluntad popular, a la autoridad, a la fuerza, etc., debe ser

una apelación indebida, fuera de lugar.

3.- Debe ser un razonamiento que sea tomado comúnmente como válido sin serlo. Muchas de las

cosas que pasan por falacias no son argumentos que alguien creería correctos, y por lo tanto no

cumplen la definición de ser argumentos inválidos que parecen válidos. Los argumentos obviamente

105
falsos no necesitan que nosotros los denunciemos. Necesitamos la teoría de las falacias estudiar la

teoría de las falacias precisamente para desenmascarar argumentos que usualmente no notamos que

son falaces. Son argumentos que estamos inclinados a aceptar. Si no estamos inclinados a aceptarlos,

si se revelan de manera obvia como falaces, entonces paradójicamente no son falacias. Son

simplemente argumentos malos pero que no dañan a nadie.

6.2. Falacias formales e informales.

Algunas falacias pueden ser reconocidas en virtud de su forma y son llamadas falacias

formales. Por ejemplo, las falacias de afirmación de consecuente y negación de antecedente:

Afirmación del consecuente. Tomar un condicional de la forma ``Si lo primero, lo segundo''

y querer usarlo para pasar de lo segundo a lo primero. Ejemplo: Un argumento

correcto debe tener premisas verdaderas; ese argumento tiene premisas verdaderas; por

lo tanto debe ser correcto.

Negación del antecedente. Tomar un condicional de la forma ``Si lo primero, lo segundo'' y

usarlo para pasar de la falsedad de lo primero a la falsedad de lo segundo. Ejemplo: Un

argumento correcto debe tener premisas verdaderas; ese argumento es incorrecto. Por

lo tanto debe tener premisas falsas.

Hay falacias cuyo problema no es su forma sino su contenido. Uno tiene que entender el

significado de palabras como “pueblo”, “amenaza”, “autoridad” para poder comprender por qué no es

aceptable esa forma de razonar. Estas falacias son llamadas falacias materiales. Aunque las falacias

han sido estudiadas sistemáticamente desde hace dos milenios y medio, no existe una lista completa

de ellas, sin duda un tributo a la infatigable creatividad humana. Una clasificación preliminar las

divide en falacias cuyo defecto es mencionar algo no atinente o pertinente y falacias cuyo defecto es

la ambigüedad. Por ello se les llama falacias de atinencia, que incluyen la petición de principio y las

106
apelaciones indebidas a la fuerza (ad baculum), la persona (ad hominem), y la piedad, y falacias de

ambigüedad que incluyen a las de equívoco, anfibología y división.

6.3. Falacias de atinencia.

Apelación indebida a la fuerza (Argumentum ad baculum). Cuando apoyamos la conclusión

en un temor fuera de lugar, utilizando a la fuerza como argumento. Apelamos a los

bastonazos (bastón en latín es baculum). Hay ocasiones en las que es importante saber

si corremos algún peligro o si está en riesgo nuestra integridad física. Pero las

consecuencias de que creamos algo no es pertinente para justificar creer o no en ello.

Por ejemplo, el que se queme a los herejes es una buena base para concluir que es

peligroso ser hereje pero no es una buena base para concluir que los herejes están

equivocados. Ejemplo: Debemos dar la razón al capitalismo/comunismo porque de lo

contrario el comunismo/capitalismo nos destruirá.

Ataques personales (Argumentum ad hominem). Inferir de los pretendidos defectos de una

persona defectos en su razonamiento. Hay ocasiones en las que es pertinente referirse

al carácter de una persona (por ejemplo, cuando queremos concluir algo sobre esa

persona). Pero no podemos creer que por atacar a alguien automáticamente estamos

atacando cualquier argumento que esa persona presente. Una persona puede tener

muchos defectos y sin embargo ofrecer argumentos impecables. Ejemplo: Las teorías

de Rousseau sobre la educación no tienen validez porque él no educó debidamente a

sus propios hijos.

EJERCICIOS

Diga qué conclusiones son apoyadas por la premisa de que Juan nunca dice la verdad:

1. Juan es un mentiroso.

107
 2. Juan no es una persona confiable.

3. Juan no merece votar.

Señale qué conclusión está legítimamente apoyada por la premisa de que Juan es inmoral:

1. Juan debe estar equivocado en sus ideas sobre la arquitectura.

2. Juan es peligroso para la sociedad.

3. Las creencias de Juan son falsas.

Apelación indebida a la misericordia (Argumentum ad misericordiam). Cuando se nos

intenta convencer de que algo es verdad (y no sólo deseable) porque nuestra

aceptación aliviaría el sufrimiento presente o futuro de alguien. Ejemplo: El alma debe

ser inmortal pues, sin esa esperanza los humanos encontrarían difícil sobrevivir.

Cuando alguien dice “No me dejes” no está haciendo un razonamiento; está

simplemente haciendo una solicitud. Cuando añade “...porque me harías sufrir”, esto

puede entenderse (1) como una simple explicación de por qué no quiere que le

dejemos, y probablemente esa explicación es correcta: efectivamente no quiere que le

dejemos porque eso le haría sufrir. También podría ser (2) un argumento de la forma

“Si me abandonas sufriré mucho. Mi sufrimiento es algo que debe ser evitado. Por lo

tanto tú debes permanecer conmigo”. En este caso lo que tenemos un argumento

entimemático. Con la información adicional de que tal sufrimiento debe ser evitado a

toda costa se puede concluir la obligatoriedad de obedecer la solicitud. Efectivamente

se sigue la conclusión pero la segunda premisa es altamente cuestionable y

posiblemente por ello este escondida de forma entimemática. Probablemente el

abandono provoque sufrimiento, pero tal vez ese sufrimiento debe ser aceptado. Tal

vez haya cosas más valiosas que esa ausencia de dolor en particular. Tenemos un buen

108
 argumento pero falla la verdad de una de las premisas. Otra opción es que lo que

queremos decir es (3) que “Si te ausentas yo sufriré. Por lo tanto, debes por

misericordia quedarte conmigo”. Si queremos extraer la conclusión a partir de esa

única premisa se vuelve claro que el argumento aunque tenga la premisa verdadera de

que sin ese abandono provocara tal sufrimiento, falla en la inferencia porque la

conclusión no se sigue de esa única premisa. La dialéctica de esta situación será algo

así: La primera persona dice “No debes abandonarme”. La segunda persona entonces

puede inquirir si es una afirmación dogmática o tiene algún fundamento la primera

persona entonces puede añadir “Porque me harías sufrir”. La segunda persona puede

entonces hacer notar que de esa única premisa no se sigue la conclusión, que sería un

argumentum ad misericordiam, es decir, una falacia de apelación ilegitima a la

misericordia. La primera persona entonces puede decir que su argumento era

entimemático, que había dejado algo sin decir. Por ejemplo, que no se le debía hacer

sufrir. Entonces la segunda persona tiene derecho a cuestionar la verdad de esa

premisa y decirle que aunque tal vez como regla general no se le debe hacer sufrir, en

este caso en particular su sufrimiento no sería injusto porque no hay la obligación de

garantizar la felicidad de la persona y el que ella se sienta herida no significa que se le

haya herido. Se puede resentir algo sin estar siendo dañado. Además, puede haber

valores superiores a los de evitar esos sufrimientos como pueden ser preservar la

libertad de elección. No es lo mismo el deber de no lastimar que el deber de no hacer

que nadie se sienta lastimado. Puede existir el deber de no agredir injustificadamente

pero no hay manera de evitar que algunas personas injustificadamente nos sintamos

agredidos.

EJERCICIOS

109
Identifique si los siguientes discursos son falacias de apelación indebida a la misericordia:

1.- Si usted me reprueba entonces pierdo mi beca.

2.- Si usted me reprueba entonces pierdo mi beca por lo tanto no debe reprobarme.

3.- Si usted me reprueba entonces pierdo mi beca. Que yo no pierda mi beca es más importante que

cualquier otra cosa. Por lo tanto usted no debe reprobarme.

Petición de principio o círculo vicioso (Petitio Principii). Cuando las premisas contienen a

la conclusión tan explícitamente que sólo quienes ya aceptan la conclusión aceptarían

las premisas. Ejemplo: La música sólo refiere a objetos abstractos ya que no refiere a

objetos concretos. Una petición de principio es cuando se “pide”, se asume, desde el

principio algo que se va a concluir. En esos casos no se da evidencia para sostener lo

que se dice. Esto simplemente se repite (a veces se presupone incluso más de lo que se

quiere probar); nadie que no admita de antemano la conclusión admitiría esa

consecuencia. ¿Es esto un defecto lógico? En realidad no. Este tipo de argumento son

deductivamente validos ya que, dado que la conclusión está claramente en las

premisas, no pueden todas las premisas ser verdaderas sin que la conclusión también lo

sea. La conclusión se sigue necesariamente aunque sea nada más por el hecho de que

ella misma está en las premisas. Pero si es un razonamiento deductivo y válido, ¿por

qué decimos que es una falacia? ¿Acaso no todo argumento deductivo contiene a la

conclusión en las premisas? ¿Acaso aquello que se deduce necesariamente no es

extraído de las premisas que le contienen (aunque tal vez de manera no tan explícita

como los ejemplos que hemos dado). Efectivamente no es un defecto de validez, de

deducibilidad, lo que hace a estos argumentos defectuosos. Es un defecto retórico

aunque no lógico. La validez no es suficiente para constituir un buen argumento.

110
 Como algunos círculos son aceptables, le llamamos a este defecto retórico “círculo

vicioso”, “falacia de circularidad” o “falacia de petición de principio”. Una estrategia

para evitar circularidad es no tener una premisa equivalente a la conclusión o de la cual

la conclusión se siga de manera obvia. Es aceptable que se siga de una sola premisa si

la inferencia no es trivial, y normalmente no hay circularidad si la conclusión se

obtiene de la combinación de varias premisas pero en ninguna de ellas esta completa la

conclusión. Si estas diferentes premisas pueden ser apoyadas independientemente, se

pueden ir reuniendo los elementos para la conclusión sin tenerla hasta la inferencia

final y eso disminuye el riesgo de estar razonando circularmente.

EJERCICIOS

Identifique cuáles de los siguientes argumentos pecan de circularidad:

1. Las mujeres son superiores a los hombres porque los hombres son inferiores a las mujeres.

2. La vida es breve porque es demasiado corta.

3. Debes obedecerme porque sí.

4. Juan es honrado y trabajador porque Juan es trabajador y honrado.

5. Los obreros y los trabajadores son clases opuestas porque son enemigos de clase.

6. Debes honrar a tus padres porque es tu deber.

Argumento de autoridad fuera de lugar (Argumentum ad verecundiam). Cuando se trata de

apoyar en el prestigio de alguien una conclusión relativa a un área en la que esa

persona no tiene autoridad. Ejemplo: “La noción del vacío en la física cuántica es

inaceptable porque contradice la opinión de Aristóteles”. La apelación indebida a la

autoridad se comete cuando apelamos a una autoridad fuera de lugar. Por ejemplo el

111
 hecho de que a Newton le gustara cierto tipo de religión o que a Einstein le gustara

cierto tipo de bicicletas no es argumento a favor ni de ese tipo de religión ni de ese tipo

de bicicletas. Aunque Newton y Einstein eran muy inteligentes no eran especialmente

una autoridad ni en Teología ni en ciclismo. Tiene sentido apelar a la autoridad de

expertos de lo que se esta discutiendo pero cuando los expertos y personas famosas no

tienen una autoridad específicamente sobre el tema que se debate entonces es impropio

apelar a sus opiniones como evidencia para lo que apoyan.

EJERCICIOS

Explique por qué las siguientes apelaciones a la autoridad son falaces:

1. Lo característico de la poesía es poder crear realidades nuevas. Después de todo, así lo dijo el

gran poeta chileno Vicente Huidobro.

2. Las hadas existen, ya que eso sostuvo el gran escritor Arthur Conan Doyle.

3. El mejor sistema político es el fascismo pues así lo creía el gran poeta inglés Eszra Pound.

4. Se puede tener muchas vidas pasadas porque esa es la opinión de la gran actriz Shirley

MacLaine.

5. Las hojas en una rama le van dando un tercio de vuelta en cualquier planta, dado que eso

escribió el gran pintor Leonardo da Vinci.

Argumento de apelación indebida al pueblo (Argumentum ad populum). Hay ocasiones en

las que apelar a las creencias o decisiones populares del pueblo es legítimo. Por

ejemplo, en procedimientos democráticos el voto popular puede ser información

importante para concluir qué es lo que se debe hacer. Pero son apelaciones indebidas

cuando se consagra de manera acrítica cualquier cosa que la gente prefiera o crea

como si fuera infalible. Desgraciadamente, las masas pueden equivocarse tanto en sus

112
 creencias como en sus preferencias. Quien olvida esto fácilmente cae en la falacia de

apelación indebida al pueblo.

EJERCICIOS

1. Explique por qué se está apelando indebidamente a las opiniones populares:

2. El uso y costumbre de nuestra comunidad es matar a pedradas a las adúlteras. Por lo tanto, se

nos debe permitir continuar haciéndolo.

3. Nuestra costumbre nacional es que a los niños se les castigue con humo de chiles quemados

en los ojos. Por ende, esa práctica debe continuar.

4. Quien debe ocuparse de los hijos es exclusivamente la mujer. Pregúntale a quien quieras.

5. Éste es el mejor detergente pues el más vendido.

6. No conviene tener un horario de verano porque a la mayoría de la gente cree que no ahorrara

energía.

7. No debe permitirse la clonación humana porque la sociedad está en contra.

8. El mejor sistema económico es aquel que la mayoría elija.

9. Hay que promover el uso de la herbolaria porque es parte de nuestra tradición.

Otras falacias de atinencia son las siguientes:

Accidente. Extender un principio válido en la mayoría de los casos a contextos en que puede

no aplicarse. Ejemplos: Los hombres son curiosos; los hombres hacen la guerra;

entonces se hace la guerra por curiosidad. Mentir es malo; por ende, no se debe mentir

para salvar a un inocente.

113
Apelación indebida a la ignorancia (Argumentum ad ignorantiam). Cuando la única prueba

que se ofrece de la verdad de algo es que no tenemos prueba de su falsedad. Ejemplo:

Si no hay conocimiento de lo noumenal, éste no existe.

Falacia genética. Evaluar algo por su origen y no su condición presente. Ejemplo: Los

argumentos ad hominen y ad verecundiam.

Falsa causalidad (Post hoc, ergo propter hoc). Asumir que algo es un efecto sólo porque

sucede después. Ejemplo: La filosofía griega declinó por la muerte de Aristóteles pues

después de ésta, nada importante se hizo.

Falso dilema. Apoyar una conclusión en una disyunción que no es exhaustiva como si lo

fuera. Ejemplo: Ya que o somos materialistas o somos idealistas no podemos juzgar

sobre estos temas imparcialmente.

Generalización ilegítima. Tomar casos insuficientes y generalizar a su totalidad. Ejemplo:

He leído varios libros de filosofía francesa, y puedo concluir que los filósofos

franceses de este siglo son todos existencialistas.

Irrelevancia. Cuando las premisas no tienen injerencia en el tema de la conclusión. Ejemplo:

No es necesario estudiar a Santo Tomás porque es medieval.

6.4. Falacias de ambigüedad.

Equívoco u homonimia (Equivocatio). Usar una palabra en dos sentidos distintos y obtener

una conclusión como si se hubiera hablado de lo mismo. (La segunda aparición del

término puede variar de manera no esencial: por ejemplo, ``acabar'' puede reaparecer

como ``acabe'', ``termine'', ``terminar'', etc.) Ejemplo: Una semilla contiene al árbol y

al mismo tiempo no lo contiene; por lo tanto la naturaleza es contradictoria. Los

114
lenguajes humanos normalmente usan los mismos vocablos para decir cosas distintas.

Esto tiene la ventaja de que tenemos que aprender menos palabras y el contexto

generalmente nos indica cuál es el significado que tenemos en mente. Usar el mismo

vocablo para diferentes significados se dice “equivocidad” (“igual vocablo”). No es

objetable a menos que dé lugar a confusiones. Cuando vemos un anuncio en el

periódico que ofrece trabajo a “personal de ambos sexos”, nadie sensatamente lo

interpretaría como que está pidiendo personal hermafrodita. Además ese equívoco

forma parte de ningún argumento: no está ofreciendo una conclusión, está ofreciendo

un empleo. La mayoría de los equívocos son desambigüados por el contexto y los que

no, normalmente no están ofreciendo defensa de ninguna afirmación; no son malos

argumentos pues ni siquiera son argumentos. Por ende, no son falacias.

Desgraciadamente, a veces sí se ofrecen argumentos en los cuales se defiende algo

valiéndose de una confusión en los términos, aprovechándose de que una palabra

puede entenderse de más de una manera. Por ejemplo, cuando se quería concluir que

era imposible que un esposo violara a su esposa ya que el matrimonio los une en una

sola persona y una persona no se puede violar a sí misma. La premisa de que el

matrimonio une en una sola persona es verdad en cierto sentido de la palabra

“persona”. El que una persona no se puede violar a sí misma también es verdad pero

en un sentido diferente de la palabra “persona”. Y ese argumento se estaba

aprovechando de la equivocidad del término “persona”. O por ejemplo cuando

queremos concluir que algunos de los primeros cristianos eran marxistas porque los

comunistas son marxistas y algunos de los primeros cristianos compartían sus

posesiones, las tenían en común. Pero los comunismos de esos primeros cristiano y el

comunismo marxista son tipos diferentes de comunismo.

115
EJERCICIO

¿Cuál es la palabra que se está tomando en dos sentidos en las siguientes falacias de equivocación?

1. Einstein creía de adulto que todo es relativo. Si todo es relativo entonces es relativo que de

adulto yo debo evitar la crueldad. Por lo tanto Einstein creía de adulto que es relativo que yo

debo evitar la crueldad.

2. Los que hacen filosofía inteligentemente son filósofos. Newton hacía inteligentemente

Filosofía Natural. Por lo tanto, Newton era inteligentemente filósofo.

3. Actualmente debemos estar en favor de la vida. Todas las bacterias son actualmente una

forma de vida. Por lo tanto, debemos estar actualmente a favor de las bacterias dañinas.

Anfibología. A veces no es una palabra la que tiene varios sentidos sino toda una oración (tal

vez por su estructura sintáctica). Para distinguir esto de la equivocidad le llamamos

anfibología. Se presta a falacias cuando nos queremos aprovechar de los siguientes

significados para concluir algo ilegítimamente. Por ejemplo: “Fuera de lo existente

nada hay. Entonces hay algo fuera de lo existente: esta nada que hay fuera de lo

existente”.

División. Aplicar una propiedad a las partes sólo porque el todo la tiene. Esta falacia consiste

en concluir que algo tiene cierta propiedad tan sólo porque una colectividad a la que

pertenece tiene la propiedad. Ejemplos: Ya que este es un país pobre, todos sus

habitantes son pobres. Pero de que un equipo de futbol sea famoso no garantiza que

sus miembros lo sean. La falacia opuesta a ésta es la falacia de composición. Aplicar

una propiedad a un todo sólo porque las partes la tienen. Ejemplo: “Ya que cada

ingrediente es sabroso, el platillo será sabroso” . Los grupos pueden tener propiedades

de las que carecen sus integrantes y al revés.

116
EJERCICIO

Diga si se trata de una falacia de división o de composición:

1. Cada gota de mar es insignificante. Por lo tanto el mar es insignificante.

2. Tu país es machista. Por lo tanto, tú eres machista.

3. Nuestro cerebro es inteligente. Por lo tanto, nuestras neuronas son inteligentes.

4. Nuestras neuronas no son inteligentes. Por lo tanto, nuestras neuronas no son inteligentes.

5. Ningún voto en particular decide la elección. Por lo tanto, los votos no deciden la elección.

6. Un solo acto no define el carácter de una persona. Por lo tanto, el carácter no se define por los

actos.

7. Cada cosa que creemos puede estar equivocada. Por lo tanto, podemos estar equivocados

simultáneamente en todo lo que creemos.

8. Todo lo podemos malentender. Por lo tanto, lo podemos malentender todo.

9. Nadie puede saber todo. Por lo tanto, nadie puede saber nada.

10. La vida humana es vanidad. Por lo tanto, ayudar a nuestros semejantes es vanidad.

11. Un árbol no puede detener un deslave. Por lo tanto, un bosque no puede detener un deslave.

12. Los seres humanos desapareceremos un día. Por lo tanto la humanidad desaparecerá un día.

EJERCICIO

Identifique el tipo de falacia. (Las falacias mencionadas no se excluyen mutuamente. Por ejemplo, un

argumentum ad baculum es también una falacia de irrelevancia.)

1. El pensamiento de un esclavista como Sócrates no merece ser estudiado.

2. El grupo de los intelectuales en un país constituye una fuerza social importante; entonces yo,

como intelectual, soy una fuerza social importante.

117
3. El fin de una cosa es su perfección; la muerte es el fin de la vida; por lo tanto, la muerte es la

perfección de la vida.

4. Ningún hombre es inmortal, de modo que tarde o temprano la humanidad desaparecerá.

5. Lo que termine con las guerras es bueno; una masacre total acabaría con las guerras; entonces

una masacre total es buena.

6. Ya que este es un país rico, todos sus habitantes son ricos.

7. Como cada jugador es débil, el equipo es débil.

118
 CAPÍTULO 7

¿Cómo negar o añadir? (Lógica Proposicional)

BIOGRAFÍAS

La lógica proposicional fue desarrollada por Crisipo hace más de 22 siglos. Crisipo vivió desde por el

279 hasta por el 204 antes de Cristo. Encabezó la escuela Estoica y escribió más de 700 libros sobre

ética, física y lógica. Todos esos libros se han perdido y solamente tenemos citas de ellos en los libros

de otros escritores.

7.1 ¿Para qué sirve aprender esto? (Elementos del cálculo proposicional)

119
 7.2 ¿Cómo puedo presentar mis ideas? (Clasificación de las proposiciones)

7.3 ¿Cómo analizar lo que alguien dice? (Las conectivas lógicas)

RESUMEN INTRODUCTORIO

Las preguntas que trataremos de responder en esta sección serán:

A) ¿cómo sé si una expresión es una conectiva lógica veritativo-funcional?

B) Si es una conectiva lógica veritativo-funcional, ¿cómo sé cuál es?

OBJETIVOS BREVES

El objetivo de esta sección es poder identificar las expresiones del lenguaje

natural que corresponden a las conectivas lógicas veritativo-funcionales. Esto lo

haremos en dos pasos: en primer lugar definiremos qué son estas conectivas y en

segundo lugar presentaremos las más comunes. Así, cuando nos enfrentemos a una

expresión del español podremos decidir si es una conectiva lógica veritativo-funcional

y, en caso afirmativo, tratar de determinar cuál de ellas.

SECCIÓN: La naturaleza de las conectivas lógicas veritativo-funcionales.

120
Las conectivas lógicas veritativo-funcionales permiten construir estructuras para pensar.

La lógica sirve para evaluar qué tan confiable es nuestro procesamiento de la información. Para esta

evaluación de nuestro pensamiento, es útil conocer cómo están estructuradas nuestras creencias. Por

ejemplo, si creo que “no es falso que 2 + 2 = 4”, mi pensamiento tiene la estructura de una doble

negación: “no” niega a “es falso que”, que a su vez niega a “2 + 2 = 4”. De la estructura con doble

negación podemos inferir que 2 + 2 = 4, sin las negaciones. Y al revés, quien sostenga que 2 + 2 = 4,

debe aceptar que no es falso que 2 + 2 = 4.

En general, “no es falso que” puede añadirse o quitarse sin que cambie el significado de lo

que decimos. Por ello podemos añadir pares de negaciones cuando se necesiten o quitarlas cuando

estorben. Por ejemplo, es difícil entender “No es falso que no es falso que no es falso que no es falso

que 2 + 2 = 4”. Pero quitando pares de negaciones queda más claro lo que estamos diciendo.

Simplemente, que 2 + 2 = 4. Igual ocurre con “No es falso que no es falso que no es falso que no es

falso que hay buenas personas”. Podemos construir muchos ejemplos con la misma estructura.

¿Quieres una garantía de que estás procesando la información impecablemente? Siempre que tus

creencias tengan ciertas estructuras especiales, podrás inferir con seguridad ciertas otras creencias.

Por ello empezaremos por fijarnos en la estructura que tienen nuestras creencias. Por supuesto, a

veces el material que se procesa es deficiente (falso), y no hay seguridad de que al procesarlo

lleguemos a algo verdadero. Pero eso es otro problema; el procesamiento mismo está garantizado.

Hay estructuras de muchos tipos. Muchas de ellas resultan de conectar una o más creencias.

Con las conectivas lógicas veritativo-funcionales puedes construir nuevas oraciones con mayor

complejidad lógica. En esta sección vamos a revisar algunas maneras sencillas de conectar tus

creencias. Aunque no son las únicas estructuras posibles, son tan comunes que sirven para

comprender mejor nuestro pensamiento cotidiano. Una vez que conozcamos bien esas conectivas,

121
podremos manipularlas para pensar, aunque sea de modo elemental, sobre cualquier cosa que nos

interese.

Una conectiva lógica veritativo-funcional es cualquier expresión que represente una función

de verdad.

Cada razonamiento involucra una secuencia de proposiciones. Nos interesa estudiar la forma

lógica de esas secuencias pues la corrección de nuestros razonamientos depende de cómo se

relacionen lógicamente tales proposiciones. Una relación usual es que el valor de verdad de una

proposición compuesta dependa del valor de verdad de las proposiciones que contenga. Es

interesante que podamos calcular mecánicamente el valor de algunas proposiciones compuestas

simplemente revisando el valor de verdad de sus integrantes. Esto es lo que queremos decir al afirmar

que el valor de verdad del compuesto es una función de los valores de verdad de las partes: que

depende por entero de esos valores.

Una conectiva lógica veritativo-funcional es cualquier expresión de una función de verdad, es

decir, una expresión que siempre construye proposiciones complejas cuyo valor de verdad es una

función del valor de verdad de las expresiones constituyentes. En general, decimos que una

expresión es veritativo-funcional si forma compuestos en los que basta conocer el valor de verdad de

sus partes para saber el valor de verdad del compuesto total.

Al analizar argumentos con las técnicas que se verán en esta unidad, debe recordarse que sólo

manejaremos relaciones lógicas veritativo-funcionales. Las técnicas que se estudiarán aquí pueden

necesitar ulteriores refinamientos. Por ejemplo, en español, las expresiones

“Es falso que...”,

“... y ...”,

“... o ...”,

normalmente son veritativo-funcionales. Pero el español, igual que otros idiomas, no es un lenguaje

122
exacto. Mientras que las conectivas en lógica tienen siempre el mismo significado, las conectivas en

el habla cotidiana pueden significar algo veritativo-funcional en algunas ocasiones y algo no

veritativo-funcional en otras.

Para clarificar nuestro pensamiento, un buen dominio del idioma es indispensable. Lo que

importa no es lo que se dijo literalmente sino el significado de lo que se dijo. En el uso habitual del

español, hay un sentido no veritativo-funcional del “y” que marca una sucesión temporal entre dos

hechos. Suena raro decir que Sócrates murió y bebió cicuta. En contraste, para que sea verdad la

conjunción veritativo-funcional “Sócrates murió y Sócrates bebió cicuta”, es suficiente que ambas

proposiciones sean verdaderas.

Igualmente, hay “disyunciones” no veritativo-funcionales que requieren, para ser verdaderas,

haber agotado todas las alternativas posibles. “O tenemos dictadura o tenemos anarquía” es falso

porque no agota las posibilidades. Otras disyunciones exigen que las alternativas sean excluyentes y

para eso no basta con los valores de verdad de los componentes.

En esta unidad sólo analizaremos expresiones veritativo-funcionales. No analizaremos

expresiones como “Necesariamente el mundo existe” (estudiada por la lógica modal), “Es obligatorio

que el bien se realice” (estudiada por la lógica deóntica), o “La ciencia se adquiere después de hacer

experimentos” (estudiada por la lógica temporal). Pero analizaremos expresiones importantes que

podemos usar en nuestra vida diaria.

NOTAS CURIOSAS AL MARGEN

¿Sabías que...?

Aunque hay infinitas conectivas lógicas veritativo-funcionales, las seis que veremos son más que

suficientes para expresar cualquier relación lógica veritativo-funcional.

123
DIAGRAMAS CONCEPTUALES

Esquema de Contenido

A: La naturaleza de las conectivas lógicas veritativo-funcionales.

Las conectivas lógicas veritativo-funcionales

son

funciones de verdad
(porque el valor de verdad del compuesto es
una función del de las partes).

124
B: Identificación de algunas conectivas lógicas veritativo-funcionales.

Negación
(genera alternativas (Estas tres
exhaustivas y excluyentes)
componen

los

circuitos

lógicos)
Conjunción
(puramente veritativo-
funcional)

Las más tradicionales son:

Disyunción inclusiva
(menos común que la
disyunción exclusiva)

Implicación material
(debilitamiento de la estricta)

Equivalencia material
(debilitamiento de la estricta)

125
EJERCICIOS DE REPASO

1) Escriba una oración verdadera que sea necesariamente verdad.

2) Escriba una oración verdadera que no sea necesariamente verdad.

3) Escriba una oración falsa que no sea necesariamente verdad.

4) Por los ejemplos anteriores, es claro que la expresión “es necesariamente verdad” no es una

expresión veritativo-funcional. ¿Cuál par de ejercicios prueba esto?

( ) El 1 y el 2.

( ) El 1 y el 3.

( ) El 2 y el 3.

5) Encuentre otra expresión y demuestre que no es veritativo-funcional.

Límites del análisis proposicional.

( ) ¿Cuál de las siguientes proposiciones es una función de verdad de “Llueve”?

a) Sandra sabe que llueve.

b) Sandra creerá que llueve.

c) Llueve pero no llueve.

d) Posiblemente llueve.

e) Siempre llueve.

( ) ¿Cuál de las siguientes proposiciones es una función de verdad de “Llueve”?

a) “Llueve” tiene 6 letras.

126
 b) Nieva no es sinónimo con llueve.

c) Existe al menos una cosa que llueve.

f) Es falso que no sea cierto que no llueve.

g) En Veracruz llueve.

( ) ¿Cuál de los siguientes razonamientos puede ser demostrado proposicionalmente?

a) Si pienso, luego existo.

b) Si llueve y truena, entonces no es verdad que no llueve.

c) Si algo es necesario, es posible.

d) Si todos mienten, alguien miente.

e) Si Sandra sabe que llueve, entonces lo cree.

( ) ¿Cuál de los siguientes razonamientos puede ser demostrado proposicionalmente?

a) Si siempre seremos pobres, entonces no siempre no íbamos a ser pobres.

b) Si casi todas las aves vuelan, entonces los pingüinos vuelan.

c) Si esta moneda no tiene truco, la probabilidad de que caiga cara es de 50-50.

d) Si es obligatorio ser santo, debe ser posible serlo.

e) Si mentir equivale a no decir la verdad, decir la verdad equivale a no mentir.

SECCIÓN: Identificación de algunas conectivas lógicas proposicionales.

127
La negación

La primera conectiva lógica veritativo-funcional que examinaremos es la negación. Hay

muchas maneras de negar algo:

El dinero no es la felicidad.

Es falso que el dinero es la felicidad.

No es el caso que el dinero es la felicidad.

El dinero es cualquier cosa menos la felicidad.

Es inaceptable decir que el dinero es la felicidad.

Delira quien sostiene que el dinero es la felicidad.

No se afirma con verdad que el dinero es la felicidad.

Todas éstas son negaciones de la oración atómica “El dinero es la felicidad”. Pero en lógica no

buscamos la variedad sino la precisión al comunicar. Y, para que no haya malentendidos, es mejor

tener una sola expresión que señale a la negación y a nada más. El símbolo que usaremos (porque es

fácil de escribir a máquina) es “–”. Así, todas las expresiones anteriores para negar que el dinero es la

felicidad se reducen a –(El dinero es la felicidad). Aunque se pierden matices estilísticos, se gana en

precisión.

Para definir la negación, debemos decir exactamente cuál es su función lógica. Para nuestros

intereses, negar una proposición P es simplemente asegurar que P es falsa. En otras palabras, si P es

falsa, la negación de P es verdad; pero es falsa si P es verdad. Esto se puede visualizar en la figura 1,

que presenta la Tabla de Verdad de la negación.

P –P

128
 V F

F V

Fig. 1. Tabla de verdad de la negación. Otras simbolizaciones de –P son ~P, P y P.

Nos muestra el valor de verdad de la proposición compuesta de acuerdo con los valores de verdad

que tengan las proposiciones atómicas. Aplicando la figura 1 a nuestro ejemplo, tenemos

El dinero es la No es verdadero que el dinero es la

felicidad felicidad

Verdad Falso

Falso Verdad

Ahora bien, para negar algo no basta decir algo distinto. Una negación es como un polo

completamente opuesto. Por ejemplo, “Vivimos en una dictadura” no es la negación de “Vivimos en

una democracia” porque hay otras posibilidades, es decir, esas dos alternativas no son exhaustivas.

Por otro lado, las alternativas deben ser excluyentes. Por ejemplo, “Elena es joven” no es la negación

de “Elena es madre” porque se puede ser una madre joven.

Con cada par de proposiciones hay tres alternativas:

1. Ambas podrían alguna vez ser simultáneamente verdaderas.

2. Ambas podrían alguna vez ser simultáneamente falsas.

3. No podrían jamás ser simultáneamente verdaderas ni simultáneamente falsas.

Cuando una proposición es la negación de otra, el requisito de exclusividad cancela la

alternativa (1) y el requisito de exhaustividad cancela la alternativa (2). Es decir, una proposición y

su negación no podrían jamás ser simultáneamente verdaderas ni simultáneamente falsas. Por ello

decimos que una es la “contradictoria” de la otra.

129
 Para saber si P es la negación de Q, basta preguntarnos si podrían ser ambas simultáneamente

verdaderas y si podrían ser ambas simultáneamente falsas. Solamente cuando jamás podrían P y Q

tener el mismo valor de verdad es que una es la negación de la otra. En cualquier ocasión una tiene

que ser verdadera (exhaustividad) y la otra tiene que ser falsa (exclusividad).

EJERCICIO

Alguna gente cree erróneamente que, en los siguientes pares de proposiciones, una es la negación de la otra. Marca con

una X qué falta para que haya negación: la exhaustividad, la exclusividad, o ambas.

Proposición a negar ¿La negación? Ponga F si f alta Ponga F si falta exclusividad;

exhaustividad; no agotan las no se excluyen mutuamente;

posibilidades; podrían ser podrían ser simultáneamente

simultáneamente falsas verdaderas

La vida es siempre injusta La vida es siempre justa

La vida es siempre injusta La vida es siempre bella

A veces la vida es injusta A veces la vida no es injusta

Las mujeres son superiores Las mujeres son inferiores en

en todo a los hombres todo a los hombres

En algunos aspectos las En algunos aspectos las

mujeres son superiores a los mujeres no son superiores a

hombres los hombres

Las mujeres son superiores Las mujeres tienen mejor

en todo a los hombres memoria que los hombres

El ser humano nace bueno El ser humano nace malo por

por naturaleza naturaleza

El ser humano nace bueno El ser humano adulto comete

por naturaleza muchos crímenes

130
Algunos seres humanos son Algunos seres humanos no

buenos por naturaleza son buenos por naturaleza

Debemos pagar todos No debemos pagar impuestos

nuestros impuestos

Debemos pagar todos Debemos pagar el IVA

nuestros impuestos

Debemos pagar algunos Algunos impuestos no

impuestos debemos pagarlos

Escriba tres temas y tres hipótesis:

TEMA 1:

TEMA 2:

TEMA 3:

HIPÓTESIS 1:

HIPÓTESIS 2:

HIPÓTESIS 3:

131
Escriba tres ejemplos de negación de temas y tres ejemplos de negación de hipótesis:

NEGACIÓN DEL TEMA 1:

NEGACIÓN DEL TEMA 2:

NEGACIÓN DEL TEMA 3:

NEGACIÓN DE LA HIPÓTESIS 1:

NEGACIÓN DE LA HIPÓTESIS 2:

NEGACIÓN DE LA HIPÓTESIS 3:

Marque cuáles parejas de afirmaciones son “contrarias” (es decir, no pueden ser ambas verdaderas

pero pueden ser ambas falsas).

( ) Hace frío. Hace calor.

( ) Hace frío. No hace calor.

( ) Hace frío. Hace frío.

132
( ) Hace frío. No hace frío.

( ) No hace frío. No hace calor.

Marque cuáles parejas de afirmaciones son “contradictorias” (es decir, no pueden ser ambas

verdaderas ni ambas falsas).

( ) Hace frío. Hace calor.

( ) Hace frío. No hace calor.

( ) Hace frío. Hace frío.

( ) Hace frío. No hace frío.

( ) No hace frío. No hace calor.

Marque con una X lo que se sigue de las siguientes negaciones:

Es falso que eres inhábil. No eres orgullosa.

( ) Es cierto que eres inhábil. ( ) Es cierto que no eres orgullosa.

( ) Eres inhábil. ( ) Eres orgullosa.

( ) No eres inhábil. ( ) No es cierto que eres orgullosa.

( ) Es falso que no eres inhábil. ( ) Es falso que no eres orgullosa.

( ) Es cierto que no eres inhábil. ( ) Es cierto que eres orgullosa.

La conjunción

133
Otra conectiva lógica veritativo-funcional es la conjunción. Si la afirmamos nos comprometemos con

que las dos proposiciones que une son verdaderas. Si no son verdaderas ambas, el compuesto es falso.

Ejemplos de conjunción son:

La persona es espíritu y cuerpo.

La persona es espíritu encarnado.

La persona es espíritu encarnando.

La persona es espíritu pero corporal.

La persona es tanto espíritu como cuerpo.

La persona es espíritu además de ser cuerpo.

La persona es espíritu y la persona es cuerpo.

La persona, ese espíritu, es también un cuerpo.

La persona es espíritu aunque es también cuerpo.

La persona es espíritu; sin embargo, es corporal.

P Q P&Q

V V V

V F F

F V F

F F F

Fig. 2 Tabla de verdad de la conjunción. Otras simbolizaciones de P&Q

son PQ, PQ, PQ, KPQ; y PQ.

La tabla de verdad de la conjunción aparece en la figura 2. Aplicándola a nuestro ejemplo,

tenemos

134
 La persona es espíritu y
La persona es espíritu La persona es cuerpo
la persona es cuerpo

V V V

V F F

F V F

F F F

Una conjunción se simboliza como “&” (del latín et) y es verdadera sólo cuando las dos

proposiciones que la componen son verdaderas.

Una conjunción puede estar oculta en una coma, un punto y coma, un punto y seguido.

Incluso a veces se usa una construcción condicional para denotar una conjunción. Por ejemplo, “si el

pensamiento corrompe el lenguaje, el lenguaje también puede corromper el pensamiento” (George

Orwell, 1946).

EJERCICIOS

I. A veces, en español la partícula “y” no significa exactamente una conjunción lógica. Identifica qué

significa en las siguientes oraciones:

1. El & lógico (“y también es verdad que”)

2. Añade nombres para invocación

3. Introduce una pregunta retórica

( ) Yo soy culpable, ¿y qué?

( ) Los jóvenes cuestionan todo y resienten ser tratados como niños.

135
( ) ¡Jesús, María y José!

II. ¿En qué sentido es lo mismo, y en qué sentido es diferente decir “Vine, vi y vencí” y decir “Vencí,

vi y vine”?

Escriba tres pares de temas y tres pares de hipótesis:

TEMA 1A: TEMA 1B:

TEMA 2A: TEMA 2B:

TEMA 3A: TEMA 3B:

HIPÓTESIS 1A: HIPÓTESIS 1B:

HIPÓTESIS 2A: HIPÓTESIS 2B:

HIPÓTESIS 3A: HIPÓTESIS 3B:

Ponga en conjunción cada par de temas y cada par de hipótesis:

CONJUNCIÓN DE TEMAS 1:

136
CONJUNCIÓN DE TEMAS 2:

CONJUNCIÓN DE TEMAS 3:

CONJUNCIÓN DE HIPÓTESIS 1:

CONJUNCIÓN DE HIPÓTESIS 2:

CONJUNCIÓN DE HIPÓTESIS 3:

El juego de las conjunciones: Corte una hoja de papel en dos y escriba una afirmación distinta en

cada uno de los pedazos. Intercambie uno de los pedazos con el alumno detrás de usted y el otro

pedazo con el alumno frente a usted. Por turno, lea en voz alta las dos afirmaciones uniéndolas con

una conjunción.

Marque con una X lo que se sigue de las siguientes conjunciones:

Aunque joven, soy hábil. Eres orgullosa, pero honesta.

( ) No soy joven. ( ) No eres honesta.

137
( ) Soy hábil. ( ) Eres honesta.

( ) No soy hábil. ( ) No eres orgullosa.

( ) Estoy confundido. ( ) Eres orgullosa.

( ) Soy viejo. ( ) Eres deshonesta.

La disyunción

Una tercera conectiva lógica veritativo-funcional muy común es la disyunción. Aparece usualmente

como la llamada “disyunción exclusiva”. La encontramos cuando tenemos que elegir una de dos

alternativas. Por ejemplo, “Los entes o son o no son”. Esta disyunción excluye la posibilidad de que

ambos hechos ocurran. Aunque sea posiblemente la disyunción más común, por razones técnicas

nosotros emplearemos una disyunción que incluya la posibilidad de que ambos disyuntos ocurran. Es

la llamada “disyunción inclusiva”, simbolizada mediante “v” (del latín vel; la exclusiva se decía aut).

Por ejemplo, en “El ser humano es espíritu o es cuerpo” entenderemos la disyunción como inclusiva;

así, esa proposición será verdad incluso si el ser humano es tanto espíritu como cuerpo.

El ser humano es El ser humano es El ser humano es espíritu o

espíritu cuerpo el ser humano es cuerpo

V V V

V F V

F V V

F F F

Queda al buen criterio del lector detectar cuándo se usa la disyunción como inclusiva o como

exclusiva. Un indicador de que se trata de la inclusiva es el agregado “... o ambas cosas”. Y un

138
indicador de que se trata de la exclusiva es el agregado “... pero no ambas cosas”. Desgraciadamente,

la gente acostumbra omitir estas aclaraciones, por lo que debemos analizar el contexto para decidir de

qué disyunción se trata. Lo que no es equívoco es la tabla de verdad de la disyunción inclusiva en la

figura 3b.

P Q PQ

V V F

V F V

F V V

F F F

Fig. 3a. Tabla de verdad de la disyunción exclusiva.

P Q PvQ

V V V

V F V

F V V

F F F

Fig. 3b. Tabla de verdad de la disyunción inclusiva. Otras simbolizaciones de PvQ son PQ, PQ, APQ; y P+Q.

EJERCICIO

A veces en español la partícula “o” no significa una disyunción inclusiva, ni siquiera una

disyunción veritativo-funcional. Identifica qué significa en las siguientes oraciones:

1. El v lógico inclusivo (al menos uno)

139
2. Disyunción exclusiva no necesaria

3. Alternativas necesariamente exhaustivas

4. Alternativas entre preguntas

5. Alternativas entre mandatos

( ) Se es o no se es.

( ) ¡La bolsa o la vida!

( ) ¿Té o café?

( ) El platillo principal es pollo o cerdo.

( ) Una buena universidad tiene albercas o gimnasios.

La implicación material

Las conectivas que hemos visto son más que suficientes para simbolizar cualquier estructura

proposicional veritativo-funcional pero, para facilitar nuestros análisis, añadiremos otras dos

expresiones lógicas. Se trata de la implicación material (que también llamaremos “condicional

material” o simplemente “condicional”) y la equivalencia material (también llamada “coimplicación

material”, “bicondicional” o simplemente “equivalencia”).

P Q PQ

V V V

V F F

F V V

F F V

Fig. 5 Tabla de verdad de la implicación material. Otras simbolizaciones de PQ son PQ;

P>Q; y CPQ.

140
 La tabla de verdad del condicional material está en la figura 5, que puede leerse como –(P&–

Q), “no se da el caso de que lo primero sea verdad y lo segundo falso” o “no P sin Q”. También

puede leerse como (–PvQ), “o bien lo primero es falso o bien lo segundo es verdad (o ambas cosas)”.

Lo que ponemos antes del signo “É” lo llamamos, claro, “antecedente”; y a lo que le sigue,

“consecuente”. La condición suficiente es el antecedente y la necesaria el consecuente.

EJERCICIO

Identifica la condición necesaria (consecuente) y la condición suficiente (antecedente) en los

siguientes condicionales:

Condición propuesta como Condición propuesta como

necesaria si se da la otra suficiente para la otra

No hay mal que por bien no venga (no P

sin Q): “Viene un mal”, “Viene un bien”.

Piensa mal y acertarás: “Piensas mal”,

“Aciertas”.

Si te estacionas aquí te multan: “Te

estacionas aquí”, “Te multan.

Los políticos mienten: “X es político”, “X

miente”.

O dejas de soñar o te desilusionarás:

“Sigues soñando”, “Te desilusionas”.

También se acostumbra leer “(P  Q)” como “Si P, entonces Q”, aunque esto tiende a

confundir el condicional material veritativo-funcional con el condicional del lenguaje ordinario, que

normalmente no es veritativo-funcional. La expresión lógica más importante, “permite deducir que”,

no es veritativo-funcional. Por ejemplo, supón que hubo un crimen del que tú eres inocente, y nadie

141
te vio en la escena del crimen. (¿Por qué te iban a ver? Tú no estuviste ahí, ¿verdad?) Eso hace falsas

a las dos proposiciones “Te vieron en la escena del crimen” y “Tú eres culpable”. Como ambas son

falsas, el condicional material (Te vieron en la escena del crimen  Tú eres culpable) es verdadero.

Sin embargo, aunque el condicional material es verdadero, del antecedente no se sigue el

consecuente. Saber los valores de verdad de dos proposiciones atómicas o compuestas no siempre

basta para saber si de una se deduce la otra porque no es posible definir la necesidad en términos de

nuestras tablas de verdad.

En un ejercicio anterior vimos que “Necesariamente es verdad” (simbolizable como “”), no

era una expresión veritativo-funcional. Para un condicional estricto, no basta que no se dé el caso

accidental de que el antecedente sea verdad y el consecuente falso, sino que debe pasar así. Mientras

el condicional material dice que la segunda columna de la tabla en la figura 5 no ocurre, el

condicional estricto dice que no podría ocurrir. El condicional lógico, estrictamente hablando, es

idéntico a decir que el condicional material necesariamente es verdad: (P  Q).

¿Si el condicional estricto es el importante, por qué entonces usamos el condicional

material? El condicional material (P  Q) es uno de los requisitos para la verdad de una implicación

en sentido estricto: (P  Q).Sabemos que, en un razonamiento válido, si las premisas son

verdaderas la conclusión no puede ser falsa. Pero, si no puede ser falsa, entonces tampoco de hecho

lo es. Este condicional implícito es algo veritativo-funcional pues nos dice: “Es falso que ocurra (lo

primero y no lo segundo)” lo cual simbolizamos como –(lo primero & –lo segundo) y esa es nuestra

implicación material (P  Q). Simbolizamos las implicaciones estrictas (P  Q) con la implicación

material (P  Q) porque ésta es una condición necesaria, aunque en general no suficiente, de una

verdadera implicación.

En adelante abreviaremos las expresiones no veritativo-funcionales de implicación como si

fueran veritativo-funcionales. Simbolizaremos “De que pienso se sigue necesariamente que existo”

142
como “(P  Q)” que dice que no es el caso, de hecho, que piense sin existir en este momento.

Después de todo, si no puede ocurrir (P & –Q), entonces ciertamente no ocurre. Por ello podemos

simbolizar una implicación estricta (P  Q) con una simple implicación material (P  Q).

Perderemos información pero al menos no habrá riesgo de decir algo que no estuviera ya contenido

en los datos originales. Pero, ¡cuidado!, el camino inverso no siempre es posible. El que la relación

de valores de “” no ocurra no significa que no pueda ocurrir. El que hasta ahora a las revoluciones

(“R”) les acompañe la violencia (“V”) no significa que no pueda haber otra relación de valores de

verdad. Aunque sea verdadero que (R  V), aun así de R no se sigue V lógicamente, es decir, (P 

Q) es falso. Distinguir estas dos formas de implicación ayuda a no confundir el que ciertas cosas

ocurran con el que necesariamente tengan que ocurrir. Muchos prejuicios surgen de confundir

regularidades observadas con leyes.

¿Quiere esto decir que nunca podemos pasar del condicional material a la implicación

estricta? No exactamente. Si sabemos que la implicación material es falsa entonces no puede haber

implicación estricta porque si la relación de valores es falsa, entonces no puede ser necesaria. Por

supuesto, siempre que probemos que la implicación material es necesaria sabremos que la

implicación estricta es verdadera también. Aunque todavía no podemos manejar la implicación

estricta (que no es veritativo-funcional), simbolizaremos por lo menos la implicación material; si

descubrimos que esa implicación material es necesaria, el razonamiento será válido, habrá

implicación en sentido estricto. Si, por el contrario, descubrimos que la implicación material es falsa,

el razonamiento será inválido pues no puede haber implicación en sentido estricto. El tercer caso

(que ni sea necesaria ni falsa la implicación material) indica que nuestros análisis lógicos elementales

son insuficientes y que necesitamos herramientas más sofisticadas.

143
EJERCICIO

La implicación material no es una implicación estrictamente hablando. Explica por qué las

siguientes oraciones son verdaderas cuando se lee “A  B” como “ocurre de momento que no se da

A sin B” (implicación material), pero son falsas cuando se lee como “no puede jamás ocurrir A sin

B” (implicación estricta, (P  Q)).

1) P  (Q  P)

2) –P  (P  Q)

3) –(P  Q)  P

4) –(P  Q)  –Q

5) (P  Q) v Q  P)

Un condicional puede a veces ser detectado por las mismas expresiones para identificar

premisas y conclusiones. Esto es desafortunado porque no siempre es claro si estamos ofreciendo un

condicional como verdadero o un argumento como válido. La regla es que un condicional no se

compromete con la verdad de su antecedente ni con la de su consecuente. El argumento “Todo está

permitido pues Dios ha muerto” sostiene dos proposiciones y dice que una de ellas es evidencia para

la otra. En cambio, el condicional “Si Dios ha muerto, todo está permitido” no asevera ninguna de

las proposiciones; no dice que Dios haya muerto ni que todo esté permitido.

Ahora bien, una implicación estricta puede aparecer a su vez como una premisa en un

argumento (o como un antecedente en otro condicional). Si reemplazamos esa implicación estricta

con una implicación material estaremos queriendo extraer la conclusión (o el consecuente) de algo

más débil. Esto hace al argumento (o al condicional) más “arriesgado” de lo que era. Claro, a alguna

144
gente le agradará la oportunidad de decir algo más atrevido y controvertible. El problema es no

confundir ambas versiones cuando estamos tratando de entender lo que se dijo exactamente. Por

ejemplo, no sería justo dar por refutado el original simplemente refutando la versión más arriesgada.

De manera simétrica, si se debilita con “” la conclusión de un argumento (o el consecuente

de un condicional) no podremos dar por probado el argumento (o el condicional) fuerte original

simplemente porque probamos una versión más segura que se compromete a menos.

Puedes pensar en un argumento (o un condicional) como un edificio. Sobre la base de la

verdad de las premisas (o del antecedente) erigimos a la conclusión (o consecuente). Mientras más

sólida sea la inferencia, más resistente la armazón del edificio. Cuando reducimos el apoyo de las

premisas (o el antecedente), el edificio se hace más frágil. Cuando reducimos la conclusión (o el

consecuente), el edificio es más estable. Eso significa que para hacer más fuerte un argumento, basta

convertir a las implicaciones materiales en las premisas a estrictas. Otra manera de reforzar el

argumento es convertir implicaciones estrictas en las conclusiones a materiales. El camino inverso

hace al argumento más débil.

EJERCICIO

Di cuáles de los siguientes condicionales son verdaderos y cuáles falsos y por qué:

1. Si hay pecados que no te condenan –(P  C), entonces ser pecador no necesariamente te

condena –(P  C).

2. Si se viaja sin pagar –(V  P), entonces pagar no es condición necesaria para viajar –(V 

P).

3. Si de hecho no se viaja sin pagar (V  P), entonces pagar es condición necesaria para viajar

(V  P).

145
4. Si todos los enfermos de SIDA son homosexuales (S  H), entonces de que alguien tenga

SIDA se deduce que es homosexual (S  H).

5. Si la juventud implica inexperiencia (J  I), entonces de hecho no se es joven sin ser

inexperto (J  I).

6. Si la religiosidad implicara estrictamente la superstición (R  S), entonces la religiosidad

implicaría materialmente la superstición (R  S).

7. Si de la riqueza no se sigue lógicamente la felicidad –(R  F), entonces es falso que de

hecho los ricos son felices –(R  F).

8. Si trabajar mucho no implica ganar bien –(T  G), entonces quienes trabajan mucho no

ganan bien –(T  G).

¿Cuándo se vale reforzar o debilitar un argumento? Bueno, si quieres demostrarlo, se vale

hacerlo más inseguro. Así, demostrando la versión más insegura quedará también demostrada la

versión más segura. Pero, si lo que querías era refutar el argumento, entonces lo honrado es no

debilitarlo. Se vale reforzarlo. Así, si lo derrotas, habrás derrotado a su versión original más débil.

Claro, la tentación es hacer trampa. Presentar las opiniones ajenas más débiles de lo que son

para refutarlas con más facilidad, y traducir nuestras propias opiniones lo más seguras posibles,

aunque no sea su formulación original. Pero probar algo más seguro, o atacar algo más inseguro, son

victorias baratas que te alejan de la verdad.

Recapitulando: el simbolizar una implicación estricta mediante “” casi siempre es un

debilitamiento, pues nos quedamos con una parte necesaria pero normalmente no suficiente de la

implicación original. Si debilitamos con esta simbolización a una premisa (o a un antecedente)

146
estamos haciendo más arriesgado al argumento (o al condicional); en cambio si debilitamos una

conclusión (o un consecuente) hacemos más seguro al argumento (o al condicional). Eso está bien si

es lo que queríamos hacer, pero no podemos refutar algo simplemente refutando una versión más

arriesgada, ni podemos probar algo simplemente probando una versión más segura. Podemos dar por

refutado algo cuando refutamos su versión más segura, y darlo por demostrado cuando probamos su

versión más arriesgada

EJERCICIO

Evalúa las diferentes versiones del siguiente condicional: “Si las creencias que involucran solamente

ideas claras y distintas deben ser verdaderas (CV), entonces de que pienso se sigue

necesariamente que existo (PE)”.

Versión Es más Es más

arriesgada segura

Si las creencias que involucran solamente ideas claras y

distintas son verdaderas (CV), entonces de que pienso se

sigue necesariamente que existo (PE)

Si las creencias que involucran solamente ideas claras y

distintas deben ser verdaderas (CV), entonces de hecho

no pienso sin existir (PE)

La equivalencia material

147
 P Q PQ

V V V

V F F

F V F

F F V

Fig. 6 Tabla de verdad de la equivalencia material. Otras simbolizaciones de PQ

son PQ y P=Q, pero tienden

a confundirse con la coimplicación y la identidad.

La tabla de la equivalencia material está en la figura 6, que puede leerse como “no se da de

hecho que lo primero y lo segundo tengan distintos valores de verdad”, y como “o los dos son

verdaderos o los dos son falsos”. Lo único que dice es que las proposiciones que une tienen igual

valor de verdad. No dice que sean lo mismo ni que una se deduzca de la otra.

A veces, pero no siempre, una equivalencia material se presenta como:

P si y sólo si Q

P es lo mismo que Q

Es tan falso P como Q

Es tan verdadero P como Q

No hay diferencia entre decir P o decir Q.

P siempre y cuando Q.

Si P, Q, y si no, no.

148
 Hay dos peligros con la equivalencia material: usarla como traducción de una frase en español

que decía más (lo que es perder información), y usarla para simbolizar algo que decía menos (lo que

es atribuir cosas que nunca se dijeron).

Un ejemplo de lo primero es cuando se usan expresiones como “Hitler fue un conquistador, lo

mismo que Napoleón” o “Hitler atacó Rusia, al igual que Napoleón”. Esas expresiones son

conjunciones y por ello dicen más que una equivalencia material. Una conjunción dice que ambos

elementos tienen el valor Verdad, mientras que la equivalencia sólo dice que tienen el mismo valor,

pero no se compromete a decir cuál.

Otro ejemplo es la coimplicación, como cuando alguien dice “Todo aborto es homicidio si y

sólo si todo feto ya es ser humano”. La coimplicación significa que lo primero implica lo segundo y

viceversa. Para que una coimplicación sea verdadera, si uno de los elementos es verdad el otro debe

serlo, pues es implicado, y si uno es falso el otro debe serlo porque implicaba al falso; es decir, para

que una coimplicación sea verdadera se requiere que la correspondiente equivalencia material sea

verdadera. Como vimos con la implicación, a menudo nada grave ocurre cuando debilitamos la

información, pues estaremos haciendo más segura la afirmación. Desgraciadamente, la expresión

traducida puede estar en un contexto más amplio y si quien habla necesita la mayor información

posible (por ejemplo, si la expresión es parte de premisas o antecedentes), entonces traducir la

expresión como equivalencia material haría injustamente arriesgado el argumento o el condicional

original.

El segundo peligro es atribuir cosas que nunca se dijeron. Por ejemplo, supongamos que le

decimos a alguien que “si estudias medicina tus padres estarán orgullosos de ti”. Esa persona puede

cometer el error de traducirlo como una equivalencia: “si estudias medicina, y solamente en ese caso,

tus padres estarán orgullosos de ti”. No era una equivalencia porque podría ser que sus padres

estuvieran orgullosos aunque esa persona no estudiase medicina.

149
EJERCICIO

1. Expresa que P y Q son materialmente equivalentes usando solamente negación, conjunción y

disyunción.

2. Encuentra cinco expresiones ambiguas que se puedan entender como condicionales o como

equivalencias.

3. Ya que de (A&B) se sigue (AB), ¿se seguirá (AvB) de (AB)? ¿Por qué?

4. ¿Qué diferencia hay entre la equivalencia material y la disyunción exclusiva?

Identifica la conectiva lógica veritativo-funcional en las siguientes oraciones. Como algunas

oraciones pueden entenderse de varias maneras, se especifica entre paréntesis su interpretación.

N=Negación, C=Conjunción,

D=Disyunción inclusiva, X=Disyunción Exclusiva,

I=Implicación material, E=Equivalencia material.

1. El saber no ocupa lugar. (No es verdadero que el saber ocupa lugar.) ( )

2. El arte es largo y la vida es breve. ( )

3. O son angas o son mangas. (O son angas, o son mangas, o ambas cosas.) ( )

4. Todos llevamos una cruz colgada, unos suave y otros pesada. ( )

5. Cuando hay para carne, es vigilia. (Si hay para carne, entonces es vigilia.) ( )

6. Cada uno habla de la feria como le va en ella. (Uno habla bien de la feria siempre y cuando le

vaya bien en ella.) ( )

7. Una golondrina no hace verano. (No es verdad que una golondrina hace verano.) ( )

150
8. Para mentir y comer pescado, hay que tener mucho cuidado. (Hay que tener cuidado para mentir y

hay que tener cuidado para comer pescado.) ( )

9. En esta vida traidora, o se ríe o se llora. (En esta vida a veces se ríe, o en esta vida a veces se llora,

o ambas cosas.) ( )

10. ( )

11. Nunca es tarde si la dicha es buena. (No ocurre que: la dicha es buena pero es falso que hay

tiempo.) ( )

12. Tanto vales cuanto tienes. (Cuando tienes, vales, y cuando no, no.) ( )

13. Sobre gustos no hay nada escrito. ( )

14. El espíritu está presto, pero la carne es débil. ( )

15. En casa del jabonero, el que no cae, resbala. (O se cae, o se resbala, o ambas cosas.)( )

16. O se repica o se anda en la procesión. (O se repica o se anda en la procesión, pero no ambas

cosas.) ( )

17. Abril, aguas mil. (No hay abril sin muchas lluvias.) ( )

18. Al pasar el río: ¡Ay, santito mío! Pero ya pasado, santo olvidado. (Cuando hay peligro se rinde

pleitesía, pero cuando no, no.) ( )

19. No por mucho madrugar amanece más temprano. ( )

20. El infierno está lleno de buenos deseos y el cielo de buenas obras. ( )

21. Viejo que se casa con mujer moza, o pronto el cuerno o pronto la losa. ( )

22. O todos coludos o todos rabones. (O todos son coludos, o todos son rabones, pero no ambas

cosas.) ( )

23. Ladrido de perro, poblado cercano. (No hay ladrido de perro sin poblado cercano.) ( )

24. Barre la nuera lo que ve la suegra. (Si lo ve la suegra, la nuera lo barre, y si no, no.)( )

151
NOTAS CURIOSAS AL MARGEN

¿Notaste?

La negación es una conectiva, pero, ¿qué cosas conecta una negación? Suena raro decir que la

negación “conecta” a la sola proposición a la que se aplica. Es claro que la metáfora de la conexión

no debe tomarse literalmente. Lo que importa es que con la negación se construyen nuevas

oraciones.

¿Sabías que...?

La conjunción a veces está escondida. Hay dos casos que es útil conocer:

1) “P sin Q”, significa “P y no Q”

2) “Ni P ni Q” significa

“No P y no Q”.

¿Puedes hallar otros casos de conjunciones escondidas?

¿Sabías que...?

El calificativo “material” se usa para indicar que sólo atendemos a la “materia” de las proposiciones,

su verdad o su falsedad, y no al resto de su significado. Esa materia es todo lo que se requiere para

calcular el valor de verdad de la implicación y la equivalencia materiales.

152
BIOGRAFÍAS

El joven austriaco Ludwig Wittgenstein (1889-1951), presenta las tablas de verdad en su libro

Tractatus Logico-Philosophicus escrito en 1918, a los 29 años de edad.

La implicación estricta fue formalizada por Clarence Irving Lewis (1883-1964). La definimos como

la “necesitación” del condicional material: (P  Q), es decir “Necesariamente no es P verdad y Q

falso”. ¿Cómo podría definirse la equivalencia estricta?

APLICACIONES A LA VIDA COTIDIANA

Las estructuras de nuestro pensamiento son similares a otras estructuras en la realidad. Por ejemplo,

una negación es como un invertor eléctrico, que cambia el signo de la corriente eléctrica por su

opuesto. Una conjunción es como una conexión en serie: sólo pasa la corriente si todos los miembros

153
la dejan pasar. Una disyunción es como una conexión en paralelo: basta que pase la corriente por uno

de los miembros para que el circuito completo la deje pasar. Con estos elementos pueden construirse

complicadísimos circuitos eléctricos. En computación se les llama circuitos lógicos por su parecido

con las conectivas lógicas proposicionales y forman la parte lógica de la unidad de procesamiento

central (CPU) de las computadoras. En Japón se han desarrollado computadoras especialmente

diseñadas para hacer inferencias lógicas (LIPS) y no simplemente millones de instrucciones por

segundo (MIPS).

7.4 ¿Cómo expresarme con más precisión? (El lenguaje simbólico de la Lógica Proposicional)

RESUMEN INTRODUCTORIO

¿PARA QUE SIRVE SIMBOLIZAR?

Cuando uno estudia química o matemáticas uno de los rasgos que más llaman la atención es

que estas disciplinas tienen un lenguaje especial. Por ejemplo, el químico no dice que la sal de la

cocina esta formada por sodio y cloro; dice, misteriosamente, que Na + Cl -> NaCl. Para quien ha

estudiado química, esta fórmula no es misteriosa. Y quien ha estudiado matemáticas entiende que se

simbolice ``una comida para tres personas necesita la mitad de ingredientes que una comida para

seis''como 3a = 6a/2. También los físicos tienen sus símbolos especiales al igual que los ajedrecistas y

los lógicos. La gran ventaja de los símbolos es que permiten evitar ambigüedades. La sal de cocina no

es la única sal que existe: puede haber sales de olor, sal de mar, de mesa, industrializada, etc. Si en

lugar de decir ``sal'' decimos NaCl ya no hay ambigüedad. NaCl se lee ``cloruro de sodio'' para

remarcar que no hablamos de cualquier sal.

154
 Otra ventaja de usar símbolos es que es más sencillo visualizar una situación con ciertas

abreviaturas. Puede ser difícil entender: ``la suma de la división entre dos de una cantidad y la

división entre tres de otra y la división entre cuatro de la primera''. Es más sencillo comprender a/2 +

b/3 + a/4. Esta expresión permite ver y manejar más fácilmente lo que podría decirse con un lenguaje

más habitual pero también más engorroso y, en ocasiones, menos claro. Trate usted, por ejemplo, de

``leer'' en lenguaje habitual

{2/a - (b/4 + a/b)

_____________ =3ad/7cd.

c/4d + 3b/ac

Tal vez nadie piensa con fórmulas, pero ello no obsta para que valga el esfuerzo aprender técnicas

que a la larga servirán para clarificar y manejar mejor nuestro material. Además de que, al exigirnos

precisión, será más difícil que un autor nos haga aceptar de contrabando información dudosa.

Frases como ``la primera cantidad'', ``la segunda'', ``lo que pusimos antes'', se reemplazan con

letras lo mismo en el álgebra que en lógica. En álgebra las letras normalmente se refieren a

cantidades. En lógica empezaremos refiriéndonos a proposiciones. Después de todo, razonar es ir

encadenando proposiciones para que unas sirvan de apoyo a otras. Las proposiciones que pueden

usarse en filosofía son infinitas, pero ya que normalmente no manejamos más de una docena al

mismo tiempo, las letras del alfabeto nos bastarán. Podemos simbolizar ``Todo lo real es racional''

con la letra A o con la letra P, o con la que prefiramos. Es normal usar de la P en adelante. Si nos

faltan letras es suficiente escribir P', P'', P''', etc. Lo más conveniente es utilizar una letra que nos

recuerde el contenido de la oración. Así, en este caso podríamos usar una T o una R o una H (por

Hegel). Supongamos que escogemos R. Si además queremos simbolizar ``Todo lo racional es real'',

necesitamos usar otra letra para evitar confusiones: T, H, P, A u otra cualquiera. El gusto matemático

155
por variables sin valor mnemónico es a menudo abandonado en informática, donde se utilizan

simbolizaciones aún económicas pero más mnemónicas como ``REAL-RAC''. Mientras la

simbolización cubra los objetivos de claridad y precisión estos detalles quedan al gusto del lógico.

Traducción

La tarea de simbolizar tendrá normalmente las siguientes etapas:

1. Elimine expresiones si por el contexto se puede ver que son superfluas.

2. Agrege las premisas implícitas necesarias.

3. Detecte oraciones atómicas y refrasee para mostrar a cada una por separado. Es común tener

que completar varias de ellas. En la práctica, rara vez es necesario analizar compuestos cuyas

partes no aparecen en alguna otra combinación.

4. Ponga paréntesis para evitar ambigüedades. Es recomendable empezar por los más externos y

avanzar hacia el interior de las proposición.

5. Compruebe si hay conectivas veritativo-funcionales y simbolícelas.

6. Traduzca expresiones sinónimas a una sola forma.

7. Reemplace cada ocurrencia de una proposición por una constante proposicional escribiendo

aparte qué significa cada letra.

Consejo: La simbolización es un arte que depende tanto de nuestra sensibilidad lingüística como de

nuestra habilidad técnica. Por ello, no olvide cotejar después de cada paso el resultado con el original.

156
 EJERCICIOS

Simbolice las siguientes proposiciones:

1. El mal no existe.

2. El mal es sólo privación del bien.

3. El bien no existe.

4. Lo bello es bueno.

5. Lo bello es lo verdadero.

6. Lo bello es subjetivo.

7. Si lo bello fuese lo bueno, entonces sería subjetivo.

8. Es tan falso que lo bello sea lo bueno como que sea lo verdadero.

9. Si lo bello es subjetivo entonces no es lo verdadero ni lo bueno.

10. Si ni el mal ni el bien existen, entonces el mal no existe y/o el bien tampoco.

11. El mal existe sólo si el bien existe.

12. El mal no existe si es tan sólo una carencia de bien.

13. Miente (o dice la verdad) en la misma medida quien dice que lo bello es subjetivo como quien

sostiene que es lo bueno y lo verdadero.

14. Es falso que mienta quien dice que el mal y/o el bien no existen.

15. Es tan cierto que existe el bien, como que el mal no existe.

16. Dado que lo bello fuera subjetivo, se seguiría que es lo bueno en la misma medida que es lo

verdadero.

(Tenga cuidado con los paréntesis.)

157
 Consejos para traducciones difíciles.

1. Para efectuar un análisis lógico hay que extraer la información que se nos quiere transmitir a

pesar del ropaje retórico que la cubra. Por ejemplo, es común encontrar afirmaciones

formuladas como preguntas retóricas, órdenes o invocaciones.

2. En ``Descartes se interesó por la epistemología y Kant lo secundó, pero Descartes creía en el

argumento ontológico y Kant no lo secundó'', la frase ``Kant no lo secundó'' no está negando a

la anterior ``Kant lo secundó''. Esto se ve más fácilmente si completamos las oraciones a

simbolizar.

3. Nuestro condicional material es una versión debilitada de la implicación. De ésta pasamos a

aquél pero no al revés. Podemos decir que todo razonamiento lleva dentro un condicional

material pero no todo condicional material lleva un razonamiento. Por ello, si en una

conclusión tenemos un condicional material debemos refrenarnos de leerlo como ``si...

entonces...'' pues se prestaría a confusiones. Igualmente, si negamos una implicación no

podemos negar automáticamente el condicional material correspondiente pues éste es sólo una

parte de aquella, y tal vez la parte que no falló.

4. Muchas expresiones cambian su significado de acuerdo con el contexto. Por ejemplo:

a. P cuando Q

b. P siempre que Q

c. P sólo si Q

d. P siempre y cuando Q

e. P sólo a condición de que Q

pueden usarse para expresar o condicionales o bicondicionales o condicionales en que

primero se menciona lo que es el consecuente. Por ejemplo, ``P siempre y cuando Q'' puede

158
 significar (1) ``Si es verdad que P entonces es verdad que Q'' (condicional), (2) ``Si Q

entonces P'' (condicional ``invertido''), (3) ``O P y Q, o ni P ni Q'' (bicondicional). Hay que

buscar en el contexto indicios que nos revelen ante cuál conectiva lógica estamos.

5. La expresión ``P tanto como Q'' puede ser un bicondicional (``Es tan cierto P como Q'') o una

conjunción (``Es cierto tanto P como Q''). ``Son igualmente falsos P y Q'' es literalmente un

bicondicional por el ``igualmente'', pero es usado muchas veces como una conjunción de

negaciones.

6. La expresión ``No P a menos que Q'' puede ser un bicondicional o una disyunción.

7. Los paréntesis ayudan a evitar ambigüedades. ``No P sin que Q'' puede ser ``No (P sin que

Q)'' o ``(No P) sin que Q''. Es mejor perder elegancia que precisión.

EJERCICIOS

Analice el siguiente argumento, detecte su estructura y simbolícelo:

¿No es absurdo suponer que el ser humano tenga una naturaleza fija? Pues, ¿acaso no se

deduce de una naturaleza fija la imposibilidad del cambio? Es obvio que la imposibilidad del

cambio nos lleva a negar la perspectiva de la superación. Sabemos que esto último sería

inaceptable.

EJERCICIOS

Simbolice los siguientes razonamientos. Puede usar condicionales materiales para los nexos

inferenciales.

159
1. Mi actitud es aconceptual o no conceptual. CONCLUSIÓN: Mi actitud es aconceptual.

2. Mi actitud es desinteresada y desprovista de intereses. CONCLUSIÓN: Mi actitud es

desinteresada.

3. Incluso si negamos nuestra propia existencia debemos reconocer que existimos.

CONCLUSIÓN: Existimos.

4. La percepción es inmediata o insegura (o ambas cosas). La percepción desgraciadamente, no

es ni inmediata ni intuitiva. CONCLUSIÓN: La percepción es insegura.

5. Ockham fue un filósofo medieval. CONCLUSIÓN: Ockham fue un medieval filósofo.

6. Si no existe Dios todo está permitido. No todo está permitido. CONCLUSIÓN: Dios existe.

7. El ser humano logrará sus fines sólo si es sabio. No es posible que el hombre logre sus fines

siendo sabio. CONCLUSIÓN: El ser humano no logrará sus fines.

8. Hacer juicios estéticos objetivos es equivalente a hacer juicios estéticos intemporales.

[Cuidado: el ``in'' de ``intemporales'' niega al adjetivo, no al verbo.] No podemos hacer juicios

estéticos objetivos siendo estos intemporales. CONCLUSIÓN: Los juicios estéticos que

hacemos no son ni objetivos ni intemporales.

9. Si la mente es inmortal entonces es inmutable. La mente es inmortal y creada.

CONCLUSIÓN: La mente es inmutable.

10. De que los juicios éticos son objetivos se deduce que si fueran objetivos y confiables entonces

serían verdaderos. Los juicios éticos son objetivos y confiables. CONCLUSIÓN: Los juicios

éticos son verdaderos.

11. La persona es cuerpo y alma. La persona es voluntad. CONCLUSIÓN: La persona es cuerpo

y voluntad.

160
12. El universo es finito y/o no es mesurable. El universo es mesurable y/o es o bien finito o bien

ininteligible o ambas cosas. El universo es infinito. CONCLUSIÓN: El universo es

ininteligible.

13. Sabemos que o bien las verdades matemáticas son a priori o bien si son necesarias entonces

son a priori o ambas cosas. Las verdades matemáticas no son apriori pero son un ejemplo de

rigor. CONCLUSIÓN: Las verdades matemáticas no son necesarias.

14. Si el fin del estado es el poder, entonces la felicidad de los individuos no es el principal fin

político. El estado tiene como finalidad obtener el poder o el desarrollo social o ambas cosas.

El principal fin político es la felicidad de los individuos. CONCLUSIÓN: El estado tiene

como finalidad obtener el desarrollo social.

15. De que el alma sea una cosa en síy/o algo condicionado, se seguiría que el alma es substancia

en sentido absoluto. El alma es una cosa en sí. CONCLUSIÓN: El alma es substancia.

16. O bien es falso que una contradicción sea verdadera o bien una contingencia es aceptable o

ambas cosas, y/o una tautología es una verdad necesaria. Es mentira que o bien no es cierto

que una contradicción sea verdadera o bien una contingencia es aceptable o ambas cosas.

CONCLUSIÓN: Una tautología es una verdad necesaria y/o una contradicción no es

verdadera.

17. El hombre tiene un ser predeterminado. El hombre no puede elegir su ser. CONCLUSIÓN: El

hombre tiene un ser predeterminado o fijo y no puede elegir su ser.

18. Si la voluntad es libre entonces sigue sus propias reglas. Si la educación funciona entonces la

voluntad no sigue sus propias reglas. La educación funciona. CONCLUSIÓN: La voluntad no

es libre.

161
19. De que Dios existe se sigue que todo es bueno. Podemos concluir a partir de que todo es

bueno que las guerras son buenas y de que las guerras son buenas que Dios existe.

CONCLUSIÓN: O bien Dios no existe, o bien las guerras son buenas.

20. De que esa expresión tenga referencia se sigue que tiene significado. De que esa expresión

tenga significado se sigue que hay intensionalidad. CONCLUSIÓN: O bien esa expresión no

tiene referencia o bien sabemos tanto que tiene significado como que hay intensionalidad.

21. Ya sea que todo cambie o que nada cambie, podemos deducir que no hay conocimiento. Nada

cambia o todo cambia. CONCLUSIÓN: No hay conocimiento.

22. No es posible que las proposiciones de la ciencia sean necesarias y a posteriori. Las

proposiciones de la ciencia son necesarias, aunque o bien son a posteriori o no son totalmente

inductivas o ambas cosas. CONCLUSIÓN: Las proposiciones de la ciencia son necesarias y

no totalmente inductivas.

23. Existe algo que no cambia y/o: es imposible conocer la realidad y no podemos hablar con

verdad de ella. CONCLUSIÓN: Existe algo que no cambia y/o es imposible conocer la

realidad.

24. Si Dios existiera no habría guerras y/o no habría maldad. Ni deja de haber guerras ni deja de

haber maldad. CONCLUSIÓN: Dios no existe.

25. O bien los números son creaciones humanas y/o divinas o bien son eternos, o ambas cosas.

Los números no son creaciones humanas. CONCLUSIÓN: Los números son creaciones

divinas y/o eternos.

26. Si mi actitud es desinteresada y aconceptual entonces es una actitud estética. Mi actitud es

desinteresada. Mi actitud es aconceptual. CONCLUSIÓN: La mía es una actitud estética.

162
27. Si filosofamos correctamente, usamos la lógica. Dejamos de filosofar correctamente sólo si

dejamos de hacer bien filosofía. CONCLUSIÓN: O usamos la lógica o dejamos de hacer bien

filosofía.

28. Es falso que la historia sea o un devenir o una proyección de la voluntad o ambas cosas. El

que la historia fuera una manifestación del espíritu sin ser un devenir sería suficiente para que

todo estuviera determinado. Es un error creer que todo está determinado. CONCLUSIÓN: La

historia no debe entenderse como alguna manifestación del espíritu, llámesele a éste como se

quiera.

29. De que el alma es incorporea se deduce que no puede influír a un cuerpo. De que el cuerpo

sea inanimado se sigue que no es la persona. De que el alma no pueda influír al cuerpo se

concluye que el cuerpo es inanimado. El alma es incorporea. CONCLUSIÓN: El cuerpo no es

la persona y/o no es el sujeto y/o no es el alma, además de que el alma no es corporea.

30. El conocimiento es difícil de obtener. El conocimiento es un ideal. El conocimiento es

preocupación de los filósofos. CONCLUSIÓN: El conocimiento, esa preocupación de los

filósofos, es un ideal raro y difícil de obtener.

31. El arte busca la producción de lo bello. Si el arte fuera temporal entonces habría valores

estéticos relativos. Los valores estéticos no son relativos. CONCLUSIÓN: El arte es la

producción intemporal de lo bello y/o un puro juego de los sentidos.

32. Si el hombre no es ni ángel ni puro, entonces es una bestia. Si el hombre fuera ángel sería

puro. El hombre es impuro. CONCLUSIÓN: El hombre es una bestia o una máquina o ambas

cosas.

33. De que las comunidades científicas se guien por paradigmas se deduce que distintas teorías

pueden ser inconmensurables. Si no se puede decir qué teoría es más verdadera todo colapsa

en un relativismo. Dado que diferentes teorías posiblemente son inconmensurables, no se

163
 podría decir que teoría es más verdadera. CONCLUSIÓN: No es verdad que las comunidades

científicas sean guiadas por paradigmas pero podamos decir que teoría es más verdadera;

tampoco lo son sin que todo colapse en un relativismo.

34. Si no son los sentidos los que se equivocan entonces es la mente. Si los sentidos no juzgan, no

se equivocan. Si los sentidos sólo ``presentan'' la realidad, no juzgan. CONCLUSIÓN: Quien

se equivoca es la mente o los sentidos hacen más que ``presentar'' la realidad.

35. Si Alá es Dios entonces tiene todas las perfecciones. Si Alá tiene la existencia entonces existe.

Si Alá tiene todas las perfecciones entonces tiene la existencia. CONCLUSIÓN: Si Alá es

Dios, existe.

36. O bien la sociedad es un invento humano o bien el hombre tiene una naturaleza sociable y

cooperativa. La sociedad no es un invento. CONCLUSIÓN: El hombre tiene una naturaleza

cooperativa.

37. Si se debe obedecer a la autoridad entonces ésta tiene derecho de mandar. Si ha habido un

contrato social, hubo una decisión originaria popular. La autoridad tiene derecho de mandar

sólo si ha habido un contrato social. Nunca hubo una decisión popular originaria.

CONCLUSIÓN: No hay deber de obedecer a la autoridad o bien los anarquistas pierden su

tiempo.

38. O bien la fe es buena y confiable, o bien si es necesaria entonces debemos aceptar su

presencia, o ambas cosas. Si el conocimiento es problemático entonces la fe es necesaria. Es

falso que la fe sea buena y confiable. CONCLUSIÓN: O el conocimiento no es problemático

o debemos aceptar la presencia de la fe.

39. Si el bien es un universal entonces tiene existencia independiente. O el bien es un universal o

es un particular instanciado. El bien ni tiene existencia independiente ni es definible.

CONCLUSIÓN: El bien es un particular.

164
40. Gobiernen demócratas, oligarcas o ambos, la política es una lucha por el poder, lucha sucia y

sin cuartel. Todos los gobiernos son en realidad oligarquías. CONCLUSIÓN: La política es

una lucha por el poder, una lucha sin cuartel.

41. Si una modalidad es de re se refiere a las cosas mismas y si es de dicto se refiere a las

proposiciones. Las modalidades son de re o de dicto. Si una modalidad se refiere a las cosas

hay compromiso ontológico con entidades extralingüísticas; en cambio, si se refiere a las

proposiciones el compromiso es con entidades lingüísticas. CONCLUSIÓN: El compromiso

ontológico en las modalidades es con entidades, ya sean lingüísticas o extralingüísticas.

42. Si la materia es informe entonces no puede ser imaginada. Si la materia no existe entonces no

hay cosas fuera de la mente. Si la materia precede al espíritu entonces hay cosas fuera de la

mente, y si la materia es simultánea con el espíritu se sigue que puede ser imaginada. O bien

la materia no existe o bien es informe. CONCLUSIÓN: O bien la materia no precede al

espíritu o bien no es simultanea con él o ambas cosas.

43. Como encontramos en todo buen libro de filosofía, no puede ser que no existamos ya que la

existencia es condición necesaria del pensar y, a todas luces, pensamos.

44. Este es el mejor de los mundos posibles y si Dios lo creó, algún propósito superior debe

cumplir. Ya que si cumple algún propósito superior podemos deducir que nuestra vida tiene

sentido, estamos forzados a sostener que o bien nuestra vida tiene sentido o Dios no creó este

mundo.

45. Si es falso que hay verdades analíticas el relativismo es inevitable. Afortunadamente esto

último no es el caso. Concluimos que o bien hay algo seguro o nuestra filosofía ha equivocado

el camino, pues es impensable que no haya algo seguro al tiempo que haya verdades

analíticas.

165
 46. Ya que la necesidad y la relevancia son suficientes para la implicación, cuando hay necesidad

pero no hay implicación debe haber fallado la relevancia.

47. La justicia en situaciones de peligro conlleva una misericordia igualmente en condiciones de

peligro pues la justicia debe ser misericordiosa.

48. Aunque no ha muerto, sabemos que Dios ha muerto. CONCLUSIÓN: Todo está permitido.

49. Una guerra es una guerra injusta pues de necesidad la injusticia acompaña a la guerra.

50. O bien tenemos una cultura frágil o bien la tenemos incompleta. Después de todo, tenemos

cultura y ésta es o bien frágil o bien incompleta.

1. C = Mi actitud es conceptual (~C v ~C)  ~C

2. C = Mi actitud es interesada (~C & ~C)  ~C

3. E = Existimos (~E  E)  E

4. M = La percepción es mediata

S = La percepción es segura

I = La percepción es intuitiva {(~M v ~S) & (~~M & ~I)}  ~S

5. F = Ockham fue un filósofo

M = Ockham fue un medieval (F & M)  (M & F)

6. E = Dios existe

P = Todo está permitido {(~E  P) & ~P}  E

7. F = El ser humano logrará sus fines

S = El ser humano es sabio {(F  S) & ~(F & S)}  ~F

8. O = Se hacen juicios estéticos objetivos

I = Se hacen juicios estéticos intemporales {(O ≡ I) & ~(O & I)}  (~O & ~I)

166
9. M = La mente es mortal

U = La mente es mutable

C = La mente es creada {(~M  ~U) & (~M & C)}  ~U

10. O = Los juicios éticos son objetivos

C = Los juicios éticos son confiables

V = Los juicios éticos son verdaderos {<O  [(O & C)  V]> & (O & C) }  V

11. C = La persona es cuerpo

A = La persona es alma

V = La persona es voluntad {(C & A) & V}  (C & V)

12. F = El universo es finito

M = El universo es mesurable

I = El universo es inteligible {<(F v ~M) & [M v (F v ~I)]> & ~F}  ~I

13. A = Las verdades matemáticas son a priori

N = Las verdades matemáticas son necesarias

R = Las verdades matemáticas son un ejemplo de rigor {[A v (N  A)] & (~A & R)}  ~N

14. P = El fin del estado es el poder

F = La felicidad de los individuos es el principal fin político

D = El fin del estado es el desarrollo social {[(P  ~F) & (P v D)] & F}  D

15. E = El alma es una cosa en sí

C = El alma es algo condicionado

S = El alma es substancia

A = El alma es substancia en sentido absoluto {[(E v C)  (S & A)] & E}  S

16. V = Una contradicción es verdadera

A = Una contingencia es aceptable

167
 N = Una tautología es una verdad necesaria {[(~V v A) v N] & ~(~V v A)}  (N v ~V)

17. P = El hombre tiene un ser predeterminado

E = El hombre puede elegir su ser

F = El hombre tiene un ser fijo {P & ~E}  {(P v F) & ~E}

18. L = La voluntad es libre

R = La voluntad sigue sus propias reglas

E = La educación funciona {[(L  R) & (E  ~R)] & E}  ~L

19. D = Dios existe

B = Todo es bueno

G = Las guerras son buenas {(D  B) & [(B  G) & (G  D)]}  (~D v G)

20. R = Esa expresión tiene referencia

S = Esa expresión tiene significado

I = Hay intensionalidad {(R  S) & (S  I)}  {~R v (S & I)}

21. T = Todo cambia

N = Nada cambia

C = Hay conocimiento {[(T v N)  ~C] & (N v T)}  ~C

22. N = Las proposiciones de la ciencia son necesarias

P = Las proposiciones de la ciencia son a posteriori

I = Las proposiciones de la ciencia son totalmente inductivas {~(N & P) & [N & (P v ~I)]}  (N &

~I)

23. E = Existe algo que no cambia

C = Es posible conocer la realidad

H = Podemos hablar con verdad de la realidad {E v (~C & ~H)}  (E v ~C)

24. D = Dios existe

168
 G = Hay guerras

M = Hay maldad {[D  (~G v ~M)] & (~~G & ~~M)}  ~D

25. H = Los números son creaciones humanas

D = Los números son creaciones divinas

E = Los números son eternos {[(H v D) v E] & ~H}  (D v E)

26. D = Mi actitud es desinteresada

C = Mi actitud es conceptual

E = Mi actitud es una actitud estética {<[(D & ~C)  E] & D> & ~C}  E

27. C = Filosofamos correctamente

L = Usamos la lógica

B = Hacemos bien filosofía {(C  L) & (~C  ~B)}  (L v ~B)

28. D = La historia es un devenir

V = La historia es una proyección de la voluntad

M = La historia es una manifestación del espíritu

T = Todo está determinado {<~(D v V) & [(M & ~D)  T]> & ~T}  ~M

29. C = El alma es corporea

I = El alma puede influír a un cuerpo

A = El cuerpo es animado

P = El cuerpo es la persona

S = El cuerpo es el sujeto

E = El cuerpo es el alma {<[(~C  ~I) & (~A  ~P)] & (~I  ~A)> & ~C}  {[(~P v ~S) v ~E]

& ~C}

(Nota: es posible identificar P con S.)

30. D = El conocimiento es difícil de obtener

169
 I = El conocimiento es un ideal

P = El conocimiento es preocupación de los filósofos {(D & I) & P}  {P & (I & D)}

31. B = El arte busca la producción de lo bello

T = El arte es temporal

V = Hay valores estéticos relativos

T = El arte es un puro juego de los sentidos {[B & (T  V)] & ~V}  {(~T & B) v J}

32. A = El hombre es un ángel

P = El hombre es puro

B = El hombre es una bestia

M = El hombre es una máquina {<[(~A & ~P)  B] & (A  P)> & ~P}  (B v M)

33. P = Las comunidades científicas se guian por paradigmas

D = Distintas teorías pueden ser inconmensurables

V = Se puede decir qué teoría es más verdadera

R = Todo colapsa en un relativismo {[(P  D) & (~V  R)] & (D  ~V)}  {~(P & ~~V) & ~(P

& ~R)}

34. S = Los sentidos se equivocan

M = La mente se equivoca

J = Los sentidos juzgan

P = Los sentidos sólo ``presentan'' la realidad {[(~S  M) & (~J  ~S)] & (P  ~J)}  (M v ~P)

35. D = Alá es Dios

P = Alá tiene todas las perfecciones

T = Alá tiene la existencia

E = Alá existe {[(D  P) & (T  E)] & (P  T)}  (D  E)

36. I = La sociedad es un invento humano

170
 S = El hombre tiene una naturaleza sociable

C = El hombre tiene una naturaleza cooperativa {[I v (S & C)] & ~I}  C

37. O = Se debe obedecer a la autoridad

M = La autoridad tiene derecho de mandar

C = Ha habido un contrato social

D = Hubo una decisión originaria popular

A = Los anarquistas pierden su tiempo {<[(O  M) & (C  D)] & (M  C)> & ~D}  (~O

v A)

38. B = La fe es buena

C = La fe es confiable

N = La fe es necesaria

D = Debemos aceptar la presencia de la fe

P = El conocimiento es problemático {<[(B & C) v (N  D)] & (P  N)> & ~(B & C)} 

(~P v D)

39. U = El bien es un universal

E = El bien tiene existencia independiente

P = El bien es un particular

I = El bien es un particular instanciado

D = El bien es definible {<(U  E) & [U v (P & I)]> & (~E & ~D)}  P

40. D = Gobiernan demócratas

O = Gobiernan oligarcas

P = La política es una lucha por el poder

S = La política es una lucha por sucia

C = La política es una lucha por sin cuartel {<(D v O)  [P & (S & C)]> & O}  (P & C)

171
41. R = Se es una modalidad de re

C = Se refiere a las cosas mismas

D = Se es una modalidad de dicto

P = Se refiere a las proposiciones

E = Hay compromiso ontológico con entidades extralingüísticas

L = Hay compromiso ontológico con entidades lingüísticas

{<[(R  C) & (D  P)] & (R v D)> & [(C  E) & (P  L)]}  (E v

L)

42. M = La materia es informe

P = La materia puede ser imaginada

E = La materia existe

F = Hay cosas fuera de la mente

P = La materia precede al espíritu

S = La materia es simultánea con el espíritu

I = La materia es informe{<[(M  ~P) & (~E  ~F)] & [(P  F) & (S  P)]> & (~E v M)}  (~P v

~S)

43. E = Existimos

P = Pensamos {(P  E) & P}  ~~E

44. M = Este es el mejor de los mundos posibles

D = Dios creo este mundo

P = Este mundo cumple algún propósito superior

S = Nuestra vida tiene sentido {[M & (D  P)] & (P  S)}  (S v ~D)

45. V = Hay verdades analíticas

R = El relativismo es evitable

172
 S = Hay algo seguro

F = Nuestra filosofía ha equivocado el camino {[(~V  ~R) & ~~R] & ~(~S & V)}  (S v F)

46. N = Hay necesidad

R = Hay relevancia

I = Hay implicación {(N & R)  I}  {(N & ~I)  ~R}

47. J = Hay justicia

P = Hay peligro

M = Hay misericordia {J  M}  {(J & P)  (M & P)}

48. D = Dios ha muerto

P = Todo está permitido {D & ~D}  P

49. G = Hay guerra

I = Hay injusticia {G  I}  {G  (G & I)}

50. T = Tenemos una cultura

F = Nuestra cultura es frágil

I = Nuestra cultura es incompleta {P & (F v I)}  {(P & F) v (P & I)}

Nota: “Ø” representa la negación, “&” la conjunción, “v” la disyunción inclusiva, “É” la implicación

material y “º” la equivalencia material. Son paréntesis ( ) [ ] { } < >. “p, q, r...” son símbolos

proposicionales.

Reconocer cuando una fórmula está bien formada y cuando no.

( ) ¿Cuál de las siguientes fórmulas está bien formada?

a) p v q v r

173
 b) [p v (q v r])

c) p v (q v )

d) (p v q) v r

e) p v q & r

( ) ¿Cuál de las siguientes fórmulas está mal formada?

a) Ø (Øp & Øp)

b) Ø(p & Øp)

c) (Øp & p)

d) Ø(Øp & p)

e) p v Øq & Ør

Traducir del español a la lógica y de la lógica al español. p = Anochece; q = Llueve.

( ) ¿Cuál sería la mejor traducción de “Anochece sin llover”?

a) p

b) Øq

c) p ºØq

d) p & Øq

e) p É Øq

( ) ¿Cuál sería la mejor traducción de “p v q”?

a) Anochece sin llover

b) Anochece cuando llueve

174
 c) Anochece siempre y cuando llueva

d) Anochece y/o llueve.

e) Anochece lloviendo.

( ) ¿Cuál sería la mejor traducción de “p É q”?

a) Anochece a causa de que llueve

b) Llueve siempre que anochece

c) De hecho no llueve sin anochecer

d) Jamás puede llover sin anochecer

e) La razón de que llueva es que anochece

7.5 ¿Cómo hablar bien? (Reglas sintácticas)

7.6 ¿Cómo reconocer lo inevitable y lo imposible? (Tablas de verdad)

RESUMEN INTRODUCTORIO

TABLAS DE VERDAD PARA ARGUMENTOS

Podemos empezar a hacer algunos análisis lógicos de argumentos con lo que hemos aprendido.

Veamos la tabla de verdad de la siguiente proposición:

Si bien el conocimiento humano no es limitado, sabemos que se equivocará quien piense, ya

que sea limitado, ya que sea cierto; nuestro consuelo es que el conocimiento humano no es

seguro.

175
Nótese que esto no es un argumento pues faltan indicadores de premisas o conclusión. Es sólo una

una proposición compuesta que analizaremos antes de enfrentarnos a argumentos con varias

proposiciones.

Lo primero que hacemos es ``limpiar'' el pasaje de retórica quitando expresiones superfluas desde el

punto de vista informativo como ``nuestro consuelo es que''. (El contexto debe indicarnos cuando

expresiones como ``es verdadero'' son superfluas y cuando no.) Obtenemos

Si bien el conocimiento humano no es limitado, es falso que sea limitado o cierto; el

conocimiento humano no es seguro.

El segundo paso es detectar las proposiciones atómicas y abreviarlas. Aquí es necesario reducir

expresiones sinónimas a una sola.

L = El conocimiento humano es limitado.

C = El conocimiento humano es cierto (= es seguro).

Si bien no L, es falso que L o C; no C.

El tercer paso es localizar las partículas veritativo-funcionales y simbolizarlas. El resultado es: [-L &

-(L v C)] & -C.

La tabla de verdad se construye ahora empezando por las proposiciones atómicas. En primer lugar

anotamos las combinaciones de valores de verdad que existen para las proposiciones atómicas que

tenemos:

L C [- L & - (L v C)] &

176
 - C

V V

V F

F V

F F

Nótese que cada nueva letra duplica el número de combinaciones posibles. Para una letra hay dos (V

y F), para dos letras hay cuatro (que acabamos de escribir), para tres hay ocho, para cuatro dieciséis,

etc. En general, si n es el número de letras, las combinaciones son 2^n.

A continuación anotamos: (1) los valores debajo de cada proposición atómica que aparezca en la

compuesta:

[- L & - (L v C)] &

L C
- C

V V V V V V

V F V V F F

F V F F V V

F F F F F F

(2) los valores de las negaciones sobre proposiciones atómicas de acuerdo a la tabla de verdad de la

negación vista en el capítulo anterior (tachando los valores que ya no vamos a utilizar):

177
 [- L & - (L v C)] &
L C
- C

V V F V V V F V

V F F V V F V F

F V V F F V F V

F F V F F F V F

(3) los valores de las conectivas que enlacen proposiciones atómicas, negadas o no, y de las

negaciones de negaciones (tachando los valores que ya no vamos a utilizar):

[- L & - (L v C)] &

L C
- C

V V F V V V V F V

V F F V V V F V F

F V V F F V V F V

F F V F F F F V F

(4, 5, 6,...) los valores de las conectivas lógicas que falten y cuyos miembros vayan adquiriendo

valor. En nuestro caso

L C [- L & - (L v C)] &

178
 - C

V V F V F V V V F V

V F F V F V V F V F

F V V F F F V V F V

F F V F V F F F V F

[- L & - (L v C)] &

L C
- C

V V F V F F V V V F V

V F F V F F V V F V F

F V V F F F F V V F V

F F V F V V F F F V F

[- L & - (L v C)] &

L C
- C

V V F V F F V V V F F V

V F F V F F V V F F V F

F V V F F F F V V F F V

F F V F V V F F F V V F

179
Bajo la conectiva principal encontramos sintetizada la información de toda la proposición compuesta:

quien la afirme se compromete, ya que es el único caso de verdad, a que ni L ni C.

No era muy difícil ver que la proposición original decía eso. Lo interesante es cerciorarnos de que

dice eso y nada más que eso. Mientras más compleja sea la estructura proposicional de un enunciado,

más ventajosa será la tabla de verdad que nos dice con claridad cuándo el enunciado sería verdadero

y cuándo falso.

EJERCICIOS

Simbolice y obtenga las tablas de verdad de las siguientes proposiciones; analice los resultados y

llegue a conclusiones.

1. O bien la felicidad es el placer o bien es falso que al mismo tiempo el dolor sea malo y la

felicidad sea el placer.

2. El alma es inmortal si y sólo si: es inmortal y además, o es inmortal o divina o ambas cosas.

Dé la tabla de verdad de las diez últimas proposiciones en los ejercicios de la sección "Oraciones

atómicas y compuestas" y las diez últimas de la sección "Traducción".

Análisis de argumentos

Al elaborar la tabla de verdad de cualquier proposición compuesta descubrimos qué combinaciones

de valores de verdad de las proposiciones atómicas la hacen verdadera (si es que hay alguna) y cuáles

180
la hacen falsa (si es que hay alguna). Cuando todas las combinaciones dan como resultado verdad

decimos que la proposición es una tautología. Si siempre dan falsedad decimos que se trata de una

contradicción. Y si en algunas combinaciones obtenemos verdad y en otras falsedad, decimos que la

proposición compuesta es una contingencia.

El método para analizar veritativo-funcionalmente un argumento será: (1) Poner las premisas en

conjunción. (2) Hacer un condicional asociado que tenga como antecedente la conjunción de las

premisas y como consecuente la conclusión. El condicional material entre premisas y conclusión

reemplaza al ``De ... se deduce ...''; la proposición condicional que resulta es el condicional asociado

correspondiente al razonamiento que sustituye. (3) Hacer la tabla de verdad de esta proposición

compuesta. Si la tabla muestra que es tautológica, el razonamiento es válido. Si la tabla muestra que

es contradictoria, el razonamiento es inválido.

Recordemos que un razonamiento válido es aquel en el cual no sólo los valores de verdad de

premisas y conclusión no son V y F respectivamente de hecho sino que no podrían serlo. En otras

palabras, un condicional material colocado entre premisas y conclusión siempre daría verdad. Si es

válido por razones veritativo-funcionales, su tabla de verdad deberá mostrar que se trata de una

tautología. Si es inválido por razones veritativo-funcionales, su tabla de verdad deberá mostrar que se

trata de una contradicción. Y si su validez o invalidez no se deben a la estructura veritativo-funcional,

la tabla de verdad mostrará que es una contingencia.

¿Y si la tabla muestra que es contingente? Para sorpresa de algunos, ¡no hay decisión! El condicional

asociado al argumento no es tautológico ni contradictorio; es decir, el argumento mismo no es válido

181
veritativo-funcionalmente ni inválido veritativo-funcionalmente. Pero bien puede todavía ser

lógicamente válido o inválido.

Es muy importante resistir la tentación de concluir que el argumento original no es lógicamente

válido cuando la tabla muestra que el condicional asociado no lo es.

Recuérdese que un argumento puede tener diferentes formas lógicas pero para ser lógicamente válido

sólo necesita una forma lógica válida. El que tenga alguna otra forma inválida no indica que el

argumento pueda llevarnos de verdad a falsedad. No hay que confundir al argumento con su

condicional asociado.

Esta contingencia veritativo-funcional detectada por la tabla de verdad nos dice que el condicional

asociado no es necesario, pero el argumento original podía tener características que se han perdido en

la traducción y que lo hacían válido. La contingencia veritativo-funcional del condicional asociado no

implica la contingencia lógica del argumento original. Para llegar a tal conclusión, que es más fuerte,

tendríamos que estar seguros que la cuestion de su validez debía ser veritativo-funcional, es decir,

que todas sus formas lógicas no veritativo-funcionales son inválidas.

Pronto veremos formas que son proposicionalmente inválidas pero lógicamente válidas. Esto no debe

ser una sorpresa. El hecho de que algo no sea válido en virtud de sus conectivas

veritativo-funcionales no significa que no sea válido por otras razones. Por ejemplo, si la Tierra gira

entonces hay al menos un objeto en el universo que gira. Esto es una verdad lógica pero no tiene una

tabla de verdad tautológica. Su validez lógica no le viene de las conectivas proposicionales sino de

las propiedades lógicas de frases como "hay al menos un...".

182
Veamos un ejemplo sencillo en que evitamos el paso (1) por tener una sola premisa. Simbolicemos el

siguiente razonamiento:

Si es cierto tanto que la percepción es mediata como que es causalmente provocada, entonces

se deduce que es tan cierto que la percepción es inmediata como que es causalmente

provocada.

Obtenemos

I = La percepción es mediata

C = La percepción es causalmente provocada

(I & C)  (-I  C)

y la tabla de verdad es

(I & C)

I C  (- I 

C)

V V V V V F F V F V

V F V F F V F V V F

F V F F V V V F V V

F F F F F V V F F F

lo que nos indica que el razonamiento no es válido por su forma veritativo-funcional pues el

condicional asociado no es verdadero para cualquier posible asignación de valores en esa estructura.

En especial, si son verdaderas tanto I como C, el condicional asociado resulta falso.

183
Para juzgar de la validez veritativo-funcional de un razonamiento podemos:

1. Simbolizar premisas y conclusiones.

2. Poner todas las premisas en conjunción.

3. Unir la conjunción de las premisas con la conclusión mediante un condicional (el condicional

asociado a ese razonamiento).

4. Obtener la tabla de verdad de esta proposición compuesta. La conectiva principal es el

condicional asociado y será la última en recibir valores.

5. Hacer una evaluación con los siguientes criterios:

a. Si la tabla final (bajo la conectiva principal) contiene sólo Vs, la proposición no puede

ser falsa, es una verdad lógica (tautología) y el razonamiento del que partimos es

válido.

b. Si la tabla final contiene sólo Fs, la proposición no puede ser verdadera, es una

contradicción lógica y el razonamiento del que partimos es inválido.

c. Si la tabla final contiene tanto Vs como Fs, el enunciado es veritativo-funcionalmente

contingente y no podemos concluir ni que el razonamiento es válido ni que no lo es.

Recuerde que un razonamiento puede ser válido por razones no veritativo-funcionales. Podría

contener estructuras más finas que lo hacen válido pero nuestra lógica no ser lo bastante sutil para

detectarlas. A un argumento válido por razones veritativo-funcionales a veces se le llama, por

extensión, tautológico, pero no todos los argumentos válidos son tautológicos.

Consejo: ya que la tautología exige que sólo haya Vs en la tabla de verdad final, existe un método

llamado asignación de valores consistente en encontrar una asignación o combinación de valores de

184
verdad para las proposiciones atómicas de forma que el valor de verdad del compuesto sea F. Una

sola de tales asignaciones es suficiente para demostrar que un condicional asociado no es tautológico,

evitándonos con ello desarrollar toda la tabla de verdad. Ya que todas las premisas del antecedente

deben resultar V y la conclusión F, es útil comenzar, al ir asignando valores a las letras, con letras

solas y negaciones, con las conjunciones en el antecedente (pues sólo tienen un caso de verdad), y

con los condicionales o disyunciones que haya en el consecuente (pues sólo tienen un caso de

falsedad).

EJERCICIOS DE REPASO

( ) ¿Qué renglón de la siguiente tabla de verdad tiene un error?

1 p q (p & q) É Øp

_____________________________

2 V V V

3 V F V

4 F V V

5 F F V

( ) ¿Cuál de las siguientes fórmulas no es una tautología proposicional?

a) (p & Øp) É Øp

b) (p & Øp) É p

c) (p & p) É p

d) (p É Øp) É p

e) (p É Øp) É Øp

185
( ) ¿Cuál de las siguientes fórmulas es una contingencia proposicional?

a) Øp É (p v Øp)

b) p É (p v Øp)

c) Øp É (p v p)

d) p É (p v Øp)

e) Øp É (p v Øp)

( ) ¿Cuál de las siguientes fórmulas es una contradicción proposicional?

a) Øp º (Øp v Øp)

b) p º ( p v Øp)

c) Øp º ( p v p)

d) p º ( p v Øp)

e) Øp º ( p v Øp)

( ) ¿Cuál de las siguientes fórmulas podría ser el condicional asociado al argumento: “Podemos

saber que llueve por dos razones: tendremos buena cosecha siempre y cuando llueva y es

mentira que no tendremos buena cosecha”?

a) [(p É q) & ØØp] v q

b) [(p & q) & ØØp] º q

c) [(p v q) v ØØp] & q

d) [(p º q) & ØØp] É q

e) [(p º q) & ØØq] & q

186
( ) ¿Cuál de las siguientes asignaciones de valores muestra que “p & (q É Øp)” es consistente?

a) p=V, q=V

b) p=V, q=F

c) p=F, q=V

d) p=F, q=F

( ) ¿Cuál de las siguientes asignaciones de valores muestra que “p v (q É p)” no es tautológica?

a) p=V, q=V

b) p=V, q=F

c) p=F, q=V

d) p=F, q=F

Reglas de inferencia

( ) ¿Cuál de los siguientes principios no es una ley lógica?

a) Ø(p É Øp)

b) p É p

c) p v Øp

d) Ø (p & Øp)

e) (p & Øp) É p

EJERCICIOS

Demuestre la validez de los siguientes razonamientos mediante el método de tablas de verdad.

187
51. Mi actitud es aconceptual o no conceptual. CONCLUSIÓN: Mi actitud es aconceptual.

52. Mi actitud es desinteresada y desprovista de intereses. CONCLUSIÓN: Mi actitud es

desinteresada.

53. Incluso si negamos nuestra propia existencia debemos reconocer que existimos.

CONCLUSIÓN: Existimos.

54. La percepción es inmediata o insegura (o ambas cosas). La percepción desgraciadamente, no

es ni inmediata ni intuitiva. CONCLUSIÓN: La percepción es insegura.

55. Ockham fue un filósofo medieval. CONCLUSIÓN: Ockham fue un medieval filósofo.

56. Si no existe Dios todo está permitido. No todo está permitido. CONCLUSIÓN: Dios existe.

57. El ser humano logrará sus fines sólo si es sabio. No es posible que el hombre logre sus fines

siendo sabio. CONCLUSIÓN: El ser humano no logrará sus fines.

58. Hacer juicios estéticos objetivos es equivalente a hacer juicios estéticos intemporales.

[Cuidado: el ``in'' de ``intemporales'' niega al adjetivo, no al verbo.] No podemos hacer juicios

estéticos objetivos siendo estos intemporales. CONCLUSIÓN: Los juicios estéticos que

hacemos no son ni objetivos ni intemporales.

59. Si la mente es inmortal entonces es inmutable. La mente es inmortal y creada.

CONCLUSIÓN: La mente es inmutable.

60. De que los juicios éticos son objetivos se deduce que si fueran objetivos y confiables entonces

serían verdaderos. Los juicios éticos son objetivos y confiables. CONCLUSIÓN: Los juicios

éticos son verdaderos.

61. La persona es cuerpo y alma. La persona es voluntad. CONCLUSIÓN: La persona es cuerpo

y voluntad.

188
62. El universo es finito y/o no es mesurable. El universo es mesurable y/o es o bien finito o bien

ininteligible o ambas cosas. El universo es infinito. CONCLUSIÓN: El universo es

ininteligible.

63. Sabemos que o bien las verdades matemáticas son a priori o bien si son necesarias entonces

son a priori o ambas cosas. Las verdades matemáticas no son apriori pero son un ejemplo de

rigor. CONCLUSIÓN: Las verdades matemáticas no son necesarias.

64. Si el fin del estado es el poder, entonces la felicidad de los individuos no es el principal fin

político. El estado tiene como finalidad obtener el poder o el desarrollo social o ambas cosas.

El principal fin político es la felicidad de los individuos. CONCLUSIÓN: El estado tiene

como finalidad obtener el desarrollo social.

65. De que el alma sea una cosa en síy/o algo condicionado, se seguiría que el alma es substancia

en sentido absoluto. El alma es una cosa en sí. CONCLUSIÓN: El alma es substancia.

66. O bien es falso que una contradicción sea verdadera o bien una contingencia es aceptable o

ambas cosas, y/o una tautología es una verdad necesaria. Es mentira que o bien no es cierto

que una contradicción sea verdadera o bien una contingencia es aceptable o ambas cosas.

CONCLUSIÓN: Una tautología es una verdad necesaria y/o una contradicción no es

verdadera.

67. El hombre tiene un ser predeterminado. El hombre no puede elegir su ser. CONCLUSIÓN: El

hombre tiene un ser predeterminado o fijo y no puede elegir su ser.

68. Si la voluntad es libre entonces sigue sus propias reglas. Si la educación funciona entonces la

voluntad no sigue sus propias reglas. La educación funciona. CONCLUSIÓN: La voluntad no

es libre.

189
69. De que Dios existe se sigue que todo es bueno. Podemos concluir a partir de que todo es

bueno que las guerras son buenas y de que las guerras son buenas que Dios existe.

CONCLUSIÓN: O bien Dios no existe, o bien las guerras son buenas.

70. De que esa expresión tenga referencia se sigue que tiene significado. De que esa expresión

tenga significado se sigue que hay intensionalidad. CONCLUSIÓN: O bien esa expresión no

tiene referencia o bien sabemos tanto que tiene significado como que hay intensionalidad.

71. Ya sea que todo cambie o que nada cambie, podemos deducir que no hay conocimiento. Nada

cambia o todo cambia. CONCLUSIÓN: No hay conocimiento.

72. No es posible que las proposiciones de la ciencia sean necesarias y a posteriori. Las

proposiciones de la ciencia son necesarias, aunque o bien son a posteriori o no son totalmente

inductivas o ambas cosas. CONCLUSIÓN: Las proposiciones de la ciencia son necesarias y

no totalmente inductivas.

73. Existe algo que no cambia y/o: es imposible conocer la realidad y no podemos hablar con

verdad de ella. CONCLUSIÓN: Existe algo que no cambia y/o es imposible conocer la

realidad.

74. Si Dios existiera no habría guerras y/o no habría maldad. Ni deja de haber guerras ni deja de

haber maldad. CONCLUSIÓN: Dios no existe.

75. O bien los números son creaciones humanas y/o divinas o bien son eternos, o ambas cosas.

Los números no son creaciones humanas. CONCLUSIÓN: Los números son creaciones

divinas y/o eternos.

76. Si mi actitud es desinteresada y aconceptual entonces es una actitud estética. Mi actitud es

desinteresada. Mi actitud es aconceptual. CONCLUSIÓN: La mía es una actitud estética.

190
77. Si filosofamos correctamente, usamos la lógica. Dejamos de filosofar correctamente sólo si

dejamos de hacer bien filosofía. CONCLUSIÓN: O usamos la lógica o dejamos de hacer bien

filosofía.

78. Es falso que la historia sea o un devenir o una proyección de la voluntad o ambas cosas. El

que la historia fuera una manifestación del espíritu sin ser un devenir sería suficiente para que

todo estuviera determinado. Es un error creer que todo está determinado. CONCLUSIÓN: La

historia no debe entenderse como alguna manifestación del espíritu, llámesele a éste como se

quiera.

79. De que el alma es incorporea se deduce que no puede influír a un cuerpo. De que el cuerpo

sea inanimado se sigue que no es la persona. De que el alma no pueda influír al cuerpo se

concluye que el cuerpo es inanimado. El alma es incorporea. CONCLUSIÓN: El cuerpo no es

la persona y/o no es el sujeto y/o no es el alma, además de que el alma no es corporea.

80. El conocimiento es difícil de obtener. El conocimiento es un ideal. El conocimiento es

preocupación de los filósofos. CONCLUSIÓN: El conocimiento, esa preocupación de los

filósofos, es un ideal raro y difícil de obtener.

81. El arte busca la producción de lo bello. Si el arte fuera temporal entonces habría valores

estéticos relativos. Los valores estéticos no son relativos. CONCLUSIÓN: El arte es la

producción intemporal de lo bello y/o un puro juego de los sentidos.

82. Si el hombre no es ni ángel ni puro, entonces es una bestia. Si el hombre fuera ángel sería

puro. El hombre es impuro. CONCLUSIÓN: El hombre es una bestia o una máquina o ambas

cosas.

83. De que las comunidades científicas se guien por paradigmas se deduce que distintas teorías

pueden ser inconmensurables. Si no se puede decir qué teoría es más verdadera todo colapsa

en un relativismo. Dado que diferentes teorías posiblemente son inconmensurables, no se

191
 podría decir que teoría es más verdadera. CONCLUSIÓN: No es verdad que las comunidades

científicas sean guiadas por paradigmas pero podamos decir que teoría es más verdadera;

tampoco lo son sin que todo colapse en un relativismo.

84. Si no son los sentidos los que se equivocan entonces es la mente. Si los sentidos no juzgan, no

se equivocan. Si los sentidos sólo ``presentan'' la realidad, no juzgan. CONCLUSIÓN: Quien

se equivoca es la mente o los sentidos hacen más que ``presentar'' la realidad.

85. Si Alá es Dios entonces tiene todas las perfecciones. Si Alá tiene la existencia entonces existe.

Si Alá tiene todas las perfecciones entonces tiene la existencia. CONCLUSIÓN: Si Alá es

Dios, existe.

86. O bien la sociedad es un invento humano o bien el hombre tiene una naturaleza sociable y

cooperativa. La sociedad no es un invento. CONCLUSIÓN: El hombre tiene una naturaleza

cooperativa.

87. Si se debe obedecer a la autoridad entonces ésta tiene derecho de mandar. Si ha habido un

contrato social, hubo una decisión originaria popular. La autoridad tiene derecho de mandar

sólo si ha habido un contrato social. Nunca hubo una decisión popular originaria.

CONCLUSIÓN: No hay deber de obedecer a la autoridad o bien los anarquistas pierden su

tiempo.

88. O bien la fe es buena y confiable, o bien si es necesaria entonces debemos aceptar su

presencia, o ambas cosas. Si el conocimiento es problemático entonces la fe es necesaria. Es

falso que la fe sea buena y confiable. CONCLUSIÓN: O el conocimiento no es problemático

o debemos aceptar la presencia de la fe.

89. Si el bien es un universal entonces tiene existencia independiente. O el bien es un universal o

es un particular instanciado. El bien ni tiene existencia independiente ni es definible.

CONCLUSIÓN: El bien es un particular.

192
90. Gobiernen demócratas, oligarcas o ambos, la política es una lucha por el poder, lucha sucia y

sin cuartel. Todos los gobiernos son en realidad oligarquías. CONCLUSIÓN: La política es

una lucha por el poder, una lucha sin cuartel.

91. Si una modalidad es de re se refiere a las cosas mismas y si es de dicto se refiere a las

proposiciones. Las modalidades son de re o de dicto. Si una modalidad se refiere a las cosas

hay compromiso ontológico con entidades extralingüísticas; en cambio, si se refiere a las

proposiciones el compromiso es con entidades lingüísticas. CONCLUSIÓN: El compromiso

ontológico en las modalidades es con entidades, ya sean lingüísticas o extralingüísticas.

92. Si la materia es informe entonces no puede ser imaginada. Si la materia no existe entonces no

hay cosas fuera de la mente. Si la materia precede al espíritu entonces hay cosas fuera de la

mente, y si la materia es simultánea con el espíritu se sigue que puede ser imaginada. O bien

la materia no existe o bien es informe. CONCLUSIÓN: O bien la materia no precede al

espíritu o bien no es simultanea con él o ambas cosas.

93. Como encontramos en todo buen libro de filosofía, no puede ser que no existamos ya que la

existencia es condición necesaria del pensar y, a todas luces, pensamos.

94. Este es el mejor de los mundos posibles y si Dios lo creó, algún propósito superior debe

cumplir. Ya que si cumple algún propósito superior podemos deducir que nuestra vida tiene

sentido, estamos forzados a sostener que o bien nuestra vida tiene sentido o Dios no creó este

mundo.

95. Si es falso que hay verdades analíticas el relativismo es inevitable. Afortunadamente esto

último no es el caso. Concluimos que o bien hay algo seguro o nuestra filosofía ha equivocado

el camino, pues es impensable que no haya algo seguro al tiempo que haya verdades

analíticas.

193
96. Ya que la necesidad y la relevancia son suficientes para la implicación, cuando hay necesidad

pero no hay implicación debe haber fallado la relevancia.

97. La justicia en situaciones de peligro conlleva una misericordia igualmente en condiciones de

peligro pues la justicia debe ser misericorde.

98. Aunque no ha muerto, sabemos que Dios ha muerto. CONCLUSIÓN: Todo está permitido.

99. Una guerra es una guerra injusta pues de necesidad la injusticia acompaña a la guerra.

100. O bien tenemos una cultura frágil o bien la tenemos incompleta. Después de todo,

tenemos cultura y ésta es o bien frágil o bien incompleta.

194
 CAPÍTULO 8

¿Todos o algunos? (Lógica cuantificacional)

RESUMEN INTRODUCTORIO

No es difícil construir un argumento. Una manera de hacerlo es empezar con un temario,

es decir, con una lista de temas que nos parezcan interesantes. Por ejemplo, a mí me interesan los

siguientes temas: las leyes lógicas del razonamiento válido, cómo saber si algo es racional, cómo

puede cambiarse sensatamente de creencias, qué tan falibles somos los seres pensantes, la enseñanza

de la lógica. Ya con varios temas, escogemos uno de ellos sobre el cual tengamos una opinión

controvertible. Es importante no decir algo que sea generalmente aceptable. Las creencias que todos

aceptamos no suscitan discusión y por ello raramente requieren ser justificadas con argumentos.

Escogemos pues algo lo más controvertible posible. Por ejemplo, sobre la enseñanza de la lógica, yo

creo que para principiantes no debe enseñarse lógica formal sino análisis lógico de argumentos del

lenguaje natural. Esto es controvertible; ciertamente la mayoría de los cursos actuales de lógica se

desentienden lo más rápido posible del lenguaje natural y se circunscriben a lo que puede ser

expresado en lenguajes formales.

Una vez propuesta una tesis controvertible, necesito defenderla ofreciendo razones que la

apoyen. Es decir, la trato como la conclusión de algunas premisas. Desgraciadamente a menudo no

sabemos cuáles premisas invocar.

Construyendo argumentos mediante reglas lógicas

Proponer proposiciones que justifiquen nuestra tesis es a veces la parte más difícil. Sabemos

qué queremos decir y cuál es su alcance, pero no sabemos de dónde se podría obtener. Es decir,

195
tenemos la conclusión pero nos es difícil identificar sus premisas. Aquí nos podemos aprovechar de

la labor de miles de lógicos que a través de los tiempos han descrito y clasificado las formas más

comunes de obtener conclusiones de manera lógicamente impecable. Veremos aquí 32 de ellas, un

verdadero arsenal de estrategias para argumentar lógicamente. Por supuesto, faltan muchas otras

reglas no veritativo-funcionales, pero estas pocas pueden dar una idea de como usar la lógica para

estructurar una argumentación.

Hay reglas de tres tipos: las reglas incondicionadas, que son reglas que permiten introducir

enunciados sin necesidad de premisas, las reglas de inferencia, mediante las cuales extraemos nuevas

consecuencias de lo que decimos, y las reglas de equivalencia, en las que sólo cambiamos la forma

de lo que decimos y seguimos diciendo lo mismo, ni más ni menos. A pesar de sus nombres raros, la

mayoría de estas reglas corresponden a reglas que usamos a menudo sin darnos cuenta, como aquel

personaje de Molière que hablaba en prosa sin saberlo.

Comprender una regla lógica es mucho más difícil que simplemente aprender a aplicarla

correctamente. Comprender involucra darse cuenta de lo que la regla "dice'' o "muestra'', del hecho

lógico que la hace válida. Para descubrir qué es lo que una regla dice es útil hacer al menos cinco

cosas:

Leer. Antes que nada lea la regla en un pseudo-español lógico. Por ejemplo, "Si P entonces

P o Q'' (simbolizado "P  (P v Q)"). Pero léalo de varias maneras para captar todos los matices: "P es

condición materialmente suficiente para la disyunción inclusiva de P o Q'', o bien, "Para que se dé P

es condición materialmente necesaria que sea verdad al menos uno de P o Q''. La realidad es

prismática, es decir, permite muchos enfoques diferentes. Lea cada regla de muchas maneras.

Parafrasear. Trate ahora de leer la regla en lenguaje coloquial, de la manera en que podría

decirse normalmente. Por ejemplo, "Nada ocurre sin que ocurra ello u otra cosa''. Aunque no sean

traducciones exactas, ayudarán a entender por qué alguien pudo ofrecer tales reglas como válidas.

196
 Ejemplificar. Una vez que se ha leído la regla en un lenguaje lo más natural posible, toca

revestir a la estructura abstracta con ejemplos concretos, conectados a los intereses de cada persona.

Sin este paso crítico, la lógica puede aparecer desconectada de otros temas y se perdería uno de los

más importantes beneficios de estudiarla. Por ejemplo, si nos interesa Sócrates, podemos dar el

ejemplo: "Sabiendo que Anito mintió, podemos afirmar que al menos un acusador de Sócrates (Anito

o alguno de los otros) mintió''.

Evaluar. Después de leer, parafrasear y ejemplificar, es probable que ya se entienda la regla.

Es el momento de preguntarse honestamente si se acepta tal regla como un principio de

razonamiento. )Estamos dispuestos a confiar en ella, poner la mano en el fuego en defensa de su

validez? Es decir, )creemos que la regla debe ser aceptada por todo ser racional? Sin este paso, que

es íntimo y personal, la regla no ha sido asumida vivencialmente; es decir, no se ha incorporado

conscientemente esta herramienta lógica a nuestra manera de pensar.

Probar. Y finalmente, hay que intentar demostrar la validez de cada regla que aceptemos.

Reglas incondicionadas

Identidad: P  P: Toda proposición se implica a sí misma.

Uso: Sirve para aumentar la presencia de alguna proposición.

Principio de No Contradicción: -(P & -P): Quien afirma una contradicción miente.

Uso: Permite introducir material en una derivación.

Principio del Tercio Excluso: P v -P: Una proposición o es verdadera o es falsa.

Uso: Permite introducir material en una derivación.

Reglas de inferencia

197
Adición: P  P v Q; P  Q v P: De algo se infiere su disyunción (inclusiva) con cualquier otra

cosa. Si tengo una proposición aislada puedo unirla con otra mediante una disyunción.

Uso: Si en una fórmula nos hace falta alguna letra, podemos introducirla mediante adición.

Condicionalización: P  Q  P (Perdiendo dependencia): Si hemos llegado a una proposición

podemos obtener un condicional con ella como consecuente. En el antecedente puede ir cualquier

cosa. En especial, si lo que se pone en el antecedente es algo bajo cuya suposición se ha llegado al

consecuente, el condicional no tiene la obligación de heredar tal dependencia.

Uso: Nos facilita la tarea de probar un condicional: basta probar el consecuente y usar

condicionalización. Además nos permite trabajar con muchas premisas extras y descargar después el

compromiso con ellas. Si logramos quedarnos sin compromisos (dependencias) habremos llegado a

una verdad lógica.

Conjunción: P, Q  P & Q: Si una proposición está en una línea y una segunda proposición en otra,

entonces ambas pueden unirse en conjunción en una nueva línea. Si tengo una proposición aislada de

otra, puedo unirlas mediante una conjunción en el orden que prefiera.

Uso: Sirve para hacer de dos premisas una sola más fuerte.

Dilema Constructivo: (P  R), (Q  S), (P v Q)  R v S: Si tenemos dos condicionales y

afirmamos sus antecedentes en disyunción se obtienen los consecuentes en disyunción.

Uso: Permite ir desarmando parejas de condicionales hacia proposiciones en disyunción.

Dilema Destructivo: (P  Q), (R  S), (-Q v -S)  -P v -R: Si dos condicionales son el caso y

alguno de los consecuentes es falso, entonces alguno de los antecedentes debe fallar.

Uso: Permite ir desarmando parejas de condicionales hacia proposiciones en disyunción.

Exportación: [(P & Q)  R]  [P  (Q  R)]: Si dos proposiciones son suficientes para una tercera

entonces la primera es suficiente para que la segunda sea suficiente para la tercera.

Uso: Nos permite poner como parte del consecuente lo que era parte del antecedente.

198
Importación: [P  (Q  R)]  [(P & Q)  R]: Decir que una proposición es suficiente para que otra

sea a su vez suficiente para una tercera implica que las dos primeras en conjunción son suficientes

para la tercera.

Uso: En compañía de la exportación permite poner como parte del antecedente lo que era parte del

consecuente y viceversa.

Modus Ponens: P  Q, P  Q: Si teniendo un condicional se nos concede el antecedente,entonces

tenemos también el consecuente.

Uso: Sirve para romper un condicional quedándonos con el consecuente afirmado. (Hay que recordar

que en un condicional ni el antecedente ni el consecuente se han afirmado. Sólo nos hemos

comprometido con la relación entre los valores de ambos.)

Modus Tollens: P  Q, -Q  -P: Bajo el supuesto de que una proposición es suficiente para que se

dé otra, si aquella no se da, entonces la primera tampoco.

Uso: Sirve para romper un condicional quedándonos con la negación del antecedente.

"Paradojas'' de la Implicación Material: Q  (P  Q); -P  (P  Q); (P  Q) v (Q  P): Como

vimos ya con la Condicionalización si algo es verdad (Q) entonces cualquier otra proposición la

implica materialmente. (Por supuesto, no estrictamente.) Además, si algo es falso (P) entonces

implica materialmente a cualquier otra proposición. Finalmente, dadas dos proposiciones

cualesquiera,alguna implica materialmente a la otra. [Atención: La tercera regla no menciona ninguna

premisa. Es una verdad lógica y no genera dependencia por lo que podría incluírse en las reglas

incondicionadas.]

Uso: Sirven para introducir nuevo material en nuestras derivaciones.

Principio del Pseudo Scoto: P & -P  Q: De una contradicción se sigue cualquier cosa.

Uso: Para derivar cualquier cosa basta encontrar una contradicción en las premisas.

199
Principio del Factor: P  Q  (P & R)  (Q & R): Si tenemos un condicional, el antecedente

reforzado implicará al consecuente reforzado en la misma medida.

Uso: Sirve para completar material en un condicional.

Silogismo Disyuntivo (Modus Tollendo Ponens): P v Q, -P  Q: Si una proposición u otra son el

caso y sabemos que una de las dos es falsa, la otra es verdadera. Es decir, si tenemos una disyunción

y un disyunto es falso, podemos deducir que el otro es verdadero.

Uso: Permite desarmar las disyunciones para afirmar uno de los disyuntos. (Recuérdese que una

disyunción no está afirmando ninguno de los disyuntos en especial.)

Silogismo Hipotético: P  Q, Q  R  P  R: La implicación material es transitiva.

Uso: Permite unir material a través de otra proposición.

Simplificación: P & Q  P; P & Q  Q: Si una conjunción es el caso, cualquier conyunto también

lo es.

Uso: Permite desarmar conjunciones.

Reglas de equivalencia

Absorción: P  Q  P  (P & Q): Decir que algo implica una cosa es lo mismo que decir que

implica a la conjunción de él mismo con lo que implicaba.

Uso: La absorción se usa cuando tenemos un condicional y necesitamos poner el antecedente dentro

de su propio consecuente,o quitarlo si ya se encuentra ahí.

Antilogismo: (P & Q)  R  (P & -R)  -Q: Decir que una conjunción implica materialmente

algo, equivale a decir que si un conyunto es verdad sin que se dé el consecuente, entonces el otro

conyunto debe ser falso.

Uso: Para intercambiar (negando) el consecuente con parte del antecedente.

200
Asociación: P v (Q v R)  (P v Q) v R; P & (Q & R)  (P & Q) & R: Si en un enunciado sólo

figuran disyunciones (o sólo conjunciones), no importa donde pongamos los paréntesis.

Uso: Permite recombinar los paréntesis a nuestro gusto, e incluso ignorarlos, donde aparezcan como

conectivas sólo disyunciones o sólo conjunciones.

Composición: (P  Q) & (P  R)  P  (Q & R): Tener en conjunción dos condicionales con el

mismo antecedente es decir que tal antecedente es suficiente para la conjunción de los consecuentes.

Uso: Para hacer de dos condicionales uno solo, reforzando el consecuente, o para hacer de uno dos,

debilitando el consecuente.

Conmutación (Permutación): P & Q  Q & P; P v Q  Q v P: En una conjunción (disyunción)

no importa el orden de los conyuntos (disyuntos). Si tengo una disyunción puedo cambiar los

elementos de manera que el segundo ocupe el lugar del primero y éste de aquel. Si tengo una

conjunción puedo cambiar los elementos de manera que el segundo ocupe el lugar del primero y éste

de aquel.

Uso: Permite escribir proposiciones unidas por conjunción o disyunción en el orden que deseemos.

Contraposición (Transposición): (P  Q)  (-Q  -P): Decir que una proposición es suficiente

para que se dé otra es lo mismo que decir que si no ocurriera la segunda tampoco ocurriría la primera.

Si tenemos un condicional podemos poner en su lugar otro que tenga por antecedente la negación del

consecuente del primero y como consecuente la negación del antecedente del primer condicional o

viceversa.

Uso: Sirve para poner (quitando o poniendo negaciones) lo que era antecedente como consecuente y

viceversa.

De Morgan: -(P & Q)  (-P v -Q); -(P v Q)  (-P & -Q): Si una negación afecta a una conjunción

o disyunción esto es equivalente a distribuir la negación a cada proposición y cambiar la conjunción

por disyunción o viceversa.

201
Uso: Nos permite pasar de trabajar con disyunciones a conjunciones y viceversa. Esta es una regla

muy útil para cambiar de estructuras.

Definición de la Equivalencia Material (Bicondicional Material)

(P  Q)  (P  Q) & (Q  P)  (P & Q) v (-P & -Q): Dadas dos proposiciones equivalentes,

cualquiera es condición necesaria y suficiente de la otra. Una implica materialmente a la otra y

viceversa.

Uso: Permite tanto armar como desarmar bicondicionales para poder aplicar otras reglas.

Definición de la Implicación Material (Condicional Material):(P  Q)  (-P v Q)  -(P & -Q):

Decir que una proposición implica materialmente a otra es lo mismo que decir que o bien la primera

es falsa o la segunda es verdadera; y también es lo mismo que decir que no es el caso que la primera

sea verdadera y la segunda falsa.

Uso: Nos permite transitar entre condicionales, disyunciones y negaciones de conjunciones.

Distribución: P v (Q & R)  (P v Q) & (P v R); P & (Q v R)  (P & Q) v (P & R): Decir que se

da una primera proposición en disyunción con la conjunción de otras dos es lo mismo que decir que

se da la primera o la segunda, y la primera o la tercera.

Uso: Permite repartir o extraer un factor común dentro de una fórmula. Además convierte a una

fórmula que por su conectiva principal era una disyunción en una conjunción y viceversa.

Doble Negación: - -P  P: Negar que una proposición es falsa, es afirmarla.

Uso: Permite poner o quitar negaciones en pares.

Idempotencia (Tautología): (P & P)  (P v P)  P: Una conjunción (disyunción) con los dos

miembros idénticos es redundante.

Uso: Permite reducir o multiplicar la presencia de una proposición.

Principio Conmutativo: P  (Q  R)  Q  (P  R): Decir que una proposición es materialmente

suficiente para que una segunda lo sea para otra tercera, es lo mismo que decir que la segunda sería

202
materialmente suficiente para que la primera lo sea para la tercera.

Uso: Sirve para intercambiar el antecedente con parte del consecuente.

Reducción al Absurdo (Ley de Clavius): P  -P  -P; -P  P  P: Decir que una proposición

implica materialmente su propia negación es lo mismo que decir que es falsa.

Uso: Si suponiendo X como premisa, llegamos a una contradicción podemos derivar -X. Ahora, por

condicionalización podemos escribir (X  -X) que ya no depende de suponer X. Por reducción al

absurdo obtenemos que X era falso después de todo. Paralelamente, suponiendo -X y derivando X,

probamos X.

Observaciones sobre las reglas

 Nuestras inferencias usuales están cargadas de analogías inconscientes, cambios bruscos de

tema, intuiciones momentáneas, tendencias morales y estéticas. El pensamiento difícilmente

se reconoce en estas reglas. Dejemos a los psicólogos explicar la gran cantidad de procesos

con los que pensamos. Nuestra tarea es más modesta. En lógica no analizamos como se

razona de hecho, sino las relaciones lógicas entre premisas y conclusión. De aquí la aparente

artificialidad de algunas reglas. Al usarlas no estamos tratando de reproducir el pensamiento

humano sino de evaluarlo.

 Usar las reglas no significa recordar símbolos sino estructuras. Saber usar una regla supone el

reconocer una estructura aunque esté oculta. Por ejemplo, en una página puede estar el

antecedente de un condicional que no aparece hasta diez páginas después. Si estamos

familiarizados con la estructura del "Modus Ponens'' podremos aplicarlo a pesar de ello. Sólo

el ejercicio constante permite familiarizarnos a tal grado con las estructuras lógicas que

203
 seamos capaces de reconocerlas incluso en contextos extraños o cuando el autor da por

sobreentendidos algunos pasos.

 Es común pensar en las reglas de equivalencia como las leemos, de izquierda a derecha. Hay

que tener en mente que la aplicación puede darse al revés.

 Así como el "si... entonces...'' del español rara vez coincide con el condicional material, la

disyunción en español tampoco es siempre veritativo-funcional. E incluso cuando lo es puede

ser tanto exclusiva como inclusiva. Algunas reglas son válidas sólo para un tipo de

disyunción.

Consejos para construir un argumento

Hemos llegado al momento de usar las reglas anteriores para construir un argumento que nos

permita probar nuestra tesis. He aquí algunos consejos útiles para el uso de estas reglas.

(c1) Trate de localizar la forma general del argumento. A veces lo que parece un

razonamiento complicadísimo tiene una forma simple pues toma a varias proposiciones en bloque

como si fueran una sola.

(c2) Intente visualizar cuales premisas contienen el material de la conclusión y en qué forma

lógica y avance mentalmente usando las reglas hasta ver que la conclusión se sigue de las premisas.

Esto ayudará a eliminar material inútil.

(c3) Busque conexiones entre las premisas y después empiece con las más lejanas.

(c4) Pase revista mentalmente a las reglas que podrían aplicarse a las premisas e intente

utilizar la información que vayamos extrayendo con las premisas aún no usadas.

(c5) Visualice posibles estructuras previas a la conclusión que se le asemejen y que se

encuentren en las premisas o en las que las premisas se puedan convertir. La estrategia inversa

204
consiste en transformar mediante equivalencias (para poder regresar), a la conclusión en formas

lógicas que se asemejen a las formas de las premisas. Empiece de la conclusión hacia atrás buscando

premisas plausibles. Use equivalencias para reducir los operadores lógicos a negación, disyunción y

conjunción. Una vez hecho esto, conmutación, distribución, asociación y de Morgans pueden ser

usadas para reacomodar el material de la fórmula. Como todas reglas son de equivalencia podemos

regresar a la conclusión una vez que obtengamos la fórmula que buscamos.

(c6) Un caso excepcional es cuando el material de la conclusión es totalmente distinto al de

las premisas. Si el argumento es válido, o bien las premisas son contradictorias o bien la conclusión

es una verdad lógica o ambas cosas. Si las premisas son contradictorias, derívese una contradicción

explicita (de la forma X & -X) y úsese el principio del Pseudo Scoto. Si la conclusión es una

tautología se puede probar sin tomar en cuenta a las premisas, evitando así la dependencia; basta usar

sólo premisas que sean instancias de reglas que no generan dependencia o, si se tiene alguna

dependencia, deshacerse de ella por condicionalización. (En caso de que se desee la dependencia,

una vez que obtenga la conclusión condicionalice y use Modus Ponens.)

(c7) Para probar una disyunción basta llegar a alguno de los disyuntos y aplicar Adición. Otra

opción es usar el Dilema Constructivo o el Destructivo.

(c8) Para probar una conjunción pueden probarse los conyuntos por separado y unirlos

después mediante Conjunción.

(c9) Para probar un condicional basta probar el consecuente o la negación del antecedente y

usar las "paradojas'' de la implicacion material. O bien, suponiendo el antecedente derivar el

consecuente y condicionalizar.

(c10) Para probar un bicondicional (A  B) pruebe dos condicionales y use Conjunción y la

Def. de la Equivalencia Material.

205
 (c11) Siempre podemos auxiliarnos con premisas que no tengamos si las usamos sólo como

hipótesis que descargaremos por condicionalización y sin volver a usar pasos que dependan de ella.

Una vez descargado el supuesto, no podemos volverlo a usar sin volver a contraer la dependencia.

(c12) Si nuestras premisas consisten sólo de condicionales, y no es evidente una relación

lógica especial entre antecedentes y consecuentes, trate de usar Silogismos Hipotéticos.

(c13) Si queremos demostrar C partiendo de una disyunción (A v B), podemos tratar de

probar A  C y B  C. Una vez hecho esto, un Dilema Constructivo y la Idempotencia serán

suficientes para obtener C.

(c14) Podemos suponer lo contrario de lo que buscamos e intentar derivar una contradicción.

Si lo conseguimos, el principio del Pseudo Scoto permitirá que obtengamos lo que buscábamos.

Condicionalizamos para eliminar la dependencia, y usamos la ley de Clavius.

(c15) Si en la conclusión vemos que aparecen letras que no están entre las premisas, habrá que

usar alguna de las siguientes reglas: Adición, Condicionalización (pues el antecedente no necesita

haber aparecido antes), Identidad, la tercera "paradoja'', o alguno de los principios del Pseudo Scoto,

el Factor, No Contradicción o Tercio Excluso.

206
 Lista alfabética de reglas de deducción natural

Absorción: P  Q  P  (P & Q)

Adición: P  P v Q; P  Q v P

Antilogismo: (P & Q)  R  (P & -R)  -Q

Asociación: P v (Q v R)  (P v Q) v R; P & (Q & R)  (P & Q) & R

Composición: (P  Q) & (P  R)  P  (Q & R)

Condicionalización: P  Q  P (Perdiendo dependencia)

Conjunción: P, Q  P & Q

Conmutación (Permutación): P & Q  Q & P; P v Q  Q v P

Contraposición (Transposición): (P  Q)  (-Q  -P)

de Morgan: -(P & Q)  (-P v -Q); -(P v Q)  (-P & -Q)

Definición de la Equivalencia Material (Bicondicional Material):

(P  Q)  (P  Q) & (Q  P)  (P & Q) v (-P & -Q)

Definición de la Implicación Material (Condicional Material):(P  Q)  (-P v Q)  -(P

& -Q)

Dilema Constructivo: (P  R), (Q  S), (P v Q)  R v S

Dilema Destructivo: (P  Q), (R  S), (-Q v -S)  -P v -R

Distribución: P v (Q & R)  (P v Q) & (P v R); P & (Q v R)  (P & Q) v (P & R)

Doble Negación: - -P  P

Exportación: [(P & Q)  R]  [P  (Q  R)]

Idempotencia (Tautología): (P & P)  (P v P)  P

Identidad: P  P

Importación: [P  (Q  R)]  [(P & Q)  R]

Modus Ponens: P  Q, P  Q

Modus Tollens: P  Q, -Q  -P

"Paradojas'' de la Implicación Material: Q  (P  Q); -P  (P  Q); (P  Q) v (Q 

P)

Principio Conmutativo: P  (Q  R)  Q  (P  R)

Principio del Pseudo Scoto: P & -P  Q

Principio del Factor: P  Q  (P & R)  (Q & R)

Principio de No Contradicción: -(P & -P)

Principio del Tercio Excluso: P v -P

Reducción al Absurdo (Ley de Clavius): P  -P  -P; -P  P  P

Silogismo Disyuntivo (Modus Tollendo Ponens): P v Q, -P  Q

Silogismo Hipotético: P  Q, Q  R  P  R

Simplificación: P & Q  P; P & Q  Q

8.4
Demuestre que la conclusión se sigue en los siguientes razonamientos. Recuerde usar

diferentes letras para diferentes predicados.

1. Todas las cosas son bellas y buenas.

CONCLUSIÓN: Todas las cosas son buenas y bellas.

2. Todas las cosas son bellas y buenas. Existen algunas cosas.

CONCLUSIÓN: Algunas cosas son buenas y bellas.

3. Algunas cosas son bellas y buenas.

CONCLUSIÓN: Algunas cosas son buenas y bellas.

4. Agathón es bello y bueno.

CONCLUSIÓN: Por lo menos una cosa es buena y bella.

5. Lo inmortal es inmutable. Algunos seres son tanto inmortales como creados.

CONCLUSIÓN: Hay algo inmutable.

6. Lo eterno está fuera del tiempo. Lo divino goza de la eternidad.

CONCLUSIÓN: Lo divino está fuera del tiempo.

7. Los filósofos medievales consideraban a la filosofía sierva de la teología. Santo

Tomás era un filósofo medieval.

CONCLUSIÓN: Santo Tomás veía a la filosofía como sierva de la teología.

8. Lo incorpóreo no puede influir en lo corpóreo. Si yo soy inanimado entonces no soy

una persona. Lo que no puede influir en lo corpóreo es inanimado. El alma es

incorpórea.

CONCLUSIÓN: Aunque el alma es incorpórea, si yo soy incorpóreo entonces no

soy una persona.

9. Los estados democráticos son injustos. Hay estados que gozan de democracia

parlamentaria.
 CONCLUSIÓN: Hay estados que son parlamentarios pero injustos.

10. Si algo es bello entonces place sin concepto. Hay cosas bellas y útiles.

CONCLUSIÓN: Hay cosas útiles que placen.

11. Todos los estados que son productos históricos no son democráticos. Algunos son

duraderos pero productos históricos al fin.

CONCLUSIÓN: Algunos estados son duraderos pero no democráticos.

12. Todos los estados que son productos históricos no son democráticos. Todos son

duraderos pero productos históricos al fin.

CONCLUSIÓN: Todos los estados son duraderos pero no democráticos.

13. Todos los estados que son productos históricos no son democráticos. Roma fue

duradera pero producto histórico.

CONCLUSIÓN: Roma fue duradera pero no democrática.

14. Todos los estados que son productos históricos no son democráticos. Roma fue

duradera pero producto histórico.

CONCLUSIÓN: Algún estado ha sido duradero sin ser democrático.

15. Si Roma fue un producto histórico entonces no fue democrática. Roma fue duradera

pero producto histórico.

CONCLUSIÓN: Algún estado ha sido duradero sin ser democrático.

16. Todos los estados que son productos históricos no son democráticos. Todos son

duraderos pero productos históricos al fin.

CONCLUSIÓN: Algunos son duraderos pero no democráticos.