Infón

Francisco Salto, Carlos Aguilar (2010). Infón. GlossariumBITri, 1(1): 1051.

También disponible como: Infon (en)

Colección	GlossariumBITri
Autor	Francisco Salto Alemany, Carlos Aguilar Paredes
Editor	Francisco Salto Alemany
Año	2010
Vol. (núm.)	1(1)
ID	◀ 1051 ▶
Tipo de objeto	Concepto
Dominio	Investigación, Sociedad de la información
en	infon
fr	infon
de	Infon

El que usted sea feliz es un estado de cosas compuesto por el objeto "usted" instanciando la relación de "ser feliz". Los estados de cosas como $⟨ ⟨ feliz, usted, sí ⟩ ⟩$ se distinguen de otras realidades, como el objeto "usted feliz" y la propiedad "felicidad de usted". Una ontología compuesta de cosas como "usted" es distinta de una compuesta por estados de cosas.

Obsérvese cómo las propiedades y relaciones se instancian en objetos (su felicidad, el rojo de mis labios), mientras que unos objetos no se instancian en otros, sino que son en este caso sus fragmentos. Aunque no existe, a través de los milenios, una caracterización precisa de estas nociones básicas de parte e instancia, tanto la teoría de conjuntos como la teoría de situaciones parten de intuiciones básicas acerca de tales nociones.

Pues bien, la semántica de situaciones asume que estas son partes de realidad que a su vez tienen como partes estados de cosas que son información, en particular objetos que instancian propiedades y relaciones. Los infones son las unidades mínimas de información que el aparato ontológico y conjuntista de la teoría de situaciones permite. Nótese que la información no sólo refiere a una situación, sino que la es.

En consecuencia, los infones son estados de cosas expresables como tuplas de la forma:

⟨ ⟨ R, a_{1}, a_{2}, . . ., a_{n}, 1 ⟩ ⟩, ⟨ ⟨ R, a_{1}, a_{2}, . . ., a_{n}, 0 ⟩ ⟩

(1)

en los que $R$ es una relación entre $n$ objetos apropiados para describirla y denotan que dichos objetos están en relación o no lo están. El elemento final se denomina polaridad y es el que marca la veracidad $⟨ ⟨ R, a_{1}, a_{2}, \dots, a_{n}, 1 ⟩ ⟩$ , o falsedad $⟨ ⟨ R, a_{1}, a_{2}, \dots, a_{n}, 0 ⟩ ⟩$ de la relación $R$ .

Dada una situación $s$ y un infón $σ$ escribimos

s ⊨ σ

(2)

para indicar que el infón $σ$ es un hecho factual para la situación $s$ . Expresado en otras palabras, la situación $s$ es un fragmento de realidad que sustenta o porta la información $σ$ , eventualmente entre otros muchos estados de cosas que son reales en tal situación.

Dada la noción de infón, podemos con ella definir la clase de situaciones que sustentan ese infón. Por ejemplo, $⟨ ⟨ guerrear, Afganistán, occidentales, sí ⟩ ⟩$ se sustenta en distintas situaciones históricas, por ejemplo $s_{1}$ (en el siglo XIX guerrean los ingleses), $s_{2}$ (en el siglo XX guerrean los rusos), $s_{3}$ (en el siglo XXI guerrean los norteamericanos). Por tanto, las situaciones instancian tipos de situaciones: dada una relación $R$ , sea $𝐬$ una asignación de entidades reales que instancian $R$ . Un tipo de situación es el par $⟨ ⟨ R, 𝐬 ⟩ ⟩$ , que puede ser o no satisfecho o realizado en distintas situaciones. Escribimos:

s ⊨ ⟨ ⟨ R, s ⟩ ⟩

(3)

para indicar que la situación $s$ sustenta o verifica el tipo $⟨ ⟨ R, 𝐬 ⟩ ⟩$ .

Nótese que una situación no satisfaga un tipo dado no implica que satisfaga su negación.

Contar con la noción de tipo de situación permite emplear los infones para introducir la noción de proposición de un modo particular. Una proposición simple está formada por una situación $s$ y un tipo de situación $⟨ ⟨ R, 𝐬 ⟩ ⟩$ de modo tal que: proposición $(s, ⟨ ⟨ R, 𝐬 ⟩ ⟩)$ es verdad si y sólo si $s ⊨ ⟨ ⟨ R, 𝐬 ⟩ ⟩$ .

Finalmente, un infón es un hecho si la situación actual lo sustenta.

Referencias

BARWISE, J. (1989). The Situation in Logic. Stanford: CSLI.
DEVLIN, K. (1991). Logic and Information. Cambridge: Cambridge University Press.
GINZBURG, J. (2005). "Situation Semantics: the Ontological Balance Sheet". Research on Language and Computation, 3, pp. 363-389.