P. 1
Tipos de_Logica

Tipos de_Logica

|Views: 124|Likes:
Publicado porMaría Paz V. Hipp

More info:

Published by: María Paz V. Hipp on Apr 01, 2012
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

04/01/2012

pdf

text

original

Ampliación de Lógica

Tipos de Lógica
De proposiciones

Formal

LÓGICA
Tipos

De predicados

RAZONAMIENTO
Informal

Falacias

• Formales – De ambigüedad • Informales

Paradojas, entimemas y sorites

}

}

} }

• Símbolos • Reglas • Tablas de verdad • Connotación y denotación • Cuantificadores • Silogismo
– De relevancia

ÍNDICE
1. Introducción 2. Lógica formal 2.1. Lógica proposicional o de enunciados 2.2. Lógica de predicados 3. Lógica informal 3.1. Las falacias 3.2. Paradojas, entimemas y sorites

p q. pues nos ayuda a formar el razonamiento permitiéndonos reconocer las múltiples y diversas formas de la realidad y establecer un orden en las cosas. No obstante. así como sus respectivas equivalencias (4 + 5 = 9. en el lenguaje matemático. estos lenguajes disponen de un conjunto de reglas que permiten establecer con claridad lo que significan cada una de las posibles uniones de signos dentro de una misma expresión (4+5. 313 . p & (p q) q. &. V . +... sean ideales o materiales. ■ p. en el lenguaje lógico. etc. físico y lógico poseen signos que están individualmente definidos de un modo exacto. cada signo tiene siempre un único significado. pero tampoco encontramos en ella una dimensión inmediatamente pragmática que promueva alguna transformación en el orden del mundo. como por ejemplo ocurre en el lenguaje musical. para luego dedicar algún tiempo a revisar ciertas cuestiones de la lógica informal. A continuación vamos a referirnos a las principales divisiones de la lógica formal clásica.. e/t. .. de la lógica proposicional. es decir. de predicados..). Además.). ■ v. como introducción y preparación para cualquier tipo de ciencia o quehacer. . t. recuerda que hemos dicho que sirve. que es lo propio de las disciplinas teóricas. La lógica traduce en fórmulas el lenguaje ordinario mediante símbolos y signos de la misma manera que lo hacen otras ciencias y disciplinas. Por ejemplo: ■ 4. pese a que el lenguaje lógico tiene unas características propias. Se puede hablar de la lógica formal y de la lógica informal. siendo el significado siempre el correlativo de un solo signo. Asimismo.. v= e/t. q.Tipos de Lógica 1.. . hemos dicho que el ser humano construye intencionadamente lenguajes simbólicos artificiales para que la correspondencia entre signo y significado sea unívoca. en el lenguaje físico. Sin embargo. hay varios tipos o clases de lógica. Introducción En el tema 9 hemos estudiado que con la lógica no producimos nuevos conceptos o categorías con los que intentamos explicar las cosas. Se dice por tanto que los lenguajes matemático. = .. entre otras cosas... e.

los morenos o las rubias hacen referencia a aquellos seres humanos con determinado color de pelo. como por ejemplo en las obras de Lewis Carroll. lo que resulta muy útil en actividades como el proceso judicial. también trataron cuestiones como las propiedades de los términos y el estudio de la consecuencia en las relaciones de condicionalidad. b) La lógica de predicados. moverse. además de mantener la idea de que la lógica es un camino de enseñanza preparatorio para la ciencia.. creador de las aventuras de Alicia. la lógica sirve para la formación de argumentos intercambiados en espacios públicos. los escolásticos también se ocuparon de estas cuestiones. aunque centrándose en aspectos como la analítica. en algunos casos. o Conan Doyle. bastante estructurado con el objetivo de persuadir y convencer al jurado o al tribunal correspondiente. Fue creada por el matemático alemán G. a las exigencias que las nuevas aplicaciones tecnológicas demandan y en otros. hay muchas tendencias que rompen con los esquemas de la lógica clásica. en la Modernidad. ya sea la fiscalía o la defensa presentan un discurso. Este tipo de lógica se ocupa de las agrupaciones de objetos (conjuntos o clases) que poseen alguna propiedad en común (por ejemplo. Vocabulario Hermenéutica: arte de interpretar. acusatorio o de defensa.C. quienes formularon los principios de la lógica proposicional o de enunciados. La lógica también aparece en el arte literario. quien razona con precisión los casos que investiga y utiliza la lógica para resolverlos. los reptiles aluden a aquellos animales que tienen una serie de características comunes relacionadas con la forma de reproducirse. Los estoicos enfatizaron sobre el uso y la importancia de los conectores y analizaron casos concretos de razonamientos paradójicos. quienes con sus aportaciones (Principia Mathematica) renovaron el fundamento de la Matemática. Durante mucho tiempo se creyó que Aristóteles había dejado completo el estudio de las cuestiones lógicas. es decir. Gödel. etc. Veamos a continuación las dos principales clases de lógica formal. Whitehead y B. como el propio Aristóteles. consideraban fundamental: se trata de la dimensión hermenéutica•.). De ahí que la denominada revolución de la moderna lógica simbólica haya seguido esos dos caminos (ciencia y argumentación). Los escolásticos se preocuparon mucho por establecer el proceso que lleva a la verdad y la estructura correcta del razonamiento. y aunque seguían prácticamente las enseñanzas aristotélicas. a técnicas de habla y de argumentación. Ciencia o disciplina que se ocupa de la interpretación de cualquier conjunto de signos. lo que dará lugar a la denominada lógica de predicados. etc. Russell.). Esas nuevas formulaciones responden. Desarrollada durante la Edad Media. inventor del genial Sherlock Holmes. la lógica como arte de la interpretación y la argumentación. la tribuna pública o el análisis de los discursos mediáticos.ANEXO: Ampliación de Lóg ica De la lógica formal clásica podemos destacar tres tipos diferentes: a) La lógica proposicional o de enunciados. se ha impulsado otra dimensión que los clásicos. ejemplificados en escritos de autores como Frege. Cantor a finales del siglo XIX y principios del XX. No obstante. En este sentido. Como ejemplo podemos ver que en algunas películas sobre juicios. 314 . c) La lógica de clases también llamada teoría de los conjuntos. Por esta razón. Esta disciplina fue especialmente estudiada por los estoicos (siglo III a. Actualmente. aunque estos sigan siendo valiosos instrumentos para asegurar la corrección de razonamientos complejos que contienen multiplicidad de variables. después de él otros siguieron desarrollándola.

En el lenguaje de la lógica se traducen en fórmulas las proposiciones elementales. tendiendo a sustituir los enunciados por símbolos. la lógica toma la forma de un cálculo lógico. de modo general. Para ello.) como sus términos. Cada día nos enteramos de las cosas porque recibimos información a partir de datos previos que combinamos para deducir más conocimiento. utiliza una serie de símbolos o signos y un conjunto de reglas que clarifican el significado de las posibles uniones de signos dentro de una misma expresión. se extraen o derivan conclusiones de unas premisas. más que el contenido material de tales proposiciones. Pues bien. cuando la lógica se ocupa de la relación entre las proposiciones o enunciados con sentido semántico. pero nunca es una frase acerca de proposiciones. Decíamos que el razonamiento es un tipo particular de pensamiento en el que se realizan inferencias. Asimismo.Tipos de Lógica 2. personas.1. etc. que a la lógica le interesa la relación entre los conceptos y las proposiciones de un razonamiento. una proposición elemental puede estar compuesta de otras proposiciones. tal como señalamos. Lógica proposicional o de enunciados Anteriormente hemos afirmado. de conocimientos previos con los que contamos de antemano. y es esa asociación lo que da lugar a los razonamientos. Lógica formal 2. con los que se pueden componer o traducir en fórmulas lógicas las frases proposicionales elementales• del lenguaje ordinario. sin detenerse en el análisis de los términos y conceptos particulares que los componen. se trata de las proposiciones que toman únicamente individuos (cosas. Dichas proposiciones se toman del lenguaje ordinario y cotidiano. 315 . a partir de otros enunciados que denominamos premisas. Vocabulario Proposiciones elementales: en el sentido de Withehead y Russell. decimos que estamos en presencia de una lógica de enunciados o lógica proposicional. Razonamos cuando extraemos ciertos enunciados o proposiciones llamados conclusiones. En este caso. También comentamos que las proposiciones aparecen a su vez asociadas entre sí de una manera particular. es decir.

que puede traducirse por «si y solo si.. Los símbolos variables representan los enunciados o proposiciones con las que hacemos los razonamientos. Podemos traducirlo con la conjunción «y» «pero». ■ V «disyuntor». tre variables.. «x». a la frase «La lluvia es buena para el campo» le asignamos la letra «p» o la «x» como símbolo variable. y se denominan: ■& .. (que se traduce como «o»). «y». aunque no leí la novela. toda ella constituye una proposición indivisible (simple o atómica). Para él no cuenta el contenido sino la forma abstracta de los argumentos expresados. «la carta». El lenguaje de la lógica. («p». pues sirven para componer y combinar proposiciones a partir de otras más simples. . por ejemplo. que en modo símbolo queda p q). por tanto. llevo paraguas».» (Un ejemplo: «Solo cuando hace sol llevo gafas de sol». ■ ■ ■ «negador» (traducido como «no». ya que por separado. que las proposiciones: a) «Vi la película.... en algunos casos en que se hace necesario agrupar diversos signos se usan signos auxiliares como los paréntesis «(. Si decimos «Juan escribió». «P». V .)» y los corchetes «[. Son conocidos generalmente como «conectores» o «conectivas». pues continúa siendo una unidad con sentido. podría ser una proposición simple..» 316 .). Son signos a los que se puede atribuir cualquier contenido. son los enlaces enV «conjuntor» (también suele identificarse con el símbolo . Por ejemplo. «aunque». Como ejemplo..]».ANEXO: Ampliación de Lóg ica Dentro de la lógica proposicional es necesario distinguir entre dos tipos de proposiciones: las simples o atómicas y las compuestas o moleculares. Un ejemplo: «Si llueve. por tanto. las proposiciones moleculares son aquellas que sí pueden dividirse en dos o más proposiciones atómicas. pero el resto de la proposición. Sin embargo. de una tabla de símbolos formales entre los que hay que distinguir las variables y las constantes. además de ser simbólico es formal. tanto las variables como las constantes siguen una serie de reglas que se utilizan para construir fórmulas lógicas a través de sus signos. como lenguaje artificial. Así. entonces». minúsculas o mayúsculas según sea el caso. los símbolos constantes como &. perdería su sentido separado de la afirmación «Juan escribió». «La lluvia es buena para el campo» es igual a «p». En cambio. «sin embargo». por ejemplo: «Juan escribió la carta». Por ejemplo: «Llueve y el cielo está nublado» se podría representar utilizando tanto las variables como las constantes de la siguiente manera: p & q.» b) «Ni vi la película ni leí la novela. por tanto. Las proposiciones simples son aquellas que no pueden dividirse sin que pierdan su significado. «No llueve» que se simboliza como p). «implicador» (también suele identificarse con el símbolo y puede traducirse por «si. De lo dicho sobre las constantes.. las variables y los corchetes resulta.. Dispone. «bicondicional». cada oración tendría sentido: «Juan escribió la carta pero María no la recibió»..).. Normalmente se utilizan letras. simbolizado como p q). Además. lo que permite a la vez reconocer la conectiva principal.

