Die Unterscheidung zwischen Typ und Token beschreibt den Unterschied zwischen einem Objekttyp (analog zu einer Klasse ) und den einzelnen Token dieses Typs (analog zu Instanzen ). Da jeder Typ durch mehrere Token repräsentiert werden kann, gibt es im Allgemeinen mehr Token als Typen eines Objekts.
Der Satz „Eine Rose ist eine Rose ist eine Rose“ enthält beispielsweise drei Wortarten: drei Wörter vom Typ „eine“ , zwei Wörter vom Typ „ ist“ und drei Wörter vom Typ „Rose“ . Diese Unterscheidung ist in Disziplinen wie Logik , Linguistik , Metalogik , Typografie und Programmierung von Bedeutung .
Überblick
Die Unterscheidung zwischen Typ und Token trennt Typen (abstrakte, beschreibende Konzepte) von Token (Objekte, die Konzepte verkörpern). Beispielsweise repräsentiert im Satz „ Das Fahrrad wird immer beliebter “ das Wort „Fahrrad “ das abstrakte Konzept „Fahrräder“, und dieses abstrakte Konzept ist ein Typ. Im Satz „ Das Fahrrad steht in der Garage “ hingegen repräsentiert es ein konkretes Objekt, und dieses konkrete Objekt ist ein Token. Ähnlich verhält es sich mit dem Worttyp „Buchstabe“. Er verwendet nur vier Buchstabentypen: L , E , T und R. Dennoch kommen E und T jeweils zweimal vor. Man kann sagen, dass der Worttyp „Buchstabe“ sechs Buchstaben-Token besitzt, jeweils zwei Token der Buchstabentypen E und T. Immer wenn ein Worttyp definiert wird, entspricht die Anzahl der erzeugten Buchstaben-Token der Anzahl der Vorkommen des Buchstabens im Worttyp.
Manche Logiker betrachten einen Worttyp als die Klasse seiner Token. Andere Logiker entgegnen, dass der Worttyp eine Beständigkeit und Konstanz aufweist, die in der Klasse seiner Token nicht zu finden ist. Der Typ bleibt unverändert, während die Klasse ihrer Token ständig neue Mitglieder hinzugewinnt und alte verliert.
Typografie
In der Typografie wird die Unterscheidung zwischen Schriftzeichen und Token verwendet, um das Vorhandensein eines mit beweglichen Lettern gedruckten Textes zu bestimmen : [ 1 ]
Das entscheidende Kriterium für einen typografischen Druck ist die Typidentität der verschiedenen Buchstabenformen , aus denen der gedruckte Text besteht. Anders ausgedrückt: Jede im Text vorkommende Buchstabenform muss als spezifisches Instanz („Token“) desselben Typs dargestellt werden, der ein spiegelverkehrtes Bild des gedruckten Buchstabens enthält .
Charles Sanders Peirce
Die Unterscheidung zwischen Wörtern als Typen oder Token wurde erstmals 1906 von dem amerikanischen Logiker und Philosophen Charles Sanders Peirce anhand einer von ihm etablierten Terminologie getroffen. [ 2 ] Peirces Typen-Token-Unterscheidung gilt für Wörter, Sätze, Absätze usw.: für alles im Diskursuniversum der Zeichenkettentheorie oder Verkettungstheorie .
Peirces Originalwortlaut lautet wie folgt:
Eine gängige Methode, den Umfang eines gedruckten Buches zu schätzen, besteht darin, die Wörter zu zählen. Normalerweise finden sich etwa zwanzig „the“ auf einer Seite, und diese zählen natürlich als zwanzig Wörter. Im übertragenen Sinne des Wortes „Wort“ gibt es jedoch im Englischen nur ein einziges „the“; und es ist unmöglich, dass dieses Wort sichtbar auf einer Seite steht oder gesprochen wird. Eine solche Form schlage ich als Typus vor. Ein einzelnes Objekt, wie beispielsweise dieses oder jenes Wort in einer einzelnen Zeile einer einzelnen Seite eines einzelnen Exemplars eines Buches, möchte ich als Token bezeichnen. Damit ein Typus verwendet werden kann, muss er in einem Token verkörpert sein, das ein Zeichen des Typus und damit des Objekts darstellt, das der Typus bezeichnet.
— Peirce 1906, auch Ogden und Richards, 1923, 280-1. [ 3 ]
Siehe auch
- Klasse (Philosophie) – Gruppe von Dingen, die sich aus einer extensionalen oder intensionalen Definition ableiten.
- Formalismus (Philosophie) – Konzept, das den Fokus auf die Form statt auf den Begriff legt.
- Haecceity – Begriff aus der mittelalterlichen Scholastik
- Hyperonymie und Hyponymie – Semantische Relationen bezüglich der Art der Eigenschaft
- Identität (Philosophie) – Die Beziehung, die jedes Ding zu sich selbst hat
- Identität des Ununterscheidbaren – Unmöglichkeit, dass getrennte Objekte alle ihre Eigenschaften gemeinsam haben
- Ist-ein – Subsumtionsbeziehung zwischen Abstraktionen
- Karte-Territorium-Beziehung – Beziehung zwischen einem Objekt und einer Darstellung dieses Objekts
- Mentales Modell – Mentale Repräsentation der Außenwelt
- Das Universalienproblem § Peirce
- Platonisches Ideal – Philosophische Theorie, die Platon zugeschrieben wird
- Gebrauchs-Erwähnungs-Unterscheidung – Unterscheidung zwischen dem Gebrauch eines Wortes und seiner Erwähnung
- Typentheorie – Mathematische Theorie der Datentypen
- Typenphysikalismus – Theorie in der Philosophie des Geistes
Referenzen
- ↑ Brekle, Herbert E .: Die Prüfeninger Weiheinschrift von 1119. Eine paläographisch-typographische Untersuchung , Scriptorium Verlag für Kultur und Wissenschaft, Regensburg 2005, ISBN 3-937527-06-0, S. 23
- ^ Charles Sanders Peirce, Prolegomena zu einer Apologie des Pragmatismus, Monist, Bd. 16 (1906), S. 492–546.
- ^ Ogden, CK & Richards, IA (1923). Die Bedeutung der Bedeutung. London: Kegan Paul.
Quellen
- Baggin, J. und Fosl, P. (2003) The Philosopher's Toolkit . Blackwell: 171–173. ISBN 978-0-631-22874-5Die
- Peper F., Lee J., Adachi S., Isokawa T. (2004) Token-Based Computing on Nanometer Scales , Proceedings of the ToBaCo 2004 Workshop on Token Based Computing, Vol.1 pp. 1–18.
Externe Links
- Linda Wetzel . „Types and Tokens“ . In: Zalta, Edward N. (Hrsg.). Stanford Encyclopedia of Philosophy . ISSN 1095-5054 . OCLC 429049174 .