Rikunarita-ORG/Wikinium huggingface dataset:
# 阿洪姆語[编辑]

| 阿豪姆語 |
| --- |
| 母语国家和地区 | 印度 |
| 区域 | 阿萨姆邦 |
| 族群 | 阿豪姆人 |
| 滅亡 | 仍然使用在宗教吟誦及文獻記述方面 |
| 系属分类 | 壯侗語系
* 壯傣語支
	+ 西南部台語支 (傣)
		- 西北分支
			* **阿豪姆語**
 |
| 文字 | 阿洪姆文 |
| 語言代碼 |
| ISO 639-3 | `aho` |

**阿豪姆語**是印度東北部一種將近滅絕的侗台語系語言，是阿薩姆邦阿豪姆人的官方語言。

## 語言特徵

阿豪姆語被劃分為台語西南支，有文字。

* 主動賓（SVO）語序
* 是單音節語言
* 是聲調語言。但由於阿洪姆文不標記聲調，且口語形式已經消亡，實際調值難以得知。
* 每個音節以輔音開頭（包括喉塞音），有單元音或者雙元音。以開音節或者輔音結尾。
* 缺乏屈折變換
* 是分析語

口語和书面阿豪姆語的語義多依賴上下文和語境，因此句中成分多可省略。

## 歷史語言

阿豪姆語是侗泰語系的一支，阿豪姆語與阿豪姆人起於雲南德宏。他們從中國廣西和越南北部之間的邊界遷移到緬甸北部，最後越過帕凱山進入布拉馬普特拉河建国。從1228年到1826年間是阿豪姆宮廷唯一語言。十五世纪開始接受阿薩姆語，十九世纪时已完全放棄。今天的阿豪姆語言主要用於禮儀目的，在日常生活中不再使用(現在只有100-200個祭司仍然使用)。它保留用於宗教聖歌和文献的文化意義。阿鲁纳恰尔邦（中国称藏南）艾通傣语(Tai Aiton)和帕克傣语(Tai Phake)與阿豪姆語最近。

* 阿豪姆文

## 註釋

## 參考文獻

* French, M. A. (1994). Tai Languages. In The Encyclopedia of Language and Linguistics (Vol. 4, pp. 4520-4521). New York, NY: Pergamon Press Press.
* Hongladarom, K. (2005). Thai and Tai Languages. In Encyclopedia of linguistics (Vol. 2, pp. 1098-1101). New York, NY: Fitzroy Dearborn.
# 阿內姆語[编辑]

| 阿內姆語 |
| --- |
| 母语国家和地区 | 巴布亞新幾內亞 |
| 区域 | 新不列顛 |
| 母语使用人数 | 550 |
| 系属分类 | 耶勒─西新不列顛語族 ?
* **阿內姆語**
 |
| 語言代碼 |
| ISO 639-3 | `anz` |
| ELP | Anem |

**阿內姆語**（Anêm language）是一種通行於巴布亞新幾內亞新不列顛島西北部海岸邊數個主要村莊的語言，這些村莊分別為馬來松我村（Malasoŋo，在此村它和巴里埃語並行使用）、卡來埃村（Karaiai）、摩西力其村（Mosiliki）、普戴玲村（Pudêlîŋ）、阿梯阿土村（atiatu，在此村它和魯西語並行使用）和波羅村（Bolo，在此村它和亞莉亞語(Aria)並列使用）等。它亦通行於鄰近村莊中多半具有阿內姆人血統的少數人之間。阿內姆語有兩個分言。Akiblîk這個通行於波羅村一帶的方言在1982年時已在功能上近乎絕滅，其最年輕的使用者年紀約為三十五歲。而阿內姆語的主要方言則通行於其他的幾個村莊之間。它有大約550名使用者。

阿內姆語被認為是一種未與其他語言有已知親屬關係的語言，但此語言可能和阿它語(Ata language)和耶里多涅語有親緣關係，這三個語言組成一個假定的耶勒─西新不列顛語族(Yele – West New Britain family)。

阿內姆語因魯西語(Lusi language)這個當地的跨社區語言(inter-community language)的影響而產生句法轉借的現象。

## 語法

阿內姆語的語序如下：

* 基本語序：SVO(主詞─動詞─受詞)
* 介詞為前置詞
* 形容詞、指示詞、數詞等修飾語皆置於其所修飾的名詞之後。
* 否定和完成體(completive aspect，相對於英語的already)等的詞置於句尾

阿內姆語透過語調(intonation contour)的變化來構造疑問句。

阿內姆語有已然語氣(realis)、非已然語氣(irrealis)和勸勵語氣(hortative)三種語氣，其中已然語氣用於已發生或正在發生的事；非已然語氣用於未來或假想的事；而勸勵語氣(僅見於第三人稱中)用於命令。

## 例句

|  |  |  |  |  |
| --- | --- | --- | --- | --- |
| 阿內姆語句子 | Tita-nae | u-b-î | aba | niak.
 |
| 解釋 | 父親-我的 | 已然語氣.他(三人稱陽性單數)-殺-他們 | 豬 | 二
 |
| 翻譯
 | 我的爸爸殺了兩頭豬
 |

|  |  |  |  |
| --- | --- | --- | --- |
| 阿內姆語句子 | Aia-nae | i-sama-dî | uas.
 |
| 解釋 | 母親-我的 | 已然語氣.她(三人稱陰性單數)-求-它 | 煙草
 |
| Translation
 | 我的母親要一些煙草
 |

* 否定標記置於句尾，如下所示：

|  |  |  |  |
| --- | --- | --- | --- |
| 阿內姆語句子 | U-k | a-xî | nan?
 |
| 解釋 | 已然語氣.他(三人稱陽性單數)-去 | 向-它 | 花園
 |
| 翻譯
 | 他去了花園嗎？
 |

|  |  |  |  |  |
| --- | --- | --- | --- | --- |
| 阿內姆語句子 | U-k | a-xî | nan | mantu.
 |
| 解釋 | 已然語氣.他(三人稱陽性單數)-去 | 向-它 | 花園 | 不
 |
| 翻譯
 | 他沒去花園
 |

|  |  |  |  |  |
| --- | --- | --- | --- | --- |
| 阿內姆語句子 | U-k | a-xî | nan | pmaga.
 |
| 解釋 | 已然語氣.他(三人稱陽性單數)-去 | 向-它 | 花園 | 還沒
 |
| 翻譯
 | 他還沒去花園
 |

|  |  |  |  |  |
| --- | --- | --- | --- | --- |
| 阿內姆語句子 | Na-k | a-xî | nan | êbêl.
 |
