Tema 4

La Lógica y su historia La
lógica proposicional. Lógica,
Retórica y dialéctica.
 El ser humano se caracteriza por el uso del lenguaje,
mediante el cual realizamos argumentos o
razonamientos, que son proposiciones que

📎1. La conectamos unas con otras para llegar a una

conclusión.

lógica y su
historia.
Por ejemplo:

¿QUÉ ES Si como demasiada grasa entonces engordaré, pero

LA yo no como alimentos con grasa. Por lo tanto, no

engordaré.

LÓGICA
?📎 Todo hombre es mamífero y todo mamífero es
vertebrado. Por tanto, todo hombre es vertebrado.
 • Para ello, se ocupa de formalizar o simbolizar los
argumentos, es decir, las proposiciones que
componen los argumentos; tomando como
referencia los ejemplos citados anteriormente
podemos decir:

• Si A entonces B, no A. Por lo tanto, no B.

• Todo P es Q, y todo Q es R. Por lo tanto, todo P es R.

 Podemos definir la lógica como

UNA CIENCIA FORMAL QUE ANALIZA SIMBÓLICAMENTE ES LA TEORIA FORMAL DE LOS

LOS ARGUMENTOS, ES DECIR, ARGUMENTOS.
Dentro de la historia de la lógica tenemos dos etapas esenciales:
1.Lógica clasica y 2. Lógica moderna.

La lógica clásica: 1. La silogística

• Se divide aristotélica.

2. La lógica
megárico-estoica.
 La cantidad
Aristóteles
divide las
proposiciones
o enuciados
según: La cualidad.
b) La lógica megarico-estoica (s. IV-III
a. C.) contribuye al desarrollo de la
misma en dos temas esenciales:

Las paradojas,
como la del Desarrollo de las
mentiroso. proposiciones
condicionales.
• Los estoicos descubren ciertas leyes de la lógica
proposicional como son:

• MODUS PONENS
• MODUS TOLLENS
• MODUS PONENDO TOLLENS.
 • Se denomina también lógica
matemática o lógica simbólica y se
desarrolla en los siglos XIX y XX.
2. La • Se caracteriza por un rasgo esencial:
concibe la lógica como un cálculo, que
lógica es un sistema formal que me permite
deducir unas proposiciones de otras.
moderna • Los autores más relevantes en el
desarrollo de la lógica matemática son
George BOOLE y Gottlob FREGE,
Bertrand Russel, Peirce, Peano, etc.
 El nivel menos abstracto dentro de una computadora está constituido
por circuitos electrónicos que responden a diferentes señales eléctricas,
siguiendo los patrones de la lógica booleana; esto es, puertas lógicas
que devuelven un valor dependiendo de las entradas que se le dan al
sistema. Existen ocho compuertas lógicas básicas con las cuales se
pueden formar sistemas muy complejos: AND, OR, Inverter, Buffer,
NAND, NOR, XOR y XNOR. Todas ellas son representadas mediante un
símbolo y una tabla de valores de verdad, que es simplemente un
cuadro donde se ubican todas las posibles entradas y los valores que
devolvería la compuerta dados dichos valores.
Todo sistema computacional, por muy complejo que sea, no está
compuesto por más que circuitos electrónicos que únicamente
entienden un lenguaje binario. La lógica computacional se encarga de
modelar y optimizar tales sistemas a este nivel.
2. LA LÓGICA de PROPOSICIONES
1. VARIABLES PROPOSICIONALES
 Las variables proposicionales
son los símbolos que representan
las proposiciones o enunciados. Se
llaman variables porque su
significado va cambiando en las
diferentes argumentaciones o
expresiones.
 b) Conectores lógicos
Son las partículas de significado no variable que tienen la
función de alterar, relacionar o conectar enunciados
atómicos haciéndolos moleculares o complejos. Son la
negación, la conjunción, la disyunción, el condicional y el
bicondicional.
2. CONECTIVAS LÓGICAS
Son aquellas que me permiten conectar las
variables proposicionales. Son las
siguientes:
No = NEGADOR

¬
Y = CONJUNTOR

∧
O = DISYUNTOR

∨
SI…ENTONCES = IMPLICADOR

→
SI Y SÓLO SI = BICONDICIONAL

↔
3. Símbolos auxiliares
Son paréntesis y corchetes, que sirven para
agrupar los otros símbolos de manera
que se puedan evitar ambigüedades en
el dominio de los conectores lógicos en
una fórmula lógica:

()[ ]
Alfabeto de la lógica proposicional

VARIABLES: p, q, r, s, t, u…
CONECTIVAS: ¬, ∧, ∨, →, ↔
AUXILIARES: ( ), [ ]
Fórmulas atómicas
Son las que corresponden a las
oraciones simples del castellano sin
ninguna conectiva lógica:

p
son (algunas) fórmulas atómicas.
q
r
…
Fórmulas moleculares
Son la unión de las atómicas, empleando
las conectivas lógicas:
p∧q
p∨r
q→p
son (algunas) fórmulas moleculares
r↔q
¬q
Conectiva dominante
Es importante distinguir que conectiva es la que
domina en una fórmula para determinar el valor
de verdad de la fórmula.

p ↔ (r → s) ↔
¬(p → (q ∨ r)) ¬
¬p ∨ (r ∧ (p → q)) ∨
¬((p ∧ q) ∧ ¬(p ∧ el primer ¬
q))
3. TABLAS DE VERDAD
 Las tablas de verdad