».» pueden ser formalizadas simbólicamente de la siguiente manera: Siendo p: «ver la película».» También podemos formalizar esas proposiciones condicionales así: a) Siendo D: «Existen dioses». se simboliza: S C En el caso de las proposiciones condicionales debemos diferenciar las que expresan una condición suficiente de aquellas que contienen una condición necesaria. como no ir rápido. y C: «Se salvan cientos de vidas al año». cuidar y revisar periódicamente el coche.Tipos de Lógica c) «No es cierto que viese la película ni leyese la novela. y n: «leer la novela». y U: «El universo está regido conforme a la providencia divina». entonces se podrían salvar cientos de vidas al año. a) p&¬n b) ¬p&¬n c) ¬(p&n) d) ¬p&n Otro caso relevante es el de las proposiciones llamadas condicionales..). pero esto último también puede darse por otras vías. formadas por dos o más enunciados unidos por la conectiva condicional «si. Por ejemplo: a) «Si hay dioses..» d) «No vi la película. etc... En este caso. entonces. conducirás más seguro»).» b) «Si la gente utilizara el cinturón de seguridad. pero leí la novela. En ellas el enunciado que sigue a la palabra «si» (antecedente) establece las condiciones que son requisito para que se cumpla u ocurra la expresión o enunciado que sigue a la palabra «entonces» (consecuente). se simboliza: D U b) Siendo S: «La gente utiliza el cinturón de seguridad». La condición suficiente es causa probable pero no necesaria del antecedente que la precede. ser prudente y cumplir las normas de seguridad vial.. El primer caso se da cuando el consecuente (suficientemente o con cierta probabilidad) procede del antecedente (por ejemplo: «Si no bebes. No beber es la causa probable de conducir más seguro. 317 . entonces el universo está regido conforme a la providencia divina. no beber puede ser causa suficiente para conducir con más seguridad.

en el caso anterior. entonces el universo está regido conforme a la providencia divina». cuando usamos el «si» sin más especificación estamos expresando una condición suficiente. se produce con toda seguridad. y B (consecuente): hay oxígeno. por lo que resulta de aquel necesariamente. y N equivale a nieve) a) «No es cierto que llueve. formaliza los siguientes enunciados o proposiciones en fórmulas que combinen distintos conectores. Los anteriores casos pueden ser transformados simbólicamente así: Condición suficiente «Si no estudias. siendo A (consecuente): suspender y B (antecedente): estudiar. A solo si B. toda vez que sabemos que el oxígeno es condición necesaria para mantener la vida. solo si B entonces A. ● Actividades 1. lo cual puede expresarse con implicador así: A B. De otro lado. entonces hay oxígeno». o bien.» 2. la existencia de dioses es causa necesaria de la providencia divina. lo cual se puede expresar con implicador así: ¬B A. siendo A (antecedente): hay vida. O bien. A si no B. Se simboliza: ¬(¬L&¬N) en donde L equivale a llueve. «Solo si hay dioses. «Solo si hay oxígeno. (Propuesta: «No es el caso que ni llueva ni nieve». Condición necesaria «Si hay vida. Siguiendo los ejemplos anteriores y el que seguidamente te proponemos. pero no nieva.» b) «Llueve o nieva.» c) «Juan irá a la fiesta solo si María va.» e) «Democracia significa un modo de vida en el que la libertad y la justicia están presentes. 318 .» d) «O los hombres han nacido iguales o no son libres. Por ejemplo: «Si hay vida. mientras que si usamos la expresión «solo si» generalmente estaremos expresando la condición necesaria.ANEXO: Ampliación de Lóg ica El segundo caso se produce cuando el consecuente está implicado en el antecedente. Procura que aparezcan los diferentes conectores que hemos estudiado. suspenderás». ten en cuenta que. hay vida»: la primera premisa es condición necesaria. Por ejemplo. en el lenguaje habitual. ineludiblemente. si no B entonces A. Inventa cuatro enunciados con proposiciones moleculares y luego formalízalos en el lenguaje lógico. entonces hay oxígeno». o bien.

