Lgica

Tema 1.Introduccin
M.F. Alejandra Olivas Dvila
Universidad Autnoma de Chihuahua

 Errnea
Contradictoria
Desorganizada
Subjetiva

Falaz

La manera en que
pensamos

Lgicamente
o Proveer argumentos
o Mostrar justificacin
o Mostrar premisas conectadas

La manera en que
deberamos pensar

 Por esa razn estudiamos lgica, para entender como

deberamos de pensar y as llegar a un resultado razonado
que tenga las mismas bases para cualquier persona.

 La lgica es tradicionalmente normativa, esto es, nos dice

como deberamos de pensar.
En contraste, la psicologa es descriptiva, nos dice como
pensamos

 Por medio del estudio y anlisis de informacin

codificada en la forma de enunciados lgicos
Analizamos dichos enunciados por medio de postulados,
principios y reglas de inferencia**
**ya llegaremos a esto en un momento

Como sabe la lgica como

deberamos de pensar?

 Afirmativa:
Monterrey es la capital de Nuevo Len
Negativa:
Hermosillo no es la capital de Chihuahua
Electiva/Disyuntiva:
Hermosillo es la capital de Sonora o de Sinaloa
Aditiva/Conjuntiva
Mazatln est en Sinaloa y Ensenada est en Baja California Norte
Condicional/SiEntonces:
Si Zapopan no es la capital de Jalisco, entonces Guadalajara lo es
Existencial:
Existe una ciudad que es la capital de Yucatn
Universal:
Todo estado tiene una capital

Los enunciados lgicos

pueden tomar varias formas,

Lenguaje de la lgica

A Ale le gusta Batman

Un triangulo es un polgono con 3 lados
Fuerza es igual a masa por aceleracin
Si llueve, me llevo sombrilla

Lgica en situaciones
humanas/cotidianas

Me permite:
Derivar conclusiones

Convencer a otros, con razones vlidas

Razonamiento Lgico

Lectores de email

Si el mensaje es de Alejandra

Y el tema es lgico

Entonces, el mensaje ir en la carpeta importante

Sistemas computacionales
basados en lgica

Comercio electrnico

Si el producto es un cuaderno

Y el cliente es estudiante

Y la fecha es diciembre

Entonces el precio es $10.00

Mas sistemas

Lenguaje lgico

Expresiones lgicas
Significado de las expresiones
Conexin lgica/implicacin
Dados los enunciados que sabemos ciertos, que otros
enunciados deben ser tambin ciertos
Manipulacin simblica
Reglas para derivar conclusin partiendo de expresiones
diferentes

Elementos de la lgica

(Sintaxis)
Operadores

Variables
(Semntica)
Reglas
Inferencia

Componentes del lenguaje

 Operadores
y, o, no, si..entonces, si y solo si, existe, todos, etc
Me explican la forma del enunciado y son dependientes de
reglas particulares a cada uno.

Variables
P, Q, R, S, T,
Representan sujetos involucrados en el enunciado

Ej. ( Ale y Gatito )

(P&Q)

Sintaxis

 Reglas
Modus Ponens, Modus Tollens, etc
Conectan vlidamente premisas para formar argumentos

Inferencia
Objeto abstracto que permite la conexin lgica
Esencia de la lgica deductiva
Ausente en la lgica inductiva

Semntica

 Mas delante manejaremos reglas de inferencia que son

como formulas.
Las reglas de inferencia son necesarias, es decir,
producen un argumento vlido en todos los mundos
posibles, pero esto con mas detalle despus.
Por lo pronto manejaremos las reglas o leyes
fundamentales de la lgica clsica y para esto requerimos
un poco de historia

Sobre reglas

 Aristteles (384-322 ac)

rganon, tratado sobre Lgica
Analticos primeros silogismo deduccin
Analticos segundos demostracin induccin

Reglas/Leyes Lgicas
Principio de identidad
Ej. A=A siempre
Principio de No contradiccin
Ej. A & -A nunca
Principio del Medio excluso
Ej. A es verdadero -A es verdadero

