類型

內(nèi)容概要

　　類型-邏輯語法，以其表述的簡潔性、理論的邏輯化和詞匯化傾向以及更好地符合意義組合原則等鮮明特色，受到了形式語義學(xué)、語言學(xué)、語言哲學(xué)和自然語言理解和處理等領(lǐng)域的廣泛關(guān)注，并繼續(xù)保持迅猛的發(fā)展勢頭。　　《類型—邏輯語法研究》作者試圖在充分借鑒國內(nèi)外研究成果的基礎(chǔ)之上，不但完整準(zhǔn)確地介紹、分析和評價類型-邏輯語法這一重要的自然語言邏輯理論，而且從理論和實(shí)踐兩方面探討該理論對漢語形式化研究的適用性，為我國的漢語形式化處理、這一十分落后和薄弱的領(lǐng)域、做一些有益的探索和努力。

作者簡介

　　張秋成，2003年獲得中國人民大學(xué)哲學(xué)博士學(xué)位，現(xiàn)任中國人民大學(xué)外國語學(xué)院講師。主要研究方向?yàn)檎Z言邏輯、語言哲學(xué)和理論語言學(xué)，發(fā)表《內(nèi)涵語境下替換失效問題及其解決》（被CSSC1收錄）、《類型-邏輯語法的句法特色》（被中國人民大學(xué)書報資料中心全文轉(zhuǎn)載）等8篇論文，編著《大學(xué)英語·寫》（編者之一）、《工商管理英語教程（上冊）》（副主編及編者之一）等。

書籍目錄

第一章  導(dǎo)論1.1  語言邏輯的學(xué)科性質(zhì)和研究對象1.2  語言邏輯和自然語言理解和處理1.3  自然語言邏輯研究的方法論原則——意義組合原則1.4  類型-邏輯語法在國內(nèi)外的研究狀況1.5  本書的創(chuàng)新之處1.6  本書的寫作特點(diǎn)和基本框架第二章  類型-邏輯語法的句法學(xué)2.1  范疇語法簡介2.2  蘭貝克演算第三章  類型-邏輯語義學(xué)3.1  蒙塔古語法的內(nèi)涵類型邏輯3.2  簡單類型的λ-演算3.3  高階邏輯第四章  類型-邏輯語法的形成4.1  蘭貝克句法演算和類型-邏輯語義學(xué)的結(jié)合4.2  配以λ-詞項(xiàng)的蘭貝克句法演算4.3  類型-邏輯語法的詞庫4.4  類型-邏輯語法對自然語言句法和語義的描寫4.5  自然演繹的蘭貝克演算4.6  自然演繹的蘭貝克演算的規(guī)范化歸模式4.7  意義公設(shè)4.8  積運(yùn)算第五章  類型-邏輯語法與邏輯形式系統(tǒng)的深刻聯(lián)系5.1  作為一種子結(jié)構(gòu)邏輯的類型-邏輯語法5.2  類型-邏輯語法與直覺主義命題邏輯第六章  類型-邏輯語法在應(yīng)用中的豐富和發(fā)展（上）6.1  對并列結(jié)構(gòu)的處理6.2  對無界限約束結(jié)構(gòu)的處理6.3  對量化結(jié)構(gòu)和量化轄域問題的處理第七章  類型-邏輯語法在應(yīng)用中的豐富和發(fā)展（下）7.1  不承認(rèn)結(jié)合公理的蘭貝克演算7.2  克里普克信息模型7.3  范疇語法的多重模態(tài)系統(tǒng)7.4  空隙構(gòu)造算子十演繹模式的改進(jìn)及其對非連續(xù)結(jié)構(gòu)的處理7.5  結(jié)構(gòu)控制第八章  類型-邏輯語法對漢語的處理8.1  我國的自然語言邏輯研究狀況8.2  類型-邏輯語法對漢語形式化研究的適用性8.3  類型-邏輯語法對漢語的形式化處理結(jié)語參考文獻(xiàn)后記

圖書封面

圖書標(biāo)簽Tags

無

評論、評分、閱讀與下載

---

    類型 PDF格式下載

---