Por ejemplo: «Si cuando llueve (A).1. Las principales son: a) La llamada por los estoicos modus ponens (ponere = afirmar). 319 . que consiste en que si se dan determinados requisitos o condiciones. en ocasiones y desde el plano de la lógica.Tipos de Lógica 2. por medio de determinadas normas o leyes de inferencia. La manera en la que la almacenamos y combinamos para darnos cuenta de lo que sucede en el mundo se puede traducir. Las relaciones entre el antecedente y el consecuente han sido uno de los problemas fundamentales de la lógica. Diariamente. llevo gabardina (B)» y resulta que «llueve» (A) entonces. siendo A el antecedente y B el consecuente.1. cada uno de nosotros puede deducir determinadas conclusiones de la información previa que vamos recibiendo a cada instante. se puede deducir una determinada conclusión que coincide con el consecuente. Algunas reglas básicas Un aspecto importante que debemos analizar es la existencia de ciertas estrategias utilizadas en la lógica proposicional cuando se siguen determinadas reglas o fórmulas de inferencia que resultan de combinar y distribuir las variables y las constantes de acuerdo a determinados patrones. el modus ponens fue la manera en que los estoicos explicaron esa relación. «llevo gabardina» (B) A A B B Si te das cuenta. a cada frase se le asigna una letra (A o B).

que resulta cuando se conectan condicionalmente entre sí dos proposiciones A y C. c) Otra regla es la cadena transitiva implicacional. mientras que la premisa menor es un dato positivo o negativo que permite. Se trata de las siguientes: Principio de identidad Regla de la doble negación A=A Una cosa es igual a sí misma: «Si fuiste a la fiesta. fuiste a la fiesta. en este caso.» A B «Si todos los alumnos estudiosos (B) obtienen buenas notas.» Entre la afirmación y la negación de una cosa no existe una tercera posibilidad: «Fuiste a la fiesta o no fuiste a la fiesta. Se trata. este mecanismo nos permitirá superar o aclarar las contradicciones que aparecen en las paradojas. Por ejemplo: Si pensamos en el hecho de que nuestro amigo José está en casa (A). por tanto. y resulta que «no llevo gabardina» (¬B). entonces «no llueve» (¬A) A B ¬B ¬A Vocabulario Implicación lógica: se trata de la relación que conecta dos premisas o elementos proposicionales.» ¬¬ A A Principio de no contradicción Principio del tercero excluido (tertio excluso) ¬(A & ¬A) A V ¬A 320 . A pero resulta que en todo caso las luces de su casa están encendidas y no están encendidas al mismo tiempo (B y no B). De esta manera: «Si todos los buenos alumnos (A) son estudiosos (B). d) Finalmente. También creada por los estoicos. ¬A Más adelante. es la reducción al absurdo (reductio ad absurdum). o bien afirmar (ponere) el consecuente o bien negar (tollere) el antecedente. de rechazar toda hipótesis de la que se sigan consecuencias contradictorias.» B A C C d) Una regla de mucha utilidad en la elaboración de argumentaciones contrapuestas. que opera como eslabón intermedio. o bien en el análisis de las teorías de las ciencias empíricas. mediante una tercera B. pero con la diferencia de que si alguna de las premisas es negativa.» Negar una negación es equivalente a afirmar el contenido de aquella: «No es cierto que no fuiste a la fiesta. llevo gabardina (B)».ANEXO: Ampliación de Lóg ica b) Modus tollens (tollere = quitar).» La afirmación y la negación de lo mismo no pueden ser verdaderas simultáneamente: «No es cierto que fuiste y no fuiste a la fiesta. fuiste a la fiesta. si se dan determinadas premisas se darían determinadas conclusiones. de modo que siempre que la primera premisa es verdadera la segunda también lo es. B&¬B entonces llegamos a la conclusión (absurda) de que Juan no está en casa (no A). «los buenos alumnos obtienen buenas notas. como en el caso del debate judicial. existen una reglas deductivas o principios de suma importancia que están relacionados principalmente con el uso de la negación. Por ejemplo: «Si cuando llueve (A). En este caso. la premisa mayor es una implicación• (condición necesaria). puedo deducir una conclusión negativa que coincide con la negación del antecedente.» entonces. En ambos casos.

Por tanto. introduciendo otros elementos que no se reducen a la bivalencia de verdad y falsedad. 2.Tipos de Lógica De la misma manera. nos lleva al hecho de que la lógica clásica generalmente es una lógica bivalente. mientras que la validez es una cualidad de los razonamientos. aunque también se puedan aplicar. puede afirmarse por separado que son verdaderas. podemos decir que es cierta o falsa. La verdad es una propiedad de los enunciados. Lo anterior. 321 . mediante la que combinamos de manera mucho más compleja las proposiciones. que se pueden representar en una tabla como la que sigue: p 1 0 ¬p 0 1 Donde «p» es cualquier proposición ya sea verdadera (1) o falsa (0). del razonamiento: «Todos los caballos son mamíferos. no puede haber otra tercera alternativa. existen otras reglas que dan lugar a estrategias lógicas diversas. vistas en la forma en que se encadenan. Tablas de verdad Cuando afirmamos o conocemos algo siempre existe un reclamo sobre su validez o verdad.» Premisa 2° (menor) Conclusión Cada una de las proposiciones. Pero a la vez. en la lógica de las proposiciones descriptivas. observamos que se trata de un razonamiento válido o correcto. mientras que respecto de la cadena de proposiciones que conforman un razonamiento.1.2. Recuerda que acerca de la verdad estudiamos en el tema 4 ciertos criterios para determinar lo que es verdadero. y. pero por ahora. solo admite dos valores de verdad: verdadero y falso. pues según lo vimos con la regla del tercero excluido. Así. Rocinante es un mamífero. de modo que la conclusión se deriva necesariamente de las premisas. lo que podemos decir es si se trata de un razonamiento válido o incorrecto. «¬p» será falsa (0) o verdadera (1). De ahí que ante una afirmación «X» («Todos los caballos son mamíferos»).» Premisa 1° (mayor) «Rocinante es un caballo. ya sean las premisas o la conclusión. lo que se conoce como razonamiento silogístico. son suficientes las mencionadas para que podamos comprender la utilidad de la lógica. los dos únicos valores que se utilizan son los de verdad y falsedad. de las proposiciones simples atómicas y de las proposiciones moleculares. correlativamente. es decir. como habíamos anticipado.» «Luego.