| 解釋 | 已然語氣.你-去 | 向-它 | 花園 | 別
 |
| 翻譯
 | 別去花園那裡
 |

下為勸勵語氣的範例：

|  |  |  |  |
| --- | --- | --- | --- |
| 阿內姆語句子 | o-k | a-xî | nan!
 |
| 解釋 | 勸勵語氣.他(三人稱陽性單數)-去 | 向-它 | 花園
 |
| 翻譯
 | 讓他去花園吧！
 |

阿內姆語的名詞可分成陰性和陽性兩個性別。陽性名詞使用以/l/開頭的指示詞或關係代名詞；而陰性名詞則使用以/s/開頭的指示詞或關係代名詞；此外，主詞前綴或受詞後綴皆與其相對應的名詞的性保持一致。如下所示：

陽性與陰性指示詞的範例：

|  |  |  |  |
| --- | --- | --- | --- |
| 阿內姆語句子 | Doxa | lê | u-ko-lo.
 |
| 解釋 | 人 | 那.陽性 | 已然語氣.他(三人稱陽性單數)-看見-他(三人稱陽性單數)
 |
| 翻譯
 | 那男人看見他
 |

|  |  |  |  |
| --- | --- | --- | --- |
| 阿內姆語句子 | Doxa | sê | i-ko-lo.
 |
| 解釋 | 人 | 那.陰性 | 已然語氣.她(三人稱陰性單數)-看見-他(三人稱陽性單數)
 |
| 翻譯
 | 那女人看見他
 |

主詞與受詞人稱一致對名詞的性一致的範例：

|  |  |  |  |
| --- | --- | --- | --- |
| 阿內姆語句子 | Onu | lê | i-kê-lêm.
 |
| 解釋 | 人們 | 那.陽性 | 已然語氣.他們(三人稱眾數)-看見-她(三人稱陰性單數)
 |
| 翻譯
 | 那些人看見她
 |

## 相關資訊

* 東巴布亞語系
* Ethnologue report on Anêm （页面存档备份，存于互联网档案馆）

## 參照
# 坦博拉语

| 坦博拉语 |
| --- |
| 母语国家和地区 | 印度尼西亚 |
| 区域 | 松巴哇岛 |
| 族群 | 坦博拉文化 |
| 滅亡 | 约1815年后 |
| 系属分类 | 未分类，基于现存基本词汇的非南島語系语言 |
| 語言代碼 |
| ISO 639-3 | `xxt` |
| Glottolog | `tamb1257` |
| 坦博拉语 |
| 坐标：﻿ / ﻿ |
|

**坦博拉语**是一个证据不充分的非南岛语系语言，属于临时分类巴布亚诸语言。这一语言主要使用于中松巴哇岛的坦博拉文化（今属印度尼西亚）。坦博拉语已随着坦博拉文化在1815年随着坦博拉火山的爆发而绝迹。它是已知位于最西部的巴布亚诸语言下属语言。虽然在哈马黑拉岛、特尔纳特和蒂多雷都发现了同时代巴布亚贸易国，但坦博拉语仍属于在巴布亚诸语言中相对独特的海上贸易国语言。
# 金比尤语

| 金比尤语 |
| --- |
| Mangerr |
| 母语国家和地区 | 澳大利亚 |
| 区域 | 北领地 |
| 滅亡 | （未知，1981年可能尚有几人） |
| 系属分类 | 孤立语言或阿纳姆地语系？
* **金比尤语**
 |
| 方言 | Mangerr
Erri
Urningangga

 |
| 語言代碼 |
| ISO 639-3 | 分別為： `zme` – Mangerr `urc` – Urningangg `err` – Erre |
| Glottolog | `giim1238` |
| AIATSIS | `N220` |
| ELP | Urningangga |
| 金比尤语（紫色）与其他非帕马-恩永甘语言（灰色） |

**金比尤语**（Giimbiyu）是一种已灭绝的澳大利亚原住民孤立语言，曾由澳大利亚北部的金比尤族使用。
名称“金比尤”是Gaagudju语词，意为“石国的...”。Harvey （1992）辨别出的方言有：

* Mangerr （Mengerrdji）
* Urningangga （Wuningak）和Erri （Arri）

1997年，尼古拉斯·伊凡斯假设了包含金比尤语的阿纳姆地语系。但在Bowern （2011）里没有包括。

## 词汇

Capell （1942）给出下列基础词：

| 词义 | Mangeri | Uningangk
 |
| --- | --- | --- |
| 男
 | wurilg | wurig
 |
| 女
 | ŋeːn | ŋeːn
 |
| 头
 | wiliŋerm | ulŋerb
 |
| 眼
 | iːm | iːm
 |
| 鼻
 | jingolm | ingolb
 |
| 口
 | jagir | indjaːd
 |
| 舌
 | nindjadj | indjaːd
 |
| 胃
 | abeɽweɽe | abeɽwe
 |
| 骨
 | ijerm | mulgud
 |
| 血
 | maneŋulm | waija
 |
| 袋鼠
 | oidjbaɣar | wurulamb
 |
| 负鼠
 | muŋaːd | malijarŋ
 |
| 鸸鹋
 | wiwijüw | iwidjiw
 |
| 鸦
 | gagud | gagud
 |
| 飞
 | muɳimuɳi | maŋanaŋaɳ
 |
| 日
 | muɣaːliŋ | indjuwawi
 |
| 月
 | järagäl | järagäl
 |
| 火
 | wiɽumgarm | widjälim
 |
| 烟
 | wuŋɛŋg | wuŋɛŋg
 |
| 水
 | ogog | ogog
 |

## 参考

* McConvell, Patrick and Nicholas Evans. （eds.） 1997. *Archaeology and Linguistics: Global Perspectives on Ancient Australia.* Melbourne: Oxford University Press
# 瓊塔爾語[编辑]

| 琼塔尔语 |
| --- |
| Tequistlatecan/Chontal of Oaxaca |
| 母语国家和地区 | 墨西哥 |
| 区域 | 瓦哈卡州 |
| 母语使用人数 | 5,600 （2020年） （未计入1700名未识别的“Chontal”） |
| 系属分类 | 霍坎语系 ?
* **琼塔尔语**
 |
| 語言代碼 |
| ISO 639-3 | 兩者之一： `clo` – 低地瓊塔爾語 `chd` – 高地瓊塔爾語 |
| 琼塔尔语 |

**瓊塔爾語**（Chontal languages）是屬於霍坎语系的語言，為墨西哥瓊塔爾人的語言。其中包括3種可以互通的語言，使用人口合計約6000人。

