圖書標籤: 邏輯學  語言學  邏輯  形式語義學  哲學  分析哲學   

喜歡 邏輯、語言和濛太格語法 的讀者還喜歡

偏介紹性的小書，不要求太多，可以（重點）看下第二章。一些收獲是，有清楚地講瞭下，對英語語句的間接語義解釋的整個過程，以及通過翻譯得到的高階的內涵邏輯語句在模型論下確定真值的操作（特彆是關於他佬引進的up算子和down算子，以及通過意義公設，區分-處理外延/內涵動詞、和將因為係統的協調性而提升範疇後的自然語言中的專名重新恢復成指嚮個體的一個常值函數）。後麵講瞭一些dowty70年代對MG的擴展，諸如時態邏輯的調整，以及結閤生成語義淆嘗試分析形態變化和詞語內部的語義特徵（semantic feature）。再然後就是簡單港瞭幾句GQ-L(GQ)、DRT、FCG、SS之類的東西

偏介紹性的小書，不要求太多，可以（重點）看下第二章。一些收獲是，有清楚地講瞭下，對英語語句的間接語義解釋的整個過程，以及通過翻譯得到的高階的內涵邏輯語句在模型論下確定真值的操作（特彆是關於他佬引進的up算子和down算子，以及通過意義公設，區分-處理外延/內涵動詞、和將因為係統的協調性而提升範疇後的自然語言中的專名重新恢復成指嚮個體的一個常值函數）。後麵講瞭一些dowty70年代對MG的擴展，諸如時態邏輯的調整，以及結閤生成語義淆嘗試分析形態變化和詞語內部的語義特徵（semantic feature）。再然後就是簡單港瞭幾句GQ-L(GQ)、DRT、FCG、SS之類的東西

偏介紹性的小書，不要求太多，可以（重點）看下第二章。一些收獲是，有清楚地講瞭下，對英語語句的間接語義解釋的整個過程，以及通過翻譯得到的高階的內涵邏輯語句在模型論下確定真值的操作（特彆是關於他佬引進的up算子和down算子，以及通過意義公設，區分-處理外延/內涵動詞、和將因為係統的協調性而提升範疇後的自然語言中的專名重新恢復成指嚮個體的一個常值函數）。後麵講瞭一些dowty70年代對MG的擴展，諸如時態邏輯的調整，以及結閤生成語義淆嘗試分析形態變化和詞語內部的語義特徵（semantic feature）。再然後就是簡單港瞭幾句GQ-L(GQ)、DRT、FCG、SS之類的東西

偏介紹性的小書，不要求太多，可以（重點）看下第二章。一些收獲是，有清楚地講瞭下，對英語語句的間接語義解釋的整個過程，以及通過翻譯得到的高階的內涵邏輯語句在模型論下確定真值的操作（特彆是關於他佬引進的up算子和down算子，以及通過意義公設，區分-處理外延/內涵動詞、和將因為係統的協調性而提升範疇後的自然語言中的專名重新恢復成指嚮個體的一個常值函數）。後麵講瞭一些dowty70年代對MG的擴展，諸如時態邏輯的調整，以及結閤生成語義淆嘗試分析形態變化和詞語內部的語義特徵（semantic feature）。再然後就是簡單港瞭幾句GQ-L(GQ)、DRT、FCG、SS之類的東西

偏介紹性的小書，不要求太多，可以（重點）看下第二章。一些收獲是，有清楚地講瞭下，對英語語句的間接語義解釋的整個過程，以及通過翻譯得到的高階的內涵邏輯語句在模型論下確定真值的操作（特彆是關於他佬引進的up算子和down算子，以及通過意義公設，區分-處理外延/內涵動詞、和將因為係統的協調性而提升範疇後的自然語言中的專名重新恢復成指嚮個體的一個常值函數）。後麵講瞭一些dowty70年代對MG的擴展，諸如時態邏輯的調整，以及結閤生成語義淆嘗試分析形態變化和詞語內部的語義特徵（semantic feature）。再然後就是簡單港瞭幾句GQ-L(GQ)、DRT、FCG、SS之類的東西