语义理论（三） (4-3)

非范畴词的研究主要关注那些在ordo significationis中被忽略的词类，讨论其语义和逻辑功能。例如量化词、介词、副词、连词等等，它们不直接指称某物，而是实现某些语义功能，从而决定命题的语义和真值。这类讨论对于sophismata这类命题有很重要的作用，sophismata指的是像“every man is every man”和“Socrates twice sees every man besides Plato”这样的命题。

唯名论语义的另一关注点是suppositio这一概念。虽然任何一个term由于其imposition都具有signification或者lexical meaning，但只有在一个命题的语境中，它才能指称一个或一些具体的物体或种类，这也就是其supposition。因此，是命题语境决定了terms的指称（reference）。

supposition理论的主要特征在于区分不同种类的supposition，包括

• material supposition（代表本身，自反用法，如I write donkey和donkey is a noun），

• simple supposition（代表一个universal term或概念，如donkey is a species），

• personal supposition（代表普通事物，如some donkey is running）。

最后这种personal supposition还根据其所在命题的真值是否需要一个量化表达（every，some，this等）进行内部细分。值得注意的是，这些讨论关注的都主要是terms的外延而非内涵。

Roger Bacon：指称的基础和变化

Roger Bacon的语义理论最显著的两个特征在于：（1）符号学进路，将signification和规约性以及自然性指称过程都联系起来；（2）他首次创见性地将“imposition of names”视作词义的基础。

根据第二点特征，词义最初的获得是通过一种类似于给小孩施洗的imposition行为实现的。这种观点可以视作后来的指称因果论（the causal theory of reference）的先声。也因此，Bacon认为词最初直接指称的是事物，而非概念，他抛弃了语义三角，标志了一个从14世纪开始逐渐接受的从传统内涵逻辑到外延指称语义学的转向。

这种理论存在的问题是，如果词最初指称的事物消失或发生变化，那么词义的基础是不是就不存在了？Bacon意识到了这个问题，解决办法是区分了两种mode of imposition。一种是formal mode of imposition，也就是通过语力表达如“I call this ...”来实现的，另一种是secondary imposition，对应的其实就是我们日常对于名称的使用。

Speculative Grammar

Bacon认为语法是一种形式科学（formal science），而非一种预备教育性的知识，这种观点同样为所谓“modist”（模式）派语法学家认同，并在Thomas of Erfurt（ca. 1300）提出的Grammatica Speculativa达到顶峰。这类观点认为，任何一种形式科学的目的在于解释事实，给出理据，而不只是单纯的描述。他们致力于从普遍的modes of being，利用对应的modes of understanding，推断出modes of signifying。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。