作為語(yǔ)義學(xué)的分支,形式語(yǔ)義學(xué)在語(yǔ)義學(xué)研究發(fā)展的過(guò)程中占有重要地位。目前的研究對(duì)形式語(yǔ)義學(xué)相關(guān)理論認(rèn)識(shí)不全面,對(duì)各個(gè)理論分支之間如何有機(jī)組合也缺乏明確的認(rèn)識(shí)。本文從形式語(yǔ)義學(xué)的起源和發(fā)展入手,針對(duì)地介紹了形式語(yǔ)義學(xué)相關(guān)理論,如類(lèi)型論、模態(tài)論和蘭姆達(dá)算子等理論在組合原則下如何體現(xiàn)語(yǔ)義的重組,旨在使語(yǔ)言研究者更加理解語(yǔ)義組合的層級(jí)性。

【文章頁(yè)數(shù)】：2 頁(yè)

【文章目錄】：
引言
一、形式語(yǔ)義學(xué)的起源與發(fā)展簡(jiǎn)述
二、形式語(yǔ)義學(xué)相關(guān)理論
    （一）謂詞邏輯
    （二）集合理論
    （三）模態(tài)論
    （四）類(lèi)型論
    （五）蘭姆達(dá)算子
三、組合原則
    （一）組合原則的定義
    （二）組合原則的必要性
    （三）組合原則的意義
四、結(jié)語(yǔ)



本文編號(hào)：3869559