本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。

本论文集是靠前汉语学界关于语体语法研究的很新探索，也是部由中国学者和靠前学者共同探讨汉语语体语法的学术著作。全书包括当代编、古代编和教学编部分，基于“语体不同，语法各异”的基本理念，对当代汉语和古代汉语中语体语法表达系统和结构特征做出广泛而深入的描写和解释。所选文章，既包括语体语法系统的理论建构，也有语体语法应用实践的策略分析；既探讨制约特定语法结构的语体机制，也挖掘促发特定语法特征的语体动因；既对跨文体的语体特征进行考察，也对特定语篇的语体类型作出概括。由此可见，语体语法的体系架构和应用探索方兴未艾，并从汉语研究向其他语言拓展，不断开辟新的研究空间。

汉语单复句格局之所以成为问题，主要是因为先入为主的印欧化理论无法容纳汉语流水句的事实。就“结构观”而言，汉语流水句不像印欧语一样具有主谓结构、谓语中心；就“范畴观”而言，汉语流水句不像印欧语一样可以分出小句和句子、单句和复句、并列复句和主从复句。因此解决问题的关键在于实现研究转向由“单复句”转向“流水句”。本书着重评述：一、单复句学说的源流，介绍单复句学说发展过程中值得重视的十三种论说，并从中评辨“局部改良”与“全面改革”两条路；二、单复句学说的困境，指出单复句研究的种种问题可以归结为一个划分困境，这一困境本质上指向的是汉语的句子观问题；三、从跨语言的角度看单复句问题，指出句子层面的种种划分问题具有跨语言的差异性以及理论的特设性，但也存在某些重要的基础性共识；四、流水句的研

本书标注的是四川省甘孜藏族自治州甘孜县城的藏语，属于藏语康方言。甘孜话在古代藏语的基础上已有较大程度的发展。从音系的角度看，复辅音声母简化，辅音韵尾简化，发展出较为稳定的声调。从词汇的角度看，有继承，有借用，也有创新。从词类的角度看，量词在古代藏语的基础上已有发展。从形态的角度看，逐渐发展出一套较为完善的范畴标记。从语序的角度看，甘孜话是动词居尾型语言，常见的无标记语序为SOV。

本论文集是靠前汉语学界关于语体语法研究的很新探索，也是部由中国学者和靠前学者共同探讨汉语语体语法的学术著作。全书包括当代编、古代编和教学编部分，基于“语体不同，语法各异”的基本理念，对当代汉语和古代汉语中语体语法表达系统和结构特征做出广泛而深入的描写和解释。所选文章，既包括语体语法系统的理论建构，也有语体语法应用实践的策略分析；既探讨制约特定语法结构的语体机制，也挖掘促发特定语法特征的语体动因；既对跨文体的语体特征进行考察，也对特定语篇的语体类型作出概括。由此可见，语体语法的体系架构和应用探索方兴未艾，并从汉语研究向其他语言拓展，不断开辟新的研究空间。

本书标注的是四川省甘孜藏族自治州甘孜县城的藏语，属于藏语康方言。甘孜话在古代藏语的基础上已有较大程度的发展。从音系的角度看，复辅音声母简化，辅音韵尾简化，发展出较为稳定的声调。从词汇的角度看，有继承，有借用，也有创新。从词类的角度看，量词在古代藏语的基础上已有发展。从形态的角度看，逐渐发展出一套较为完善的范畴标记。从语序的角度看，甘孜话是动词居尾型语言，常见的无标记语序为SOV。

汉语单复句格局之所以成为问题，主要是因为先入为主的印欧化理论无法容纳汉语流水句的事实。就“结构观”而言，汉语流水句不像印欧语一样具有主谓结构、谓语中心；就“范畴观”而言，汉语流水句不像印欧语一样可以分出小句和句子、单句和复句、并列复句和主从复句。因此解决问题的关键在于实现研究转向由“单复句”转向“流水句”。本书着重评述：一、单复句学说的源流，介绍单复句学说发展过程中值得重视的十三种论说，并从中评辨“局部改良”与“全面改革”两条路；二、单复句学说的困境，指出单复句研究的种种问题可以归结为一个划分困境，这一困境本质上指向的是汉语的句子观问题；三、从跨语言的角度看单复句问题，指出句子层面的种种划分问题具有跨语言的差异性以及理论的特设性，但也存在某些重要的基础性共识；四、流水句的研

本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。