摘要： 基于现代逻辑思想的形式语义学理论，离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分“完全”、“不完全”表达式的讨论，其影响主要为两方面：逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两个综合应用模式：蒙太格语法和类型逻辑语法可知，形式语义学总体来讲具有两种发展趋势，即偏向自然语言与偏向逻辑两种风格。