LGICA FORMAL E INFORMAL: FALACIAS, PARADOJAS Y FALSOS ARGUMENTOS

Luis Felipe Gonzlez del Riego Collomp Teora del Conocimiento - Bachillerato Internacional Primer ao 2010 Colegio SS.CC. Recoleta.

Lenguajes Naturales y Cientficos

El ser humano ha construido lenguajes para elaborar su propia experiencia y transmitirla a otros. El lenguaje le permite al ser humano crear, pensar, reducir la realidad a conceptos y frmulas, recordar y disear el futuro. (Aprehendo la realidad cuando la puedo expresar en lenguaje). El lenguaje es una convencin social que permite la comunicacin (oral, escrita, iconogrfica, corporal, etc.) de ideas y afectos, y la insercin de un individuo en un grupo social. El lenguaje natural tiene inconvenientes: ambigedades, paradojas, malentendidos. Necesidad de lenguaje artificial con precisin y operatividad, adecuados a campos especficos (Ciencias). 2

No hay verdad si no pensamos correctamente. El pensamiento correcto es aquel que es elaborado de acuerdo a las reglas de la lgica. Marcial Rubio
3

Funciones del Lenguaje

EXPRESIVA: dar a conocer deseos, opiniones, sentimientos del emisor. CONATIVA: influir en la conducta del receptor. REPRESENTATIVA: informar de modo objetivo sobre situaciones, ideas, objetos o seres. FTICA: mantener la comunicacin. METALINGSTICA: pensar y hablar sobre la propia lengua.
Paradoja de Epimnides: Todos los cretenses son mentirosos. Epimnides es cretense. Dice la verdad?

POTICA: llamar la atencin sobre la forma del mensaje.

Clases de Lenguajes
Naturales Lenguas comunes o idiomas Espaol Francs Ingls Quechua Artificiales No formales Sistemas de comunicacin Braille Morse Esperanto De Tolkien Cientficos Fsica Qumica Medicina

Formales
Cientficos Matemticas Lgica De programacin No tienen contenido emprico 5

Tienen contenido emprico

Lenguaje Formal:
Todo lenguaje formal consta de un conjunto de signos y reglas caractersticos: a) Tabla de smbolos: Vocabulario del sistema: Conjunto de signos
definidos, tanto constantes como variables, cuya combinacin da lugar a la formacin de frmulas:

x, y, z, 2, 4 +, -, =
b)

son signos variables del vocabulario matemtico. son signos constantes (operadores) del vocabulario matemtico.

Reglas de formacin. Las reglas de formacin equivalen a la sintaxis

del lenguaje ordinario y permiten saber cundo una combinacin de smbolos es pertinente o no:

x = 2y, x+z=4 x=+-2z)

son frmulas construidas de acuerdo con las reglas de formacin del lgebra. no lo es.
6

Lenguaje Formal:
c) Reglas de transformacin. Estas reglas permiten traducir una frmula
correcta a otra equivalente. Son necesarias para realizar clculos, es decir, para establecer relaciones entre frmulas que slo han de respetar las reglas; no poseen contenido en s mismas: 3x5=5x3 es una frmula que se apoya en una regla de transformacin aritmtica segn la cual el orden de factores no altera el producto. Por ejemplo: Halle el error: x=y

Lenguaje Formal:
c) Reglas de transformacin. Estas reglas permiten traducir una frmula
correcta a otra equivalente. Son necesarias para realizar clculos, es decir, para establecer relaciones entre frmulas que slo han de respetar las reglas; no poseen contenido en s mismas: 3x5=5x3 es una frmula que se apoya en una regla de transformacin aritmtica segn la cual el orden de factores no altera el producto. Por ejemplo: Halle el error:

x=y x2 = yx

Lenguaje Formal:
c) Reglas de transformacin. Estas reglas permiten traducir una frmula
correcta a otra equivalente. Son necesarias para realizar clculos, es decir, para establecer relaciones entre frmulas que slo han de respetar las reglas; no poseen contenido en s mismas: 3x5=5x3 es una frmula que se apoya en una regla de transformacin aritmtica segn la cual el orden de factores no altera el producto. Por ejemplo: Halle el error:

x=y x2 = yx x2-y2 = yx-y2

Lenguaje Formal:
c) Reglas de transformacin. Estas reglas permiten traducir una frmula
correcta a otra equivalente. Son necesarias para realizar clculos, es decir, para establecer relaciones entre frmulas que slo han de respetar las reglas; no poseen contenido en s mismas: 3x5=5x3 es una frmula que se apoya en una regla de transformacin aritmtica segn la cual el orden de factores no altera el producto. Por ejemplo: Halle el error:

x=y x2 = yx x2-y2 = yx-y2 (x-y)(x+y) = y(x-y)

10

Lenguaje Formal:
c) Reglas de transformacin. Estas reglas permiten traducir una frmula
correcta a otra equivalente. Son necesarias para realizar clculos, es decir, para establecer relaciones entre frmulas que slo han de respetar las reglas; no poseen contenido en s mismas: 3x5=5x3 es una frmula que se apoya en una regla de transformacin aritmtica segn la cual el orden de factores no altera el producto. Por ejemplo: Halle el error:

x=y x2 = yx x2-y2 = yx-y2 (x-y)(x+y) = y(x-y) x+ y = y

11

Lenguaje Formal:
c) Reglas de transformacin. Estas reglas permiten traducir una frmula
correcta a otra equivalente. Son necesarias para realizar clculos, es decir, para establecer relaciones entre frmulas que slo han de respetar las reglas; no poseen contenido en s mismas: 3x5=5x3 es una frmula que se apoya en una regla de transformacin aritmtica segn la cual el orden de factores no altera el producto. Por ejemplo: Halle el error:

x=y x2 = yx x2-y2 = yx-y2 (x-y)(x+y) = y(x-y) x+ y = y 2y = y

12

Lenguaje Formal:
c) Reglas de transformacin. Estas reglas permiten traducir una frmula
correcta a otra equivalente. Son necesarias para realizar clculos, es decir, para establecer relaciones entre frmulas que slo han de respetar las reglas; no poseen contenido en s mismas: 3x5=5x3 es una frmula que se apoya en una regla de transformacin aritmtica segn la cual el orden de factores no altera el producto. Por ejemplo: Halle el error:

x=y x2 = yx x2-y2 = yx-y2 (x-y)(x+y) = y(x-y) x+ y = y 2y = y

2=1

13

La Lgica
El dominio de las leyes de la lgica permite pensar y razonar con claridad. El que no sabe expresarse es como si no pensara. La Lgica permite resolver problemas del discurso ordinario ARISTTELES (Padre de la lgica): la lgica se ocupa del anlisis del pensamiento correcto. la lgica ha de ser en un determinado sentido y entre otras cosas, la ciencia de las leyes del lenguaje, la ciencia de las leyes del uso sensato del lenguaje (A. DEAO). Actualmente se entiende la lgica como el conjunto de clculos cuya interpretacin depende del campo especfico para el que se apliquen.
14

Las proposiciones
La lgica, slo se ocupa de aquellas oraciones en las que se afirma o niega algo y que, por ello, pueden ser verdaderas o falsas.
A este tipo de oraciones se las conoce habitualmente como proposiciones o enunciados.

La proposicin Los gatos persiguen a los ratones es una proposicin simple porque no puede dividirse en otras proposiciones ms sencillas.
La proposicin Los gatos persiguen a los ratones y los perros persiguen a los gatos es una proposicin compleja, compuesta por dos proposiciones simples que estn unidas con la partcula y: Los gatos persiguen a los ratones y los perros persiguen a los gatos .
15

Razonamiento
Cuando las proposiciones se encadenan de una forma determinada, obtenemos un razonamiento.

El razonamiento se puede definir como un proceso mental que consiste en partir de ciertas afirmaciones para obtener otras nuevas.
Razonar consiste en extraer conclusiones, desarrollar un proceso discursivo que lleva a establecer algo -conclusin o decisin- a partir de otros supuestos o premisas. Para referirnos a la expresin lingstica de un razonamiento usamos trminos como deduccin, inferencia, argumentacin, demostracin, etc. No todos los razonamientos son correctos; algunos de ellos estn mal construidos. Por eso, la tarea de la lgica consiste en distinguir unos de otros mediante el estudio sistemtico de las leyes del razonamiento formalmente correcto.
16

