Token und Type

Mit dem Begriffspaar Type und Token werden in der analytischen Sprachphilosophie Elemente der Sprache wie Wörter und Sätze sowie Äußerungen gekennzeichnet. Die Unterscheidung zwischen Vorkommnis und Typ (auf Englisch Token und Type) wird in der Ontologie vorgenommen, um zwischen einem einzelnen Vorkommnis und dem allgemeinen Vorkommnistyp zu unterscheiden. Ein Beispiel: Auf die Frage, wie viele Ziffern sich in der Reihe 2200999 befinden, gibt es zwei korrekte Antworten. Zählt man die Token (die Vorkommnisse), so befinden sich sieben Ziffern in der Reihe. Zählt man hingegen die Typen, so sind es nur drei, '2', '0' und '9'.