Diccionario soviético de filosofía
Ediciones Pueblos Unidos, Montevideo 1965
página 99

Cumplimentabilidad

(en lógica semántica). Relación entre funciones proposicionales y objetos situados en lugar de variables. El concepto de cumplimentabilidad se halla estrechamente ligado al de veracidad. Tomando este último como concepto indefinible (primario) cabe definir por medio de él la cumplimentabilidad del modo siguiente: el objeto cumple una función proposicional en el caso y sólo en el caso en que colocado en lugar de la variable en la función proposicional dada constituya una proposición verdadera. Por ejemplo, el objeto «azúcar» cumple la función proposicional «x es dulce»; el objeto «sal» no la cumple. Por otra parte, es posible tomar la cumplimentabilidad por un concepto indefinible y definir por medio de él (el primero en hacerlo fue Tarski) el concepto de verdad en los lenguajes formalizados. En este caso, han de darse funciones proposicionales iniciales (es decir, las más simples e indefinibles) y han de ser indicados los objetos que las cumplen. En cambio, la cumplimentabilidad de cualquier función proposicional compuesta de proposiciones iniciales por medio de operaciones lógicas proposicionales y de cuantificadores, se define por medio de la cumplimentabilídad de las iniciales. Por ejemplo, la función proposicional compleja «(x blanco) y (x dulce)» se cumple mediante el objeto «azúcar», dado que dicho objeto cumple cada una de las funciones proposicionales componentes.


www.filosofia.org Proyecto filosofía en español
© 2001 www.filosofia.org
  Soviético
Enciclopedias