Entity Modelling

www.entitymodelling.org - entity modelling introduced from first principles - relational database design theory and practice - dependent type theory


Types of Things

Aristotles Categories

In the statement ‘man and the apes are descendent from a common ancestor’— it is clear that singular ‘man’ is being used to denote a specific type which in biology, and as far back as Aristotle's Categories, is termed a species, and that plural ‘apes’ is denoting a more general class of thing which following Aristotle we might call a genus or in biology are said to be ‘a classification of a higher rank’ and which classifications includes genera, families, orders and kingdoms. As a reader one does not need know the individual species of apes but can infer that a multiplicity of species is implied — simply by noting the use of the plural form. In entity modelling both such specific and general types of thing are represented; these are species and genera not just in the strict sense used in biological nomenclature but in the more general sense that we find in translations of Aristotle's Categories, a species is a specific type such as the type ‘man’ and a particular individual man is said to be predicated by that species. A genus, on the other hand, is a more general type such as ‘animal’ or ‘ape’.

For if any one should render an account of what a primary ousia is, he would render a more instructive account by stating the species than by stating the genus. Thus, he would give a more instructive account of an individual man by stating that he was a man than by stating that he was an animal, for the former description is peculiar to the individual in a greater degree, while the latter is too general.

In Aristotle's description both the individual man and the species man are predicated by the genus animal, and so to, by example, the species ox is predicated by the genus animal. From what we have already said this we will represent thus:

In some ways, such diagrams as these show similarity to Venn diagrams. This one can be so interpreted as showing the set of men and the set of oxen included in the set of animals. However, to the entity modeller, there is no set of all men, nor of all oxen, nor of all animals for the question is not ‘what exists?’ but ‘what types of things exist and what can be said of them?’. The diagram can be interpreted as saying ‘what can be said of animal’ can be said of ‘man’ and of ‘ox’ also.

Aristotle says it like this:

Whenever one thing is predicated of another as a subject, all things said of what is predicated will be said of the subject also. For example, man is predicated of the individual man, and animal of man; so animal will be predicated of the individual man also — for the individual man is both a man and an animal.

Subsequently, after the time of Aristotle, used in biological nomenclature the term genus adopted a more specific meaning, in contradistinction to use of the term species for the lowest rank in the system — individuals of the same species varying in minor ways and able to interbreed — the term genus became used for a group of related species, the genera strictly forming just the second rank in a multi-ranked system. For the purposes of entity modelling we do not use the genus in its specific taxonomic sense but nonetheless have recourse to a convention from taxonomy by which the names of species are written with a leading lower case letter (e.g. sapiens) and the name of the genus is written with a leading upper case letter (e.g. Homo). For us the names of general types of things will be capitalised or have a leading capital letter whereas the names of the most specific types of things will be written entirely with lower letters.

An example from Physics

A more technical example is given by the types of particle discussed in Feynman's Lecture Notes on Physics:

Particles which interfere with a positive sign are called Bose particles and those which interfere with a negative sign are called Fermi particles. The Bose particles are the photon, the mesons, and the graviton. The Fermi particles are the electron, the muon, the neutrinos, the nucleons, and the baryons.

As in the usage ‘man and the apes’ singular and plural terms are used in this passage to distinguish between specific types of things and more general classes of things. The author's respective use of singular and plural terms inform as to which are the fundamental types of particle, the species, and which the related families, the genera. In diagramming this in an entity model, instead of retaining the plural form, so to speak, we may capitalise the genera and so arrive this diagram:

Linguistics

In linguistics the entity type ‘word’ is generally represented as a generalisation of more specific types often referred to as word classes. These include noun, verb, adjective and so on as shown in figure 6 and these are illustrated in table 1.

The basis for the recognition of word classes in linguistics is the observation that certain words can be freely interchanged in sentences without altering the acceptability of the sentence grammatically. For example we can apply substitutions replacing various words of an example sentence such as I received beautiful flowers for my birthday by randomly chosen other words and some will deliver equally grammatical sentences and some will not. For example we can replace ‘beautiful’ by ‘ugly’ or ‘red’ or ‘expensive’ without losing sentence structure whereas we cannot replace by ‘the’ or ‘very’ or ‘at’. So the words ‘beautiful’,‘ugly’, ‘red’, ‘expensive’ are of the same class adjective and the words ‘the’, ‘very’, ‘at’ are not of this class — in fact the word ‘the’ is classed as a determiner, the word ‘very’ as a degree word and the word ‘at’ as a preposition.

class abbreviation examples
noun N athelete, house, race, record, stream, water
pronoun Pro I, you, he, she, we, they
determiner Det a, the
verb V arrive, run, set
auxiliary Aux had, will
preposition Prep at, by, from, in, to
prepositional specifier Pspec close, right, straight, three seconds
adjective A fierce, long, new, red, right, rosy, silk, young
general adverb Adv abruptly, brightly, clearly, quickly
degree adverb Deg more, most, quite, rather, so, too, very
Table 1
Types of word and abbreviations used.

It is common to use abbreviations to identify the word classes; as to how many there are then it has to be said that they cannot be enumerated unequivocally; linguist C.C Fries defined nineteen types as the nineteen parts of speech of English in 1952 (he also distinguished content bearing types of word: nouns, verbs, adjectives and adverbs from function types such as prepositions, determiners and coordinating conjunctions). For our purposes here we will use the classes and the abbreviations shown in table 1

Figure 6
Word Classes shown using the nested box notation.

Aristotle Equivocal Naming

In biological nomenclature the species name alone is not always enough to uniquely identify a type of thing less it be used alongside of the genus name — this system of naming, using the genus name alongside the species name, being called binomial and having been introduced by Linnaeus. Resonant and antecedent to this can be seen in the very first section of Aristotle's Categories which is the about the proper delineation of the of types of things:

Things are said to be named ‘equivocally’ when, though they have a common name, the definition corresponding with the name differs for each. Thus, a real man and a figure in a picture can both lay claim to the name ‘animal’; yet these are equivocally so named, for, though they have a common name, the definition corresponding with the name differs for each. For should any one define in what sense each is an animal, his definition in the one case will be appropriate to that case only.

The appropriate diagram to fit Aristotle's text would seem to be this:

With such a configuration of types you might suppose a trinomial notation is required — or... simply a diagram and the ability to point at it. And this is the point of such diagrams or at least a very good part of it.