VERDAD Y VALIDEZ
Cuando un razonamiento est bien construido, es correcto, o verdadero desde el punto de vista lgico, sin considerar si lo que en l se afirme corresponda o no con la realidad; es decir, es verdadero. Tanto a la lgica como a la matemtica lo que les interesa es la estructura formal de los razonamientos, prescindiendo del contenido de stos. Veamos un ejemplo:

Ningn mamfero pone huevos. El ornitorrinco es un mamfero. Luego el ornitorrinco no pone huevos.
En el razonamiento anterior, aunque la conclusin es falsa, sta se desprende necesariamente de las premisas. Por eso decimos que es un razonamiento correcto o vlido. La correspondencia entre lo que se dice en los enunciados y la realidad le corresponde a las ciencias empricas. La lgica se dedica a establecer qu deducciones son correctas, es decir, cundo y en qu condiciones de unas premisas se sigue una conclusin.
17

Lgica de Enunciados
La lgica de enunciados o proposicional estudia las relaciones entre las proposiciones sin analizar, es decir, sin tener en cuenta su estructura. Vamos a presentar la lgica proposicional en forma de clculo. Veremos para ello cmo se traduce el lenguaje ordinario a frmulas lgicas y cmo se transforman correctamente estas frmulas en otras, es decir, cmo se deducen unas de otras.

La lgica actual utiliza la estructura de clculo.

Un clculo es un sistema de relaciones entre smbolos no interpretados que permite realizar operaciones con ellos. El clculo se compone de los elementos siguientes: a) Un conjunto de smbolos elementales. b) Un conjunto de reglas de formacin que determinan qu combinaciones de smbolos son correctas. c) Un conjunto de reglas de transformacin que permiten pasar correctamente de unas combinaciones de smbolos a otras.
18

Smbolos Formales
Los smbolos formales son de tres tipos: a) Variables proposicionales. Son letras determinadas que simbolizan proposiciones. Se llaman variables porque cada una de ellas puede representar indistintamente cualquier proposicin. Se utilizan las letras minsculas, siguiendo el orden alfabtico, a partir de la p: p, q, r, s, etc. b) Operadores o constantes lgicas. Son smbolos que sirven para relacionar las proposiciones entre s. Equivalen a los distintos tipos de conjunciones que, en el lenguaje natural, enlazan las proposiciones. Estos operadores reciben nombres distintos; entre los ms comunes estn los de conectivas, conectores, functores o juntores. En la lgica proposicional se utilizan la negacin ( ~), la conjuncin (), la disyuncin (), el condicional () y el bicondicional (). c) Smbolos auxiliares. Son smbolos que sirven para indicar cmo se agrupan los componentes de una frmula y cul es la conectiva principal o dominante. Son los corchetes [ ] y los parntesis ( ).

19

Reglas de Formacin
Para formar correctamente las frmulas en este clculo, bastar tener en cuenta: -El negador se antepone a una variable proposicional o a una frmula. Por ejemplo: ~ p, ~ (r s) - Las restantes conectivas unen dos variables proposicionales, dos frmulas o una frmula y una variable proposicional. Por ejemplo: p q, (p ~ q) y (r s), (p q) r
Jerarqua de dominancia de las conectivas Para saber cmo debemos leer una frmula, hay que tener en cuenta cul es en cada caso la conectiva principal o dominante. En ausencia de parntesis, la conectiva dominante resultar de la siguiente jerarqua 1 el coimplicador 2 el implicador 3 el conjuntor/disyuntor 4 el negador ~ aunque ste ltimo domina a todos cuando afecta a toda la frmula. Tomemos, a modo de ejemplo, la siguiente frmula: p q r Si no ponemos ningn parntesis, se entiende que la conectiva dominante es el implicador () y entonces la frmula propuesta equivaldra a esta otra: p (q r)
20

