Ventajas de la lógica de primer orden

respecto de LP

César de Jesús Escobedo Sánchez

Facultad de Filosofía y Letras

UNAM

cesarescobedo@filos.unam.mx
Índice

1. Limitaciones en los sistemas formales: lenguaje y teoría de la

demostración.

2. Ejemplos del límite del alcance de LP.

3. Recursos formales adicionales: la estructura interna de las oraciones.

Limitaciones en los sistemas formales

• Cuando se define un sistema formal mediante su lenguaje técnico y su

teoría de demostración, es usual que se quiera averiguar hasta dónde se
puede utilizar en el estudio y modelación de los diversos fenómenos
(físicos, lingüísticos, sociales, etc.) para la obtención de resultados.

• En el caso del sistema LP, sabemos que podemos analizar una gran
variedad de expresiones (enunciados) y argumentos compuestos de éstas
para responder cuestiones acerca de la verdad y validez, respectivamente.
Limitaciones en los sistemas formales

• Sin embargo, con los recursos de LP, sólo se alcanza a tratar una parte
bastante limitada de la totalidad del conglomerado lingüístico que
constituye el lenguaje ordinario que empleamos.

• En otras palabras, tratar de llevar más lejos el sistema LP para valorar

enunciados y argumentos cuyo contenido escapa al dominio del lenguaje
formal o la teoría de demostración usualmente no lleva a resultados
satisfactorios.
Limitaciones en los sistemas formales

• Las limitaciones de un sistema formal se hacen fuertemente notorias

cuando se intentan explicar y modelar fenómenos de interés con una
estructura que es demasiado amplia o sofisticada para recuperarse con los
recursos del sistema formal.

• En el caso de LP, estas limitaciones son de carácter lingüístico (alcance del

lenguaje formal) o de carácter técnico (alcance de la noción de
demostración).
Límites de los alcances de LP: Lenguaje

• Recordemos que el lenguaje formal de LP tiene como objetivo y alcance

recuperar las relaciones entre valores de verdad entre las oraciones que son
expresadas en lenguaje ordinario. Esto lo logra al ofrecer traducciones de
las relaciones entre valores de verdad entre enunciados por medio de las
conectivas lógicas, para exhibir la estructura formal inducida por esas
relaciones.

• Con otras relaciones entre oraciones, el lenguaje de LP no las recupera

satisfactoriamente.
Límites de los alcances de LP: Lenguaje

• Ejemplo:
El animal salvaje es el mejor ejemplo de la manifestación de instintos.
¿Cuál es el sentido o significado que está siendo expresado en la oración
anterior?
Límites de los alcances de LP: Lenguaje

• Ejemplo:
El animal salvaje es el mejor ejemplo de la manifestación de instintos.
¿Cuál es el sentido o significado que está siendo expresado en la oración
anterior?

• No es difícil notar que el enunciado anterior es susceptible de expresar al

menos dos significados diferentes sensibles al contexto de emisión. En este
tipo de enunciados se expresa una cierta relación entre aspectos cualitativos
de algunos objetos que no puede recuperarse con el lenguaje LP.
Límites de los alcances de LP: Lenguaje

Podemos dar las siguientes opciones de formalización de la oración y

comprobar que ambas son legítimas:
• Opción 1 de diccionario:
P := Ese animal salvaje manifiesta instintos.
Q := Ese animal salvaje es el que mejor manifiesta instintos.
Por lo que su traducción formal es: 𝑃 ⊃ 𝑄.

• Opción 2 de diccionario:
P := Los animales salvajes son los mejores en manifestar sus instintos.
Por lo que su traducción formal es: 𝑃.
Límites de los alcances de LP: Lenguaje

• Ejemplo:
Es posible presentar un examen de grado para titularse de la
licenciatura en filosofía.
¿Cuál es el sentido o significado que está siendo expresado con la oración
anterior?
Límites de los alcances de LP: Lenguaje

• Ejemplo:
Es posible presentar un examen de grado para titularse de la
licenciatura en filosofía.
¿Cuál es el sentido o significado que está siendo expresado con la oración
anterior?
• Las modalidades, como la necesidad y la posibilidad, son un tipo de
relación entre proposiciones que se expresan (entre otras cosas) grados de
ocurrencia. Una proposición necesaria tiene el máximo grado de
ocurrencia, mientras que una proposición posible tiene un grado atenuado
de ocurrencia.
Límites de los alcances de LP: Lenguaje