## 语言

* 低地琼塔尔语；
* 特基西斯特兰语†；
* 高地琼塔尔语。

## 系属分类

琼塔尔语属于霍坎语系，也有属于其他语系的说法。Campbell & Oltrogge (1980)认为琼塔尔语可能与希卡克语支构成琼塔尔-希卡克语系，目前还没有得到广泛接受。

## 參考文獻

* Campbell, Lyle and David Oltrogge, 1980, Proto-Tol (Jicaque), International Journal of American Linguistics, 46:205-223
* Campbell, Lyle. (1979). Middle American languages. In L. Campbell & M. Mithun (Eds.), *The languages of native America: Historical and comparative assessment* (pp. 902-1000). Austin: University of Texas Press.
* Campbell, Lyle (1997) *American Indian Languages, The Historical Linguistics of Native America*, Oxford Studies in Anthropological Linguistics, Oxford University Press

* Ethnologues page on Highland Chontal （页面存档备份，存于互联网档案馆） （英文）
* Ethnologues page on Lowland Chontal （页面存档备份，存于互联网档案馆） （英文）
* Information of Chontal culture at INI website （页面存档备份，存于互联网档案馆）（西班牙文）
# 博拉-维托托语系[编辑]

| 博拉-维托托语系 |
| --- |
| Bora–Witóto/Witotoan |
| 地理分佈 | 西北亚马逊地区 |
| 谱系学分类 | 博拉-维托托语系 |
| 分支 |
?Andoke
博拉语族
维托托语族

 |
| – |
|  博拉-维托托语系 |

**博拉-维托托语系**是一个分布于秘鲁东北部、哥伦比亚西南部和巴西西部的语系。

## 语言分类

* 博拉语族
	+ 博拉语(Bora)
	+ 穆伊纳内语(Muinane)

* 维托托语族
	+ 奥凯纳语(Ocaina)
	+ 维托托语支(Witoto)
		- Nipode
		- Minica-Murai
			* Minica
			* Murui

博拉-维托托语系还可能包括以下语言：

* Andoke
# 奇穆语系

| 奇穆语系 |
| --- |
| Yuncan |
| 有争议 |
| 地理分佈 | 秘鲁安第斯山 |
| 谱系学分类 | 世界主要语系之一 |
| 分支 |
奇穆语
卡尼亚尔–普鲁圭语族

 |
| – |
| Glottolog | 无 |

**奇穆语系**是秘鲁北部和厄瓜多尔（安第斯山脉峡谷内陆）的一个已灭绝语系。

## 系属分类

奇穆语系包含以下语言：

* 奇穆语
* 卡尼亚尔–普鲁圭语族
	+ 卡尼亚尔语
	+ 普鲁圭语

所有语言现在均已灭绝。

Campbell （2012）将奇穆语和卡尼亚尔–普鲁圭语族视作不相干的语系。

奇穆语曾是南美洲**前哥伦布时期**影响最大的语言之一。由费尔南多·德·拉·卡雷拉和亚历山大·冯·米登多夫分别在17和19世纪记录。到约1950年灭绝。有些人仍能记得部分词汇。Adelaar & Muysken （2004）认为奇穆语是孤立语言。

卡尼亚尔语和普鲁圭语只有几个词被记录。这两种语言一般和奇穆语联系。但它们的记录过于稀少，不太可能确认这一联系。据Adelaar & Muysken （2004），吉洪和卡玛诺关于其关系的证据只包含几个词：奇穆语nech“河”、卡尼亚尔语necha；基于与邻近语言的相似性，他发现巴尔巴科语系反而联系得更紧密。

昆南语可能和奇穆渔民话是同一种语言，有时被未经证实地认为是奇穆语方言，2010年发现的数词列表则推翻了这一假设。

### Mason （1950）

约翰·奥尔登·梅森 （1950）的奇穆语系的内部分类：

奇穆-普鲁圭语系
* 奇穆语族
	+ 北部语支（卡尼亚尔–普鲁圭语族）
		- 普鲁圭语
		- 卡尼亚尔语
		- Manabila （Mantenya）
	+ 南部语支（奇穆语）
		- Yunga
		- Morropé
		- 埃滕（？）
		- 奇穆
		- Mochica （Chincha）
		- Chanco
* 塔兰语
	+ Wancavilca （Huancavilca）
		- Mania
		- Tumbez
		- Puna
		- Carake: Apichiki, Cancebi

Mason （1950）还包括塔兰语，目前认为它不属于奇穆语系。

## 词汇

切斯特米尔·劳科特卡 （1968） 给出下列奇穆语系语言基础词。

| 词义 | 奇穆 | 埃滕 | 卡尼亚尔语 | 普鲁圭语
 |
| --- | --- | --- | --- | --- |
| 1
 | onkó | unik |  |  |
| 2
 | atput | atput |  | pax
 |
| 头
 | lek | xäts | gíchan |  |
| 手
 | möch | metsan |  |  |
| 水
 | leng | xa | kay | la
 |
| 火
 | hog | óx |  |  |
| 日
 | sheang | sheang | chán |  |
| 玉米
 | aixa | mang |  | manga
 |
| 鸟
 | ñaíñ | ñaíñ |  | ñay
 |
| 豹
 | räk | rak | guagal | guagua
 |
| 鱼
 | shl'ak | t'ak |  | shl'ak
 |
| 房
 | ánik | an | án | án
 |

## 另见

* 奇穆语
* 绝迹语言

## 参考

## 阅读更多

* Adelaar, Willem F. H.; & Muysken, Pieter C. （2004）. *The languages of the Andes*. Cambridge language surveys. Cambridge University Press.
* Campbell, Lyle. （1997）. *American Indian languages: The historical linguistics of Native America*. New York: Oxford University Press. ISBN 978-0-19-509427-5.
* Kaufman, Terrence. （1994）. The native languages of South America. In C. Mosley & R. E. Asher （Eds.）, *Atlas of the world's languages* （pp. 46–76）. London: Routledge.

* PROEL: 奇穆语系 （页面存档备份，存于互联网档案馆）
# 希维托–乔隆语系[编辑]

| 希维托–乔隆语系 |
| --- |
| Cholónan |
| 未定 |
| 地理分佈 | 秘鲁 |
| 谱系学分类 | 世界主要语系之一 |
| 分支 |
希维托语
乔隆语
？丘尔语
？查查波亚语

 |
| – |
| Glottolog | `hibi1242` |

