Type (metaphysics)
From Biocrawler, the free encyclopedia.
A type is a category of being. A human is a type of thing; a cloud is a type of thing; 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" 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.
 | This philosophy-related article is a stub. You can help Biocrawler by expanding it (http://www.biocrawler.com/w/index.php?title=Type_%28metaphysics%29&action=edit). |
