同類熱銷排行榜

範疇類型邏輯及其在漢語反身代詞回指照應中的應用

作者：賈青
出版社：中國社科
ISBN：9787516159521

出版日期：2015/03/01
裝幀：平裝
頁數：185

人民幣：RMB 45 元售價：元

內容大鋼

作者介紹

賈青
賈青，河北滄州人，哲學博士。2008年畢業於燕山大學，獲哲學碩士學位；2012年畢業於中國人民大學，獲哲學博士學位；同年進入中國社會科學院哲學研究所從事博士后研究。現為中國社會科學院哲學研究所助理研究員。研究方向為範疇類型邏輯。

第1章  背景知識
  1.1  範疇類型邏輯的生成能力與喬姆斯基層級
    1.1.1  不同的範疇類型邏輯系統
    1.1.2  喬姆斯基層級
    1.1.3  不同範疇類型邏輯系統的生成能力
  1.2  漢語反身代詞回指照應的主要特點及其成因
    1.2.1  喬姆斯基的約束原則
    1.2.2  漢語反身代詞回指照應對於約束原則的違反
    1.2.3  約束反身代詞回指的那些序列關係
  1.3  主要內容和章節分佈
    1.3.1  主要內容
    1.3.2  章節分佈
第2章  傳統範疇類型邏輯及LLC系統
  2.1  結合的蘭貝克演算L
    2.1.1  L的公理表示
    2.1.2  L的樹模式表示與自然推演表示
    2.1.3  L的Gentzen表示
    2.1.4  L的四種表示的等價性
  2.2  帶受限縮並規則的蘭貝克演算
    2.2.1  結構的層級以及其對回指照應問題的影響
    2.2.2  LLC的公理表示
    2.2.3  LLc的樹模式表示和自然推演表示
    2.2.4  LLC的Gentzen表示
    2.2.5  LLC四種表示之間的等價性
    2.2.6  LLC在語言學中的應用以及其他方案
第3章  前後搜索的(Bi)LLc系統
  3.1  語言學背景
  3.2  (Bi)LLC的公理表示
  3.3  (Bi)LLC的樹模式表示和自然推演表示
  3.4  (Bi)LLc的Gentzen表示
  3.5  (Bi)LLC四種表示的等價性
  3.6  語言學中的應用
第4章  多模態範疇類型邏輯與MMLLc系統
  4.1  多模態的範疇類型邏輯
    4.1.1  多模態範疇類型邏輯公理表示中的特點
    4.1.2  多模態範疇類型邏輯Gentzen表示中的特點
  4.2  多模態範疇類型邏輯系統MMLLC的公理表示
    4.2.1  語言學背景
    4.2.2  MMLLC的公理表示
  4.3  多模態範疇類型邏輯系統MMLLC的Gentzen表示
  4.4  MMLLC在語言學中一些問題上的應用
第5章  對稱範疇語法
  5.1  對稱範疇語法的公理表示
    5.1.1  對稱範疇語法公理表示中的語法特點
    5.1.2  對稱範疇語法公理表示中的語義特點
  5.2  對稱範疇語法的Gentzen表示
    5.2.1  對稱範疇語法Gentzen表示中的語法特點
    5.2.2  對稱範疇語法Gentzen表示中的語義特點
第6章  對稱範疇系統LGadis
  6.1  語言學背景

  6.2  對稱範疇系統LGdis的公理表示
  6.3  語言學中的應用
第7章  對比與展望
  7.1  不同方案的對比
  7.2  未來的工作
第8章  其他邏輯分支對語言學問題的處理
  8.1  一階邏輯及模態邏輯對語言學問題的處理
    8.1.1  一階邏輯對連動結構的刻畫
    8.1.2  模態邏輯對因果型連動結構的刻畫
  8.2  STIT邏輯對語言學問題的處理
    8.2.1  STIT邏輯對以言行事行為的刻畫
    8.2.2  STIT邏輯對合作原則的改寫
結語
參考文獻
後記

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032

同類熱銷排行榜

最近瀏覽的商品

範疇類型邏輯及其在漢語反身代詞回指照應中的應用