Reglas

 En el enunciado:
Esta lloviendo y no esta lloviendo
Existe una contradiccin
Esto es, es verdadero y falso a la vez
Esto es, no estoy diciendo nada

Una contradiccin es un argumento invlido en todos los

mundos posibles

No Contradiccin

 Los principios Aristotlicos aun son vlidos en la mayora

de los sistemas lgicos
Cabe mencionar que por mucho tiempo fueron reglas
nicas, que junto con las funciones de los operadores,
regan el resultado de la argumentacin
En algunos casos cuestionamos la validez y aplicacin de
dichos principios, y aunque sta critica no la utilizaremos
hasta los ltimos temas, es importante que vayan
considerando y cuestionando los fundamentos, despus
de todo, somos filsofos.

Un poco mas sobre

reglas

 Un mal argumento:
1. frica es un continente
2. Me gustan las tortugas
3. Por lo tanto, ests leyendo sta diapositiva

No hay inferencia, no hay conexin

Un argumento invlido es uno que no tiene inferencia
(desconectado)

Sobre Inferencia

 Un buen argumento
1. Todos los hombres son mortales
2. Scrates es hombre

3. Por lo tanto, Scrates es mortal

Si hay inferencia, las premisas estn conectadas
Un argumento vlido es uno que tiene inferencia
(conectado)

Inferencia

 La inferencia es lo que le da poder deductivo a un

argumento, es lo que une sus premisas, les da sentido y
conexin ante la conclusin.
Un argumento sin inferencia es un argumento invalido, y
esto nos lleva a analizar la presencia (o ausencia) de la
inferencia por medio de 2 mtodos

La inferencia y la Lgica

Deduccin
Sistema cerrado
Todos los elementos estn
contenidos
Conclusin: reorganizacin de
informacin contenida en las
premisas
Contiene inferencia
Argumentos vlidos o invlidos
Todos los hombres son mortales
Scrates es hombre
Scrates es mortal

2 mtodos

Induccin
Sistema abierto
Elementos desconocidos
Conclusin: proyeccin mas
all de las premisas (no
contenida en las premisas)
No contiene inferencia
No existe validez, solo fuerza
inductiva
Ayer llovi,
Hoy llovi,
Por lo tanto, maana llover

 A partir del siguiente tema iniciaremos con lgica deductiva y

hacia el final del modulo exploraremos la lgica inductiva
brevemente.
La lgica deductiva, cierra un sistema por medio de reglas y
variables limitadas, de esta forma nos permite llegar a un
resultado certero.
La lgica inductiva es mucho mas complicada que eso.

El problema del significado

en el lenguaje natural
Significado doble, contexto, interpretacin
Ej. Hay una nia en el cuarto con un
telescopio notas la diferencia?

 Y por esotendemos hacia la lgica simblica, para

evitar la ambigedad del lenguaje natural por medio de
un lenguaje formal.

En el siguiente tema
Qu es la lgica simblica?
Cmo funciona?
3 mtodos simblicos
Tablas de verdad
Deduccin natural
Arboles semnticos

 Elabora y enva tus actividades para que verifiquemos tu

entendimiento hasta ahora y para apoyarte en dudas
conceptuales

Revisemos tu
entendimiento

Actividad Tema 1
I. En tus propias palabras responde el siguiente cuestionario. Asegrate de dedicarle anlisis a cada una de tus respuestas.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

Qu es la lgica?
A qu nos referimos con que la lgica es normativa?
De qu nos sirve estudiar lgica?
Qu tipos de formas de enunciados existen?
Qu elementos tiene la lgica? describe cada uno
Por qu consideras que es relevante el principio de no contradiccin?
Qu relevancia tiene la inferencia en la lgica?
Por qu la inferencia es propia solamente de un sistema deductivo?
Qu es un argumento Deductivo?
Qu es un argumento Inductivo?

II. Provee tus propios ejemplos de lo siguiente:

11.
12.
13.
14.
15.

Al menos 3 formas de enunciado lgico

Argumento deductivo
Argumento inductivo
Contradiccin
Problema de significado