已灭绝的**希维托–乔隆语系**语系下有秘鲁2种语言，希维托语和乔隆语，截至2000年 (2000-Missing required parameter 1=*month*!)均已灭绝。可能和已灭绝的丘尔语、查查波亚语有亲缘关系，但这些语言的记载都很少。

## 语言接触

Jolkesky (2016)注释道克丘亚语、阿劳坎语系、奇穆语、坎多什语、芒彻语和巴尔巴科语系因为语言接触所以词汇上有相似性。

## 词汇

希维托语和乔隆语的部分基础词似乎有关，虽然相关记录非常缺乏。以下是用3种不同正字法拼写的乔隆语和希维托语比较证据：

| gloss | 树 | 水 | 女儿 | 儿子
 |
| --- | --- | --- | --- | --- |
| 乔隆
 | mech / meš
 | cot / quõt / köta
 | ñu / -ñu
 | pul / -pul
 |
| 希维托
 | mixs / mitš
 | cachi / otšj
 | ñoo
 | pool
 |

希维托和乔隆比较词表来自Loukotka (1949)：

注释
* (Sp.) =西班牙语借词(除外)

Loukotka (1949) —希维托所用文献
* Martínez Compañón的手抄本，自16世纪from the 1700s
* Tessmann (1930)

Loukotka (1949) —乔隆所用文献
* Mata (1748)
* Tessmann (1930)

| 词义 | 希维托语 | 乔隆语 | 比较
 |
| --- | --- | --- | --- |
| 动物 | (Sp.) | (Sp.) |  |
| 树 | mixs | mees-ñgup |  |
| 喝 | vvik | nig |  |
| 天 | puxam | senta |  |
| 心 | thuo-suik | aluñač |  |
| 神 | diosču | (Sp.) |  |
| 痛 | kalak | ysiam |  |
| 水 | kači | kot | Tessmann: oč, köta
 |
| 星 | kuičas | ke-nak |  |
| 女 | etlek | yla | Tessmann: udú, hilá
 |
| 火 | ukče | vet | Tessmann: olmó, utmo
 |
| 女儿 | noo | añu |  |
| 儿子 | pool | apul |  |
| 花 | čukčum | ñuñap |  |
| 河 | sekllutkači | kot-ysokot |  |
| 兄弟 | moskaá | azot | Katakao: aszat = homme
 |
| 果 | llagna | keniya |  |
| 快乐 | musugvem | augilubaktam |  |
| 草 | kiak | pullo |  |
| 男 | nuum | num | Tessmann: núm, lúno
 |
| 月 | kuiná | peel | Tessmann: winžö, pel
 |
| 吃 | lopkem | amok |  |
| 海 | lapomkači | sokotlol |  |
| 母 | keek | appan |  |
| 死了 | huank | mikol |  |
| 死 | kalgeskam | ñgoli-čo |  |
| 鸟 | kumkoči | zuksill |  |
| 浪 | omium | ypixsimam |  |
| 父 | kotk | appa |  |
| 哭 | atzakkem | yo-yam |  |
| 雨 | laamčus | llisiak |  |
| 鱼 | kazop | asua |  |
| 枝 | mixnul | pučup |  |
| 统治 | kollam | časam |  |
| 姐妹 | moskaá | akiñiu |  |
| 太阳 | ñim | musak | Tessmann: nim, mušápo
 |
| 土地 | kaloč | lluspey |  |
| 树干 | sangoč | sangoč |  |
| 风 | koktom | mam |  |
| 肉 | amaá | čep |  |

## 参考

* Alain Fabre, 2005, *Diccionario etnolingüístico y guía bibliográfica de los pueblos indígenas sudamericanos: CHOLÓN*[1] （页面存档备份，存于互联网档案馆）

Template:南美洲语言
# 克拉底魯篇[编辑]

**《克拉底魯篇》**（古希臘語：Κρατύλος *Kratýlos*、拉丁語：Cratylus）是柏拉圖的一篇對話作品，普遍認爲屬於其中期作品。這一對話的主題是關於命名的起源，文中克拉底魯所代表的一派觀點認爲名有正與誤的區別：正名與其所命名之物相符合，而不正之名則與所命名之物不符；與之相對的另一派觀點由赫爾墨革涅斯代表，認爲所有名稱的由來都是約定俗成，沒有所謂正誤。蘇格拉底受此二人相托，介入進他們的辯論，然而經過一番討論後，蘇格拉底最終得出了他著名的結論：哲學應當是對事物自身而不是對語言的研究，並以此同時否定了兩人的論點。

## 參考文獻

* Plato; Benjamin Jowett (tr.). *Cratylus*. The Internet Classics Archive.  [2020-07-07]. （原始内容存档于2015-03-25）.
# 伦纳德·布龙菲尔德[编辑]

| 伦纳德·布龙菲尔德 Leonard Bloomfield |
| --- |
| 出生 | (1887-04-01)1887年4月1日 美国伊利诺伊州芝加哥 |
| 逝世 | 1949年4月18日(1949-04-18)（62歲） 美国康乃狄克州纽黑文 |
| 国籍 | 美国 |
| 母校 | 哈佛學院 威斯康星大学麦迪逊分校 芝加哥大学 莱比锡大学 哥廷根大学 |
| 配偶 | Alice Sayers |
| **科学生涯** |
| 研究领域 | 语言学，民族語言學 |
| 机构 | 辛辛纳提大學 伊利诺伊大学厄巴纳-香槟分校 俄亥俄州立大学 芝加哥大学 耶鲁大学 |
| 受影响自 | August Leskien Karl Brugmann Hermann Oldenberg Jacob Wackernagel 波你尼 约翰·布罗德斯·华生 |
| 施影响于 | Charles Hockett Zellig Harris |
|  |

**伦纳德·布龙菲尔德**（英語：Leonard Bloomfield，1887年4月1日—1949年4月18日），美国描写语言学派语言学家。

## 生平

20世纪30年代至40年代领导了美国结构语言学的发展。他1933年出版的教科书具有重大影响，完整地描述了美国结构语言学，他为印欧历史语言学、南岛语系、描述阿尔冈昆语族的研究做出来重要贡献。60年代，随着乔姆斯基的生成语法的兴起，布龙菲尔德的影响开始下降。

## 註釋

## 參考資料
# 汉斯-格奥尔格·伽达默尔

