Conclusive remarks on infons

Pictural states of affairs and infons as well use the notion of an assignment function. This function does not have to be necessarily complete, some, or perhaps even all the arguments may be unassigned. We did not note the arguments as a function here, because for a huge part of this thesis it is irrelevant and less intuitive to read. However, keep in mind that the arguments are in fact a single, perhaps partial, function mapping parameters, or arguments, to entities. Sometimes this function is called an anchor for an infon. However, this will not become relevant until section 5.3.4. Parametric infons are also called situation types, because their arguments can be filled by several different entities, at different times. So there may be an infon $\langle\langle Eating,x,Karen;1\rangle\rangle$, which is the type of all situations (or situoids) where Karen is eating. We also ignored the distinction between relations and relators when we felt this distinction is not necessary.

Also, we did not answer the question whether we admit an algebra of infons, because we cannot give it a semantic at this point. However, we will admit conjunction, negation and even existential quantification of infons later in section 5.3.5.

Please keep in mind for the rest of this thesis, that infons are not truth-bearers. They are information carrying entities. They are never true or false, but can be asserted to be either present or absent in some part of reality. The assertion of their presence or absence will be a proposition, and only propositions may be true or false.