Rozdíl mezi typem a tokenem - Type–token distinction

I když je toto stádo vyrobeno ze stejného typ ptáka, každý jednotlivý pták je jiný žeton. (50 MB videa a hejno ptáků v Římě)

The rozlišení typu – tokenu je rozdíl mezi pojmenováním a třída (typ) objektů a pojmenování jednotlivce instance (žetony) této třídy. Protože každý typ může být ilustrován několika tokeny, existuje obecně více tokenů než typů objektu. Například věta „Růže je růže je růže“ obsahuje tři typy slov, „a“, „růže“ a „je“; a osm slovních tokenů těchto typů, „a“, „růže“, „je“, „a“, „růže“, „je“, „a“, „růže“. Rozlišení je důležité v oborech, jako je logika, lingvistika, metalogický, typografie, a programování.

Přehled

Věta "řídí stejné auto„je nejednoznačný. Řídí stejně typ automobilu (stejný model) nebo stejné instance typu automobilu (jediné vozidlo)? Clarity vyžaduje, abychom rozlišovali slova, která představují abstraktní typy od slov, která představují objekty, které ztělesňují nebo ilustrují typy. Rozdíl typu token odděluje typy (abstraktní popisné pojmy) od tokenů (objekty, které vytvářejí instance pojmů).

Například: „kolo“ představuje typ: koncept kola; vzhledem k tomu, že „moje kolo“ představuje token tohoto typu: objekt, který tento typ vytváří. Ve větě „kolo se stává stále populárnějším“ slovo „kolo“ představuje typ, který je konceptem; zatímco ve větě „kolo je v garáži“ slovo „kolo“ představuje symbol: určitý předmět.

(Rozdíl v programování mezi třídy a předměty souvisí, i když v tomto kontextu „třída“ někdy odkazuje na sadu objektů (s atributem nebo operacemi na úrovni třídy) spíše než na popis objektu v sadě, jak by to bylo „typu“.)

Slova typ, pojem, vlastnost, kvalita, vlastnost a atribut (všechna používaná při popisu věcí) bývají používána u různých sloves. Např. Předpokládejme, že růžový keř je definován jako rostlina, která je „trnitá“, „kvetoucí“ a „huňatá“. Dalo by se říct růžový keř instancuje tyto tři typy, nebo ztělesňuje tyto tři pojmy, nebo exponáty tyto tři vlastnosti, nebo má tyto tři vlastnosti, vlastnosti nebo atributy.

Typům nemovitostí (např. „Výška v metrech“ nebo „trnitá“) se často rozumí ontologicky jako pojmy. Instance vlastností (např. Výška = 1,74) jsou někdy chápány jako naměřené hodnoty a někdy chápány jako pocity nebo pozorování reality.

Některé typy existují jako popisy objektů, ale ne jako hmatatelné fyzické předměty. Jeden může ukázat někomu konkrétní kolo, ale nemůže někomu ukázat výslovně typ „kolo“, jako v „kolo je populární. “. Takové použití typologicky podobných, ale odlišných sémantických vlastností se objevuje v mentálních a dokumentovaných modelech a často se na ně odkazuje v každodenní konverzaci.

Typografie

v typografie, rozlišení typu – tokenu se používá k určení přítomnosti textu vytištěného uživatelem pohyblivý typ:[1]

Kritériem, která musí typografický tisk splňovat, je typová identita různých dopisní formuláře které tvoří tištěný text. Jinými slovy: každá forma dopisu, která se v textu objeví, musí být zobrazena jako konkrétní instance („token“) jednoho a stejného typu, která obsahuje obrácený obraz tištěného dopis.

Charles Sanders Peirce

V souboru je pouze 26 písmen anglická abeceda a přesto je v tom více než 26 písmen věta. Navíc pokaždé, když dítě napíše abecedu, bylo vytvořeno 26 nových písmen.

