2.3.1 Interpretaciones

 

Una interpretación I es una función que aplica elementos del lenguaje en elementos de la conceptuación, y que debe satisfacer las siguientes condiciones:

- Si C es un símbolo de constante, entonces I(C)∈ U (es decir, las constantes representan individuos del universo del discurso).

- Si p es un símbolo de predicado de grado n, entonces I(p)⊆ U' (es decir, los símbolos de predicado representan relaciones).

- Si f es un símbolo de función de grado n, entonces I(f) = U' → U (es decir, los símbolos de función representan funciones).

La interpretaciones tratan simplemente de formalizar la noción de que los símbolos representan las abstracciones de la realidad modelada.[3]