| 漢斯-格奧爾格·伽達默爾 |
| --- |
|  |
| 出生 | 1900年2月11日  德意志帝國馬爾堡 |
| 逝世 | 2002年3月13日（102岁）  德国海德堡 |
|  |
| 时代 | 20世紀哲學 |
| 地区 | 西方哲學 |
| 学派 | 歐陸哲學 |
| 主要领域 | 形上學、知識論、本體論、語言哲學、美學、詮釋學 |
| 著名思想 | * "Practical philosophy"
* "All products of a tradition stand within that tradition"
* Language as "unity of the infinite and finite"
* "Historically-effected" consciousness
* Fusion of horizons
 |
| 博士导师 | 保羅·納托普 |
| 其他学术导师 | 理查德·霍尼格斯瓦爾德 |
| 博士学生 | 迪特·亨利希 |
|  |
| 受影响于* 柏拉圖、亞里士多德、奧古斯丁、康德、黑格爾、胡塞爾、海德格、雅斯培
 |
| 影响于* 哈貝馬斯
 |

**汉斯-格奥尔格·伽达默尔**（德语：**Hans-Georg Gadamer**，1900年2月11日—2002年3月13日），德国著名哲学家，詮釋學大師，二十世紀最具影響力的哲學家之一。其1960年出版著作《真理与方法》使其闻名于世。他对诠释学作出了巨大贡献，他的哲学精神和人生实践统一在这样一个问题上：对话和理解如何可能是此在（*Dasein*）的一种存在方式。他的一生都在研究对话和理解，他的教学和著述也都是在与听众的对话中展开的。

## 生平

伽达默尔出生于德国马尔堡，他父亲是大学化学教授，从小就有意培养其自然科学的兴趣，但伽达默尔对人文学科的兴趣却与日俱增。中学时期他就读于布雷斯勞的一所中学，19岁时全家回到他的出生地、新康德主义中心的马尔堡。他在这里师从那托普学习哲学，1922年，以《论柏拉图对话中欲望的本质》一文获得博士学位。

1923年，他前往弗莱堡师从海德格尔这位他心目中的大师。他在弗莱堡只呆了几个月的时间，但对他一生造成了深远影响，以至于他后来一直承认自己是海德格尔的学生。从海德格尔那里，他学习了现象学的方法、存在论的思路，使他摆脱了早期新康德主义的影响。

1929年，伽达默尔获得马尔堡大学的任教资格，30年代早期，他的大部分时间都花在演讲上。虽然在第三帝国时期，他在政治上并不活跃，但和海德格尔不同，他是坚决的反纳粹主义者。直到1937年，他才获得他申请了10年之久的哲学教授头衔，1939年，他在莱比锡获得了一个大学教授的职位，1945年，任哲学系主任，之后还担任了两年大学校长职务。在这些年里，因为校务繁忙，大多数的学术研究中只能把时间用于诗歌和短论的写作中。

1947年，伽达默尔受聘于法兰克福大学哲学系首席教授，1949年，受聘于海德堡大学，接替了卡爾·雅斯貝爾斯的职位。直到1960年60岁时，出版了他最重要的作品《真理与方法》。之后的40年中，他出版了其他主要著作，与各种思潮的主要人物展开对话，进行诸多演讲和讨论，获得诸多荣誉。直到他去世为止，一直是海德堡大学的荣誉教授。
# 伊莉莎白·安斯康姆

| 伊莉莎白·安斯康姆 G. E. M. Anscombe FBA |
| --- |
| 出生 | Gertrude Elizabeth Margaret Anscombe (1919-03-18)1919年3月18日  爱尔兰利默里克 |
| 逝世 | 2001年1月5日(2001-01-05)（81歲）  英格兰剑桥 |
| 别名 | Elizabeth Anscombe |
| 教育程度 | * 牛津大学圣休学院（BA）
* 剑桥大学纽纳姆学院
 |
| 机构 | 牛津大学 |
| 知名作品 | * *Intention* (1957)
* "Modern Moral Philosophy" (1958)
 |
| 配偶 | Peter Geach（1941年结婚） |
| 儿女 | 7 |
|  |
| 时代 | 20世纪哲学 |
| 地区 | 西方哲學 |
| 学派 | * 分析哲学
* 分析阿奎那主义
 |
| 主要领域 | * 伦理学
* 逻辑学
* 行动哲学
* 语言哲学
* 心灵哲学
 |
| 著名思想 | * Acting under a description
* Brute facts
* Coining "consequentialism"
* Direction of fit
* Revival of virtue ethics
 |
|  |

**伊莉莎白·安斯康姆**（英語：Gertrude Elizabeth Margaret Anscombe；1919年3月18日—2001年1月5日），英國著名分析哲學家，師從路德維希·維根斯坦。

## 參考

* Stanford Encyclopedia of Philosophy article, by J. Driver. （页面存档备份，存于互联网档案馆）
* Website for bibilographic resources on Anscombe.
* BBC Radio 4 "Woman's Hour" program on Anscombe （页面存档备份，存于互联网档案馆） featuring remarks of Philippa Foot and Rosalind Hursthouse
* The Anscombe Society （页面存档备份，存于互联网档案馆）, a conservative student group at Princeton University named in her honor.
* Information Philosopher on Anscombe on Free Will （页面存档备份，存于互联网档案馆）
* [1] Her gravestone in Cambridge!
# 索尔·阿伦·克里普克

| 索尔·阿伦·克里普克 |
| --- |
|  |
| 本名 | Saul Aaron Kripke |
| 出生 | (1940-11-13)1940年11月13日  美国纽约州贝肖尔 |
| 逝世 | 2022年9月15日(2022-09-15)（81歲）  美国新澤西州普萊斯伯勒鎮區 |
| 教育程度 | 哈佛大学（数学学士，1962） |
| 机构 | * 普林斯顿大学
* 纽约城市大学研究生中心
 |
| 奖项 | 肖克逻辑与哲学奖（2001） |
|  |
| 时代 | 当代哲学 |
| 地区 | 西方哲学 |
| 学派 | 分析哲学 语言哲学 |
| 主要领域 | 逻辑学 模态逻辑 语言哲学 形而上学 |
| 著名思想 | * 指称因果论
* 克里普克结构
* 真理的语义理论
* 克里普克语义
* 可及关系
* 克里普肯斯坦
* 先验偶然命题和后验必然命题
 |
|  |
| 受影响于* + 弗雷格
	+ 罗素
	+ 刘易斯
	+ 维特根斯坦
	+ 柯里
	+ 塔斯基
	+ 奎因
	+ 图灵
	+ 巴坎
	+ 达米特
 |

**索尔·阿伦·克里普克**（英語：Saul Aaron Kripke，/ˈkrɪpki/，音“克里普基”，1940年11月13日—2022年9月15日），美国逻辑学家和哲学家，模态逻辑语义学创始人之一，指称因果-历史论首倡者之一。

