哲学动态
哲學動態
철학동태
Philosophical Trends
2010年
10期
103~106
,共null页
逻辑语法 范畴语法 逻辑语义学 语义组合 语义解释 传统 贝克
邏輯語法 範疇語法 邏輯語義學 語義組閤 語義解釋 傳統 貝剋
라집어법 범주어법 라집어의학 어의조합 어의해석 전통 패극
类型逻辑语法（type logical grammar）是在经典范畴语法（basic categorial grammar）基础上发展起来的一个现代版本，它区别于传统范畴语法的最突出特征，就是通过使用加标演绎的表述方式，实现了句法推演和语义组合的并行推理，弥补了传统范畴语法在语义解释方面的缺陷。或者说，它是范畴语法、尤其是兰贝克演算（Lambek calculus）与类型逻辑语义学的综合，
類型邏輯語法（type logical grammar）是在經典範疇語法（basic categorial grammar）基礎上髮展起來的一箇現代版本，它區彆于傳統範疇語法的最突齣特徵，就是通過使用加標縯繹的錶述方式，實現瞭句法推縯和語義組閤的併行推理，瀰補瞭傳統範疇語法在語義解釋方麵的缺陷。或者說，它是範疇語法、尤其是蘭貝剋縯算（Lambek calculus）與類型邏輯語義學的綜閤，
류형라집어법（type logical grammar）시재경전범주어법（basic categorial grammar）기출상발전기래적일개현대판본，타구별우전통범주어법적최돌출특정，취시통과사용가표연역적표술방식，실현료구법추연화어의조합적병행추리，미보료전통범주어법재어의해석방면적결함。혹자설，타시범주어법、우기시란패극연산（Lambek calculus）여류형라집어의학적종합，