entonces hay cuatro posibles combinaciones. Estas generan las siguientes tablas: ■ La conjunción p & q («camino y sonrío»): p 1 1 0 0 q 1 0 1 0 p&q 1 0 0 0 La conjunción es verdadera solo si ambas proposiciones son verdaderas. Como. al menos. 322 . son dos y cada proposición es susceptible de ser verdadera o falsa. la proposición (p&q) «camino y sonrío» es verdadera. entonces es falso (0) que «No todos los caballos son mamíferos». usando las conectivas podemos analizar relaciones entre proposiciones atómicas. Ahora bien. entonces es verdad (1) que «No todos los caballos son mamíferos». puede ser verdadero (1) o falso (0). Si es verdadero (1) que «Todos los caballos son mamíferos».ANEXO: Ampliación de Lóg ica Siguiendo con el ejemplo de «Todos los caballos son mamíferos». y si fuera falso (0) que «Todos los caballos son mamíferos». En este caso si es verdad que (p) «camino» y también es verdad que (q) «sonrío». Las matemáticas se sirven de proposiciones descriptivas de la lógica para resolver problemas. en cualquier otro caso será falsa.

La disyunción solo es falsa si ambas proposiciones son falsas. ■ El bicondicional o coimplicador p sonrío): p 1 1 0 0 q 1 0 1 0 p q 1 0 0 1 q (Si camino. entonces también lo es que (p V q) «camino o sonrío». el negador y el conjuntor. 323 . ya que eso es la condición. No obstante. puede darse el caso de tener más de dos proposiciones atómicas. En este caso una excluye a otra. No puede ser que haga a la vez frío y calor. ya que en este caso pueden darse a la vez las dos acciones que se afirman: (p V q) «camino o sonrío». como ocurre en el ejemplo propuesto. en los demás casos es verdadero. Suele simbolizarse mediante el disyuntor. Este tipo de disyunción se denomina inclusiva. entonces El bicondicional es falso si uno de sus componentes es falso. En todos los demás casos es verdadero. y solo si camino. la disyunción exclusiva es aquella en la que no se pueden dar las dos a la vez.Tipos de Lógica ■ La disyunción p V q («camino o sonrío»): p 1 1 0 0 q 1 0 1 0 p q 1 1 1 0 Si es verdad que (p) «camino» o (q) «sonrío». ■ El condicional o implicador p p 1 1 0 0 q 1 0 1 0 q (si camino. Evidentemente. por lo que las posibilidades de combinación se multiplican. además de paréntesis: (p V q) & ¬ (p & q). Por ejemplo: «Hace frío o calor». entonces sonrío): p q 1 0 1 1 El condicional solo es falso si el antecedente es verdadero y el consecuente es falso.

● Actividades 3. mediante su correspondiente tabla de verdad. él ha ido a trabajar. Dicho razonamiento ha de tener la forma de un condicional. Un razonamiento es válido cuando la conclusión se sigue necesariamente de las premisas.» b) «Si subes las escaleras. Se trataba de una máquina con un teclado en idioma alemán que combinaba secuencias numéricas con secuencias de letras y fue utilizado por los militares nazis para enviar mensajes cifrados a sus tropas quienes. los aliados ganaron numerosas contiendas.» La tabla de verdad sería la siguiente: p V V F F q V F V F ¬p F F V V ¬q F V F V ¬p V V F V ¬q (¬p ¬q) & ¬p F F F V [(¬p ¬q) & ¬p] ¬q V V V V Podemos comprobar que se trata de una tautología y. Tras construir su correspondiente tabla de verdad. Los submarinos alemanes provocaron muchas bajas a los aliados mediante la máquina Enigma. especialistas en lógica. Al saberse con antelación sus movimientos estratégicos. los mensajes secretos de los alemanes podían ser descifrados y leídos sin que ellos lo supieran.ANEXO: Ampliación de Lóg ica Curiosidad filosófica ! El código Enigma era uno de los principales instrumentos de codificación durante la Segunda Guerra Mundial. Veamos el siguiente ejemplo: «Si no estudias. Formaliza en el lenguaje lógico los siguientes argumentos y comprueba. por tanto. si en todos los casos resulta ser verdadero.» «No has estudiado. estaremos ante una contradicción. Y si resulta en unos casos verdaderos y en otros falsos diremos que es una indeterminación o una proposición contingente. se puede recurrir a las tablas de verdad para comprobar la validez o invalidez de un razonamiento.» «Luego no has aprobado el examen. De esta manera.» 324 . y cuyo consecuente es la conclusión. La utilidad de las tablas de verdad es la posibilidad de determinar el valor de verdad que encontramos en un razonamiento. si no estás cansado es que no has subido las escaleras. unidas por conjunciones. Alain Turing. por tanto. gracias a los polacos y al matemático británico y uno de los padres de la inteligencia artificial. Si en todos los casos resulta ser falso. al mismo tiempo. los decodificaban a media que los iban recibiendo. por tanto. estamos ante una tautología. lograron interceptar y descodificar el complejo código en el que se basaba el funcionamiento de la máquina. entonces estarás cansado. que es un razonamiento formalmente válido. entonces la fábrica estará cerrada. pero la fábrica está abierta. Por tanto. si son válidos o no: a) «Si Antonio no ha ido a trabajar. no aprobarás el examen. cuyo antecedente está formado por las diversas premisas. Los servicios secretos aliados.

y viceversa. 5. Por su parte. Él ha muerto joven. no llevaba una vida sana.» 4. si no hay justicia. por denotación o extensión. como todos los conceptos. Es el conjunto de notas o propiedades que comprende el significado de un concepto.» d) «Si no hay justicia en el mundo. siendo «los caballos» el sujeto y «vertebrados» el predicado. por ejemplo: «Los caballos son vertebrados». se podrá vivir muchos años. la denotación se refiere al conjunto de individuos o seres a los que se aplica el concepto. Toda proposición tiene. Por ejemplo. En este caso. un sujeto y un predicado. 2. mamífero y perteneciente a la clase de los equinos. pueden ser considerados desde el punto de vista de su connotación (intención. 325 . el conjunto de seres a los que se puede atribuir la connotación del concepto. se incluyen todos los caballos que han existido. será menor la cantidad de seres a los que se les pueda atribuir ese concepto (denotación). Luego. es decir. Haz lo mismo pero con un razonamiento que esté estructurado por una bicondicional ( ). Estas dos cualidades de los conceptos se hayan en relación inversa. De esta forma. Y has suspendido. Lógica de predicados Cuando nos interesa analizar el contenido de una proposición.Tipos de Lógica c) «Te dije que estudiaras o suspenderías el examen. La connotación se refiere al conjunto de características de la cosa en cuestión y que la diferencia de todas las demás. el concepto de «caballo» incluye diversas propiedades tales como ser un animal. vertebrado. luego no has estudiado. morirán personas de hambre. en el concepto de «caballo». Así. al menos.» e) «Sólo si se lleva una vida sana. Construye un razonamiento con dos proposiciones unidas por una conjunción (&) y establece la correspondiente tabla de verdad. sin distinción de raza u otras características específicas. es decir. la riqueza no estará bien repartida. a mayor cantidad de especificación del significado de un concepto (connotación). sino que se dividen en sus partes. Esos son los conceptos nucleares de esa proposición y. no se toman las proposiciones como unidades compactas. comprensión) y su denotación (extensión). entramos en el campo de la lógica de predicados. si simplemente decimos «caballo». lo que se dice y quién lo dice. Y si la riqueza no está bien repartida. Para ello es importante diferenciar entre connotación y denotación. por tanto. serán más los seres La lógica de predicados se encarga de analizar los contenidos de las proposiciones. habrá personas que mueran de hambre. existen y puedan existir. es decir.2.

