掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元氣社
-
>
女性生存戰爭
-
>
縣中的孩子 中國縣域教育生態
-
>
(精)人類的明天(八品)
邏輯入門-邏輯.語言與意義-第一卷 版權信息
- ISBN：9787100121286
- 條形碼：9787100121286 ; 978-7-100-12128-6
- 裝幀：簡裝本
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
邏輯入門-邏輯.語言與意義-第一卷 本書特色
《邏輯、語言與意義》是國內外*部系統全面的邏輯和語言學跨學科的邏輯語法（也叫形式語義學或語言邏輯）教材。由荷蘭五位邏輯學、語言學學者合作撰寫，并共用“哈姆特”之名出版。全書分為兩卷，*卷從分析自然語言的需要出發，系統地介紹了現代邏輯的基礎部分（古典命題邏輯和謂詞邏輯）、現代邏輯的變異部分（多值邏輯），以及進行形式語言學研究所需要的其他知識（語用學和形式文法等內容）。這本書主要有兩大特點。一、不同于通常偏重數理邏輯技術基礎的邏輯書籍，它以自然語言語義研究為目的，主要介紹有關的思想背景。講解深入淺出，很適宜語言學系和哲學系的教學用書。二、全書體現出數理邏輯、語言哲學與計算語言學等不同學科內容的互相滲透，精心介紹了相關的核心發展成果，加上豐富的例子，可以作為理論語言學、邏輯學、語言哲學和自然語言的計算機理解等多個領域學者的教學科研參考資料。
邏輯入門-邏輯.語言與意義-第一卷 內容簡介
《邏輯、語言與意義》是國內外**部系統全面的邏輯和語言學跨學科的邏輯語法（也叫形式語義學或語言邏輯）教材。由荷蘭五位邏輯學、語言學學者合作撰寫，并共用“哈姆特”之名出版。 全書分為兩卷，**卷從分析自然語言的需要出發，系統地介紹了現代邏輯的基礎部分（古典命題邏輯和謂詞邏輯）、現代邏輯的變異部分（多值邏輯），以及進行形式語言學研究所需要的其他知識（語用學和形式文法等內容）。這本書主要有兩大特點。一、不同于通常偏重數理邏輯技術基礎的邏輯書籍，它以自然語言語義研究為目的，主要介紹有關的思想背景。講解深入淺出，很適宜語言學系和哲學系的教學用書。二、全書體現出數理邏輯、語言哲學與計算語言學等不同學科內容的互相滲透，精心介紹了相關的核心發展成果，加上豐富的例子，可以作為理論語言學、邏輯學、語言哲學和自然語言的計算機理解等多個領域學者的教學科研參考資料。
邏輯入門-邏輯.語言與意義-第一卷 目錄
前言
序言
第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 并列聯結詞和從屬聯結詞
第3章 謂詞邏輯
3.1 原子句
3.2 量化表達式：量詞
3.3 公式
3.4 更多量化表達式及其翻譯
3.5 集合
3.6 謂詞邏輯的語義
3.6.1 解釋函項
3.6.2 替換解釋法
3.6.3 指派解釋法
3.6.4 普遍有效性
3.6.5 規則
3.7 等同
3.8 關系的一些性質
3.9 函項符號
第4章 證明和推理
4.1 證明和證明模式
4.2 語義推理關系
4.2.1 語義有效性
4.2.2 外延性原則
4.3 自然演繹：推理的句法方法
4.3.1 引入規則與消去規則
4.3.2 合取
4.3.3 蘊涵
4.3.4 析取
4.3.5 否定
4.3.6 量詞
4.3.7 規則
4.4 可靠性和完全性
第5章 非經典邏輯
5.1 引言
5.2 限定摹狀詞
5.3 受限量化：多體謂詞邏輯
5.4 二階邏輯
5.5 多值邏輯
5.5.1 引言
5.5.2 三值邏輯系統
5.5.3 三值邏輯及預設的語義概念
5.5.4 多于三值的邏輯系統
5.5.5 四值邏輯與預設的語義概念
5.5.6 多值邏輯在分析預設時的局限性
5.6 變項消去
第6章 語用學：意義與使用
6.1 非真值條件語義
6.2 邏輯上的合取式和詞序
6.3 使用與合作原則
6.4 相容析取和不相容析取
6.5 析取和信息充足適量性
6.6 會話準則和會話隱涵
6.7 析取式的會話隱涵
6.8 蘊涵和信息充足適量性
6.9 預設和會話隱涵
6.10 規約隱含、預設和蘊涵式
第7章 形式句法
7.1 重寫規則的層級
7.2 語法和自動機
7.3 關于形式語言的理論
7.4 自然語言的語法復雜性
7.5 語法、自動機和邏輯
練習答案
參考文獻說明
參考文獻
索引
譯后記
展開全部
邏輯入門-邏輯.語言與意義-第一卷 作者簡介
約翰·范·本瑟姆，荷蘭阿姆斯特丹大學的邏輯學教授、荷蘭藝術與科學院、歐洲科學院和國際哲學院院士； 馬丁·斯托克霍夫，阿姆斯特丹大學邏輯、語言與計算研究所前任所長、語言哲學教授；胡能迪克，阿姆斯特丹大學哲學系副教授；德漾，阿姆斯特丹大學哲學系邏輯學教授；亨克·維庫爾，荷蘭烏得勒支大學語言學教授。本書由以上五位教授合著，L.F.T.Gamut（哈姆特）是他們共用的筆名。滿海霞，北京科技大學外國語學院副教授；張璐，中國礦業大學外國語學院講師；鄒崇理，中國社會科學院哲學所研究員、邏輯室主任。
書友推薦
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
唐代進士錄
- >
羅庸西南聯大授課錄
- >
李白與唐代文化
- >
經典常談
- >
詩經-先民的歌唱
- >
巴金－再思錄
- >
史學評論
本類暢銷
