Type (metaphysics)

Encyclopedia : T : TY : TYP : Type (metaphysics)

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" 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.

From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.