Mara Asuncin

Preisser Rodrguez

ARGUMENTACIN
Y CONOCIMIENTO
Materia del TRONCO GENERAL de la Licenciatura en Ciencia
Poltica de la UAM. Es importante no tener NA!

Programa:
I.

Enunciados
Definicin
Enunciados simples y compuestos. Ejemplos.
Determinar el tipo de enunciados dados.
Estructura de enunciados compuestos y su enlace principal.
Simbolizacin de enunciados.
Obtener la estructura de los enunciados.

II.

III.

IV.

V.

Condiciones de verdad para enunciados.

Tablas de verdad
Tautologas
Contradicciones y contingentes
Anlisis de la verdad o falsedad de enunciados compuestos.
Equivalencia lgica y negacin de enunciados.
Argumentos
Concepto de argumento
Distinguir los elementos de argumentos dados. Ejemplos.
Diagramacin de argumentos
Argumentos deductivos
Validez o invalidez de argumentos deductivos.
Demostracin de la validez o invalidez de argumentos deductivos
sencillos.
Falacias formales.
Argumentos no deductivos.
Por generalizacin
Por analoga
Por abduccin
Caractersticas de cada tipo de argumento y anlisis de las
condiciones para que los argumentos de cada tipo sean fuertes o
dbiles; slidos; convincentes o no.

BIBLIOGRAFA.
BUSTAMANTE, Arias. Lgica y argumentacin. Pearson 2009.
COPI & COHEN. Introduccin a la Lgica. 2 ed. 2005. Limusa.
SUPPES & HILL. Introduccin a la lgica matemtica. Revert. 1999.
FERNNDEZ de Castro y coautores. Lgica elemental. UAM.

BIBLIOGRAFA OPCIONAL.
HERRERA y Torres. Falacias. Torres y asociados. 2007.
Teetetes o de la ciencia. Dilogos de Platn. Porra.

Programa de Argumentacin y Conocimiento. Trim. 15-O Mara de la

Asuncin Preisser R.
Objetivo general. Que el alumno sea capaz de reconocer y construir
buenos argumentos, y pueda explicar por qu lo son. Que distinga
distintos tipos de argumentos y sus caractersticas, as como sus
elementos. Que reconozca la importancia de la argumentacin en la
construccin y transmisin del conocimiento.
I.

Enunciados.

Definicin de enunciado.
Enunciados simples y compuestos. Ejemplos en espaol.
Determinar el tipo de enunciados dados. Estructura de enunciados
compuestos. Enlace principal.
II. Simbolizacin de enunciados.
Tablas de verdad.
contingentes.

Enunciados

tautolgicos,

contradictorios

Equivalencia lgica, negacin de enunciados.

Anlisis de la verdad de enunciados compuestos.
III. Argumentos.
Concepto de argumento.
Distinguir los elementos de argumentos dados.
Diagramacin de argumentos.
IV. Argumentos deductivos.
Simbolizacin de argumentos deductivos.
Validez o invalidez de argumentos deductivos.
Demostracin de la validez o invalidez de argumentos deductivos.
Las falacias formales.

V. Tipos de argumentos no deductivos.

Argumentos por generalizacin, por analoga, por abduccin. Sus
caractersticas.
Anlisis de las condiciones para que los argumentos, de cada tipo, sean
fuertes o dbiles, convincentes y/o slidos, o no.
Bibliografa.
Bustamante Arias, A. Lgica y Argumentacin, Pearson Educacin de
Mxico, 2009
Copi, I. & Cohen, C. Introduccin a la Lgica, Limusa, 2005, (pp. 17-35 y
125-168 principalmente).
Fernndez de Castro y coautores. Lgica Elemental. UAM. 1999.
Suppes, P. & Hill, S. Introduccin a la Lgica Matemtica Revert 1999.
Opcional:
Herrera, A. & Torres, J.A. Falacias. Torres y Asociados, 2007.
Platn. Teetetes o de la Ciencia. Dilogos de Platn. Porra.

