蒙塔古，R．

【生卒】：1930～1971

【介绍】：

美国逻辑学家。蒙塔古短短一生中在集合论、递归论和高阶逻辑等方面都作出了贡献，尤其以蒙塔古语法闻名于世。蒙塔古语法是一种通用语法，就像拓扑是通用的几何那样；它是在范畴语法的研究基础上发展起来的。蒙塔古语法的基本思想是：语法由语形和语义两部分组成；语形部分由词典和组合规则组成，属于语形范畴的基础词语形成词典，词典中的词语经组合规则的作用组合成句子；组合规则类似于乔姆斯基转换生成语法中的短语结构规则，但它的规则顺序正好跟生成语法的相反，它的树形图是由下而上地进行的；语义部分由一些语义规则组成，由这些语义规则来确定句子及其成分的语义值。蒙塔古语法的具体规则都是用数理逻辑和内涵逻辑的形式表达的，要理解它可以不一定要有充分的语言学知识，但一定要有集合论初步知识和符号逻辑的知识，至少要包括一阶逻辑及其语义解释。蒙塔古关于通用语法的论文收在他的论文选集《形式哲学》(1974)中。这部选集是由R．H．汤姆森编的，其中还收了蒙塔古有关语用、量词以及内涵逻辑等方面的论文10篇。他的主要论文还有《可望发展可计算性的一般理论》(1960)、《对集论基础的两个贡献》(1962)、《集论和高阶逻辑》(1965)、《递归论的一般化》(1967)以及《作为模型论的分支的递归论》(1968)等。