La lógica de predicados nos permite entrar en en contenido de las proposiciones. Enunciados como «Juan es padre de Luis» y «Luis es hijo de Juan» en lógica de proposiciones sólo pueden representarse como variables proposicionales, y no es posible representar un conocimiento tan simple como que si x es padre de y entonces y es hijo de x.
Con la lógica de predicados podemos representar conceptuaciones que contienen relaciones entre objetos (como las relaciones «padre» e «hijo» ). Ahora bien, a veces la conceptuación también expresa relaciones entre relaciones, o propiedades (relaciones de grado 1) de relaciones. Por ejemplo, «padre es una relación familiar» . A la lógica que sólo permite representar relaciones entre objetos se le llama de primer orden, la que permite relaciones entre relaciones, de segundo orden, y así sucesivamente.
Los sistemas deductivos de la lógica de primer orden presentan ya bastantes dificultades de implementación como para pensar en extenderlos a órdenes superiores. En la práctica se utiliza un ardid, llamado «cosificación» , para expresar todo en lógica de primer orden (Apartado 4.1.1). En lo sucesivo hablaremos indistintamente de «lógica de predicados» o «lógica de primer orden» o, para abreviar, utilizaremos su sigla en inglés: FOL (First Order Logic).
Todos los conceptos de este Capítulo se han presentado en el Capítulo 3 para el caso simplificado de la lógica de proposiciones, y, salvo alguna excepción, cada página de uno tiene su correspondiente página, con el mismo título, en el otro. Es conveniente ir leyendo, o releyendo, cada página de lógica de proposiciones antes de la de este Capítulo. A lo largo del hipertexto se proveen los enlaces necesarios para facilitarlo.
DIT-ETSIT-UPM