Podemos dar las siguientes opciones de formalización:

• Opción 1 de diccionario:
X := Algo es posible.
Q := Se presenta un examen de grado para titularse de la licenciatura en
filosofía.
Por lo que una traducción formal es: XQ (en un lenguaje más potente: ◊Q).
• Opción 2 de diccionario:
Q :=Es posible presentar un examen de grado para titularse de la
licenciatura en filosofía.
Por lo que una traducción formal es: Q.
Límites de los alcances de LP: Demostrabilidad

• Recordemos que la teoría de la demostración descansa primordialmente en

los siguientes hechos: (i) Todo lo que se demuestra en LP es verdadero, (ii)
Las reglas de inferencia permiten la preservación de verdad entre los
enunciados en que se aplican.

• Lo anterior es debido en gran parte a que las conectivas lógicas y las

proposiciones de LP sólo recuperan las relaciones entre los valores de
verdad de los enunciados. Otras relaciones entre oraciones no se alcanzan a
recuperar.
Límites de los alcances de LP: Demostrabilidad

• Ejemplo: Consideremos el siguiente argumento

1. Hay alguien en este país con apellido Vázquez.
Por tanto, Lorena tiene como apellido Vázquez.

• ¿Qué reglas de inferencia, derivación o equivalencia podemos emplear para

demostrar que la conclusión se sigue de la premisa?
Límites de los alcances de LP: Demostrabilidad

• Ejemplo: Consideremos el siguiente argumento

1. Hay alguien en este país con apellido Vázquez.
Por tanto, Lorena tiene como apellido Vázquez.

• ¿Qué reglas de inferencia, derivación o equivalencia podemos emplear para

demostrar que la conclusión se sigue de la premisa?

• No poseemos reglas de inferencia que nos permitan señalar individuos

particulares con cierta propiedad, dada la existencia de tales individuos.
Límites en los alcances de LP: Demostrabilidad

• Ejemplo: Consideremos el siguiente argumento

1. José está cursando Lógica II.
2. Carlos está cursando Lógica II.
…
Por tanto, todas las personas en esta clase están cursando Lógica II.

• ¿Qué reglas de inferencia, derivación o equivalencia podemos emplear para

demostrar que la conclusión se sigue de las premisas?
Límites de los alcances de LP: Demostrabilidad

• Ninguna regla hasta ahora tenida nos permite pasar de una cantidad
arbitraria de casos particulares a la verdad de información general.

• Nótese aquí que, aunque dotáramos al lenguaje de LP con un poder

expresivo mayor, el problema principal consiste en que las reglas de
inferencia de LP sólo rescatan la preservación de verdad de premisas a
conclusiones en los argumentos.
La estructura interna de las oraciones

• Muchos tipos de oraciones que son de interés usualmente poseen una

estructura interna más rica que las solas relaciones entre valores de verdad
que se recuperan con las conectivas lógicas a disposición de LP.

• El lenguaje formal que se manejará para la lógica cuantificacional pretende

recuperar los recursos del lenguaje formal de LP además de incorporar
diversos elementos nuevos para aumentar nuestro poder formal expresivo.

• Básicamente, el nuevo lenguaje formal nos permitirá traducir lo que las

oraciones digan acerca de individuos, propiedades y relaciones.
La estructura interna de las oraciones

• En los siguientes ejemplos se expone lo que se entiende por tales

conceptos:
1. Luis es rápido para enfadarse.
Aquí se dice un cierto predicado P de un cierto objeto x, a saber, x:= Luis
es un objeto con la propiedad P:= Ser rápido para enfadarse.

2. Álvaro es amigo de Armando.

Aquí se dice que un par de objetos a y b están una cierta relación R, a
saber, a:= Álvaro y b:= Armando son un par de objetos en la relación R:=
ser amigos.
La estructura interna de las oraciones

• Desde ahora, veremos cuáles son los nuevos elementos formales que se
introducirán al lenguaje formal para expresar formalmente tipos de
relaciones como cualitatividad y cuantitatividad.

• La estructura interna de las oraciones sugiere que los nuevos elementos del
lenguaje formal a estudiar sean apoyados por los conceptos especiales que
envuelven el entendimiento de lo que se entiende por propiedades y
relaciones entre individuos.