Introduccin a la Lgica

Mara Manzano
USAL

Curso 2009-2010

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

1 / 16

Qu es la Lgica?

Consistencia

Enunciados que expresan creencias

Tipos de enunciados

Lenguaje formal

Consecuencia lgica
Mara Manzano (USAL)

Intr Log

Curso 2009-2010

2 / 16

Qu es la Lgica?
En sentido amplio

Denominador comn de:

MATEMTICAS
FILOSOFA
LINGSTICA
INFORMTICA
DERECHO
FSICA
..
.
La Lgica es ms que eso:
Hombre = Animal+Racional
Racionalidad =) Lgica
Uso original del logos de los griegos, relacionndolo con el lenguaje, la
doctrina, la estructura del conocimiento, la razn, etc.
Mara Manzano (USAL)

Intr Log

Curso 2009-2010

2 / 16

Qu es la Lgica?
En sentido estricto

La Lgica es tambin una disciplina en s misma:

Lgica = estudio de la consecuencia
Lgica = estudio de la consistencia
Una Lgica es:
Lgica = Gramtica+Semntica

Se puede denir un clculo deductivo

Semntica () Clculo
Mara Manzano (USAL)

Intr Log

Curso 2009-2010

3 / 16

Qu es la Lgica?
Actualmente

Papel decisivo en creacin y fundamentacin de la Informtica

Informtica = Lgica+Ingeniera electrnica
La Lgica proporciona los fundamentos para aplicaciones de la lgica en la
informtica: vericacin de hardware y software, inteligencia articial,
programacin lgica, deduccin automtica,...
Ciencia que nace: Ciencia de la transmisin de la informacin

(Tringulo de las Bermudas: Lgica, Lenguaje e Informtica.)

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

4 / 16

Algunas deniciones

Lgica = estudio de la consecuencia (razonamientos vlidos o

correctos)
Lgica = estudio de los conjuntos de creencias consistentes
Lgica = Gramtica+Semntica (+Clculo)
La lgica clsica se caracteriza por su rigor y precisin (pero carece de
matices; la verdad es absoluta, el tiempo est ausente, no hay
ambigedad). La lgica clsica caracteriza el razonamiento de las
matemticas y cuando se aplica a ejemplos no matemticos, se
matematizan primero.
Hay otras lgicas: Temporal, modal, dinmica, borrosa, no-monotnica,...

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

5 / 16

Consistencia
La consistencia lgica es compatibilidad de creencias
Consistencia 6= lealtad
Consistencia 6= justicia
Consistencia 6= sinceridad
Inconsistencia 6= estupidez
Inconsistencia 6= irracionalidad
Inconsistencia 6= desacuerdo con la realidad
Un conjunto de creencias puede muy bien estar en desacuerdo con la
realidad y no ser inconsistente, pues no existe incompatibilidad de
creencias.
Nadie sostiene, a sabiendas, conjuntos de creencias inconsistentes. (Leyes
lgicas son naturales?, convencionales?, se adquieren?,...)
Mara Manzano (USAL)

Intr Log

Curso 2009-2010

6 / 16

Ejemplo I
Polticos!

Suponed que un poltico maniesta:

Es un error censurar, por violentas, la retransmisin de las corridas de
toros porque lo que vemos en la televisin no afecta en absoluto el
comportamiento; ni siquiera el de los jvenes.
Debera haber ms programas y documentales que mostraran nuestras
costumbres nacionales (bailes tpicos, corridas de toros, concursos de
cortar troncos, etc) para as fomentar estas costumbres entre los
jvenes.
Suponiendo que maniesta lo que cree Son consistentes sus creencias?

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

7 / 16

Ejemplo II
El barbero de Las Batuecas

Hace pocos das me contaron el caso de un hombre llamado Roque,

barbero en Las Batuecas. Slo me haban dicho dos frases cuando
exclam: Imposible!
Roque vive en Las Batuecas.
Roque afeita a los habitantes de Las Batuecas que no se afeitan a s
mismos y slo a ellos.
Creeis que me precipit al no creerme lo que me contaban?

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

