- Type-token distinction
The type versus token distinction separates an abstract concept from the objects which are particular instances of the concept. For example, the particular bicycle in your garage is a
tokenof the type of thing known as "The bicycle." Whereas, the bicycle in your garage is in a particular place at a particular time, that is not true of "the bicycle" as used in the sentence: "The bicycle" has become more popular recently." In logic, the distinction is used to clarify the meaning of symbols of formal languages.
abstract objects. They do not exist anywhere in particular because they are not physical objects. Types may have many tokens. However, types are not directly producible as tokens are. You may, for instance, show someone the bicycle in your garage, but you cannot show someone "The bicycle." Tokens always exist at a particular place and time and may be shown to exist as a concrete physical object.
* [http://plato.stanford.edu/entries/types-tokens/ "Types and Tokens" in The Stanford Encyclopedia of Philosophy]
Wikimedia Foundation. 2010.
Look at other dictionaries:
Token — may refer to:* Token (railway signalling), a physical object given to a locomotive driver to authorize him to use a particular stretch of single railway track * Token coin, a piece of metal or other composition used as a substitute for currency;… … Wikipedia
Type — may refer to:In philosophy: *A type is a category of being *Type token distinction *Type theory, basis for the study of type systemsIn mathematics: *Type (model theory) *Type or Arity, the number of operands a function takes *Type, any… … Wikipedia
Type physicalism — The relevant question: what will research discover? Can types of mental states be meaningfully described by types of physical events (type physicalism), or is there some other problem with this pursuit? Type physicalism (also known as reductive… … Wikipedia
Type (metaphysics) — In 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… … Wikipedia
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
Document Type Definition — (DTD) is a set of markup declarations that define a document type for SGML family markup languages (SGML, XML, HTML). DTDs were a precursor to XML schema and have a similar function, although different capabilities. DTDs use a terse formal syntax … Wikipedia
Physicalism — is a philosophical position holding that everything which exists is no more extensive than its physical properties; that is, that there are no kinds of things other than physical things. The term was coined by Otto Neurath in a series of early… … Wikipedia
Metalogic — is the study of the metatheory of logic. While logic is the study of the manner in which logical systems can be used to decide the correctness of arguments, metalogic studies the properties of the logical systems themselves. According to… … Wikipedia
List of philosophy topics (R-Z) — RRaRabad Rabbinic law Rabbinic theology Francois Rabelais François Rabelais race racetrack paradox racism Gustav Radbruch Janet Radcliffe Richards Sarvepalli Radhakrishnan radical Aristotelianism radical behaviourism radical feminism radical… … Wikipedia
Philosophy of mind — A phrenological mapping of the brain. Phrenology was among the first attempts to correlate mental functions with specific parts of the brain. Philosophy of mind is a branch of philosophy that studies the nature of the mind, mental even … Wikipedia