汉语的句法语义特征和语言逻辑研究

汉语句子具有灵活的语序，主语、宾语和状语可出现在不同的位置上而使得句义大致保持不变。从范畴类型逻辑角度看，需要提供说明汉语灵活语序的工具。因此，给出关于范畴位置移动的结构公设，构成特定的范畴类型逻辑系统，即多样模态逻辑，并给该系统的可能世界语义学的可通达关系确立相应的限制条件。其次，为说明汉语语义异常句的合理性，提出一种多体的范畴类型逻辑，构建有关的结构公设，通过相关正常语义句的推导来证明异常句的成立。此外，为强调句子生成过程中各种词类的搭配限制，从而生成合符直观和认知的句子，设想用类型一逻辑语义加特征结构的并行推演来解决这个问题，为汉语句法和语义生成的计算机实现提供理论依据。