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

邏輯學與哲學(21世紀邏輯學+跨學科通識教育系列教材)

  • 作者:王文方|責編:邵淑君|總主編:王文方
  • 出版社:山東大學
  • ISBN:9787560792125
  • 出版日期:2026/03/01
  • 裝幀:平裝
  • 頁數:378
人民幣:RMB 62 元      售價:
放入購物車
加入收藏夾

內容大鋼
    本書分成兩個部分,第一部分共十章,分別介紹邏輯學的基本概念,說明真值函項邏輯TFL、初階帶等詞邏輯FOL、固定論域正規模態邏輯FOML的基本想法、形式語義論與語形證明論。在語形證明論方面,由於國內介紹語義樹枝法和自然演繹法的邏輯學教材並不多見,我特別在其中介紹這兩種證明論的方法。由於淺顯易懂,第一部分特別適合作為本科邏輯學的教材使用。第二部分共八章,我在其中舉例說明了邏輯學在哲學中的應用與反饋,特別以我比較熟悉的模態哲學、語言哲學、分體論、語義悖論、模糊性悖論、懷疑論問題、反實在論及「不可說」等問題作為邏輯學應用的例子,不但說明邏輯學如何在這些哲學問題上獲得應用,還說明邏輯學如何在這些應用中獲得反饋。由於涉及多領域交叉內容,第二部分特別適合作為哲學系碩博士課程的教材使用。

作者介紹
王文方|責編:邵淑君|總主編:王文方

目錄
  第一章  導論
    第一節  邏輯學是什麼?
    第二節  邏輯學的基本概念
    第三節  邏輯學基本概念間的關聯
    第四節  邏輯學研究的當代方法
第一部分  邏輯基礎:真值函項邏輯TFL與初階帶等同邏輯FOL
  第二章  真值函項聯結詞與真值表
    第一節  真值函項聯結詞
    第二節  真值函項語言TFL
    第三節  部分與完整真值表
  第三章  TFL的語義論方法
    第一節  真值表的應用
    第二節  TFL語義模型與邏輯概念的精確化
    第三節  TFL元證明
  第四章  TFL的語義樹枝法
    第一節  語義樹枝法的基本概念
    第二節  TFL語義樹枝法的各種規則
    第三節  TFL語義樹枝法的應用
  第五章  TFL的自然演繹法
    第一節  自然演繹法的基本想法與基本概念
    第二節  TFL自然演繹法的基本推論規則
    第三節  TFL自然演繹法的應用
  第六章  初階帶等詞的語言FOL
    第一節  簡單句的內在結構
    第二節  帶等詞的初階語言FOL及其重要語形概念
    第三節  FOL符號的直覺含義與自然語言的形式化
  第七章  初階帶等詞語言FOL的語義論
    第一節  FOL的語義模型
    第二節  FOL邏輯常項的語義規則
    第三節  FOL的語義證明方法
  第八章  初階帶等詞邏輯FOL的語義樹枝法
    第一節  FOL語義樹枝法的擴展規則
    第二節  FOL語義樹枝法的應用
    第三節  FOL語義樹枝的完成與不可判定性問題
  第九章  初階帶等詞邏輯FOL的自然演繹法
    第一節  FOL自然演繹法的基本推論規則
    第二節  FOL自然演繹法的應用
    第三節  自然演繹法的限制與應注意事項
  第十章  固定論域正規模態邏輯
    第一節  模態語言、日常語言與哲學
    第二節  FOML的固定論域語義模型
    第三節  幾種簡單的固定論域正規模態邏輯及其元證明
    第四節  幾種簡單的固定論域正規模態邏輯的語義樹枝法
第二部分  當代邏輯學在哲學上的應用與反饋
  第十一章  可變論域正規模態邏輯與形而上學模態性
    第一節  從言模態與從物模態
    第二節  FOML的可變論域語義論
    第三節  必然等同與偶然等同
  第十二章  確定摹狀詞理論
    第一節  羅素的確定摹狀詞理論

    第二節  羅素確定摹狀詞理論反駁的哲學理論之一:梅農主義
    第三節  羅素確定摹狀詞理論反駁的哲學理論之二:弗雷格主義
    第四節  羅素確定摹狀詞理論在哲學問題上的應用
  第十三章  邏輯在分體論上的應用
    第一節  分體論與特殊組合問題
    第二節  一個分體論的形式化公理系統
    第三節  邏輯在分體論中的作用
    第四節  形式化分體論的進一步應用
  第十四章  語義悖論
    第一節  重要的語義悖論與素樸真理論
    第二節  對角性引理、不可定義性定理與固定點建構
    第三節  經典的解悖方案
    第四節  兩種常見的非經典解悖方案
  第十五章  連鎖悖論
    第一節  模糊謂詞與連鎖悖論
    第二節  與模糊謂詞有關的原則與現象
    第三節  連鎖悖論的各種解悖方案
  第十六章  對外在世界知識的懷疑論
    第一節  知識論及懷疑論問題
    第二節  獨斷的摩爾主義與認知封閉性原則
    第三節  當代的外在世界懷疑論論證
    第四節  對安格爾外在世界懷疑論論證的各種反駁
  第十七章  反實在論論證
    第一節  哲學史上各種形態的實在論與反實在論
    第二節  當代反實在論者論普特南的論證
    第三節  對普特南模型論論證的討論
  第十八章  如何「說」不可說
    第一節  不可說的「事物」及其相關問題
    第二節  幾種常見的說法
    第三節  我的看法:當代邏輯模型論方法
參考文獻

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