Clase 1 del Jueves 17 de Septiembre.

Enunciados.

Definicin. Un enunciado es una oracin gramaticalmente bien

construida que expresa una idea, ya sea por escrito o verbalmente.
Un enunciado es una oracin declarativa, esto es, que afirma o niega
algo.
Un enunciado, al afirmar
necesariamente falso.

algo,

es

necesariamente verdadero

Ejemplos:
Enunciados
La tierra es redonda.
Ese oso s se asea.
Hoy es jueves.
La puerta es verde.

No enunciados
Cuntos aos tienes?
Ponte a trabajar.
Te encuentras fatigado?
La puerta verde.

Siempre que uno declara algo, est dado en un contexto, es decir, se

tienen que dar detalles, sin embargo, tambin hay obviedades que no se
necesita redundar.
Existen oraciones:
Exclamativas (NO SON ENUNCIADOS)

No son sujetas de ser

verdaderas o falsas

Interrogativas (NO SON ENUNCIADOS)

Imperativas (NO SON ENUNCIADOS)
Declarativas (Slo sta es enunciado)

Definicin de enunciado atmico o simple: Es un enunciado tal que, si lo

queremos dividir en dos, una de sus partes deja de ser enunciado, al no
expresar una idea completa, no ser enunciado, ni completo ni
verdadero o falso. Ejemplo: La tierra / es redonda.
Ninguna de las dos partes es enunciado, la segunda parte es oracin,
pero no enunciado.
Un enunciado compuesto o molecular expresa varias ideas conectadas,
o es la negacin de una idea.
Tradicionalmente
enunciados son:

La conjuncin-y

se

considera

que

los

enlaces

conectivos

entre

La disyuncin- o
El condicional- si entonces
El bicondicional- si, y slo si
La negacin- no.
Un enunciado compuesto es el que se obtiene de la aplicacin de los
conectivos o enlaces a enunciados simples o atmicos.
Ejemplo: Hoy no es jueves.
Voy a comer con Ernesto y con Sofa.

Clase 2. Martes 22 de septiembre de 2015.

Enunciados:
1.- Ayer estaba triste y hoy me siento contento.
Molecular (porque tiene dos tomos) Conjuncin; Estructura: A y B;
Smbolo A ^ B.
2.- La maana es muy fra en la ciudad. Atmico (slo tiene un
enunciado)
3.- Ricardo fue a la tienda y no llev dinero.
Molecular; Conjuncin; Estructura: A y B; Simbolizacin: A ^ B.
4.- Iremos al cine si y slo si terminamos la tarea.
Molecular; bicondicional; Estructura: A si y slo si B; Simbolizacin A
B.
5.- En el ajedrez NO hay factores aleatorios
Molecular (por la negacin, porque slo tiene un tomo); Negacin;
Estructura: No A; Simbolizacin: A.
6.- Si estudias entonces pasars el examen
Molecular; Condicional; Estructura: Si A entonces B; Simbolizacin A
B.
7.- Debo estudiar Ciencia Poltica o Derecho
Molecular; Disyuncin; Estructura: A o B; Simbolizacin A v B.

Para denotar los enunciados atmicos vamos a usar letras maysculas

A, B, CZ.
Para obtener la estructura de un enunciado molecular usaremos esas
letras, para indicar los tomos.
Para simbolizar enunciados moleculares vamos a usar los smbolos:
a) A
utilizan ~A)
b) A ^ B
A&B)
c) A v B
d) A B
e) A B

para
para
para
para
para

No A
AyB