Valores de Verdad
Proposicin Verdadera Falsa p 1 0

Cuando se unen dos o ms proposiciones atmicas con conectivas, las proposiciones moleculares resultantes tambin sern verdaderas o falsas. El valor de verdad de estas proposiciones moleculares depender del valor de verdad de las proposiciones atmicas que las integran, pero tambin depender de la conectiva que las relacione.

21

Funciones de verdad de las conectivas

NEGADOR: Es la conectiva que convierte un enunciado verdadero en falso y un enunciado falso en verdadero. p ~p

CONJUNTOR. Es la conectiva que origina una proposicin molecular que slo es verdadera si las proposiciones que la integran son verdaderas, y falsa en los otros casos.
p q 1 1 0 0 1 0 1 0 pq 1 0 0 0
22

1 0

0 1

Funciones de verdad de las conectivas

DISYUNTOR. Es la conectiva que origina una proposicin molecular que slo es falsa si las proposiciones que la integran son falsas, y verdadera en los otros casos. p 1 1 0 0 q 1 0 1 0 pq 1 1 1 0

IMPLICADOR. Es la conectiva que origina una proposicin molecular, llamada condicional, que slo es falsa si el antecedente es verdadero y el consecuente es falso, y es verdadera en los restantes casos. Se conoce como condicin suficiente.
p q pq

1 1 0 0

1 0 1 0

1 0 1 1

23

Funciones de verdad de las conectivas

CO MPLICADOR. Es la conectiva que origina una proposicin molecular, denominada bcondicional, que es verdadera cuando sus dos componentes tienen el mismo valor de verdad, y falsa si uno de sus componentes es verdadero y el otro falso. Se trata de una condicin necesaria.
p 1 1 0 0 q 1 0 1 0 pq 1 0 0 1
24

Tabla de verdad de una frmula cualquiera

1 Se asignan valores de verdad a todas las variables proposicionales que aparezcan en la frmula. 2 De acuerdo con las funciones de verdad de las distintas conectivas, se realizan las tablas de verdad de las frmulas cuyas conectivas sean menos dominantes. p q (p q) (q p) 1 0 0 0 1 1 1 0 3 Se realiza la tabla de verdad de la conectiva dominante y ste es el valor de verdad de la frmula en cuestin.

p q
1 1 0 0 1 0 1 0

(p q) (q p)
1 0 0 0 1 1 1 1 1 1 1 0

p q
1 1 0 0 1 0 1 0

1 1 0 0

1 0 1 0

25

Anlisis de una tabla de verdad

Al realizar la tabla de verdad de una frmula, podemos encontrar tres tipos de resultado: a) Todos los valores de verdad son 1. Es una tautologa o ley lgica. Es una frmula que resulta siempre verdadera con independencia de los valores de verdad de las variables proposicionales que la constituyen. Es formalmente verdadera. b) Todos los valores de verdad son 0. Es una contradiccin, frmula siempre falsa independientemente de los valores de verdad de las variables proposicionales que la constituyen. Es formalmente falsa. c) Los valores de verdad son, algunos 1 y algunos 0. Es una frmula indeterminada. En esta frmula, su verdad o falsedad depende de los valores de verdad de las variables proposicionales que la constituyen. A estas frmulas tambin se les denomina

consistentes.
Las tablas de verdad nos permiten descubrir qu frmulas son verdades lgicas, cules son contradictorias y cules, simplemente indeterminadas. Con ellas averiguamos si una frmula se sigue de otra, es decir, si puede deducirse de ella, por lo que, las tablas de verdad nos permiten determinar la validez o invalidez de un argumento. 26

Anlisis de una tabla de verdad

Tomemos, por ejemplo, la frmula (pq) p, y supongamos que queremos saber si de ella se deduce (p q). Bastar con que transformemos las dos frmulas en un condicional (unindolas con el smbolo y realicemos su tabla de verdad:

p 1 1 0 0

q 1 0 1 0

[(pq) 1 0 1 1

p)] (p q) 1 1 1 1 0 1 1 1 0 0 1 1 0 0 1 0

