通用表意文字

✍ dations ◷ 2025-06-20 00:10:16 #戈特弗里德·莱布尼茨,逻辑语言,思想史

通用表意文字(拉丁语术语为;英语当中常解释为 或 ;中文之中又常常称为普遍表意文字、普遍语言、、普适语言以及普适科学语言等),是德国哲学家戈特弗里德·莱布尼茨所设想的一种通用的形式化语言;该语言能够表达数学、科学以及形而上学(纯粹哲学)方面的概念。莱布尼茨希望创建的是一种可以在通用逻辑运算或者说推理演算(英语:Calculus ratiocinator)框架之下加以使用的语言。

On Leibniz's lifelong interest in the and the like, see the following texts in Loemker (1969): 165–66, 192–95, 221–28, 248–50, and 654–66. On the , see Rutherford (1995) and the still-classic discussion in Couturat (1901: chpts. 3,4). Also relevant to the is Mates's (1986: 183–88) discussion of what he called the .

相关

  • 阿尔卑斯山羊羱羊或阿尔卑斯羱羊(学名:Capra ibex),居于欧洲的阿尔卑斯山上的一种山羊属的野生山羊。在中文里,山羊属现存九个物种中,除了本种之外,有另外六种也俗称为“羱羊”(详见:山羊属)。阿尔
  • 周宣王周宣王(?-前782年),姬姓,名静,一作靖。西周第十一代天子,周厉王之子,在位46年。周宣王继位后,政治上任用召穆公、尹吉甫、仲山甫、程伯休父、虢文公、申伯、韩侯、显父、仍叔、张仲一
  • 天课天课一词是属于伊斯兰教的宗教术语,阿拉伯语“扎卡特”(Zakat)的意译,含“洁净”、“纯净”之意,也就是说通过交付“天课”使自己的财产更加洁净,这是穆斯林的重要功课之一。在产
  • 硫化亚金硫化亚金是化学式为Au2S的无机化合物,是二种金的硫化物中的一种,另一种为硫化金(英语:gold(III) sulfide)Au2S3。在自然界,金的硫化物和银的共价半径相近,两者会形成固溶液。硫化亚
  • 巴斯特尔 (瓜德罗普)1法国统计部门在计算土地面积时,不计算面积大于1平方公里的湖泊、池塘、冰川和河口。巴斯特尔(法语:Basse-Terre)为法国海外省瓜德罗普的首府,位于巴斯特尔岛西部,为瓜德罗普第二
  • 初安民初安民(1957年4月26日-),台湾文学编辑人、诗人。籍贯山东牟平,出生于韩国。国立成功大学中文系毕业。曾任中学教员、杂志编辑,《联合文学》社长兼总编辑。现任《印刻文学生活志》
  • 地涌金莲地涌金莲(学名:),俗称千瓣莲花、地金莲、不倒金钢,观赏蕉的一种,为芭蕉科地涌金莲属属唯一一种;多年生草本植物,原产于中国云南省中部至西部。生长匍匐茎有些为假茎,叶面大,如芭蕉叶,花
  • 允秘允秘(满语:ᠶᡡᠨ ᠪᡳ,穆麟德:;1716年7月5日-1773年12月3日),原名胤秘,清朝和硕�恪亲王,康熙帝第二十四子。康熙五十五年(1716年)五月十六日出生,生母为汉姓民人穆嫔陈氏。雍正十一年(1733
  • 芬·托克万芬·托克万(挪威语:Finn Tokvam,1972年1月25日-)是一位挪威记者、音乐家和作家,他于该国松恩-菲尤拉讷郡弗隆(挪威语:Flåm)出生,而现时则在卑尔根生活并于挪威广播公司任职记者和滑稽
  • 塞浦路斯空军塞浦路斯空军(希腊语: Διοίκησης Αεροπορίας Κύπρου),是塞浦路斯国民警卫队的空中力量。塞浦路斯空军目前没有固定翼战机,目前装备有攻击直升机、反