## 生平

**索尔·克里普克**1940年11月出生于美国内布拉斯加州奥马哈的猶太人家庭，父亲迈尔·塞缪尔·克里普克是当地圣会领袖，母亲是儿童读物作家。克里普克是三个子女中的长子，从小便被冠以神童之名。克里普克六岁时开始自学古希伯来语；九岁通读莎士比亚的作品，小学毕业前他就已经相当了解笛卡尔的理论，且展现了极高的数学天赋。克里普克在十六歲時写了模态逻辑语义学方面的论文，被一些重要的逻辑学家认为是一篇有创见的可能是来自普林斯顿的博士论文。1958年高中毕业后，克里普克进入哈佛大学学习，后获数学学士学位。

## 概述

哲学史上向来认为，凡先验的即是必然的，凡后验的均为偶然的。克里普克则指出，先验之于必然一如认识论之于形而上学，不仅有后验必然的知识，同样有先验偶然的知识。这就是作者向传统理论提出严重挑战的先验偶然和后验必然的理论。

克里普克的一个特点是他几乎从不动笔著文，已出版的著作包括《命名与必然性》、《同一性与必然性》、《真理论概要》等。

2001年，克里普克获得肖克奖（逻辑和哲学奖）。

## 工作

克里普克先后任教于哈佛大学、哥伦比亚大学、康奈尔大学和洛克菲勒大学，1977年任普林斯顿大学哲学教授，后升任麦科什讲座哲学教授，现任职于纽约城市大学研究生中心。

克里普克主要贡献有：

* 克里普克语义
* 命名与必然性
* 克里普克斯坦，即克里普克对维特根斯坦的阐释
* 克里普克真值理论

### 模态逻辑

### 命名与必然性

### 维特根斯坦

### 真值

### 「我」的意义

## 著述

* 《命名与必然性》（*Naming and Necessity*，1980）
* 《维特根斯坦关于规则与私有语言》，1982
* 《一种真理论的概要》（1975）
* 《说话者指称和语义学指称》（1977）
* 《关于信念的疑难》（1977）
* 《弗雷格的涵义和指称理论：一些解释性评注》（2008）
* 《哲学难题》（2011）

## 奖项和荣誉称号

* 傅爾布萊特計畫學者 (1962–1963)
* Society of Fellows, Harvard University (1963–1966)
* Doctor of Humane Letters, honorary degree, University of Nebraska, 1977
* Fellow, American Academy of Arts and Sciences (1978–)
* Corresponding Fellow, British Academy (1985–)
* Howard Behrman Award, Princeton University, 1988
* Fellow, Academia Scientiarumet Artium Europaea (1993–)
* Doctor of Humane Letters, honorary degree, Johns Hopkins University, 1997
* Doctor of Humane Letters, honorary degree, University of Haifa, Israel, 1998
* Fellow, Norwegian Academy of Sciences (2000–)
* Schock Prize in Logic and Philosophy, Swedish Academy of Sciences, 2001
* Doctor of Humane Letters, honorary degree, University of Pennsylvania, 2005
* Fellow, American Philosophical Society (2005–)

## 参考

* 模态逻辑
* 可能世界
* 克里普克语义
* 维特根斯坦

* 纽约城市大学克里普克主页 （页面存档备份，存于互联网档案馆）
* 克里普克论规则 （页面存档备份，存于互联网档案馆），陈嘉映
# 迈克尔·达米特[编辑]

**迈克尔·达米特**（英语：Michael Anthony Eardley Dummett，1925年6月27日—2011年12月27日）英国哲学家，英国国家学术院院士，被描述为“上世纪最重要的英国哲学家之一，也是种族容忍和平等的主要活动家。”

直到1992年，他一直是牛津大学威克姆逻辑学教授。 他撰写了关于分析哲学的历史，特别是弗雷格的翻译，并在数学，逻辑，语言和形而上学的哲学中做出了原创性的贡献。

他因其关于真理和意义的工作以及他们对现实主义和反现实主义之间辩论的影响而闻名，这是他帮助普及的一个术语。在数学逻辑中，他开发了一种中间逻辑，已经由库尔特·哥德尔研究过：哥德尔 - 达默特逻辑。

## 经历

迈克尔·达米特是丝绸商人的儿子。 他曾就读于桑德罗伊德（Sandroyd）学院，在温切斯特公学获得奖学金，后来于1943年获得牛津大学基督堂学院历史专业奖学金。

二战爆发后他被召集起来，最初担任皇家炮兵的学员，然后加入印度和马来亚的情报部队。 他还获得了牛津大学万灵学院的奖学金。

1979年，达米特成为牛津大学的威克姆教授（Wykeham Professor）直到1992年退休。在他担任威克姆教授期间，他获得了牛津新学院的奖学金。 他还曾在伯明翰大学，加州大学伯克利分校，斯坦福大学，普林斯顿大学和哈佛大学任教。 他于1995年获得肖克奖，并于1999年获得爵士学位。他是2010年杰出分析哲学全能奖的劳伦奖得主。

## 著作

* 《弗雷格的语言哲学》
* 《弗雷格哲学的解释》
* 《形而上学的逻辑基础》
* 《数学的逻辑基础》
* 《分析哲学的起源》

## 相关文献

 （页面存档备份，存于互联网档案馆）

## 参考资料
# 吉尔伯特·赖尔[编辑]

| 吉尔伯特·赖尔 |
| --- |
| 出生 | 1900年8月19日 英格兰布莱顿 |
| 逝世 | 1976年10月6日（享年76岁） 英格兰惠特比 |
| 母校 | 牛津大学王后学院 |
|  |
| 时代 | 20世纪哲学 |
| 地区 | 西方哲学 |
| 学派 | 分析哲學 逻辑行为主义 |
| 主要领域 | 语言哲学、日常語言哲學、精神哲学、行为主义、意义、認知 |
| 著名思想 | 範疇錯誤、赖尔的倒退、日常語言哲學、機器裡的靈魂, 深描, 过程性知识 vs. 陈述性知识, 话题中立性 |
| 知名学生 | 杰拉德·柯亨 |
|  |
| 受影响于* 勒内·笛卡尔、 阿图尔·叔本华、 路德维希·维特根斯坦、赫伯特·詹姆斯·帕顿, 埃德蒙德·胡塞爾
 |
| 影响于* 約翰·奧斯丁, 阿尔弗雷德·朱勒斯·艾耶尔, 约翰·罗杰斯·希尔勒, R·M·黑尔, 威尔弗里德·塞拉斯, 丹尼爾·丹尼特, 理查德·韦伯斯特, 乌尔林·普拉斯, 克利福德·格爾茨, 杰拉德·柯亨, 彼得·弗雷德里克·斯特劳森, 迈克尔·达米特
 |

