On Diagram Tokens and Types
On Diagram Tokens and Types
复制标题
关于图标记和类型
DOI：
--
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
John Taylor
中科院分区：
文献类型：
--
作者：
J. Howse;F. Molina;Sun;John Taylor
拒绝诱惑，使一个列表的必要条件和充分条件的图解和图解系统，我们提出了一个重要的区别，这产生于系统的图解和图解功能。重要的是，我们将在本文中探讨的区别在于元水平。也就是说，我们认为一个主要的区别，在元理论之间的图解和martial系统，通过显示一个更细粒度的语法比martial系统的必要性。与实体系统不同，图表系统需要两个级别的语法--标记和类型。标记语法是关于在某些物理介质上实例化的特定图，类型语法提供了一个形式化的定义，图的具体表示必须遵守该定义。虽然这两个层次的语法是密切相关的，但类型语法和标记语法的域是彼此不同的。欧拉图被选为一个案例研究，以说明以下几个要点的文件：（一）什么样的图形功能（而不是抽象的功能）需要两个不同层次的语法？(ii)这两个句法层次之间的关系是什么？(iii)使用两层语法的好处是什么？
Rejecting the temptation to make up a list of necessary and sufficient conditions for diagrammatic and sentential systems, we present an important distinction which arises from sentential and diagrammatic features of systems. Importantly, the distinction we will explore in the paper lies at a meta-level. That is, we argue for a major difference in meta-theory between diagrammatic and sentential systems, by showing the necessity of a more fine-grained syntax for a diagrammatic system than for a sentential system. Unlike with sentential systems, a diagrammatic system requires two levels of syntax--token and type. Token-syntax is about particular diagrams instantiated on some physical medium, and type-syntax provides a formal definition with which a concrete representtation of a diagram must comply. While these two levels of syntax are closely related, the domains of type-syntax and token-syntax are distinct from each other. Euler diagrams are chosen as a case study to illustrate the following major points of the paper: (i) What kinds of diagrammatic features (as opposed to sentential features) require two different levels of syntax? (ii) What is the relation between these two levels of syntax? (iii) What is the advantage of having a two-tiered syntax?