AT-DEP1-0020 · 完整条目稿 0.57.0
概念—逻辑文字(concept script)
选定实例有根据的示例
定义
一种有意设计的文字系统,其符号直接表征概念或逻辑关系。
深入理解
概念—逻辑文字以特定符号和规则表示概念关系,使结构与推导更明确。它并非没有理论前提的思想通用语:基本单位、句法和推导规则都体现选择。形式化可以控制歧义,也可能损失语境、模糊性或比喻。这里既说明这种计划的一般目标,也保留具体历史系统各自的名称与规则,不把汉字直接归入其中。
思考如何推进
- 明确待表示的关系。
- 规定符号和构式规则。
- 把陈述转换为可操作结构。
- 回译并检查遗漏与理论承诺。
- 区分形式精确与表达范围。
例子
用经过定义的符号,而不是一段长句,来表示对象、属性与量化之间的关系;随后,一条推导规则使原本隐藏的推论可以检验。
反例与界限
车站里的一个象形指示记号标出出口,却没有提供系统的概念清单或逻辑推导规则。孤立的像似符号,不足以构成概念—逻辑文字。
与相近概念的区别
本条不等于表意观念、象形、所有数学记号或自然语言文字;具体系统须单独说明。
研究与应用
可比较形式系统的表达能力、可推导内容和回译损失。
作用与限制
使关系和推导可检验,也可能让理论选择伪装成中立形式。
共鸣
符号把思路排得更清楚,也显出哪些差别没有位置。
为什么收录这个概念
它揭示图形规则如何参与组织推理。
从中文阅读出发
“概念文字”容易让中文读者想到汉字;此处首先是概念—逻辑表示计划,而非按字形判断的文字类型。
历史背景与来源范围
Frege1879 年《Begriffsschrift》可作为可识别的具体版本。这里确认的是图书馆书目线索,未重新通读原版,也不宣布它是所有概念记号计划的绝对起源。 本条未确定中文专业名称的最早用例。
实践、术语命名与中文译名的历史须分别核对。本稿不由一个相似例子推出中文术语的首例。
图谱中已有的联系
AT-CORE-242-031 · AT-CORE-238-032 · AT-119-039 · AT-CORE-243-028
来源与查阅范围
下列记录保留原资料的书目名称。所列页码不表示本轮重新阅读全文或独立核验其中全部引文。
- Metzler Lexikon Sprache, 6. Aufl. · Begriffsschrift
- unabhängiger Fachquellenpass offen
- The Routledge Encyclopedia of the Chinese Language · John Jing-hua Yin · Chinese Characters (2016)
PDF 90 / p. 51; PDF 91 / p. 52; PDF 92 / p. 53; PDF 93 / p. 54; PDF 94 / p. 55
- The Routledge Encyclopedia of the Chinese Language · Cheung Kam-Siu · Lexicography (2016)
PDF 570 / p. 531
- Gottlob Frege · Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens (1879)
引用本条
Reich, Michael(编):概念—逻辑文字(concept script),AT-DEP1-0020。语言图谱,Release 17.1.0,中文完整条目稿 0.57.0。引用时请注明访问日期及译稿审校状态。