Comprobamos de este modo que la frmula si, si p entonces q, y p, entonces p o q es una tautologa, es decir, una ley lgica, porque es siempre verdadera. Con esto se quiere decir que (p q) se deduce con rigor lgico de la frmula anterior.

27

Reglas de Transformacin
Otra manera de comprobar si (p q) se sigue de (p q) p consiste en realizar una deduccin formal. Para ello contamos con las reglas de transformacin de frmulas o reglas de inferencia de la lgica proposicional, que nos indican qu transformaciones dan lugar a frmulas vlidas dentro del sistema. Las reglas se formulan en lenguaje no-formal, pero tambin pueden expresarse en forma de esquema de inferencia mediante smbolos del metalenguaje del sistema. Cada una de estas reglas puede considerarse la expresin de una ley lgica. Presentados sus esquemas en forma de frmula condicional, si se realizan sus tablas de verdad, se comprobar que todas ellas son tautologas.
28

Reglas de Transformacin
Una deduccin formal es una secuencia finita de frmulas en la que cada una de ellas se obtiene de las anteriores mediante la aplicacin de una regla de transformacin. La ltima frmula de dicha secuencia se llama conclusin. As, en el ejemplo anterior partiremos de la frmula inicial (premisa) y, mediante las reglas de inferencia, intentaremos transformarla en la frmula final (conclusin). Si lo logramos, habremos realizado una deduccin correcta, demostrando de este modo que la frmula (p q) se desprende de (p q) p.

29

Reglas de Transformacin
Doble negacin
Dada una premisa cualquiera, puede concluirse su doble negacin y a la inversa.

DN:

A ~~A

Simplificacin
Si tenemos como premisa una conjuncin, puede deducirse por separado cualquiera de las proposiciones que la forman.

S:

AB A

AB B
A B AB

Conjuncin
Si tenemos como premisas dos proposiciones cualesquiera, puede deducirse la conjuncin de ambas. Con:

30

Reglas de Transformacin
Silogismo disyuntivo Si tenemos como premisas una disyuntiva y la negacin de uno de sus miembros, podemos deducir la afirmacin del otro miembro. Adicin Si tenemos como premisa una frmula cualquiera, puede deducirse la disyuncin de esta misma frmula con otra cualquiera. SD: AB ~A AB ~B

Ad:

A
AB

Modus ponens Si tenemos como premisas una frmula condicional y su antecedente, podemos deducir su consecuente.

MP:

A B A

B
31

Reglas de Transformacin
Modus tollens
Si tenemos como premisas una frmula condicional y la negacin de su consecuente, podemos deducir la negacin de su antecedente. MT: AB ~B

~A

Transitividad o ley del silogismo

S tenemos como premisas dos frmulas condicionales en las que el consecuente de la primera es el antecedente de la segunda, podemos deducir un nuevo condicional con el antecedente de la primera premisa y el consecuente de la segunda.

Sil:

AB BC
AC

Ley del dilema

Si tenemos como premisas una disyuncin y dos condicionales cuyos antecedentes son los miembros de la disyuncin, podemos deducir la disyuncin de los dos consecuentes.

Dil:

AB AC BD
CD
32

Reglas de Transformacin
Eliminacin del bicondicional
De una premisa bicondicional se deduce cualquiera de las dos proposiciones condicionales que la forman y tambin la conjuncin de ambas.

E Bi:

AB
AB

AB
BA AB

(A B) (B A) I Bi: AB BA AB

Introduccin del bicondicional

Si tenemos dos premisas condicionales cuyos antecedentes y consecuentes son las mismas frmulas intercambiadas, podemos deducir un bicondicional formado por ambas frmulas. DM1: ~ (A B)

Leyes de DE MORGAN:

DM2:

~ (A B) ~A ~B
33

~A ~B

LOGICA INFORMAL
En la vida diaria es frecuente el intercambio de opiniones con quienes nos rodean.
Para ello hay que dar razones que apoyen nuestras opiniones (argumentar). Argumentar es demostrar algo, en el sentido lgico del trmino. Un argumento es un razonamiento que se emplea para probar o demostrar una proposicin, o bien convencer a otro de aquello que se afirma o se niega. Un argumento es un conjunto de premisas y una conclusin.

