Type (metaphysics)

From Wikipedia, the free encyclopedia

You have new messages (last change).

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 capital A in this sentence 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.

Retrieved from "http://en.wikipedia.org../../../t/y/p/Type_%28metaphysics%29.html"
In other languages