Jump to content

Type (metaphysics)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by YurikBot (talk | contribs) at 17:03, 25 June 2006 (robot Adding: de:Token und Type). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

A type is a category of being. A human is a type of thing; a cloud is a type of thing (entity); and so on. A particular instance of a type is called a token of that thing; so Socrates was a token of a human being, but is not any longer since he is dead. Likewise, the letter "A" seen on this page is a token of the first letter of the Latin alphabet.

A type is something different in logic. See Bertrand Russell's Theory of types.