类型和个例的区别

✍ dations ◷ 2025-09-07 07:09:36 #元逻辑学,概念区分,知识表示,抽象,形而上学概念,逻辑哲学,语言哲学,语言学

类型与个例的区别(英语:type-token difference)是指,物体的一个“类”(class)和类中个体的诸多“个例”(instances)之间的差别。一个类型可以对应很多个例,所以整体上个例比类型要多。例如“花是花是花”这句话(如果算一句话的话),有两个类型“花”和“是”,却有五个个例“花”“是”“花”“是”“花”。 这一区分十分重要,涉及逻辑,语言学,元逻辑学(英语:metalogic),字体排印学和程序设计。

“他们开同样的车”这句话是模糊的:他们开的是同“类型”的车(同一品牌),还是同“个例”的车(仅仅一辆车)?清晰性要求我们区分这两者,表示抽象类型和表示实例的个例。而正是类型与个例的区别,使我们能够区分。

例如,“自行车”是一个类型:自行车的概念;“我的自行车”就是这个类型的一个个例。“自行车越来越流行了”这句话中,自行车是类型;“自行车在车库里”,自行车就又变成了个例,变成了特殊的对象。

程序设计中,类和对象是相关的,虽然就语境来说,“类”有时也能指一组对象(带有类级别的属性),而不是单单对这组对象中的一个对象的描述。

像“类型”、“概念”、“性质”、“特征”、“属性”这类词,在描述事物时,通常和不同的动词组成句子。例如,假设一朵花时“美的”、“带刺的”、“香的”。您可能会说,花例示了这三个性质,或者具象化了这三个概念,或者拥有这三个特性、特征或属性。

性质类型(例如,带刺的)通常被本体论理解为概念。性质的实例(例如,刺=3cm)有是被理解为经测量的值,或者是对现实的感觉和观察。

有些“类型”只存在于对于对象的描述中,而不是有形物体中。一个人可以展示一辆特定的车,却不能展示“车”的类型(即“车很流行”中的车)。


相关

  • 加泰罗尼亚语加泰罗尼亚语(Català;国际音标:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium",
  • 超回路列车超回路列车(英语:Hyperloop),又称超级高铁,是一种高速运输系统概念的总称,目前正在研发阶段,由企业家伊隆·马斯克 及其所属SpaceX公司于2012年所重新提出, 但伊隆·马斯克并未参与
  • 含巯基或硫基类血管紧张肽I转化酶抑制剂(英语:ACE inhibitor,简称为ACEI)是一类抗高血压药。血管紧张素转化酶(ACE)是肾素-血管紧张素-醛固酮(RAA)系统中的一个重要环节,该系统对血压的调节有着及其
  • 澳大利亚总督澳大利亚主题澳大利亚联邦总督(Governor-General of the Commonwealth of Australia)是澳大利亚君主在当地的代表。按照现行澳大利亚宪法,澳大利亚是英联邦王国,君主为英国君主
  • 赤豆Phaseolus angularis (Willd.) W. F. Wight红豆(学名:Vigna angularis)是豆科蝶形花亚科豇豆属植物,为常见的食材之,亦称小豆、赤豆。红豆属高蛋白质、低脂肪的高营养榖类食品,而
  • 交通运输地理学交通运输地理学(Transport geography, transportation geography),也称交通地理学,是人文地理学的一个分支,其旨在研究人类活动、货物交通以及地球表面信息之间的关系。经济地理
  • 空谷期空谷期(Kungurian),又译作空谷尔期、孔古阶或昆古尔阶,是地质年代二叠纪早期的乌拉尔世(或作乌拉尔统)早期的一个期。空谷尔期在283.5到272.95百万年之间,罗德期(Roadian)之前、亚丁
  • 谷粉面粉是一种由小麦类磨成的粉末,是最常见的食品原料之一。欧洲旧石器时代晚期的地层,大约距今三万年前,已有将小麦磨粉制成发酵的粮食饼之考古证据。小麦和大麦在新月沃土被驯化
  • 麝喙兽麝喙兽属(学名:Moschorhinus)是已灭绝合弓纲的一属,属于兽孔目的兽头亚目,是种四足肉食性动物,生存于二叠纪晚期到三叠纪早期的南非。模式种是M. kitchingi,是由南非古动物学家罗伯
  • 丁香鱼日本银带鲱(学名:),俗名丁香鱼、魩仔,为辐鳍鱼纲鲱形目鲱科的其中一种。本鱼分布于印度西太平洋海域,包括东非、红海、马尔代夫、塞舌尔群岛、斯里兰卡、印度、马来西亚、印尼、泰