Tyyppi on ontologiassa eräs olevan kategoria. Esimerkiksi ihminen on eräs olioiden tyyppi. Tyypin yksityistä esiintymää kutsutaan englanninkielisellä nimellä token.[1]
Tyypin ja tokenin ero tehdään olioiden tai ilmiöiden yleisten tyyppiesiintymien (tyyppi) ja yksityisten, konkreettisten esiintymien (token) erottamiseksi. Esimerkiksi kysyttäessä, kuinka monta eri numeroa on lukujonossa 2200999, oikeita vastauksia on kaksi. Jos lasketaan merkkitokenit (merkkien esiintymät), eri numeroita on seitsemän. Jos lasketaan merkkityypit, oikea vastaus on kolme.
Tyypin ja tokenin erottelua on sovellettu useilla filosofian aloilla, muun muassa mielenfilosofiassa ja taiteenfilosofiassa.[1] Mielenfilosofiassa erottelua on käytetty identiteettiteorian ja muiden fysikalististen tietoisuusteorioiden selventämisessä. Klassinen identiteettiteoria eli tyyppi-identiteettiteoria samastaa mielen tilojen tyypit neuraalisten tilojen tyyppeihin, eli jokainen mentaalinen ominaisuus on samalla jokin fysikaalinen ominaisuus,[2] kun taas esiintymäidentiteettiteoria (esimerkiksi Donald Davidsonin anomaalinen monismi) katsoo, että jokainen mentaalinen ominaisuus toteutuu jossain fyysisessä oliossa.[2]
Tyyppi–token-termiparin esitteli Charles S. Peirce vuonna 1906 (Prolegomena to an Apology for Pragmaticism). Vuonna 1908 hän siirtyi käyttämään seuraavia nimityksiä:
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search