Nos permiten determinar el valor de verdad de
una fórmula lógica, para lo cual necesitamos
saber el valor de verdad de las diferentes
conectivas lógicas. Los valores de verdad son lo
verdadero (1) y Falso (0). Los valores de verdad
de los conectores son los siguientes:
4. La deducción en la
lógica proposicional.
Deducir o inferir en la lógica de proposiciones es extraer la conclusión de una
argumentación lógica utilizando las reglas de la lógica, que podemos dividir en dos
tipos: reglas básicas y reglas derivadas.
5. LÓGICA INFORMAL
La lógica informal estudia aquellos tipos de
razonamientos que tienen apariencia de
verdad pero que, en realidad, no lo son.
Estos razonamientos son :

1. Las falacias o sofismas.

2. Las paradojas.
FALACIAS: EJEMPLOS
1. Nadie puede probar que haya una influencia
de los astros en la vida de las personas. Por lo
tanto, es verdad que los astros o planetas
influyen en la vida de las personas
2. Según el alcalde lo mejor para la salud de los
ciudadanos es asfaltar las calles del pueblo.
3. No vengas a trabajar con esos peircing que
tienes en la cara porque asustas a la clientela
y recuerda que quien paga soy yo.
FALACIAS: EJEMPLOS
4. Los ecologistas dicen que consumimos
demasiada energía y eso es malo para el planeta.
Pero no debemos hacer caso a los ecologistas
porque exageran demasiado las cosas.

5. Nadie ha demostrado que Dios no exista, por lo

tanto, Dios existe.

6. Tú no eres mujer, así que lo que vas a decir sobre

el aborto es una tontería que no se puede admitir.
 Las primeras paradojas conocidas son la citadas por Aristóteles, y reciben el
nombre de paradojas de Zenón de Elea, discípulo de Parménides, del s. V
a.C.,. La más conocida de Zenón es la de Aquiles y la tortuga.
La paradoja de Aquiles es un argumento matemático que intenta demostrar la
inexistencia del movimiento. El héroe Aquiles, el más veloz de los griegos,
apuesta una carrera con uno de los más lentos animales terrestres, la tortuga.
El guerrero (A) otorga magnánimo una ventaja al quelonio, que parte desde el
punto T. Cuando Aquiles llegue a este punto, la tortuga, supone Zenón, habrá
alcanzado otra ventaja (a), y aun cuando Aquiles llegue pronto a este punto,
queda todavía otra ventaja más alcanzada por la tortuga; y así infinitamente .
Aquiles no puede, con todo su esfuerzo, alcanzar a la tortuga. La razón de ello
es que Zenón admite que el espacio es infinitamente divisible.
Ejemplo de paradoja lógica
Sea la frase: "Esta frase es falsa.". Si
la frase es falsa, es falso que "Esta
frase es falsa.", es decir, la frase es
verdadera. Si en cambio la frase es
verdadera, es cierto que "Esta
frase es falsa.", es decir, la frase es
falsa.
Ejemplo de paradoja lógica
Otra de las paradojas lógicas más célebres es la de
Epiménides el Cretense que dijo “Todos los
cretense son mentirosos”. Si este enunciado es
verdadero entonces es falso (porque al afirmar él
algo verdadero haría falsa la afirmación “Todos los
cretenses son mentirosos”. Por el contrario, si
Epiménides miente, por la misma razón hace
verdadero el enunciado de que los cretenses
mienten y haría verdadero un enunciado falso.
 Ejemplo de paradoja lógica
Sea la frase: "Dios existe o esta frase es falsa.". La frase es una
disyunción, formada por dos partes; la parte p1 es "Dios existe"; la
parte p2 es "esta frase es falsa"; la frase completa es "p1 ó p2",
donde ó simboliza la disyunción. La frase es cierta cuando p1 ó p2
(o ambas) lo son; es falsa cuando p1 y p2 (ambas) lo son.
Supongamos que la frase es falsa; en ese caso p1 y p2 deben ser
falsas; pero p2 es "esta frase es falsa", que resultaría cierta; por lo
tanto, la frase no puede ser falsa. En consecuencia debe ser
verdadera; en ese caso p1 ó p2 deben ser verdaderas; pero p2 es
"esta frase es falsa", que resulta una afirmación falsa; al ser p2
falsa, siendo la frase completa verdadera, debe ser p1 cierta; es
decir, Dios existe.
Ejemplo de paradoja semántica
Otra de las conocidas paradojas, no ya matemática sino
semántica, es la de Protágoras y su discípulo.
“Hay una antigua anécdota sobre el Sofista Protágoras y su
discípulo Fedro, que nos viene a decir que Protágoras aceptó
instruir a Fedro en Retórica para que éste pudiera practicar
la abogacía. El acuerdo del contrato acerca del pago de los
honorarios, fue que Protágoras ante la falta de dinero de su
discípulo, le dijo que debía pagarle cuando ganara su primer
juicio. Fedro no decidió practicar la abogacía después de su
formación ante lo cual Protágoras le demandó para obtener
sus honorarios.
Ejemplo de paradoja semántica
Ante tal situación el Sofista argumentó de la
siguiente forma: Fedro debía pagarle en cualquier
caso dado que si ganaba el juicio debía pagarle
puesto que ése era el acuerdo previo, y si no
ganaba también, dado que era él quien había
perdido y, por tanto, debía pagarle. Fedro, que
había sido un buen discípulo le respondió que no
tenía que pagar de ningún modo: si ganaba el
pleito no tenía que pagar por mandato judicial, y si
perdía no tendría que pagar en razón de los
términos acordados con Protágoras.”
Paradojas semánticas
NUNCA DIGAS NUNCA JAMÁS.

EL PRINCIPIO DEL FIN.

SÓLO SÉ QUE NO SÉ NADA.

PROHIBIDO PROHIBIR.

SOY ATEO GRACIAS A DIOS.