發(fā)布時間：2020-12-15 22:38

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

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

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

【部分圖文】：

圖所示DRS涵

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


本文編號：2919019