34

Argumentaciones vlidas
Los argumentos vlidos se suelen dividir en deductivos e inductivos o probables:

Deductivos. Se pretende que la verdad de la conclusin se sigue necesariamente de la verdad de las premisas. Para rechazar la conclusin, estamos obligados a rechazar tambin una de sus premisas como mnimo. (De lo general se deduce lo particular) Inductivos o probables. La conclusin no se sigue necesariamente de las premisas, sino con cierto grado de probabilidad. Cabe, pues, suponer que si todas las premisas son verdaderas, es probable que la conclusin tambin lo sea. Argumentos mediante ejemplos o generalizaciones. (De muchos casos particulares se induce lo general). Argumentos por analoga. (Semejanza)

35

Argumentaciones vlidas
Cualquiera que sea el tipo de argumento que se utilice, conviene tener en cuenta lo siguiente: En primer lugar hay que distinguir bien entre premisas y conclusin. En segundo lugar hay que partir de premisas fiables: que sean verdaderas. En tercer lugar hay que usar un lenguaje preciso, evitando trminos generales, vagos y ambiguos. Hay que definir los trminos especiales o las palabras tcnicas que se utilicen, para que se comprenda bien lo que queremos demostrar. En cuarto lugar conviene evitar el lenguaje emotivo con el que se puede pretender descalificar al oponente o llevarle a admitir opiniones por vas no racionales.
36

FALACIAS EN LA ARGUMENTACIN
Un argumento falaz es un argumento engaoso, con apariencia de argumento vlido. Encierra algn error o alguna violacin de las reglas de los argumentos correctos. Algunas falacias son tan conocidas que tienen nombres propios. Podemos encontrar falacias tanto en los argumentos deductivos o formales como en los probables o inductivos.

4.2.1 Falacias formales

Se consideran falacias formales aquellos argumentos que son parecidos a los vlidos sin serlo. Por ejemplo, hemos hablado del modus ponens y del modus tollens; pues bien, parecidos a stos encontramos dos falacias clsicas:

Afirmacin del consecuente: [(p q) q)] p Negacin del antecedente: [(pq) ~p)] ~q

Con slo realizar su tabla de verdad, se comprueba que no son deducciones correctas.
37

FALACIAS EN LA ARGUMENTACIN
FALACIAS NO FORMALES En las falacias no formales, la falta de validez no depende de la incorreccin de su forma sino de otros aspectos del argumento que fcilmente pasan desapercibidos. 1. Las falacias por ambigedad. Las falacias por ambigedad son argumentos que parecen vlidos, pero no lo son porque en ellos se usan palabras o expresiones que tienen varios significados, y precisamente se juega con esta diferencia de significacin. Equvoco o ambigedad lxica. Este cambio de sentido puede deberse a la polisemia de la palabra y tambin a los distintos usos que se hacen de la palabra. En el siguiente ejemplo se juega con dos usos del verbo ser, el predicativo y el que expresa identidad: La informacin es poder (identidad). El poder es algo que corrompe (uso predicativo). Luego la informacin es algo que corrompe. Anfibologa cuando se trata de alguna ambigedad sintctica, que afecta a toda la estructura de la proposicin, no slo a una palabra. Por ejemplo, Lo vi sentado en un banco. No queda claro si quien estaba sentado en el banco es quien mira o quien es visto.
38

FALACIAS EN LA ARGUMENTACIN
FALACIAS NO FORMALES 2. Las falacias materiales 2.1 Falacias de datos insuficientes. -Generalizacin inadecuada. Falta de datos suficientes para apoyar en ellos la conclusin que se pretende demostrar o los datos que se aportan no son los adecuados, -Falta de pruebas. Se omiten los datos que pueden ser desfavorables para lo que se quiere demostrar. -Argumentacin de la falsa causa o falacia de correlacin accidental. En ella se presenta como causa algo de lo que no hay ninguna seguridad (ninguna razn segura) para considerarlo as. Por ejemplo, antiguamente se crea que el arco iris produca el cese de la lluvia.
39

