国产精品一久久香蕉产线看/亚洲图区欧美/亚洲国产精品电影人久久网站/欧美日韩在线视频一区

歡迎光臨中圖網 請 | 注冊

包郵 論聯合演算

作者：馬雷著
出版社：科學出版社出版時間：2013-10-01
開本： 16開 頁數： 328
本類榜單：哲學/宗教銷量榜
中 圖 價:¥49.4(5.6折) 定價  ¥88.0 登錄后可看到會員價
加入購物車 收藏
開年大促， 全場包郵
?新疆、西藏除外
本類五星書更多>

論聯合演算 版權信息

  • ISBN：9787030389282
  • 條形碼：9787030389282 ; 978-7-03-038928-2
  • 裝幀：一般膠版紙
  • 冊數：暫無
  • 重量：暫無
  • 所屬分類：>>

論聯合演算 本書特色

馬雷所著的《論聯合演算》通過對傳統詞項邏輯的一般特征的分析,抓住聯合演算的實質特點,劃分了聯合演算的兩個層次,在此基礎上提出結構分析的方法作為判明或建構永真式的一個依據,同時提出一個極近似于命題邏輯的范式判定方法,用于在有窮步驟內解決一聯合演算的判定問題。本書認為現行的聯合演算對傳統推論的刻畫,僅就變項而言,就沒有窮盡其全部特征,因而初步嘗試構造了一個新的等價翻譯的模式。本書還運用聯合演算的理論構建了一個形式化的傳統推論系統,并通過三段論化歸進一步探討了這一系統的優美性。本書的全部努力旨在說明:傳統詞項邏輯在其自身所把握的范圍內,確如康德所說,是封閉的和完備的。

論聯合演算 內容簡介

聯合演算是希爾伯特和阿克曼為從現代邏輯的演算觀把傳統邏輯推理理論系統化而特構的一種新的邏輯工具,但聯合演算在解釋傳統邏輯和亞里士多德邏輯中存在根本缺陷。
      馬雷所著的《論聯合演算》系統研究和發展了聯合演算的理論與方法,廢棄了聯合演算的原初判定標準,提出解決判定問題的結構判定法和范式判定法;并在此基礎上提出聯合演算對傳統邏輯和亞氏邏輯的等價翻譯方案,構建了形式化的傳統直言推論系統和三段論化歸系統,構造了亞氏模態三段論的推演系統和化歸系統,從而*大限度地證明傳統邏輯和亞氏邏輯在其所適用的范圍內所具有的嚴密性和完備性。
     《論聯合演算》適合邏輯學、哲學及相關專業的研究者和學生參閱。

論聯合演算 目錄

聯合演算理論的構建及其奠基意義(序)
前言
**章 傳統詞項邏輯的一般特征
**節 傳統詞項邏輯語言的基本詞匯
一、變項
二、邏輯常項
第二節 傳統詞項邏輯的直言命題形式
一、命題和命題形式
二、真值條件
第三節 傳統詞項邏輯的直言推理形式
一、推理和推理形式
二、亞里士多德三段論式和傳統三段論式
第二章 亞里士多德的模態三段論
**節 模態詞與模態命題形式
第二節 亞里士多德的模態三段論
聯合演算理論的構建及其奠基意義(序)
前言
**章  傳統詞項邏輯的一般特征
  **節  傳統詞項邏輯語言的基本詞匯
    一、變項
    二、邏輯常項
  第二節  傳統詞項邏輯的直言命題形式
    一、命題和命題形式
    二、真值條件
  第三節  傳統詞項邏輯的直言推理形式
    一、推理和推理形式
    二、亞里士多德三段論式和傳統三段論式
第二章  亞里士多德的模態三段論
  **節  模態詞與模態命題形式
  第二節  亞里士多德的模態三段論
    一、帶有兩必然前提的三段論
    二、兩前提一為必然一為實然的三段論
    三、帶有兩可能前提的三段論
    四、兩前提一為可能一為實然的三段論
    五、兩前提一為可能一為必然的三段論