la extensión o cantidad de seres a los que este se aplica. el generalizador puede ser representado mediante el símbolo « ».» «Algún caballo no es un corredor veloz.» «Algún caballo es un corredor veloz. por ejemplo. según la cantidad y la cualidad de los términos que utiliza. mientras que si decimos «caballo andaluz» reducimos el número de posibilidades. que son las partículas que permiten determinar la cantidad en los enunciados o juicios. el predicado se refiere a una cualidad relativa. los caballos percherones. si decimos «Todos los caballos son corredores veloces».» V Simbólicamente.» «Ningún caballo es ovíparo. en lógica se usan los cuantificadores. si decimos «Algún caballo es un corredor veloz». dentro del campo de significación (connotación) de ese concepto ya no caben.2. tenemos los siguientes cuantificadores: Universal o generalizador Positivo Negativo Particularizador Positivo Negativo «Todos los caballos son corredores veloces. posee la característica anotada. De esta forma. «Todos los caballos son mamíferos. Para intentar esclarecer esto. es decir. Así. por la cantidad.» «Algún caballo es de raza andaluza. derivada de las enseñanzas de Aristóteles. en ese caso.ANEXO: Ampliación de Lóg ica a los que se les puede aplicar ese nombre. y si x es un caballo. lo representamos así: V x Cx V Universal positiva (A) Universal negativa (E) Particular positiva (I) Particular negativa (O) x Cx Con lo que estamos indicando que. en la expresión «Los perros son vertebrados» es muy fácil entender que se trata de todos los perros. y el particularizador con el símbolo « V ».» 326 . pues la característica de ser «vertebrados» es universal para la clase de los caninos. es decir.» «Algún caballo no es corredor. entonces x es un corredor veloz (C) y lo representamos así: A la vez. las proposiciones se dividen en universales y particulares. mientras que por la cualidad se dividen en positivas y negativas. Estos cuantificadores han quedado incorporados en la lógica tradicional. Los cuantificadores En el habla cotidiana no siempre se tiene claro el alcance denotativo de un concepto. los pekineses o los pincher. de forma que.1. al menos un individuo.» «Ningún caballo es un corredor veloz. Esto solo se puede decir de aquellos perros utilizados para la cacería. con lo cual tendríamos que excluir a algunas razas. el carácter de ser «buenos cazadores». 2. quien dividió las proposiciones en cuatro categorías. por ejemplo. Pero si dijéramos «Esos perros son buenos cazadores». pues. Por ejemplo. pero no de todos los perros.

Difieren en la cantidad: la A y la I. pero ambas no pueden ser falsas. determinando en cada caso el cuantificador correspondiente.» d) «El catarro común nunca es mortal. Sigue la secuencia de este siguiente ejemplo: Los hipopótamos nunca trepan a los árboles x(Hx ¬Tx) (H: hipopótamo.» 7.» c) «Los leones son felinos. V 327 .Tipos de Lógica Puestas en relación estas cuatro clases de proposiciones. Ambas no pueden ser verdaderas. Son particulares. Inventa y formaliza tres enunciados diferentes determinando en cada caso el cuantificador correspondiente. aparecen las reglas y relaciones de los juicios. siguiendo las reglas deductivas o principios antes mencionados. Son universales. la E y la O. Ambas pueden ser verdaderas. una puede ser verdadera y otra falsa. ● Actividades 6. incluso. Ahora bien. pero difieren en la cualidad: la I y la O. una puede ser verdadera y otra falsa. incluso. pero difieren en la cualidad: la A y la E. pero ambas sí pueden ser falsas. pues no pueden ser ambas verdaderas ni ambas falsas. T: trepa a los árboles) a) «Los hombres no son siempre ricos.» b) «Un niño señaló con el dedo al emperador. pero también ambas pueden ser falsas. si mezclamos las dos características o propiedades de los conceptos (connotación y denotación) y la división aristotélica de las proposiciones. Formaliza los siguientes enunciados. Ambas pueden ser verdaderas. entre las que se pueden mencionar las siguientes: Las proposiciones contradictorias Las proposiciones contrarias Las proposiciones subcontrarias Las proposiciones subalternas Siempre una será verdadera y otra falsa. se establecen las siguientes oposiciones: A Contrarias E Contradictorias Subalternas Subalternas I Subcontrarias O Contradictorias Contrarias Subcontrarias Subalternas Difieren en cantidad y cualidad: la A y la O. la E y la I.

2. Además. es decir. no varía. entonces la conclusión se derivaría necesariamente de ellas. el razonamiento es correcto. en nada cambia el significado de la premisa mayor. pues «mortales» se refiere a los seres humanos. la conclusión se deduce lógicamente de sus premisas.2. La forma en que estos aparecen en la estructura del silogismo es la siguiente: el término mayor hace de predicado en la conclusión. en este caso no importa si el contenido de las proposiciones es verdadero o falso para que la forma del razonamiento sea correcta. es decir. Por ejemplo. el menor y el medio. ■ Los términos mayor y menor no pueden tener una extensión diferente en la con- clusión que en las premisas. Las dos primeras son denominadas premisas y la tercera conclusión.» Premisa mayor Premisa menor Conclusión Como puedes ver. en la premisa mayor se considera la totalidad de la clase de los seres humanos. El silogismo se estructura con tres términos básicos: el mayor. resultaría así: Gracias al silogismo podemos comprobar cómo con el razonamiento podemos entendernos cuando hablamos. y el término medio solo hace de término comparativo entre ambas premisas. ■ El término medio debe tomarse en toda su extensión.» «Sócrates es un ser humano. El silogismo Con lo explicado anteriormente resulta más fácil comprender el silogismo. Si son correctos formalmente. por tanto. Lo que importa es la inferencia que se da a partir de las dos premisas. de las primeras. el conjunto de entes al que hacen referencia los términos. que fue la forma lógica de los razonamientos más destacada de la lógica clásica. necesariamente. la extensión. tenemos un razonamiento compuesto por tres enunciados o proposiciones. el término menor hace de sujeto en la conclusión. El ejemplo clásico de silogismo: «Todos los seres humanos son mortales. la cual se deriva deductivamente.ANEXO: Ampliación de Lóg ica 2. En este caso. para que un silogismo sea correcto o válido debe ajustarse a las siguientes reglas: ■ Solo puede contener los tres términos indicados: mayor. En el ejemplo anterior. en el razonamiento. 328 . Finalmente. menor y medio. grupo al que pertenece Sócrates. por lo menos una vez. Término mayor Término menor Término medio «son mortales» «Sócrates» «los seres humanos» En el caso anterior.» «Sócrates es mortal.

