国产第1页_91在线亚洲_中文字幕成人_99久久久久久_五月宗合网_久久久久国产一区二区三区四区

讀書月攻略拿走直接抄!
歡迎光臨中圖網 請 | 注冊
> >
邏輯入門-邏輯.語言與意義-第一卷

包郵 邏輯入門-邏輯.語言與意義-第一卷

出版社:商務印書館出版時間:2017-11-01
開本: 32開 頁數: 355
本類榜單:社會科學銷量榜
中 圖 價:¥41.6(7.2折) 定價  ¥58.0 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>
買過本商品的人還買了

邏輯入門-邏輯.語言與意義-第一卷 版權信息

  • 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(哈姆特)是他們共用的筆名。滿海霞,北京科技大學外國語學院副教授;張璐,中國礦業大學外國語學院講師;鄒崇理,中國社會科學院哲學所研究員、邏輯室主任。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 日本久久久久久久久久 | 毛片免费全部播放一级 | 国产又色又爽无遮挡免费 | 四虎影视免费在线观看 | 伊人网成人 | 日韩 欧美 中文 | 国产90后美女露脸在线观看 | 在线免费视频a | 国产免费av片在线观看播放 | 深夜福利小视频在线观看 | 国产成人精品免费视频软件 | 国产熟妇按摩3p高潮大叫 | 一本伊大人香蕉在线观看 | 久久性爱视频 | 免费a级在线观看播放 | 香蕉97碰碰视频免费 | 99热成人精品国产免国语的 | 性一交一乱一伦一色一情丿按摩 | 在线日韩国产 | 亚洲av第一页国产精品 | 欧美一区二区三区在线观看免费 | 亚洲午夜片 | 国产福利视频一区 | 免费的黄色 | 久久久久久久尹人综合网亚洲 | 高大丰满熟妇丰满的大白屁股 | 四虎www永久在线精品 | 亚洲人成伊人成综合网久久 | 男人的天堂免费a级毛片无码 | 亚洲欧美日本a∨在线观看 亚洲欧美日本国产 | 人妻少妇精品视中文字幕国语 | 久热精品视频在线观看 | 国产自产第一区c国产 | 久久久久亚洲av无码观看 | 免费精品精品国产欧美在线 | 东北少妇不带套对白 | 欧美乱妇高清无乱码在线观看 | 久久99亚洲精品久久99 | 国产精品成人一区二区不卡 | 在线观看中文字幕第一页 | 992人人tv香蕉国产精品 |