Lgica

Qu es?
Adaptado de Copi, I. M. & Cohen, C. Introduccin a la Lgica

Inteligencia Artificial
Luis Villaseor Pineda

Qu es la lgica? 1er intento

La ciencia de las leyes del pensamiento

Pensamiento es materia de los psiclogos

No todos los pensamientos son materia de la lgica

Todo razonamiento es un pensamiento pero no todo pensamiento es un

razonamiento
Recordar, lamentarse, imaginarlo
Asociacin libre una imagn remplaza a otra sin orden lgico
El sueo

Qu es la lgica? 2do intento

La ciencia del razonamiento

Gracias a un razonamiento se resuelve un problema, a travs de un proceso

que extrae conclusiones a partir de premisas

Este proceso es :

Extremadamente complejo
Emotivo
Compuesto de un ciclo de prueba-error
Iluminado por momentos de comprensin o intuicin

Qu es la lgica? 3er intento

Es el estudio de los mtodos y principios que se usan
para distinguir el razonamiento bueno (correcto) del
malo (incorrecto)
Un arte o una ciencia?

La prctica llevar al perfeccionamiento

Anlisis de las falacias

errores frecuentes del razonamiento

La lgica

Tiene solucin el problema?

Se sigue la conclusin de las permisas que se han afirmado o supuesto?
Si el problema queda resuelto, si las premisas proporcionan las bases
adecuadas para afirmar la verdad de la conclusin, entonces el
razonamiento es correcto. De lo contrario es incorrecto.

La distincin entre razonamiento correcto e incorrecto es el problema central

con el que trata la lgica

Trminos esenciales

Proposicin es el contenido de una oracin el cual puede ser

verdadero o falso

Difieren de las preguntas, rdenes y exclamaciones

Dos oraciones pueden emplearse para afirmar la misma proposicin

stas no pueden ser verdaderas o falsas

Juan ama a Mara
Mara es amada por Juan

Usamos el trmino proposicin para referirnos al contenido que ambas

oraciones afirman

Trminos esenciales

Una proposicin se interpreta en un contexto

El presidente actual es panista

Dependiendo del momento, esta oracin corresponde a un

enunciado verdadero (Vicente Fox) o a un enunciado falso
(Ernesto Zedillo)
Los trminos enunciado y proposicin no son exactamente
sinnimos

Trminos esenciales

Inferencia es el proceso por el cual se llega a una

proposicin y se afirma sobre ella en base de una o
ms proposiciones aceptadas como punto inicial del
proceso

Argumento
En correspondencia a cada inferencia existe un
argumento
Un argumento es cualquier conjunto de proposiciones
de las cuales se dice que una se sigue de las otras, que
pretenden apoyar o fundamentar su verdad

Premisa-Conclusin
Un argumento tiene una estructura: premisaconclusin
La conclusin de un argumento es la proposicin que
se afirma con base en las otras proposiciones del
argumento
Las otras proposiciones afirmadas o supuestas para
aceptar la conclusin son las premisas del argumento.

Ejemplos de argumentos

Como las sensaciones son esencialmente privadas, no podemos saber cmo

es el mundo para otras personas.

Una superficie gris se ve roja si antes hemos visto una azul verdosa; una
hoja de papel se siente muy suave si hemos tocado antes una lija, o rugosa
si antes hemos tocado una suave superficie de cristal; el agua de la llave
sabe dulce si hemos comido antes alcachofas. Por tanto, una parte de lo que
llamamos rojo, suave o dulce debe estar en los ojos, los dedos o la lengua
del que ve, toca o prueba.

Ejemplos de argumentos

Enfriar los tomos equivale a retardar su movimiento,

puesto que la temperatura es una medida de qu tan
rpido se estn moviendo los tomos o las molculas
(el cero absoluto es la inmovilidad total)

Sobre premisas y conclusin

Ninguna proposicin por s misma, en forma aislada, es una

premisa o una conclusin
Una premisa solamente aparece como supuesto en un
argumento
Una conclusin solamente aparece en un argumento y se
fundamenta en las otras proposiciones del argumento
Son trminos relativos:

Como empleador y empleado: dependen de un contexto

Identificando premisas y conclusin

Cmo puede uno decir cul es la conclusin y cules

las premisas?

Una posibilidad

Marcadores sintcticos, colocaciones lxicas

Marcadores
Indicadores de CONCLUSIN
por lo tanto
de ah que
as
correspondientemente
en consecuencia
consecuentemente
lo cual prueba que
como resultado
lo cual nos permite inferir que

por estas razones

se sigue que
podemos inferir que
concluyo que
lo cual muestra que
lo cual significa que
lo cual implica que
por esta razn
lo cual apunta hacia la conclusin de que

Marcadores
Indicadores de PREMISA
puesto que
dado que
a causa de
porque
pues
se sigue de
como muestra

como es indicado por

la razn es que
por las siguientes razones
se puede inferir de
se puede derivar de
se puede deducir de
en vista de que

Ejemplos de argumentos

Enfriar los tomos equivale a retardar su movimiento,

puesto que la temperatura es una medida de qu tan
rpido se estn moviendo los tomos o las molculas
(el cero absoluto es la inmovilidad total)

sin embargo

Dentro de 20 aos, la nica hoja de maple que quede

en Canad podra ser la del emblema nacional. La
lluvia cida est destruyendo los rboles de maple de
la zona central y oriental de Canad, lo mismo que de
Nueva Inglaterra.

Construccin gramatical

Tiempos verbales

Lo que se acepta o supone son las premisas

En tiempo presente o pasado

Lo que se concluye

En condicional o subjuntivo o futuro

sin embargo

Un pequeo descuido puede ocasionar un gran

problema... por falta de un clavo se perdi la
herradura; por falta de herradura se perdi el caballo
y por no haber caballo se perdi el jinete.

y lo que es ms

No todo lo que se dice en el curso de un argumento es una

premisa o la conclusin del mismo

El glaucoma no tratado es causa principal de una ceguera

progresiva sin dolor. Se dispone de mtodos para la deteccin
oportuna y el tratamiento efectivo. Por esta razn, la ceguera
por glaucoma es especialmente trgica.

La reformulacin

Un mtodo para distinguir las premisas y conclusiones

Reformular cada premisa por separado (inclusive si se enunciaron en una sola

oracin)
Reformular la conclusin con una frase declarativa

PREMISA: Existen mtodos para la deteccin oportuna y el tratamiento eficaz

del glaucoma crnico
CONCLUSIN: La ceguera por glaucoma es especialmente trgica.

EJERCICIO

Ethan Nadelmann, profesor asistente en la Escuela de relaciones pblicas e

internacionales Woodrow Wilson, de la Universidad de Princeton,
argumenta que la prohibicin (de las drogas fuertes) ha sido un error. Cita
las oleadas de asesinatos por motivos de narcotrfico en ciudades como
Washington y Nueva York, el congestionamiento de los tribunales y
prisiones federales y estatales con prisioneros acusados de narcotrfico, los
disturbios polticos en Colombia provocados por traficantes de drogas y la
corrupcin relacionada con el narcotrfico en todo el mundo.