Slovo „písmena“ bylo v předchozím odstavci použito třikrát, pokaždé v jiném významu. Slovo „písmena“ je jedno z mnoha slov s „dvojznačností typu – tokenu“. Tato část disambiguates 'dopisy' oddělením tři smysly pomocí terminologie standard v dnešní logice. Klíčové rozdíly poprvé provedl americký logik-filozof Charles Sanders Peirce v roce 1906 s použitím terminologie, kterou ustanovil.[2]

Písmena vytvářená psaním jsou fyzické objekty, které lze zničit různými způsoby: jedná se o písmeno TOKENS nebo písmeno INSCRIPTIONS. 26 písmen abecedy je písmeno TYPY nebo písmeno FORMY.

Rozdíl mezi Peirceovým typem a tokenem, platí také pro slova, věty, odstavce atd.: na cokoli ve vesmíru diskurzu teorie řetězců znaků nebo teorie zřetězení. Existuje pouze jeden typ slova hláskovaný el-ee-tee-tee-ee-ar,[3] jmenovitě „dopis“; ale pokaždé, když je tento typ slova napsán, byl vytvořen nový token slov.

Někteří logici považují slovní typ za třídu svých tokenů. Jiní logici namítají, že typ slova má stálost a stálost, která nebyla nalezena ve třídě jeho tokenů. Typ zůstává stejný, zatímco třída jeho tokenů neustále získává nové členy a ztrácí staré členy.

Typ slova „letter“ používá pouze čtyři typy písmen: el, ee, tee a ar. Přesto používá dvakrát ee a dvakrát tee. Ve standardní terminologii má slovní typ „letter“ šest písmen OCCURRENCES a písmeno typu ee OCCURS dvakrát v slovním typu „letter“. Kdykoli je zapsán typ slova, počet vytvořených tokenů písmen se rovná počtu výskytů písmen v typu slova.

Peirceova původní slova jsou následující. "Běžným způsobem odhadu množství hmoty v ... tištěné knize je spočítat počet slov. Na stránce bude obvykle asi dvacet 'těchto' a samozřejmě počítají se jako dvacet slov. V jiném smyslu slova „word“ však v anglickém jazyce existuje pouze jedno slovo „the“ a je nemožné, aby toto slovo viditelně leželo na stránce nebo bylo slyšet v jakémkoli hlas .... Taková ... forma, navrhuji pojmenovat Typ. Jeden ... Objekt ... jako je to či ono slovo na jednom řádku jedné stránky jedné kopie knihy, Dovolím si zavolat Token .... Aby mohl být Typ použit, musí být ztělesněn v Tokenu, který má být znamením typu, a tím i předmětu, který typ označuje. “ - Peirce 1906, Ogden-Richards, 1923, 280-1.

Tyto rozdíly jsou jemné, ale pevné a snadno zvládnutelné. Tato část končí použitím nové terminologie k disambiguaci prvního odstavce.

V anglické abecedě je 26 typů písmen, a přesto se v tomto typu věty vyskytuje více než 26 písmen. Navíc pokaždé, když dítě napíše abecedu, bylo vytvořeno 26 nových žetonů písmen.

Viz také

Reference

  1. ^ Brekle, Herbert E.: Die Prüfeninger Weiheinschrift von 1119. Eine paläographisch-typographische Untersuchung, Scriptorium Verlag für Kultur und Wissenschaft, Řezno 2005, ISBN  3-937527-06-0, str. 23
  2. ^ Charles Sanders Peirce, Prolegomena k omluvě za pragmatismus, Monist, sv. 16 (1906), str. 492–546.
  3. ^ Použití varianty Alfred Tarski strukturálně-popisné pojmenování nalezené v John Corcoran, Schémata: Koncept schématu v historii logiky, Bulletin of Symbolic Logic, sv. 12 (2006), s. 219–40.

Zdroje

  • Baggin J. a Fosl, P. (2003) Sada nástrojů mudrců. Blackwell: 171-73. ISBN  978-0-631-22874-5.
  • Peper F., Lee J., Adachi S., Isokawa T. (2004) Tokenové výpočty na nanometrických stupnicích, Proceedings of the ToBaCo 2004 Workshop on Token Based Computing, Vol.1 pp. 1-18.

externí odkazy