(otros autores
(otros usan AB;

AoB
si A entonces B
A si y slo si B

Cuando tenemos ms de un conectivo de entre ^, v , o debemos

identificar a uno de ellos como el conectivo principal que indica la
separacin de ideas.
Ejemplos:
Ayer tom clase de ingls, ruso y francs.
A: Ayer tom clase de ingls
B: Ayer tom clase de ruso
C: Ayer tom clase de francs.
Estructura: A, B y C; que equivale a A y B y C, pero debemos identificar
el conectivo principal, que en este caso es la primera y, por lo que
simbolizamos as:
A ^( B ^ C)
Este conectivo tiene mayor peso, por la tanto se pone fuera
del parntesis.
Si
llueve
L

Me
fro
F

da Y
tiemblo
T

Estructura: Si L, entonces F y T
Localizamos la razn y la consecuencia, entonces, la razn va primero.
L= Antecedente (razn); F y T= Consecuente (consecuencia)
Simbolizamos: L ( F ^ T)

Mara y Julia no conocen a Susana.

M: Mara conoce a Susana.
J: Julia conoce a Susana.
Estructura: No M y no J.
Simbolizamos: M ^J
Esto es no A y no B, ni A ni B o no A ni
B

Palabras asociadas a los conectivos

P

PvQ

P^Q

P ^ Q

P Q

No P
No es cierto que P
No sucede P
P es falso
PoQ
oPoQ
P y/o Q
P o Q o ambos
PyQ
P pero Q
P aunque Q
P a pesar de que Q
P y sin embargo Q
P adems de que Q
P adems de Q
P,Q
Ni P ni Q
No P y no Q
No P ni Q
Si P entonces Q
Si P, Q / Q si P
Cuando P,Q / Q cuando P
P es suficiente para Q
Basta P para Q
P implica Q
En caso de que P,Q

P Q

Q en caso de que P
P luego Q
Q porque P
P de donde Q
P por tanto Q
Q es consecuencia necesaria de P
P si y slo si Q
P si Q, y P slo si Q
P cuando y slo cuando Q
P exactamente cuando Q
P nicamente cuando Q
P es necesario y suficiente para Q
Si P entonces Q, y si no P
entonces Q
Si P entonces Q y si Q entonces P

1 de Octubre clase 4
Cuando hay dos verbos subordinados y la negacin afecta directamente
al verbo secundario entonces no se puede sacar del enunciado.
A: Reflexionas sobre lo que dijiste
B: Vers que NO tienes razn.
En B hay una oracin subordinada que es no tienes razn, por ello no
podemos sacar la negacin, ya que est afectando al verbo secundario o
subordinado (tienes) y no afecta al principal que es Vers

Tablas de Verdad
Un enunciado, por definicin, es verdadero o falso. Cmo evaluar el
valor de verdad a partir de los componentes?
Con las tablas de verdad. Para obtener los posibles valores de verdad de
enunciados compuestos a partir del valor de sus tomos.

Por ello definiremos las tablas para los conectivos lgicos.

Sean X y Y cualesquiera enunciados.

1. Tabla de Negacin
X
V
F

X
F
V

2. Tabla de la conjuncin
XY
X^Y
VV
V
VF
F
FV
F
FF
F
Una conjuncin es verdadera nicamente si sus dos coyuntos son
verdaderos.
3. Tabla de la disyuncin inclusiva
XY
XvY
VV
V
VF
V
FV
V
FF
F
Una disyuncin inclusiva es falsa nicamente cuando sus dos
disyuntas son falsas, en todos los dems casos es verdad.
4. Tabla del bicondicional
XY
X Y
VV
V
VF
F
FV
F
FF
V
Un bicondicional es verdadero exclusivamente si sus componentes
tienen el mismo valor de verdad; si sus componentes tienen
distinto valor de verdad, entonces el bicondicional es falso.

5. Tabla del Condicional

XY
VV
VF

XY
V
F

FV
V
FF
V
La nica manera de que sea falso es que cumpla la condicin y no
se produzca la consecuencia. (Antecedente falso, implicacin
verdadera)

6. Disyuncin exclusiva (X v Y) ^ (X ^Y) X o Y, pero no ambas

XY
XvY
VV
V
VF
V
FV
V
FF
F
Si suceden las dos es falsa, slo

^
()X ^ Y
F
(F) V
V
(V) F
V
(V) F
F
(V) F
puede suceder una.

Cada rengln representa una infinidad de mundos posibles de

ejemplos.

Si una frmula tiene una sola letra, es decir, un solo tomo en su

estructura, tendr 2 renglones
X
X
V
F
F
V
Este ejemplo slo tiene un tomo (X) entonces tiene 2 renglones.
Si tiene 2 tomos (X,Y) tendr 4 renglones
Si tiene 3 tomos (X, Y, Z) tendr 8 renglones
Si tiene 4 tomos (M,N, O, P) tendr 16 renglones
Si tiene 5 tomos (A, B, C, D, E) tendr 32 posibles combinaciones.
La regla es 2n donde n= al nmero de tomos. Entonces, si tiene 3
tomos ser 23 = (2) (2) (2) = 4 (2) = 8 renglones para 3 tomos.
Ejemplos resueltos en clase:
A
A

(A ^ A)
V
V
V
V
F
F
V
F
Siempre es verdadera en todo mundo posible, se le conoce como
leyes lgicas o sea, Tautologas.
AB
(A ^ B)

(A B)
VV
V
V
V
VF
F
V
F
FV
F
V
V
FF
F
V
V
Esta tabla es otro ejemplo de Tautologa, porque es verdad en
todos los mundos posibles.
A
A
A
V
V
F
F
F
F
F
V
Siempre es falsa en todo mundo posible, se le conoce como
contradiccin lgica

I.

Sea X cualquier enunciado de lenguaje simblico:

X es Tautologa si y slo si es verdadero en todo rengln de su
tabla.

Todo enunciado en espaol que tenga esa forma, es

automticamente verdadero.
Se dice que las Tautologas representan leyes lgicas del
razonamiento.
X es contradiccin lgica si y slo si es falso en todo rengln de su
tabla.
Todo enunciado en espaol que tenga esa forma, es
automticamente falso.
Nota: Los valores de verdad de las Tautologas y de las
contradicciones lgicas no dependen del valor de verdad
de sus componentes, depende de la estructura general.
X es contingente si y slo si tiene renglones verdaderos y otros
falsos en su tabla, y su valor total s depende del valor de sus
tomos.

II.

III.

Al final, la profesora menciona que los positivistas declaran que las

ciencias no pueden ser Tautologas, porque entonces, al ser siempre
verdaderas, ya no tendra sentido estudiarlas, ni siempre falsas.
Dicen ellos que las ciencias deben tener un postulado contingente (a
veces falso y a veces verdad) a fuerza.
6 de octubre. Clase 5.
Se dice que las Tautologas expresan algunas leyes lgicas del
pensamiento.
Tautologas importantes:
1. Ley del tercero excluido.

P
P

P
v P
o no

No hay tercera posibilidad. Esta ley es aquella que hace que un

enunciado sea verdadero o falso.
Llueve o no llueve
Nota: Las letras gordas representan cualquier enunciado, ya sea
atmico o molecular.
[(S^T) Q] v [(S^T) Q]
2.

(P

3.

[(PQ) ^(QR)] (PR)

P)

Ley de la no contradiccin.

transitividad de la implicacin.

Ley

de

la

4.

PP

5.

PP

Las tautologas son verdades necesarias, su negacin es lgicamente

contradictoria.
Lgica dialctica: Tomas una verdad, su negacin y la sintetizas.

a yB son enunciados de lenguaje simblico,

decimos que a es lgicamente equivalente a B si y slo si, son
Definicin: Si

equivalentes en valor de verdad rengln a rengln de una tabla

comn, y escribimos

aB

Ejemplo:
ABC
VV
V
VVF
VFV
VFF
FVV
FVF
FFV
FFF

(A^B)
V

C
V

V
F
F
F
F
F
F

F
V
V
V
V
V
V

F
V
F
V
F
V
F

AB
C
VV
V
VVF
VFV
VFF
FVV
FVF
FFV
FFF

(B

V
V
V
F
F
F
F

F
V
V
V
V
V
V

V
F
F
V
V
F
F

F
V
V
V
F
V
V

F
V
F
V
F
V
F

C)

[(A^B) C] es lgicamente equivalente

a [A (BC)] porque son equivalentes en valor rengln a rengln.
[(A^B) C] [A (BC)]

Si tengo dinero y tengo ganas, entonces voy al cine. Es lgicamente

equivalente a decir: Si tengo dinero, entonces si tengo ganas voy al cine.

Negacin
( (P^Q) es lo mismo que (P ^Q)? NO.

Lo sabremos conociendo cmo se niegan los conectivos.

I.

Negar la negacin.
X
( X)
V
V F
V
F
F V
F
La negacin de la negacin es una afirmacin: X X (no es
cierto que no te quiero)

En el lenguaje comn no hay nadie ser nadie est aqu, no tengo

nada ser nada tengo y no hice nada ser nada hice
Si le aplicamos estrictamente la negacin al nada o al nadie
tendramos: hay alguien, algo tengo y algo hice, respectivamente.

II.

Negacin de una conjuncin y

XY
VV
VF
FV
FF

F
V
V
V

(X^Y)
V
XY
( X
v

Y)
F
VV
F
V
F
F
V
F
VF
F
V
V
V
F
F
FV
V
F
V
F
V
V
F
V
V
F
La negacin FF
de
una
conjuncin
es
lgicamente equivalente a las negaciones de una disyuncin: (X^Y)
(X v Y)
Ejemplo:
Est Luis y Esther
No (est Luis y Esther) equivale a decir:
No est Luis o no est Esther, o ninguno de los dos.
Para que falle una conjuncin puede ser que falle uno, o falle el
otro, o fallen los dos.
III.

Negacin de una disyuncin

O es cierto que hoy es lunes o martes equivale a decir hoy no es
lunes ni martes.
Hoy no es lunes y hoy no es martes.
De donde (XvY) es lgicamente equivalente a la y de las
negaciones.
(XvY) (X ^ Y)

IV.

Negacin de un condicional.
Si como mole me enfermo. (XY)
No es cierto que si como mole me enfermo
(X Y)
No es cierto que si X entonces Y; No es cierto que X causa Y
equivale a decir que X fue verdadero, y sin embargo no ocurri Y.
X sucede y Y no sucede.
La negacin de una implicacin equivale a la negacin de la
consecuencia.
(X Y) (X^Y)

V.

Negacin de un bicondicional.
X si y slo si Y
No es cierto que X si y slo si Y equivale a sucede X sin suceder Y,
o bien, sucede Y sin suceder X de ah que
(XY) [(X^Y) v (Y ^X)]
Voy al cine si y slo si tengo dinero.
Negacin: Fui al cine sin tener dinero, o tuve dinero y no fui al
cine.

Cmo aplicar esto a la vida acadmica?

Negar:
1. Si Ernesto va a la fiesta yo voy.
A: Ernesto va a la fiesta.
B: Yo voy a la fiesta
Simbolizacin: Si A, B.
AB
Negacin (AB) A ^ B
En espaol: Ernesto va a la fiesta y yo no voy.
Nunca se conserva un conectivo al negarle.
Negacin: X X
Conjuncin: (X^Y) (X v Y)
Disyuncin: (XvY) (X ^ Y)
Condicional: (X Y) (X^Y)
Bicondicional: (XY) [(X^Y) v (Y ^X)]

2. Si tengo gripe me duele la cabeza.

A: Tengo gripe
B: Me duele la cabeza.
Simbolizacin: Si A, B. AB
Negacin: (AB) A^B
En espaol: Tengo gripe, pero no me duele la cabeza.
3. Ahorita llueve o hace fro.
A: Ahorita llueve
B: Hace fro.
Simbolizacin: A v B
Negacin: (A v B) A^B
En espaol: No llueve ni hace fro.

La ley del costal dice que un todo implica otro todo es decir, no
importa que tan compleja sea la causa no se niega en una condicin, se
conserva tal como est.
Ejemplo:
Si Jorge viene a la fiesta, Alma y Juan van.
A: Jorge viene a la fiesta.
B: Alma va a la fiesta.
C: Juan va a la fiesta.
Si A, B y C
Simbolizar: A (B ^C)

En la ley costaluda se conserva el costal tal como est, lo que se

afectan son los enlaces, en el primer caso, la implicacin () se afect a
sin embargo no o pero no y no , etc. ( ^). Ya es hasta el segundo
caso cuando el segundo costal se ve afectado por una negacin,
entonces se transforma en este caso, la y (^) a la o de las
negaciones (X v Y).

Se puede observar que el costal A siempre se mantuvo.

Ejemplo:
Ricardo no ir al examen de Luis, si se lo ponen en lunes o martes.
A: Ricardo ir al examen de Luis.
B: El examen de Luis se lo ponen en lunes.
C: El examen de Luis se lo ponen en martes.
Simbolizacin: No A, si B o C.
(B v C) A
Negacin: [(B v C) A] (B ^C) ^ (A) (B ^C) ^A
En espaol: Ricardo ir al examen de Luis, a pesar de que lo hayan
puesto en lunes o martes, o:
Pusieron el examen de Luis en lunes o martes, y aun as Ricardo ir.

ARGUMENTOS
Los argumentos deductivos se pueden simbolizar, los no deductivos no
se pueden simbolizar.
Un argumento nos sirve para justificar.
Copi & Cohen dice que las explicaciones no son argumentos, sin
embargo se piensa que s.
Los lgicos tradicionales dicen que un argumento sirve para validar,
mediante un grupo de premisas, una tesis o conclusin.
Una explicacin siempre es un argumento, pero no todos los argumentos
son explicaciones.
Un argumento es un conjunto de enunciados de los cuales, uno de ellos
es la tesis o conclusin del argumento, los otros enunciados son las
razones o premisas que se arguyen para obtener la conclusin.
Usamos argumentos para convencer, persuadir, demostrar, justificar,
dar razones, para establecer una idea: la tesis.
A veces hay palabras para indicar premisas:

Hay palabras indicadoras de conclusin:

Luego, entonces, luego entonces, de donde, vemos que, por tanto.

Inferencia: Es el proceso que puede ligar un conjunto de proposiciones

(una conclusin)
Los argumentos pueden ser de slo una premisa y una conclusin:
En ocasiones pueden estar separados por punto y aparte, o en un mismo
prrafo.
Tambin puede estar primero la conclusin y despus la premisa.
Pero tambin los argumentos pueden ser de varias premisas y una
conclusin, a estos se les llama argumentos complejos.

Diagramacin de argumentos.
1. Tomamos un argumento cualquiera:
El aborto es un conflicto dramtico. Es un conflicto dramtico y as lo ha
definido nuestro Tribunal Constitucional. Un conflicto dramtico entre los
derechos del proyecto vital de las mujeres y entre los derechos del
concebido y no nacido.
2. Identificamos los Enunciados (oraciones declarativas, susceptibles
de ser verdaderas o falsas)
El aborto es un conflicto dramtico.
(El aborto) Es un confl icto dramtico y as lo ha defi nido
nuestro Tribunal constitucional.
(El aborto) es un confl icto dramtico entre los derechos del
proyecto vital de las mujeres y entre los derechos del concebido
y no nacido.
3. Identificamos qu es lo que quieren demostrar, o de qu nos
quiere convencer.

En este caso nos quiere convencer del primer enunciado.

4. Diagramar.

En ocasiones nos encontraremos con argumentos que pueden tener

sub-conclusiones:

Los
ciudadanos
que
tanto
valoran
su
independencia no deberan enrolarse en un partido
poltico.
(enrolarse en un partido poltico) menoscaba su
independencia.
(los que se enrolan en un partido poltico) han de
compartir con otros la decisin fundamental de la
eleccin del candidato.

Es importante hacernos la
pregunta De qu me quiere
convencer? y tambin
debemos buscar las palabras
indicadoras de premisas o de
conclusin.