Por ejemplo.» – «Sócrates es inmortal. en nuestra vida cotidiana establecemos premisas para sacar conclusiones. – «Todos los seres humanos son mortales. Por ejemplo: ■ Dos ■ De – «Ningún ser humano es mortal.» – «El filósofo Sócrates no es un ser humano. si hay una premisa positiva y otra negativa. ■ La conclusión tiene más posibilidades de hacer que el silogismo sea falso.» (F) ■ Si se trata de una premisa universal y otra particular.Tipos de Lógica ■ El término medio no debe entrar en la conclusión.» (F) – «El filósofo Sócrates es un ser humano. la conclusión debe ser particular. premisas afirmativas no pueden concluir en una negativa. Por ejemplo: – «Todos los seres humanos son inmortales. ambas premisas son afirmativas.» (Universal) – «Sócrates es un ser humano. responden a un estado de cosas empíricamente comprobable y la conclusión es igualmente verdadera. 329 . De esta misma forma. es decir. la conclusión será siempre negativa.» (Particular) – «Sócrates es mortal» (Particular) Sócrates estableció uno de los postulados más importantes de la lógica del que han partido numerosos estudiosos hasta la actualidad. en la conclusión se excluye el término «seres humanos».» En cualquiera de los tres casos nos encontramos con situaciones evidentemente falsas.» (V) – «Sócrates es inmortal. Esta regla se cumple en el ejemplo propuesto. dos premisas negativas no se deduce ninguna conclusión. En el ejemplo analizado.

Por ejemplo: – «Algunos seres humanos son filósofos.» En este caso.» – «Sócrates es filósofo. hemos visto que razonamos bien sabiendo cuándo acertamos y cuándo nos equivocamos en función de lo que nos dicen. Lógica informal Los dos tipos de lógica revisados hasta el momento forman parte de la lógica deductiva o lógica formal. Asimismo. en la vida cotidiana.» – «Sócrates es un ser humano. paradojas o falsos argumentos. Lo abstracto escapa de las leyes de la lógica y ahonda en los sentimientos profundos del ser humano. etc. que debemos dilucidar y descubrir. intentando darles la apariencia de que son ciertas o correctas. como en el prototípico caso del silogismo. pasionales. 330 . normalmente no procedemos mediante razonamientos deductivos de ese tipo. Mediante ella.ANEXO: Ampliación de Lóg ica ■ De dos premisas particulares no se deduce ninguna conclusión. sino que en nuestras argumentaciones ordinarias mezclamos elementos racionales con otros volitivos. En ella la conclusión de los razonamientos se deduce necesariamente de las premisas. que complican la objetividad y la certeza de lo que decimos. 3.. aunque en realidad pueden esconder falacias. valorativos. mentiras. en no pocas ocasiones formulamos argumentaciones con el propósito de convencer o persuadir a nuestros interlocutores. como lo suponen las reglas del silogismo. Sin embargo. la conclusión no se sigue necesariamente de las premisas.

destacan las que afectan a la formación de los silogismos. Los griegos denominaban «sofismas» y los latinos «falacias» al tipo de argumentación que. cuando se suponen unas premisas implícitas que no apoyan lógicamente la deducción de su conclusión. en adelante. Falacias de atinencia o relevancia Estos falsos razonamientos resultan de la ausencia de atinencia lógica• de las premisas con sus conclusiones.1.» A B A B No debemos confundir este caso con el modus ponens. las falacias resultan de una transgresión de las reglas de la deducción. no por el hecho de estar cansado (B) se deduce que se haya corrido (A). Entre los modos más comunes dentro de este tipo de falacias. Una falacia bastante grave sería decir que como Diego Armando Maradona es argentino. Además. el cual es una forma válida de razonamiento donde la premisa menor es el antecedente. Así. 331 . por la que se afirma una conclusión que no ha sido probada.1. También puede ser sustituida por su sinónimo «atingencia». Sin embargo. los mejores futbolistas son argentinos. lo establecido en las premisas es inapropiado para fundamentar conclusiones válidas y verdaderas.» «Estás cansado. por tanto.1. en la medida en que son las más comunes en la vida cotidiana y ya no se quedan en el plano formal de las proposiciones. pretendiendo persuadir. Las falacias Existen falacias que se analizan tanto en el campo de la lógica formal como en el de la informal. En el primer caso. como en el caso siguiente: «Si corres te cansas. 3. En este caso. Hay. formula aparentemente un razonamiento. Entre las falacias informales podemos reconocer dos tipos: falacias de atinencia y falacias de ambigüedad. es decir. Un claro ejemplo de ellas es la falacia del consecuente.Tipos de Lógica Esto es lo que da lugar a la denominada lógica informal. pero no el consecuente de la mayor (sería A. nos interesa ahora revisar algunos de los casos más relevantes en materia de lógica informal. sino en el contenido de los razonamientos. pero de manera defectuosa. siendo la conclusión B: A B). una manifiesta falta de rigor. es un tipo de argumentación incorrecta. podemos revisar los siguientes: Vocabulario Atinencia lógica: se dice de los razonamientos en los que la conclusión muestra o tiene relación o consecuencia con las premisas de las que se desprende. nos centraremos en el estudio de las llamadas «falacias no formales». en el caso de la falacia del consecuente. principalmente el análisis de algunas de las falacias más representativas y de los argumentos paradójicos clásicos. que es la denominación que seguiremos. que ha tenido un fuerte impacto en las investigaciones y el desarrollo de diversas aplicaciones tecnológicas. falacias. 3.» «Has corrido. En este breve recorrido por los caminos de la lógica.

cuando ante nuestros padres no admitimos la responsabilidad de alguna falta. pero que tienden a producir un efecto análogo. por ello debemos reflexionar sobre las argumentaciones de los demás para descubrir si los razonamientos expuestos son defectuosos o bien son correctos. incurrimos en este tipo de falacia. Cuando pretendemos que algo es cierto solo por el hecho de que no se ha probado su falsedad. Se cae en este error cuando se recurre a las emociones y los sentimientos. En el ámbito internacional. está presente en la amenaza del uso de la fuerza o mediante la guerra. Este tipo de argumentación aparece comúnmente en los procesos judiciales. o a la inversa. cuando se pretende demostrar que una persona es responsable de un robo porque no tiene trabajo conocido o abandonó su hogar. en vez de demostrar la autoría de una acción delictiva por parte de una persona. la solidaridad. el argumentum ad baculum puede presentarse. que es falso porque no se ha demostrado su verdad. Por ejemplo. Incurrimos en este error cuando en vez de refutar la verdad de lo que afirma nuestro interlocutor lo atacamos directamente. como la piedad. la comprensión.ANEXO: Ampliación de Lóg ica a) Apelación a la fuerza (argumentum ad baculum). Este argumento es falaz ya que el carácter personal de quien afirma algo no tiene relevancia lógica para determinar la verdad o falsedad de lo que dice. en los casos en que. para que se acepte una determinada conclusión. Cometemos este error cuando se apela a la fuerza o a la amenaza de fuerza para provocar en el interlocutor la aceptación de una conclusión. es un caso de argumento por ignorancia. b) Argumento ofensivo (argumentum ad hominem). cuando se doblega la voluntad de alguien con la amenaza del abandono. afirmar lo contrario configuraría el mismo tipo de error. Este argumento se da. no se puede emitir un juicio racional. por su parte. En el ámbito de las relaciones interpersonales. En este caso. 332 . Puede tratarse de métodos de intimidación diferentes a la fuerza física. se debe a que es un asunto sobre el cual. Así. con la información de que se dispone. por ejemplo. objetando que ellos también lo hicieron en su momento. d) Apelación a la piedad (argumentum ad misericordiam). c) Argumento por ignorancia (argumentum ad ignorantiam). por ejemplo.. Esta situación se Las falacias están presentes en nuestro día a día. se exhibe su trayectoria vital como una muestra de su responsabilidad en los hechos que se le imputan. ahora bien. por ejemplo. etc. afirmar que es cierto que los ovnis no existen puesto que no se ha logrado probar la existencia de vida extraterrestre.

