亞里士多德的三段論

內(nèi)容概要

本書是波蘭著名邏輯學家盧卡西維茨的一部重要著作。作者的目的是用現(xiàn)代數(shù)理邏輯的觀點解釋亞里士多德邏輯最重要的部分——三段論理論。本書全面、系統(tǒng)地考察了亞氏三段論理論，繪出了亞氏三段論理論的嚴格的形式系統(tǒng)。本書曾對邏輯史的研究產(chǎn)生重大影響，對于把數(shù)理邏輯方法運用到其他領(lǐng)域也具有重要意義。

作者簡介

作者：波蘭著名邏輯學家。

書籍目錄

本書述評第一版原序第二版原序本書所引用的亞里士多德的原著與注釋的版本第一章  亞里士多德三段論系統(tǒng)的要素  §1．亞里士多德式三段論的正確形式  §2．前提和詞項  §3．為什么單一詞項被亞里士多德略去了  §4．變項  §5．三段論的必然性  §6．什么是形式邏輯  §7．什么是形式化第二章  亞里士多德三段論系統(tǒng)的斷定命題  §8．斷定命題與推論規(guī)則  §9．三段論的格  §10．大項、中項和小項  §11．關(guān)于一個錯誤的歷史  §12．前提的次序  §13．一些現(xiàn)代注釋家的錯誤  §14．加倫的四個格第三章  亞里士多德三段論系統(tǒng)  §15．完全的和不完全的三段論  §16．詞項邏輯與命題邏輯  §17．換位法證明  §18．歸謬法證明  §19．顯示法證明  §20．排斥的形式  §21．一些未解決的問題第四章  用符號形式表達的亞里士多德系統(tǒng)  §22．符號系統(tǒng)的說明  §23．演繹理論  §24．量詞  §25．三段論系統(tǒng)的基本要素  §26．三段論的斷定命題的推導  §27．排斥的表達式的公理和規(guī)則  §28．我們的公理和規(guī)則不充分第五章  判定問題  §29．不能判定的表達式的數(shù)目  §30．斯盧派斯基的排斥規(guī)則  §31．演繹的等值式  §32．化歸為初等表達式  §33．三段論系統(tǒng)的初等表達式  §34．三段論系統(tǒng)的一個算術(shù)的解釋  §35．結(jié)束語第六章  亞里士多德的模態(tài)命題邏輯  §36．導言  §37．模態(tài)函項和它們的相互關(guān)系  §38．基本模態(tài)邏輯  §39．擴展定律  §40．亞里士多德對擴展的M一定律的證明  §41．命題之間的必然聯(lián)系  §42．“實質(zhì)”蘊涵還是“嚴格”蘊涵？  §43．分析命題  §44．一個亞里士多德的悖論  §45．亞里士多德的偶然性第七章  模態(tài)邏輯系統(tǒng)  §46．真值表方法  §47．C-N-δ-p系統(tǒng)  §48．δ-定義  §49．模態(tài)邏輯的四值系統(tǒng)  §50．必然性和模態(tài)邏輯的四值系統(tǒng)  §51．成對的可能性  §52．偶然性和模態(tài)邏輯的四值系統(tǒng)  §53．其他某些問題第八章  亞里士多德的模態(tài)三段論  §54．有兩個必然前提的各式  §55．有一個必然前提和一個實然前提的各式  §56．有一個必然前提和一個實然前提的被排斥的各式  §57．爭論的解決  §58．有可能前提的各式  §59．偶然命題的換位律  §60．糾正亞里士多德的錯誤  §61．有偶然前提的各式  §62．模態(tài)邏輯的哲學含義索引

編輯推薦

《亞里士多德的三段論》是波蘭著名邏輯學家盧卡西維茨的一部重要著作。作者的目的是用現(xiàn)代數(shù)理邏輯的觀點解釋亞里士多德邏輯最重要的部分——三段論理論。本書全面、系統(tǒng)地考察了亞氏三段論理論，繪出了亞氏三段論理論的嚴格的形式系統(tǒng)。本書曾對邏輯史的研究產(chǎn)生重大影響，對于把數(shù)理邏輯方法運用到其他領(lǐng)域也具有重要意義。本書是了解現(xiàn)代邏輯不可不讀的參考書。

圖書封面

評論、評分、閱讀與下載

---

    亞里士多德的三段論 PDF格式下載

---