●前言
●序言
●第1章 緒論
●1.1 證明、有效證明和證明模式
●1.2 邏輯與意義
●1.3 邏輯常項和邏輯繫統
●1.4 20世紀之前的邏輯學和語言學
●1.5 20世紀
●1.5.1 邏輯形式vs.語法形式
●1.5.2 日常語言哲學
●1.5.3 語言學與哲學
●1.6 形式語言
●第2章 命題邏輯
●2.1 真值函項聯結詞
●2.2 聯結詞與真值表
●2.3 公式
●2.4 函項
●2.5 命題邏輯的語義
●2.6 真值函項
●2.7 並列聯結詞和從屬聯結詞
●部分目錄

L.T.F.哈姆特著的《邏輯語言與意義（靠前卷，邏輯入門）》靠前卷從分析自然語言的需要出發，繫統地介紹了現代邏輯的基礎部分（古典命題邏輯和謂詞邏輯）、現代邏輯的變異部分（多值邏輯），以及進行形式語言學研究所需要的其他知識（語用學和形式文法等內容）。這本書主要有兩大特點。一、不同於通常偏重數理邏輯技術基礎的邏輯書籍，它以自然語言語義研究為目的，主要介紹有關的思想背景。講解深入淺出，很適宜語言學繫和哲學繫的教學用書。二、全書體現出數理邏輯、語言哲學與計算語言學等不同學科內容的互相滲透，精心介紹了相關的核心發展成果，加上豐富的例子，可以作為理論語言學、邏輯學、語言哲學和自然語言的計算機理解等多個領域學者的教學科研參考資料。

(荷)L.T.F.哈姆特(L.T.F.Gamut) 著；滿海霞,張璐,鄒崇理 譯