lo recoge en el otoño. el error queda muy evidente. f) La causa falsa (non causa pro causa). si se dice que una película de cine fantástico es mejor que otras porque las personas de buen gusto así lo consideran. Determina el tipo de falacia en que se incurre en cada uno de estos casos y explica en qué consiste. les citan como autoridad para probar lo que están afirmando. ● Actividades 8. la idea de que sudar mucho es un medio para adelgazar. c) De argumento por ignorancia. es mi pelota. en el habla común es posible formular la misma proposición con oraciones diversas. en el otoño. o bien. por lo tanto.» b) «Hoy me toca a mí batear. debe ser falso. particularmente la imagen televisiva. Por ejemplo. A fin de cuentas. b) De apelación a la autoridad. nos encontramos con este tipo de falacia.» c) «Ese estudiante dice que yo soy su profesor favorito. Este error consiste en dar por demostrado lo que habría que demostrar para obtener la conclusión que se desea. o bien. En esta apelación a la autoridad se basa en el respeto que se tiene hacia personas socialmente reconocidas. Cuando en una argumentación la conclusión repite exactamente alguna premisa.» d) «Lo que el labrador siembra en la primavera. e) Apelación a la autoridad (argumentum ad verecundiam). 333 . Construye un razonamiento que sea un ejemplo de falacia: a) De apelación a la fuerza. cuando se pretende afirmar la inocencia de alguien basándose en su buena presentación y exquisitos modales. muchas personas forman sus criterios en base a lo que afirma este colectivo.» 9. Con este tipo de pseudorazonamientos se pueden establecer conclusiones realmente ridículas.Tipos de Lógica da. Por lo tanto. En la primavera siembra trigo de dos euros el kilogramo. como habíamos visto más atrás. por ejemplo. se afirma que son aquellas que ven películas fantásticas. De esta forma. como argumento para lograr el asentimiento a una conclusión. y debe de decir la verdad. g) Petición de principio (petitio principii). porque ningún estudiante le mentiría a su profesor favorito. pero ante la pregunta acerca de quiénes son las personas de buen gusto. el labrador cosecha trigo de dos euros el kilogramo. con independencia de si sus argumentaciones se expresan con rigor y con conocimiento de causa. Cuando se toma como causa de un evento algo que no lo es. incurrimos en una petición de principio. Hoy en día. así que esto puede oscurecer el hecho de que una y la misma proposición aparece como premisa y como conclusión. a) «Ningún matemático ha logrado nunca demostrar la verdad del famoso “último teorema” de Fermat. en un medio dominado por la imagen. pensar que si se toca el claxon del coche insistentemente hará avanzar la fila de vehículos cuando estamos en un embotellamiento. Sin embargo.

la muerte es la perfección de la vida». podría ser interpretada de forma que a los amigos se debe hacer el bien. pero en el segundo caso se trata de la terminación del proceso vital que no tiene que ver con la primera proposición. Dentro de la lógica aristotélica corresponden al tipo de error que él denominaba falacias in dictione. el ensamblaje del ordenador sea deficiente.ANEXO: Ampliación de Lóg ica 3. estamos en presencia de una falacia de composición. de manera que no ponemos suficiente atención a la línea lógica del razonamiento (en los periódicos y revistas sensacionalistas es un recurso muy utilizado). pero la inferencia se presenta en la dirección opuesta. 2. Falacias de ambigüedad Este tipo de falacia aparece en los argumentos que contienen palabras o frases ambiguas. pero a quienes no son nuestros amigos es posible hacerles el mal. Esta falacia consiste en deducir que las características del todo se aplican a cada parte del mismo modo. cuando vamos a comprar un ordenador. Así. Es inversa a la anterior. Por ejemplo. Cuando se confunden las cualidades de las partes de un todo con las propiedades del todo. pues los defectos del razonamiento falaz son de carácter verbal o lingüístico. una frase ambigua o demasiado genérica. cuyo significado va cambiando de manera más o menos sutil en el curso del razonamiento. aun cuando se usara con uno solo de esos significados. el fin de la vida es la muerte. siempre daría un resultado falaz. si decimos que «Un colegio es competitivo y Enrique es estudiante de ese colegio. el vendedor nos describe detalladamente los componentes básicos de aquel. El énfasis. Se puede incurrir en esta falacia por la forma descuidada con la que usamos el lenguaje. Entre ellas podemos mencionar las siguientes: 1. Esta falacia aparece cuando una palabra es usada con más de un significado en un mismo razonamiento y el contexto no permite distinguirlos. De esta forma. aludiendo a la calidad de estos porque se trata de piezas de marca. Sin embargo. la palabra «fin» está utilizada con diversos significados en uno y otro caso: en el primer caso se refiere a un objetivo. pues en el primer caso daría 30 y en el segundo el resultado sería 14. Evidentemente. 334 . que en virtud del énfasis que se hace de la última parte de la oración. La anfibología. Un caso es este clásico argumento: «El fin de una cosa es su perfección. La composición. se comete así una falacia de división.2. ya que en base a esa imprecisión.1. Esta falacia se produce cuando variamos el significado de los términos. Un ejemplo sutil lo podemos encontrar en la máxima «haz el bien a tus amigos». Así. Se da la misma confusión. 5. puede incurrir en anfibología quien afirme que (4+2)x5 = 4+2x5. Esta aparece cuando el argumento se hace a partir de premisas cuya formulación es ambigua. se puede convencer a alguien de que uno de los sentidos posibles es el único que puede sostenerse. por tanto. ya que puede darse el caso que. en la que cada cual interpreta lo que quiere. 4. por tanto Enrique es competitivo». 3. Si sobre la base de esa información concluimos que el ordenador es de excelente calidad. lo que es cierto para el todo es cierto para cada una de las partes. es la condición más propicia para que aparezca este tipo de error o pseudorazonamiento. cometemos este tipo de falacia. debido a la forma en que se recalcan o destacan. La división. El equívoco. aun con componentes de buena calidad. luego.