第三章  聯合演算的構建
  **節  詞項邏輯、謂詞邏輯、類邏輯和命題邏輯
    一、詞項邏輯與謂詞邏輯
    二、詞項邏輯與類邏輯
    三、詞項邏輯與命題邏輯
  第二節  命題演算與一元謂詞演算或類演算的聯合
    一、命題演算與一元謂詞演算的聯合
    二、命題演算與類演算的聯合
第四章  聯合演算的原初判定標準
  **節  原初判定標準及其應用
  第二節  對原初判定標準的考察
    一、隱蔽的矛盾
    二、理論謬誤和癥結所在
第五章  聯合演算的結構判定方法
  **節  希爾伯特和阿克曼的審定法
  第二節  結構判定方法
    一、對豎號的重新解釋
    二、結構判定方法及其應用
第六章  聯合演算的范式判定方法
  **節  運用范式判定方法的可能性
  第二節  范式判定方法及其一般應用
    一、基本概念和定理
    二、判定方法及其應用
  第三節  豪伯定理的證明
第七章  聯合演算對傳統詞項邏輯的等價描述
  **節  問題的提出
  第二節  新的翻譯模式
  第三節  傳統直言推理式的簡化
第八章  聯合演算對傳統直言推理的系統化
  **節  聯合演算的出發點
    一、初始符號
    二、形成規則
    三、定義
    四、公理
    五、基本推理規則
  第二節  定理的推演
    一、傳統直接推理的系統化
    二、直言三段論推理的系統化
  第三節  傳統直言三段論的化歸
    一、化歸原理和方法
    二、三段論的化歸——歸于**格AAA式
第九章  亞里士多德模態三段論的形式系統
  **節  對亞里士多德模態三段論的等價表述
    一、帶有兩必然前提的三段論
    二、兩前提一為必然一為實然的三段論
    三、帶有兩可能前提的三段論
    四、兩前提一為可能一為實然的三段論
    五、兩前提一為可能一為必然的三段論
  第二節  模態三段論演算的出發點
    一、初始符號
    二、形成規則
    三、定義
    四、公理
    五、變形規則
    六、定理的推演
  第三節  亞里士多德模態三段論的化歸
    一、化歸原理和方法
    二、亞里士多德模態三段論的化歸
    三、余論:亞里士多德的模態悖論
參考文獻
后記

展開全部

論聯合演算 節選

馬雷所著的《論聯合演算》通過對傳統詞項邏輯的一般特征的分析,抓住聯合演算的實質特點,劃分了聯合演算的兩個層次,在此基礎上提出結構分析的方法作為判明或建構永真式的一個依據,同時提出一個極近似于命題邏輯的范式判定方法,用于在有窮步驟內解決一聯合演算的判定問題。本書認為現行的聯合演算對傳統推論的刻畫,僅就變項而言,就沒有窮盡其全部特征,因而初步嘗試構造了一個新的等價翻譯的模式。本書還運用聯合演算的理論構建了一個形式化的傳統推論系統,并通過三段論化歸進一步探討了這一系統的優美性。本書的全部努力旨在說明:傳統詞項邏輯在其自身所把握的范圍內,確如康德所說,是封閉的和完備的。

論聯合演算 作者簡介

1965年生,安徽舒城人(祖籍霍邱)。哲學博士,東南大學哲學與科學系教授、博士生導師。國家社會科學基金項目特約通訊評委,中國博士后基金項目特約通訊評委,中國邏輯學會科學邏輯專業委員會委員,國家“985工程”哲學社會科學創新基地“科技、倫理與藝術”高級研究中心兼職研究員,南京大學現代邏輯與邏輯應用研究所兼職研究員,江蘇省邏輯學會常務理事,江蘇省自然辯證法研究會理事,東南大學人文學院學術委員會委員。主要從事邏輯學、科學哲學、外國哲學等領域的研究,在科學哲學領域提出和建構了科學進步的協調合理性理論。主持完成和承擔國家社會科學基金課題各一項,代表作有:《進步、合理性與真理》(人民出版社,2003年)、《沖突與協調——科學合理性新論》(商務印書館,2006年,2008年)。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
返回頂部
中圖網
在線客服