LÓGICA

Algunas nociones fundamentales

Prof. José Manuel Luna Conde

 Sumario

1.Algunas nociones
fundamentales

2.Análisis del lenguaje

 Lógica

■ Lógica: estudio de las inferencias (más

precisamente, de las condiciones en las que son
correctas).
■ La lógica está también estrechamente conectada a
la noción de verdad.
■ En un primer momento, podemos decir que la
corrección es una propiedad de las inferencias,
mientras la verdad es una propiedad de los
enunciados.
 Inferencia

■ Inferencia: razonamiento en el que,

partiendo de una o más premisas, se
deriva una conclusión.

α→β α premisas
β conclusiones
 Inferencia deductiva

■ En la inferencia deductiva, la conclusión

es la consecuencia lógica de las
premisas: en otras palabras, el conjunto
de las premisas y de la negación de la
conclusión es contradictorio. En nuestra
lógica bivalente (de dos valores:
verdadero o falso), si las premisas son
verdaderas, entonces la conclusión debe
ser verdadera.
 Inferencia deductiva: dos
ejemplos
Todos los mamíferos tienen corazón
Todos los caballos son mamíferos
Todos los caballos tienen corazón

Si la ventana está abierta se escucha más ruido

La ventana está abierta
Se escucha más ruido
R = premisas N= conclusiones
 Inferencia inductiva

En la inferencia inductiva, la conclusión está

indicada como probable si las premisas son
verdaderas: en otras palabras, la conclusión
podría ser verdadera si las premisas son
verdaderas…

… pero podría ser también falsa.

 Inferencia inductiva: dos
ejemplos
Este cuervo es negro
Este otro cuervo es negro
Los demás cuervos observados son negros
Todos los cuervos son probablemente negros

Algunos estudiantes altos han superado el examen

Algunos estudiantes bajos han aprobado el examen
Probablemente la altura no influye sobre el resultado del examen
R = premisas N= conclusiones
 Deducción vs inducción

Argumentaciones deductivas Argumentaciones inductivas

Si las premisas son verdaderas, Si las premisas son verdaderas,
la conclusión debe ser la conclusión probablemente es
verdadera verdadera
El contenido de la conclusión El contenido de la conclusión
está incluido en las premisas, no está incluido en las
al menos implícitamente premisas
Demuestran sus conclusiones Tienen un in-eliminable
independientemente de “cómo componente empírica (depende
está hecho el mundo” de “cómo está el mundo”).
 Los instrumentos del lógico

■ El primer instrumento, el más importante,

es un lenguaje adecuado.

■ Las nociones lógicas están presentes ya

en el lenguaje cotidiano, pero no son
siempre lo bastante precisas para el
lógico: por esto nos servimos de lenguajes
formales.
 Lenguajes naturales
vs
lenguajes formales
Lenguaje natural Lenguaje formal
Se aprende sin darse cuenta (la Se aprende con un esfuerzo
primera vez) consciente
La mayor parte de las reglas Todas las reglas son explícitas y
están implícitas, por lo cual no conocidas por quien usa el
son conocidas por los lenguaje
hablantes comunes
Está en continua evolución: Ha sido fijado de una sola vez:
reglas y vocabulario todo cambio en las reglas o en
evolucionan junto a las el vocabulario cambia la
comunidades de hablantes. estructura del lenguaje
 Lenguajes formales

■ Lógica como calculo (calculus ratiocinator) y

lógica como lenguaje (lingua characterica)
J. van Heijenoort, Logic as Calculus and Logic
as Language, Synthese 17 (1967), 324-330.

■ El ejemplo de G. Frege: el ojo y el

microscopio
Bregriffsschrift (1879)
¿cómo podemos hablar de la
verdad?
■ ¿cómo podemos hablar de la verdad? No
podemos jamás salir del lenguaje

■ Nacen paradojas:
“Epimenídes el cretense dice: ‘Todos los
cretenses son mentirosos’”
 La solución de Tarski

■ Para los lenguajes formales, A. Tarski

propone distinguir diferentes niveles
semánticos, introduciendo las
nociones de “lenguaje objeto” y
“metalenguaje”.

Der Wahrheitsbegriff in den formalisierten Sprachen (1935).

