幫助中心 | 我的帳號 | 關於我們

現代形式邏輯入門(中文英文)

  • 作者:王寅|責編:牟妮
  • 出版社:重慶大學
  • ISBN:9787568936262
  • 出版日期:2023/10/01
  • 裝幀:平裝
  • 頁數:253
人民幣:RMB 79 元      售價:
放入購物車
加入收藏夾

內容大鋼
    《現代形式邏輯入門》是一部由我國語言學家編寫的邏輯學導論型教材,主要面向文科讀者,特別是語言學方面的讀者。邏輯學和語言學有著天然的密切聯繫。邏輯學也涉及語言、語詞、句子,有句法、語義等內容。僅從專業辭彙看,邏輯學和語言學就有不少共用的術語。如果掌握邏輯學知識,也就多了一種視角和研究方法,便於更好地理解語言以及進行語言學的學習和研究。本書凝聚了作者自己多年來邏輯學的學習以及教學的心得和總結,形成了全書「重在理解,力求全面,循序漸進」的特點。

作者介紹
王寅|責編:牟妮

目錄
第一章  經典形式邏輯簡介
  第一節  形式邏輯之初衷
  第二節  工具論
  第三節  四種判斷之間的關係
第二章  現代形式邏輯簡介
  第一節  簡史
  第二節  弗雷格的批判
  第三節  數理邏輯的哲學意義
第三章  謂詞演算
  第一節  從函數到謂詞演算
  第二節  個體詞(個體常項、專指語)
  第三節  量詞
  第四節  謂詞常項與變項
  第五節  謂詞演算的公理和定理
  第六節  小結
第四章  命題演算
  第一節  邏輯原子論
  第二節  邏輯聯結詞
  第三節  命題演算和邏輯真值表
  第四節  複雜的複合命題
  第五節  歸謬法、重言式
  第六節  英語終止性和延續性動詞之間的假言關係
第五章  內涵邏輯
  第一節  從外延邏輯說起
  第二節  問題的提出:實質蘊涵悖論
  第三節  內涵邏輯
第六章  狹義模態邏輯
  第一節  基本概念
  第二節  狹義模態邏輯
  第三節  克里普克語義學
第七章  模態命題演算VS模態謂詞演算
  第一節  模態命題演算
  第二節  模態謂詞演算
  第三節  小結
第八章  廣義模態邏輯
  第一節  可證性邏輯
  第二節  認識邏輯
  第三節  道義邏輯
  第四節  時態邏輯
第九章  關係邏輯與謂詞特徵
  第一節  關係邏輯
  第二節  謂詞特徵和元
  第三節  二元謂詞的特徵和推理
第十章  語義公設
  第一節  語義公設與涵義關係
  第二節  小結
第十一章  蒙塔吉語義學
  第一節  轉換生成語法vs蒙塔古語法
  第二節  通用語法
  第三節  用內涵邏輯解釋語義

  第四節  數理邏輯法
  第五節  PTQ系統
  第六節  自然語言邏輯
第十二章  現代形式邏輯的利與弊
  第一節  優點
  第二節  問題
  第三節  小結
附錄
  附錄1  普通邏輯學提綱
  附錄2  數理統計在當代語言測試中的應用
  附錄3  論證與論文寫作
  附錄4  術語英漢對照表
  附錄5  國外人名對照表
主要參考書目

  • 商品搜索:
  • | 高級搜索
首頁新手上路客服中心關於我們聯絡我們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