本文给出了建立在含幺半群基础上的范畴语法的代数结构,定义了范畴方程和它的解并对范畴方程的解作了分类:相容性的相关性。定理“对于范畴方程的任意一个解X ,都存在唯一的本质解Y使得Y?X”使得我们可以通过一定的演绎规则对词w的本质范畴作扩张以得到w的所有句法范畴。最后,作者从范畴理论的角度给出了句法范畴演绎系统的数学描述。
Abstract
In this article ,we showed the algebraic structure of syntactic categories based on monoid and defined categorial equation whose solutions are described by consistency and correlation . The result“If X is a solution of a categorial equation ,then there exists an unique essential solution Y such that Y?X”makes it possible that the essential catgories of a word could generate all possible syntactic categories by some deductive rules. Finally ,the author described the deductive system of syntactic categories from the viewpoint of Category Theory in mathematics.
关键词
句法范畴 /
范畴方程 /
本质解 /
类型提升
{{custom_keyword}} /
Key words
syntactic category /
categorial equation /
essential solution /
Type Lifting
{{custom_keyword}} /
{{custom_sec.title}}
{{custom_sec.title}}
{{custom_sec.content}}
参考文献
[1] Ajdukiewicz K. Die syntaktische Konnexit?t . Sturdia Philosophica ,1935 ,1 :1 - 27
[2] Bar-Hillel. On Syntactical Categories. Journal of Symbolic Logic ,1950 ,15 :1 - 16
[3] J van Benthem. The Logic of Semantics. In :Landman F. Veltman F. Varieties of Formal Semantics. Foris :Dordrecht ,1984 ,55 - 80
[4] J van Bethem. The Lambck Culculus. In :R. T. Oehrle et al. Categorial Grammars and Natural Language Strucre :1988 ,35 - 68
[5] J van Bethem. Language in Action-Categories ,Lambdns and Dynamic Logic. Amsterdam:North Holland , 1991
[6] Burriss S ,Sankappanavar H P. A Course in Universal Algebra. New York : Springer-Verlag New York Inc ,1981
[7] Carpenter B. Lectures on Type-LOGICAL sEMANTICS. MIT :MIT Press ,1995
[8] Dowty D. Type Raising ,Functional Composition ,and Non-Constituent Conjuction. In :Oehrle R T. Categorial Grammars and Natrural Language Structure :1988 ,153 - 197
[9] Geach P T. A Program for Syntax. In :Davidson & Harman. Semantics of Natural Language. Reidel :Dordrecht ,1972 ,483 - 497
[10] Lambek J . The Mathematics of Sentence Structure. Amer. Math. Monthly ,1958 ,65 :154 - 170
[11] Lambek J . On the Calculus of Syntactic Types. In :Amer. Math. Society. Structure of Language and its Mathematical Aspects :1961 ,166 - 178
[12] Lambek J . Lectures on Rings and Modules. New York :Waltham ,1966
[13] Lambek J . Deductive System and Categories I. Math. System Theory 1968 ,2 :2789 - 318
[14] Lambek J . Deductive System and Cutegories II. Springs L. N. M. 1969 ,86 :76 - 122
[15] Lambek J . Categorial and Categorical Grammar. In :Oehrle R T et al . Categorial Grammars and Natural Language Structure :1988 ,297 - 317
[16] Lappin (ed.) S. The Handbook of Contemporary Semantic Theory. Oxford ;Blackwell ,1988
[17] Lesniewski St . Grundziige eines neuen Systems der Grundlagen der Mathematik. Fundamenta Mathematicae ,1929 ,14 :1 - 81
[18] Lewis D K. General Semantics. In :Davidson & Harman. Semantics of Natural Language. Reidel :Dordrecht ,1972 ,169 - 218
[19] MacLane S. Categories for the Working Mathematician. New York :Spring Verlag ,1971
[20] Montague R. English as a Formal Language. In Thomasom R. Fornal Philosophy. Yale :New Haven , 192 ,188 - 221
[21] Montague R. Universal Grammar. In : Thomasom R. Formal Philosophy. Yale :New Haven ,1982 ,222 - 246
[22] Montague R. The Proper Treatment of Quantification in Ordinary English In : Thomasom R. Formal Philosophy. Yale :New Haven ,1982 ,247 - 270
[23] Partee B H ,Rooth M. Generalized Conjuction and Type Ambituity In :Meaning ,use and Interpretation of Language.Berlin :Walter de Gruyter ,1983 ,361 - 383
[24] Patree B H ,Meulen A ter ,Wall R E. Mathematical Methods in Linguistics. USA : Kluwer Academic Publishers ,1990
[25] Pollard C J . Categorial and Phrase Structure Grammar :an Excursive on the Syntax-Semantics Frontier. In :Oehrle R T et al . Categorial Grammars and Natural Language Structure :1998 ,391 - 415
[26] Steman M J . Dependency and Coordination in the Grammar of Dutch and English ,Language 1985 ,6 : 523 - 568
[27] Yu J S. Extended Lambek Calculus. In :Huang et al . JSCL99.Beijing. Tshinghua Univ. ,1999 ,342 - 437
[28] 于江生. 语义学的数学基础[博士学位论文] . 北京:北京大学,1999
{{custom_fnGroup.title_cn}}
脚注
{{custom_fn.content}}
PDF(367 KB)