Lenguaje objeto vs
metalenguaje
■ Definamos lenguaje objeto como un lenguaje usado
para hablar de cosas o entidades (no de lenguajes),
más bien que de otros lenguajes (ejemplos: el
español, pero también un lenguaje formal).
■ El metalenguaje es un lenguaje usado para hablar de
las propiedades de otro lenguaje, llamado lenguaje
objeto.
■ Para nuestro curso, usaremos el español como
metalenguaje y un lenguaje formal como lenguaje
objeto.
Sintaxis

■ Estudio de las relaciones que se dan entre

los signos de un lenguaje. Más
específicamente, consiste en:
– Reglas de formación de las formulas bien
formadas (fbf) de un lenguaje formal
– Estudio de las reglas de inferencia (y de
eventuales axiomas) de un sistema
formal
Semántica

■ Estudio de las relaciones que se dan

entre los signos de un lenguaje y los
objetos a los que se refieren (en
términos intuitivos, de la relación
entre lenguaje y realidad)
■ La teoría de la verdad y la teoría del
significado son parte de la semántica.
El análisis lógico del lenguaje

■ El análisis lógico del lenguaje intenta aislar,

iluminar las características fundamentales de un
lenguaje, poniendo de parte todo el resto.
■ No nos ocuparemos de:
– Poesía
– Variaciones de estilo
– En general, de todas las características no
relacionadas con la verdad.
Enunciados

■ Un enunciado es cualquier “frase” del

español, que tenga un sentido. A nosotros
nos interesan solo los enunciados
declarativos, es decir los que pueden ser
verdaderos o falsos.
■ De ahora en adelante, con la palabra
“enunciado” se entenderá siempre un
enunciado declarativo.
Proposiciones

■ Las “proposiciones” están en el centro del debate

filosófico desde hace siglos. Podemos entenderla en
dos sentidos:
– Como equivalentes a un enunciado de un lenguaje
dado (“llueve”)
– Como el contenido de enunciados semejantes a
lenguas diferentes (“llueve”, “piove”, “il pleut”)
■ Para evitar confusiones, usaremos siempre la palabra
“proposición” para el contenido de un enunciado.
Términos

■ Los términos (del latín terminus) son el

elemento último al cual se puede llegar en el
análisis lógico. Corresponden a las categorías
gramaticales de sujeto y predicado, o a las
ontológicas de objeto y propiedad.
■ En resumidas cuentas, consideramos términos
tanto los nombres como los predicados.
El rol del enunciado

■ Al interno del lenguaje, el enunciado tiene un rol

particular: es la unidad más pequeña con la cual
se hace un movimiento en el juego lingüístico
(Dummet). Por ejemplo:
– “llueve”
– “pizarrón”
1. Me dice algo, mientras 2. es solo una palabra (se
vuelve un enunciado solo en un contexto apropiado).
Enunciados simples

■ Simplicidad y complejidad de un enunciado se

miden solo desde un punto de vista lógico.
■ Son enunciados simples:
– La nieve es blanca
– Dios es amor
– El hijo del presidente Bush ha seguido la
carrera del padre
Enunciados compuestos

■ Viceversa, son enunciados compuestos:

– La nieve es blanca y la hierba es verde
– O eres católico o eres protestante
– Todos los hombres son mortales
– Creo que tienes razón
– No llueve
– Es posible que mañana habrá huelga de los
autobuses
¿cómo distinguir el simple del
compuesto?
■ Tomemos el primer ejemplo:
– La nieve es blanca y la hierba es verde
■ Podemos dividirlo en tres partes (“la nieve es
blanca”, “y”, “la hierba es verde”). El primero y el
tercero son enunciados declarativos: cada uno
de los dos es verdadero independientemente del
otro. La palabra “y” sirve para ponerlos juntos, es
decir que son los dos verdaderos.
Enunciados que contienen
enunciados
■ El criterio intuitivo que podemos darnos es que
son compuestos los enunciados que contienen,
como sus partes, otros enunciados.
■ “La nieve es blanca y la hierba es verde”
contiene como sus partes dos enunciados
subordinados:
– La nieve es blanca
– La hierba es verde