8 / 16

Ejemplo III
Rgimen para una larga vida

Un periodista entrevista a un anciano centenario y ste le revela el secreto

de su longevidad, que reside, segn l, en su alimentacin. El anciano dice:
Si no bebo cerveza, entonces como pescado.
Siempre que tomo cerveza y pescado, me abstengo de tomar helado.
No como pescado, si tomo helado o no bebo cerveza.
Se puede seguir un rgimen as? Podras hacer el men de un par de
das? Podras hacer el men de la semana?

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

9 / 16

Ejemplo IV
OKUPAS (SQUATTERS)

El alcalde de una gran ciudad maniesta a la prensa:

No es que haya falta de viviendas sociales en nuestra ciudad, ni en
Madrid, ni en Barcelona.
Lo que pasa es que los OKUPAS, que son gente que no tiene en
donde vivir, han hecho circular ese infundio.
Si furais periodistas del partido del alcalde, publicaras sus palabras sin
ms?

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

10 / 16

Enunciados que expresan creencias

Relacin entre pensamiento y lenguaje; problemas:

Uso aseverativo
Ambigedades lxicas, estructurales, de referencias cruzadas, etc.
Contextualizaciones.
Expresiones engaosas.
Se pierden matices, entonaciones, gestos, etc
Estructura de las lenguas europeas.

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

11 / 16

Ejemplo V
CHISTES

Con frecuencia los chistes ocurren porque la frase contiene ambigedades:

lxicas, estructurales, de referencias cruzadas. Determinad qu clase de
ambigedad ocurre en los siguientes chistes:
1

Si nos encuentran, estamos perdidos. (Groucho)

(En una panadera) Por favor, una barra de pan, y si tiene huevos,
una docena. (Sale con 12 barras de pan)

(Un hombre por la calle con un pingino). Llvalo al zoolgico.

(Despus...) Se lo pas estupendamente, esta tarde lo llevo al circo.

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

12 / 16

Tipos de enunciados

Consistente (Satisfacible)
Contradictorio
Tautologa
Contingente

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

13 / 16

Lenguaje formal
Un lenguaje formal (tambin llamado lgica) consta de lo siguiente:
Alfabeto (Signos del lenguaje).
Gramtica: (Nos dice las reglas de formacin de frmulas.)
Semntica: (Nos dice cuando una frmula es verdadera bajo una
determinada interpretacin.)
En este curso veremos con detalle dos lenguajes de lgica clsica; en
particular:
Lgica proposicional (PL)
Lgica de primer orden (FOL).
La lgica modal, la temporal, la dinmica, la no-monotnica y la teora de
tipos son otras de las muchas lgicas que interesan a los informticos, a
los lsofos y a los lingistas, pero que no se tratan aqu.

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

14 / 16

Consecuencia lgica

Idea intuitiva: un razonamiento es correcto cuando no se puede imaginar

ninguna situacin en la que las hiptesis del razonamiento sean verdaderas
y la conclusin sea falsa (el conjunto formado por las hiptesis y la
negacin de la conclusin es inconsistente).
En la vida cotidiana nuestros razonamientos versan sobre hechos: partimos
de unas premisas o hiptesis, que pueden ser verdaderas o falsas, y
llegamos a una conclusin, que tambin puede ser verdadera o falsa. Esto
enmascara los razonamientos vlidos con hiptesis falsas.

Mara Manzano (USAL)

Intr Log

Curso 2009-2010

15 / 16

Razonamientos evaluados en el mundo real

Razonamientos correctos evaluados en el mundo real

Hiptesis

Conclusin
Verdadera
Verdadera 1
Falsa
3

Falsa
NO
4

Razonamientos incorrectos evaluados en el mundo real

Hiptesis

Conclusin
Verdadera
Verdadera 5
Falsa
7

Mara Manzano (USAL)

Intr Log

Falsa
6
8
Curso 2009-2010

16 / 16