3.2 Referents

Look at the lattice of types from the previous page:

"Types in a lattice"

An individual from any of the groups that these types define can be the referent of a concept. For example:

   [Person: John]

This concept says that "There exists a person whose name is John". "Person" is the type, while "John" is the referent. In other words, "John" is the particular individual (or referent) which we are referring to, and he is an instance of the type "Person".

Prev: 3.1 Concept types
Up: 3 Concepts
Next: 3.3 Examples