pero en un lenguaje cotidiano nos resultarían extrañas. Paradojas. ya que no son antiguas. Construye una falacia que tenga elementos de equívoco y composición. a) «El señor Rodríguez es un pobre hombre y pierde siempre que juega a las cartas.» c) «Las amenazas terroristas no son nuevas. sinsentidos o absurdos. 335 . en literatura se utilizan este tipo de expresiones con intención poética. Más precisamente consiste en una expresión lógica en la que existe una contradicción aparente y somos incapaces de determinar dónde reside el error. el movimiento hippie mezcló símbolos bélicos con flores para protestar contra las guerras. En los años 60.» 11. Por lo tanto. Por ejemplo. En esta simbología expresaban sus ideales a través de la paradoja. si decimos que «La lluvia provoca sequía» o que «La vida es muerte y la muerte es vida». Determina el tipo de falacia que contienen los siguientes pasajes.» b) «El padre de ella tiene una apariencia distinguida. de modo que debe ser un hombre distinguido. las amenazas terroristas son buenas nuevas. Intentar clarificarlas tiene un efecto práctico muy importante.Tipos de Lógica Estos son solo algunos ejemplos de falacias a las que nos vemos expuestos diariamente. el señor Rodríguez es un pobre perdedor. Por lo tanto. pues su detección y comprensión es importante para defendernos y estar atentos ante posibles engaños.2. Muchos son los tipos de enunciados que implican imposibles. y explica en qué consiste cada una de ellas. 3. ● Actividades 10. entimemas y sorites Las paradojas consisten en la expresión de una idea que se aparta de lo que comprendemos como «sentido común».

Ambos pensaban que este no era posible y para ello formuló varias paradojas que más tarde Aristóteles expuso y discutió en su Física.). Vocabulario Entimema: silogismo abreviado que. el argumento. Quien así se expresa. aparece este tipo de razonamiento en las «máximas» o «aforismos». discípulo de Parménides de Elea. es un tipo de paradoja semántica desconcertante y que plantea un problema a quien pretenda construir sistemáticamente una teoría de las relaciones entre el lenguaje y la realidad. que podrían ser las siguientes: 336 .» – «Toda distancia es ilimitadamente divisible. en la expresión «No es oro todo lo que reluce». pues para esto el último debería primero llegar al lugar de donde partió el corredor perseguido.» No obstante. aunque este paso nunca fue dado por Zenón. y así sucesivamente.C. ¿está diciendo la verdad? ¿Cómo se puede decir la verdad mintiendo o cómo se puede mentir diciendo la verdad? ! De este modo. llamadas antecedente y consecuente. únicamente consta de dos proposiciones. Curiosidad filosófica La «paradoja del mentiroso». Otro tipo de dificultad que enfrentamos en el reconocimiento y reconstrucción de los razonamientos está representado por el entimema•.ANEXO: Ampliación de Lóg ica En la Antigüedad. que se formula para demostrar la imposibilidad del movimiento. que es una conclusión pero se han omitido las premisas.» – «La suma de las partes resultantes de dividir ilimitadamente una distancia es igual a infinito. De alguna manera. con lo cual el corredor más lento siempre estará un poco más adelante. entre las dos paradojas aristotélicas tenemos: a) La paradoja que podemos denominar «de la quietud». es el argumento llamado «Aquiles». por sobreentenderse una de las premisas. trató de demostrar la validez de las enseñanzas de su maestro frente a la existencia y posibilidad del movimiento. Zenón de Elea (siglo V a. Pero. que Aristóteles recogió. terminaría afirmando una proposición contradictoria. pues de lo contrario el móvil debería alcanzar el punto medio del camino antes de poder llegar al final. Por medio de ella se dice que Epiménides el cretense había declarado que todos los cretenses son mentirosos. también llamada la «paradoja de Epiménides» o «del cretense». b) Otra de las paradojas de Zenón. Resulta que él mismo era cretense. en virtud del método de la reducción al absurdo tendríamos que desecharlo. ¿Estaba entonces diciendo la verdad? Existe una versión más simple y popular cuando alguien afirma «Miento». por tanto. Este razonamiento podría reconstruirse así: – «Si algo se desplaza de un punto a otro ha de recorrer una distancia. Este argumento vuelve sobre la tesis de la división infinita de una distancia y tiene el mismo desenlace absurdo que el anterior. por ejemplo. cada vez debe llegar primero al punto intermedio entre la mitad del camino y antes de llegar a su meta. que es un silogismo incompleto en el que falta una o incluso las dos premisas. también. que afirma que nada se mueve. que consiste en afirmar que un corredor más lento nunca será alcanzado por uno más rápido.» – «Nadie es capaz de recorrer una distancia infinita.

con lo que se identifican mejor con la empresa. Si contratamos trabajadores fijos. de modo que el predicado de la proposición antecedente pasa a ser el sujeto de la proposición que le sigue.» De otro lado. Vocabulario Sorites: raciocinio compuesto de muchas proposiciones encadenadas. debemos mencionar el sorites•. Se trata de argumentos sucesivos.» – «El sol siempre reluce. luego es de día» puede llevar al equívoco de que siempre será de día mientras el Sol ilumine aunque no alumbre en el lado donde es de noche. no es oro todo lo que reluce. como en el caso siguiente: «Los empleados fijos trabajan más a gusto.Tipos de Lógica – «Los objetos de oro siempre relucen.» También: «El Sol alumbra. Además. este tipo de argumentos sucesivos se utilizan con frecuencia en nuestra vida cotidiana para justificar nuestras explicaciones. hasta alcanzar la conclusión definitiva. para terminar este rápido recorrido por los campos de la lógica. 337 . en este caso. cuando decimos que «Los empleados fijos trabajan más a gusto y con ellos se mejora la calidad de nuestros productos». mejorará la calidad de nuestros productos. se puede inducir al error cuando omitimos alguna parte de la cadena de argumentos. que es una cadena de argumentos en la que la conclusión del primero sirve de premisa para el segundo.» – «Por tanto. lo que les anima a preocuparse más por la calidad del producto. hasta que en la conclusión se une el sujeto de la primera proposición con el predicado de la última proposición. El sorites es un término lógico poco conocido. y así sucesivamente. sin embargo. en la Tierra.

ANEXO: Ampliación de Lóg ica Las sorites aparecen por tanto de dos formas. en esta forma el sujeto de cada proposición es el predicado de la siguiente: C es D B es C A es B Luego A es D «Andalucía está en España» «Cádiz en Andalucía» «Jerez en Cádiz» «Jerez está en España» ● Actividades 12.» e) «Nadie que pueda dominar a un cocodrilo es menospreciado. cambia el sujeto de la conclusión.» f) «Las personas ilógicas son menospreciadas. En la primera. Por ejemplo: A es B B es C C es D Luego A es D «Jerez está en Cádiz» «Cádiz está en Andalucía» «Andalucía está en España» «Jerez está en España» En este caso. buena sombra le cobija». pero no el predicado. de modo que resulte un razonamiento válido: «Quien a buen árbol se arrima.» d) «Los bebés son ilógicos. nadie recibe el Times. llamada por los escolásticos regresiva. Reconstruye las premisas que podrían tener como conclusión el siguiente enunciado. Por el contrario.» 338 .» b) «Ningún erizo sabe leer. denominada progresiva. 13. la conclusión se refiere al mismo sujeto con que se inició la cadena.» c) «Los que no saben leer no son cultos. en la segunda forma. el predicado de cada proposición es el sujeto de la siguiente. Halla la conclusión del sorites en cada uno de los ejercicios siguientes: a) «A menos que sea culto. Un razonamiento incompleto sería decir que Jerez está en España porque está en Cádiz. aunque cambia el predicado.

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->