World Library  
Flag as Inappropriate
Email this Article

Type (metaphysics)

Article Id: WHEBN0000030954
Reproduction Date:

Title: Type (metaphysics)  
Author: World Heritage Encyclopedia
Language: English
Subject: Plato, Willard Van Orman Quine, Type, Abstract and concrete, A Voyage to Arcturus, The Taill of Schir Chanticleir and the Foxe, Mary Shelley
Collection:
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Type (metaphysics)

File:Flock of birds at Rome.ogg In disciplines such as philosophy and knowledge representation, the type–token distinction is a distinction that separates a concept from the objects which are particular instances of the concept. For example, the particular bicycle in your garage is a token of 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.

Types are often understood ontologically as being concepts. 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.

This is essentially the same as the distinction in computer programming between classes and objects, though software objects have only a weak claim to "exist[ence] as ... concrete physical object[s]".

It can be quite useful to distinguish between an abstract "type" of thing, and the various physical "tokens" or examples of that thing. This type-token distinction is illustrated by way of examples. If we say that two people "have the same car", we may mean that they have the same type of car (e.g. the same brand and model), or the same particular token of the car (e.g. they share a single vehicle). This distinction is useful in other ways, during discussion of language. In the phrase "Grendel is Grendel is Grendel is Grendel", there are only two types of words ("Grendel" and "is") but there are seven tokens (four "Grendel" and three "is" tokens).

Occurrences

There is a related distinction very closely connected with the type-token distinction. This distinction is the distinction between an object, or type of object, and an occurrence of it. In this sense, an occurrence is not necessarily a token. Quine discovered this distinction. However, he only gave what he called an "artificial, but convenient and adequate definition" as "an occurrence of x in y is an initial segment of y ending in x".[1]

If we consider for example the famous sentence: "A rose is a rose is a rose". We may equally correctly state that there are eight or three words in the sentence. There are, in fact, three word types in the sentence: "rose", "is" and "a". There are eight word tokens in a token copy of the line. The line itself is a type. There are not eight word types in the line. It contains (as stated) only the three word types, 'a,' 'is' and 'rose,' each of which is unique. So what do we call what there are eight of? They are occurrences of words. There are three occurrences of the word type 'a,' two of 'is' and three of 'rose'.

The need to distinguish tokens of types from occurrences of types arises, not just in linguistics, but whenever types of things have other types of things occurring in them.[2]

Typography

In typography, the type–token distinction is used to determine the presence of a text printed by movable type:[3]

The defining criteria which a typographic print has to fulfill is that of the type identity of the various letter forms which make up the printed text. In other words: each letter form which appears in the text has to be shown as a particular instance ("token") of one and the same type which contains a reverse image of the printed letter.

See also

References

  • Baggin J., and Fosl, P. (2003) The Philosopher's Toolkit. Blackwell: 171-73. ISBN 978-0-631-22874-5.
  • Peper F., Lee J., Adachi S.,Isokawa T. (2004) Token-Based Computing on Nanometer Scales, Proceeding of the ToBaCo 2004 Workshop on Token Based Computing, Vol.1 pp. 1–18.

External links

  • Types and Tokens" by Linda Wetzel.
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.