当前位置：学术参考网 > 范畴类型逻辑理论论文
类型逻辑语法(TypeLogicalGrammar)又叫范畴类型逻辑。作为彻底贯彻意义组合原则的理论，类型逻辑语法不仅可以抽象地研究自然语言句法范畴的运行规律，还能够通过引入简单类型λ-演算的工具来展现句法和语义的并行接口(interface)。
笔者以为，其至少具有如下四个方面的重要理论学术价值：⑴、研究中国古代文论范畴体系，是揭示传统文学理论批评及其范畴发展的内在逻辑和客观规律之根本途径；⑵、研究中国古代文论范畴体系，有益于总结、提炼传统文论理论思维机制方式及其经验；⑶...
哲学、逻辑学及认知语义学视角的概念、范畴理论互通对英语教学的指导意义.[导读]概念、范畴是思维的形式，知识的模型，双方均不太可能与现实等值，需要经历实践的检验。.概念及范畴是哲学、逻辑学，也是心理学、认知语言学等研究所涉及的重要内容...
众所周知，范畴论是建立在集合论里的。从集合论的角度看，范畴论一方面可以提供一种普遍的方法来研究一类数学对象的总体，比如群、环、域这些代数对象的范畴和拓扑空间等几何对象的范畴，并通过函子和自然变换的概念来谈论这些数学对象之间的关系。
学术论文八大基本模块怎么写学术论文是某一学术课题在实验性、理论性或观测性上具有新的科学研究成果或创新见解和知识的科学记录，或是某种已知原理应用于实际中取得新进展的科学总结，用以提供学术会议上宣读、交…
谁能给一个靠谱的逻辑学分类？.经典逻辑，形式逻辑，数理逻辑，现代逻辑，各种名词乱飞，就是维基也语焉不详。.都太不严谨了。.谁能给一个明确的分类和定义？.重要专有名词要有英文。.谢…
逻辑实证主义曾试图通过逻辑分析和逻辑法则把科学理论总体重建成一个演绎系统，它的边缘的理论句与经验总体相接。这样，理论系统内部的理论句（或者说理论命题）通过演绎均可到达与观察句相对应的理论句，从而由已有经验总体中获得某种经验意义、经验辩护。
论彭漪涟教授对辩证逻辑理论的新探索,彭漪涟,辩证逻辑,逻辑规律,逻辑范畴。改革开放以来,学术界迎来了较为宽松的环境,作为逻辑学重要分支的辩证逻辑一度成为研究的热点,取得了可喜的成就。彭漪涟教授...
自然语言逻辑的公告栏.1.逻辑语法和逻辑语义论本质上是在一个理论体系内的两个侧面：而作为现代逻辑语法的代表——范畴语法更是和逻辑语义论的代表——蒙塔古理论紧密的结合在一起形成一个相对完整的新学科——自然语言逻辑，这两个形式体系的...
之前我在分解和组合的抽象方法一文中谈了分解decomposition和组合composition具体特点，范畴理论大师BartoszMilewski最近正好写了这篇Category:TheEssenceofComposition，从范畴角度挖掘了分解组合和树..
湖南科技学院思政部,湖南永州425199中国社会科学院哲学所,北京100732范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分...
范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论.该理论把自然语言的生成毗连看作是范畴的运算和推...
2013年9月湖北大学学报(哲学社会科学版)JournalofHubeiuniversity(PhilosophyandSocialScience)Sep.,2013第40卷第5期Vo1.40No.5混合范畴...
对格语法进行范畴语法的抽象,获得一种新型的范畴类型逻辑系统:中心成分和非中心成分的区分要求积范畴分为左积和右积;多分法的分析模式使得积范畴和函子范畴的论...
蒙太格语法转换规则范畴语法范畴类型逻辑结构被动句
论教育学的基本范畴及其逻辑联系_教育理论论文.doc10页内容提供方:wyj199216大小:37KB字数:约9.17千字发布时间:2017-08-23浏览人气:8下载次数:仅...
范畴类型逻辑基本思想中的"完整的"和"非完整的"表达式的概念,以及乔姆斯基(Chomsky)所提出的"完整的功能复合体"(completefunctionalcomplex,简称CFC)的概念,...
[关键词]:是;的;类型逻辑语法;范畴语法;声言算子;谓词化算子;范畴转换算子;语义可及性原则[文献类型]:博士论文[文献出处]:北京语言大学请使用手机知网客户端下载博士论文...
还有一种常用的逻辑形式不能不提,这就是类比。考虑到世界上万事万物都是相互联系的,都会遵守共同的客观规律;从人类认识发展的角度看,又都“接受”同样的“先验...
从19世纪末以来发展起来的数理逻辑、模态逻辑、动态逻辑(包括命题动态逻辑、量化动态逻辑)、认知逻辑、广义量词理论、类型逻辑语法、范畴类型逻辑等逻辑分支,...