邏輯和語(yǔ)言的研究分為句法、語(yǔ)義和語(yǔ)用幾個(gè)領(lǐng)域。在語(yǔ)義領(lǐng)域,其主要理論有蒙太格語(yǔ)法、廣義量詞理論、話語(yǔ)表述理論、情境語(yǔ)義學(xué)和類型邏輯語(yǔ)法。這些理論自上世紀(jì)下半葉誕生起就呈現(xiàn)出邏輯和語(yǔ)言研究的交叉互動(dòng):盡管在形式語(yǔ)義學(xué)框架內(nèi)邏輯始終強(qiáng)勢(shì)影響著自然語(yǔ)言的研究,但自然語(yǔ)言的豐富性通過形式語(yǔ)義學(xué)的研究也一直作用于邏輯工具的創(chuàng)新。 

【文章來源】：西南大學(xué)學(xué)報(bào)(社會(huì)科學(xué)版). 2009年02期 北大核心CSSCI

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

【部分圖文】：

圖所示DRS涵

是“同一公理”的三次運(yùn)用,對(duì)應(yīng)ves”和“Mary”的類型邏輯語(yǔ)義端表明三個(gè)詞條的類型邏輯語(yǔ)的類型邏輯語(yǔ)義,即句子對(duì)應(yīng)的。句子構(gòu)成部分的類型邏輯語(yǔ)類型邏輯語(yǔ)義。型邏輯語(yǔ)法句法演算的表述方tzen后承表述和自然演繹表述。輯討論,Gentzen后承表述有利自然演繹表述強(qiáng)調(diào)同自然語(yǔ)言眼睛之間的關(guān)系。前一種工具常有限,而后者可能不太精確,則上應(yīng)用范圍非常廣泛。隨著入,自然語(yǔ)言的豐富性對(duì)比出是二者的互動(dòng)關(guān)系產(chǎn)生另一方的豐富性促進(jìn)邏輯的變化,催上世紀(jì)70年代至今,自然語(yǔ)言輯,對(duì)邏輯的發(fā)展給予積極的自然語(yǔ)言中所謂命題態(tài)


本文編號(hào)：2919019