**吉尔伯特·赖尔**（英語：Gilbert Ryle，1900年8月19日—1976年10月6日）是一名英国哲学家，是英国日常语言哲学中牛津学派的代表人物。他的著作《心的概念》被认为是日常语言学派的重要著作。

他的思想深受维特根斯坦的影响，在维特根斯坦的《哲学手稿》出版以前他就已经阅读过。《心的概念》一书以批判笛卡尔以来的身心二元论而出名。

## 经历

赖尔1900年出生于英国布莱顿，并且在良好的环境下长大。他的父亲是一名医生，并且是一位对哲学和天文学感兴趣的通才，并将自己藏书丰厚的图书馆传给了他的孩子们。

赖尔在布莱顿公学学习，并于1919年前往牛津大学王后学院学习古典学，但很快就被哲学所吸引。他以三个一等荣誉学位的优异成绩毕业，分别是：古典荣誉学位（ classical honour moderations）（1921年），文学人文学科（1923年），哲学，政治和经济学（1924年），并被任命为牛津大学基督堂学院的哲学讲师一年后，他成为基督堂学院的研究员和导师，直到1940年。

在第二次世界大战期间，他受委托在威尔士卫队。作为一名有能力的语言学家，他被招募进入情报部门工作，并在战争结束时晋升为少校。

战争结束后，他回到牛津，当选为韦恩费尔特教授职位的形而上学哲学教授和牛津大学莫德林学院院士。

1949年，他出版了他的重要著作《心的概念》。他于1945年至1946年担任亚里士多德学会会长，并于1947年至1971年担任哲学期刊Mind的编辑。莱尔于1976年10月6日在北约克郡的惠特比去世。

他的兄弟约翰·阿尔弗雷德（1889-1950）和乔治·博德利（1902-1978）也都在布莱顿公学接受教育，他们也有着杰出的职业生涯。 1935年至1945年，他的兄弟约翰成为剑桥大学物理学的雷吉斯教授，乔治五世国王的医生，在担任威尔士和英格兰的林业主任之后，1963年至1965年担任林业委员会副主任并获得了大英帝国勋章。

## 思想

赖尔批判了自笛卡尔以来的身心二元论思想。他指出，身心二元论中，关于心灵的概念是“范畴错误”。赖尔把分清范畴的语言分析称作“逻辑地理学”，这就是要准确地指出一范畴在语言中的用法。

## 著作

* 《心的概念》(1949)
* 《两难论法》（1962）
* 《柏拉图的进展》(1966)
* 《论思想》(1979)

* 吉尔伯特莱尔 （页面存档备份，存于互联网档案馆）在斯坦福大学哲学百科全书
* Gilbert Ryle，来自PhilosophyPages.com
* 关于莱尔的心灵概念 （页面存档备份，存于互联网档案馆）
* *Ordinary Language* （页面存档备份，存于互联网档案馆）, the Philosophical Review LXII (1953)
* *Symposium: Use, Usage and Meaning* （页面存档备份，存于互联网档案馆）. Proceedings of the Aristotelian Society, Supplementary Volumes 35 (1961): 223–242. (with J. N. Findlay)
* The Electronic Journal of Analytic Philosophy – Issue dedicated to Ryle
* Profile at UXL Newsmakers
* The Gilbert Ryle Collection at Linacre College, Oxford. （页面存档备份，存于互联网档案馆） Linacre College houses Gilbert Ryle's library along with a collection of his papers.
* *Gilbert Ryle, British ‘Philosopher Of Mind,’ Dead in Yorkshire at 76 （页面存档备份，存于互联网档案馆）* 纽约时报 obituary
# 彼得·弗雷德里克·斯特劳森[编辑]

| 彼得·弗雷德里克·斯特劳森 |
| --- |
| 斯特劳森 |
|  |
| 时代 | 20世纪哲学 |
| 地区 | 西方哲学 |
| 学派 | 语言哲学 |
| 主要领域 | 语言哲学，形而上学 |
|  |
| 受影响于* 维特根斯坦，奥斯汀，康德
 |
| 影响于* 塞尔
 |

**彼得·弗雷德里克·斯特劳森**爵士（英語：Sir Peter Frederick Strawson；1919年11月23日—2006年2月13日）英国哲学家，语言哲学牛津学派代表人物。

## 生平

彼得·弗雷德里克·斯特劳森1919年11月23日生于英国伦敦，父母均为教师。后就读于牛津大学圣约翰学院，专业为哲學、政治學及經濟學。1946年起先后担任北威尔斯大学和牛津大学讲师职位，1948年任牛津大学研究员，1968年继任赖尔成为牛津大学形而上学哲学教授，直至1987年退休。1960年，被聘为英国科学院院士，1971年任美国科学院院士，1977年被英国女王封授爵士称号。

## 工作

### 论指称

1950年，斯特劳森发表《论指称》一文，对罗素的摹状词理论提出挑战。

### 描述的形而上学

1959年，斯特劳森出版《个体：论描述的形而上学》，反对奎因的单称词理论，坚持只有单称词所指的对象才能作为基本殊相，重新确立形而上学在分析哲学中的重要地位。

## 著作

* 《个体：论描述的形而上学》，江怡 译，中国人民大学出版社2005年出版

* 语言哲学
* 形而上学
* 牛津学派

* 论斯特劳森的描述的形而上学，江怡
* 斯特劳森对身心问题的消解，应奇
* 斯特劳森： *Analysis and Metaphysics* （页面存档备份，存于互联网档案馆）
* 哲学的用处在于使人有自知之明——访斯特劳森教授，江怡
* 悼念斯特劳森，江怡
# 非認知主義[编辑]

**非認知主義**（英語：Non-cognitivism）是一種後設倫理理論，認為倫理句子不表達事實，因此不能是真或假。非認知主義與認知主義相反，而認為道德知識是不可能存在。

## 參考文獻

* Moral Cognitivism vs. Non-Cognitivism （页面存档备份，存于互联网档案馆） - *Stanford Encyclopedia of Philosophy* entry by Mark van Roojen.
* Fieser, James; Dowden, Bradley (编). Non-Cognitivism in Ethics. 《互联网哲学百科全书》. ISSN 2161-0002. OCLC 37741658. }}
* rsrevision.com's pages on Metaethics （页面存档备份，存于互联网档案馆） Emotivism, Intuitionism and Prescriptivism with explanations, criticisms, and links.
# 证明论