FALACIAS EN LA ARGUMENTACIN
FALACIAS NO FORMALES 2. Las falacias materiales 2.2 Falacias de pertinencia. Aportan una informacin que no es adecuada para demostrar la conclusin que se pretende, pero que si no se analiza atentamente puede parecer correcta. Entre ellas podemos contar: Falacia ad hminem (contra el hombre). Se ataca a la persona que argumenta o a la que se ha utilizado como autoridad, en vez de atacar el argumento presentado. Falacia ad ignorantiam (apela a la ignorancia). En ella se pretende que algo es falso porque no se conoce o porque no se ha demostrado su verdad. O, por el contrario, se insiste en que algo es verdadero, slo porque no se ha probado que es falso. Falacia ad bculum (apelar al bastn). Se recurre a la fuerza o poder para dar fuerza al argumento. Por ejemplo, en las relaciones internacionales.
40

FALACIAS EN LA ARGUMENTACIN
FALACIAS NO FORMALES 2. Las falacias materiales 2.2 Falacias de pertinencia. Falacia ad ppulum (apelar al pueblo). De algn modo es un falso argumento de autoridad, porque se apoya en todos lo hacen, a todos les parece bien, o mal, y no se dan otras razones en apoyo del argumento. Ni siquiera se demuestra que ese todos es una fuente bien informada e imparcial. En ellos se intenta jugar con las emociones del auditorio para conseguir lo que se pretende. Falacia ad verecundiam (apelar a la autoridad). Cuando se apela al prestigio de alguien para apoyar un argumento, por ejemplo, Lo dice fulanito, y fulanito es persona respetada, pero no experta en esa cuestin. Falacia petto principii (peticin de principio o crculo vicioso). En este argumento se utiliza la conclusin como premisa aunque de modo implcito.
41

SILOGISMO
Es la parte formal de la lgica, en la que se contrastan dos proposiciones y se extrae una conclusin, a travs del razonamiento deductivo. El razonamiento deductivo es el acto de la mente por medio del cual, a partir de lo que ya se sabe, se adquiere un nuevo conocimiento, progresando de lo conocido hacia lo desconocido. Silogismo es un tipo de razonamiento estudiado por Aristteles en el siglo IV a. de C., que contiene las siguientes caractersticas: Posee tres trminos repetidos dos veces cada uno. Sus reglas toman en cuenta los componentes del razonamiento. Entendiendo el razonamiento como, un conjunto ordenado de proposiciones de las cuales una (consecuente) est establecida por inferencia a partir de las otras (antecedente). Por ejemplo: Todos los pases tienen capital. Per es un pas. Conclusin: Per tiene capital.
42

SILOGISMO
Los silogismos forman parte del desarrollo del pensamiento, tienen como objetivo: Desarrollar las habilidades para pensar coherentemente. Comprender instrucciones e informes. Entender la diferencia entre meras aseveraciones y argumentos. Reconocer cundo las afirmaciones necesitan sustentarse. El conocimiento de una persona no slo se basa en la informacin que almacena o en la resolucin de un silogismo, sino tambin: En la anticipacin argumentada de las consecuencias de una situacin. En la bsqueda de analogas. En la elaboracin de hiptesis entre otras facultades.

43

REGLAS DEL SILOGISMO

1. Los trminos deben ser nicamente tres. 2 Los trminos en la conclusin no pueden tener mayor extensin que en las premisas, por lo tanto, su extensin puede ser menor, o al menos igual. 3. El trmino medio nunca debe estar en la conclusin. 4. El trmino medio ha de tomarse en toda su extensin (es decir, debe ser universal) por lo menos en una premisa. 5. De dos premisas afirmativas slo puede lograrse como conclusin, una proposicin afirmativa. 6. Si ambas premisas son negativas, no se llega a ninguna conclusin; por lo que, de dos premisas negativas no es posible concluir nada. 7. De dos premisas particulares, tampoco se concluye nada. 8. La conclusin siempre debe contener la parte ms dbil. Esto significa que, si una de las premisas es negativa, la conclusin debe ser negativa; y si una de las premisas es particular, entonces la conclusin deber ser particular.
44