Tyyppi ja token
Wikipedia
Tyyppi on ontologiassa eräs olevan kategoria. Esimerkiksi ihminen on eräs olioiden tyyppi. Tyypin yksittäistä esiintymää kutsutaan nimellä token.[1] Näin Sokrates oli tyypin ihminen token, mutta ei ole enää, koska hän on kuollut.
Tyypin ja tokenin ero tehdään olioiden tai ilmiöiden yleisten tyyppiesiintymien (tyyppi) ja yksittäisten, 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, mm. mielenfilosofiassa ja taiteenfilosofiassa.[1] Mielenfilosofiassa erottelua on käytetty identiteettiteorian ja muiden fysikalististen tietoisuusteorioiden selventämisessä. Klassinen identiteettiteoria (tyyppi-identiteettiteoria) samaistaa mielen tilojen tyypit neuraalisten tilojen tyyppeihin, eli jokainen mentaalinen ominaisuus on samalla jokin fysikaalinen ominaisuus,[2] kun taas token-identiteettiteoria (esim. Donald Davidsonin anomaalinen monismi) katsoo, että jokainen mentaalinen ominaisuus toteutuu jossain fysikaalisessa olennossa.[2]
Tyyppi/token -termiparin esitteli Charles S. Peirce vuonna 1906 (Prolegomena to an Apology for Pragmaticism).
[muokkaa] Katso myös
- Tyyppiteoria, tyyppi logiikassa
[muokkaa] Lähteet
- ↑ 1,0 1,1 Korte, Tapio: Filosofian keskeistä terminologiaa Turun yliopisto. Viitattu 6. syyskuuta 2007.
- ↑ 2,0 2,1 Lappi, Otto: Kognitiotieteen sanastoa Helsingin yliopisto. Viitattu 6. syyskuuta 2007.
[muokkaa] Aiheesta muualla
- Stanford Encyclopedia of Philosophy: Types and Tokens (englanniksi)
- Commens Dictionary of Peirce's Terms: Type / token (englanniksi)