| 证明论 |
| --- |
| 學科、​学术专业 |
| 上级分类 | 数理逻辑  |
| 研究對象 | 證明  |
| ACM分類編碼 | 10003792  |
| Stack Exchange標籤 |   |

**证明论**是数理逻辑的一个分支，它将数学证明表达为形式化的数学客体，从而通过数学技术来简化对其的分析。证明通常用归纳式定义的数据结构来表达，例如链表或树，它们根据逻辑系统的公理和推理规则构造。因此，证明论本质上是语法逻辑，与本质上是语义学的模型论相对应。

证明论与模型论、公理化集合论和递归论并称为数学基础的四大支柱。证明论也为哲学逻辑中的证明论语义学思想提供了技术基础。

## 历史

证明论的现代发展始于20世纪初大卫·希尔伯特的形式主义计划，他试图通过将数学形式化来证明整个数学系统的一致性。然而，库尔特·哥德尔的不完备定理（1931年）表明希尔伯特计划的核心目标无法完全实现。

1934-1935年，格哈德·根岑创立了自然演绎和相继式演算这两种基本的证明论形式系统，并证明了切消定理（Hauptsatz）。1936年，根岑使用序数归纳法（截止到ε₀）首次给出了皮亚诺算术的一致性证明，开创了序分析领域。

战后，保罗·舒特、加伊西·竹内和乔治·克赖泽尔等人进一步发展了证明论。1960年代，达格·普拉维茨证明了归一化定理。1980年代以来，证明论与类型论的结合产生了Curry-Howard对应，深刻影响了计算机科学。

## 核心系统

### 自然演绎

自然演绎由根岑在1935年提出，其核心思想是用**引入规则**和**消去规则**来刻画逻辑连接词的含义。例如，合取（∧）的引入规则是：从A和B可以推出A∧B；其消去规则是：从A∧B可以推出A或B。

自然演绎中的证明可以形式化为树状结构。归一化定理（普拉维茨1965年）指出，任何自然演绎证明都可以通过消除冗余推理步骤（「斩」）转换为规范形式的证明。

### 序分析

序分析由根岑在1934年提出，用于研究经典逻辑（系统LK）和直觉主义逻辑（系统LJ）。其基本对象是**相继式**（sequent），形式为Γ ⊢ Δ，其中Γ和Δ是公式序列。

相继式演算包含：

* **逻辑规则**：每个连接词的左规则和右规则
* **结构规则**：弱化、收缩、交换
* **切割规则**：从Γ ⊢ A, Δ和Γ', A ⊢ Δ'推出Γ, Γ' ⊢ Δ, Δ'

根岑的**切消定理**（Hauptsatz）证明，任何包含切割规则的证明都可以转化为没有切割规则的证明，这为一致性证明提供了有力工具。

## 主要成果

### 切消定理

切消定理是证明论的核心结果。它表明一个证明中的任何切割步骤都可以被消除，从而证明可以转化为直接形式。该定理的直接推论包括子公式性质（证明中只出现结论公式的子公式）和逻辑系统的一致性。

### 序分析

序分析（ordinal analysis）使用序数来衡量形式系统的证明论强度。根岑（1936年）使用序数ε₀证明了皮亚诺算术的一致性。此后，序数归纳法的强度被用于分析更强的系统，如二阶算术的子系统。

### 柯里-霍华德同构

柯里-霍华德同构（Curry-Howard对应，也称「命题作为类型」对应）揭示了证明论与类型论之间的深层联系：证明对应于λ演算中的程序，命题对应于类型，证明的归一化对应于程序的求值。这一对应是依赖类型理论的基础，也是交互式定理证明器（如Coq、Agda）的核心原理。

## 应用领域

* **亚结构逻辑**：通过限制或去除相继式演算中的结构规则，可得线性逻辑、相干逻辑等各种亚结构逻辑。
* **自动化定理证明**：解析原理和表方法等技术源于证明论中的相继式演算。
* **类型论与编程语言**：Curry-Howard对应是函数式编程的类型系统的理论基础。
* **证明助手**：如Coq、Isabelle、Agda等交互式定理证明器使用高阶类型论作为其核心逻辑。
# 歧義[编辑]

愛麗絲夢遊仙境的插圖。在毛蟲頭上的是他的口與鼻？還是他的足？
**歧義**（英語：**ambiguity**，又有譯為「含混」）是指未定義或定義不清楚而沒有明確涵義的單詞、術語（term）、注釋或觀念。

在華人社會，認為此言詞源於唐朝蘇味道：「處事不欲決斷明白，若有錯誤，必貽咎譴，常模稜以持兩端可矣。」(模棱兩可）

如果一個單詞、片語、句子或其他的表達方式擁有一個以上的解釋，就是歧義的。

歧義有別於模糊，模糊是指某個概念難以清楚界定；歧義則可透過定義化解，定義通常取自標準定義、詞典或普遍知識。

* 含糊
* 歧義句構
* 一词多义

## 參考資料
# 类 (哲学)

**类**（class）是共有某种特定属性的对象的汇集。这种共同属性叫作“类的定义特征”（class-defining characteristic）。举例来说，所有人的类就是所有具有“是人”这个特征的事物的集合，属性“是人”就是这个类的定义特征。类的定义特征不一定是“简单”的属性，任何一个属性都可以确定一个类。比如“左撇子、有红头发并且是学生”这个复杂属性就确定了一个类——所有是左撇子、有红头发的学生的类。

所有的类都有一个相应的补类，或简称补（complement），即不属于原来的类的所有东西的汇集。比如，所有人的类的补就是所有不是人的东西组成的类。该类的定义特征是不是人这样一个（否定的）属性。所有人的类的补包括除人之外的所有东西：鞋子、轮船、苹果等等，但不包括国王，因为国王是人。把所有人的类的补称为“非人的类”更简洁一些，词项S所指称的类的补则由词项非S指称，因而可以说词项非S就是词项S的补。

哲学家有时将类与类型（type）区分开来。虽然两者都被视为抽象的对象，但类通常不被视为共相（universal），而类型通常被视为。

类的概念类似于由其成员定义的集合的概念。类是外延的。然而，如果集合是内涵定义的，那么它就是满足某些成为其成员的条件的集合。因此，这样的集合可以被视为创建了一种类型。要注意的是，它还从内涵性集合的外延创建了一个类。类型总是有对应的类（尽管该类可能没有成员），但类不一定有对应的类型。

## 引用

* "From Aristotle to EA: a type theory for EA" quoted 26/10/2014.