掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
亞里士多德的三段論 版權信息
- ISBN：9787100011051
- 條形碼：9787100011051 ; 978-7-100-01105-1
- 裝幀：60g膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
亞里士多德的三段論 本書特色
作者在本書中，用形式化的方法，構造了一個亞里士多德三段論的嚴格的演繹體系，猶如一個數學的演算系統一樣。
亞里士多德的三段論 內容簡介
作者在本書中，用形式化的方法，構造了一個亞里士多德三段論的嚴格的演繹體系，猶如一個數學的演算系統一樣。
亞里士多德的三段論 目錄
**版原序
第二版原序
本書所引用的亞里士多德的原著與注釋的版本
**章 亞里士多德三段論系統的要素
§1．亞里士多德式三段論的正確形式
§2．前提和詞項
§3．為什么單一詞項被亞里士多德略去了
§4．變項
§5．三段論的必然性
§6．什么是形式邏輯
§7．什么是形式化
第二章 亞里士多德三段論系統的斷定命題
§8．斷定命題與推論規則
§9．三段論的格
§10．大項、中項和小項
§11．關于一個錯誤的歷史
§12．前提的次序
§13．一些現代注釋家的錯誤
§14．加倫的四個格
第三章 亞里士多德三段論系統
§15．完全的和不完全的三段論
§16．詞項邏輯與命題邏輯
§17．換位法證明
§18．歸謬法證明
§19．顯示法證明
§20．排斥的形式
§21．一些未解決的問題
第四章 用符號形式表達的亞里士多德系統
§22．符號系統的說明
§23．演繹理論
§24．量詞
§25．三段論系統的基本要素
§26．三段論的斷定命題的推導
§27．排斥的表達式的公理和規則
§28．我們的公理和規則不充分
第五章 判定問題
§29．不能判定的表達式的數目
§30．斯盧派斯基的排斥規則
§31．演繹的等值式
§32．化歸為初等表達式
§33．三段論系統的初等表達式
……
第六章 亞里士多德的模態命題邏輯
第七章 模態邏輯系統
第八章 亞里士多德的模態三段論
索引
展開全部
亞里士多德的三段論 節選
《亞里士多德的三段論/漢譯世界學術名著叢書》： 21.一些未解決的問題 亞里士多德的非模態三段論系統是一個四常項的理論，這四個常項可以由“所有——是”、“沒有——是”、“有些——是”與“有些——不是”來表示：這些常項是二元的函子。這兩個元由變項表示，并且僅僅以具體的普遍詞項為值。排除了用單一的、空的以及否定詞項等作為它的值，各常項與其元在一起形成四類叫做前提的命題，即“所有A是B”，“沒有A是B”，“有些A是B”和“有些A不是B”。這系統可以稱為“形式邏輯”，因為具體詞項，如“人”或“動物”，并不屬于它而僅系它的應用。這系統不是思維形式的理論，它也不依賴于心理學；正如斯多亞派所正確地觀察到的，它與“大于”關系的數學理論是相似的！ ∵@四類前提借助于兩個函子“如果——則”與“并且”形成這系統的斷定命題。這些函子屬于命題邏輯，命題邏輯是這系統的輔助理論。在某些證明中，我們會遇見第三個命題函子，即命題的否定“這不是真的……”，簡化地用“非”表示。這四個亞里士多德式的常項：“所有——是”“沒有——是”、“有些——是”和“有些——不是”，與三個命題常項：“如果——則”、“并且”與“非”加在一起，就是三段論系統僅有的元素！ ∵@個系統的所有斷定命題，對于在其中出現的變項的所有的值而言，都是真的。沒有一個亞里士多德式三段論是作為帶“所以”一詞的推論規則而構成的，如像傳統邏輯那樣。傳統邏輯是一個不同于亞里士多德三段論系統的系統，而不應當與真正的亞里士多德邏輯攪混在一起。亞里士多德劃分三段論為三個格，但是他知道并承認第四格的所有三段論的式。三段論劃分為格沒有什么邏輯上的重要性，而僅有一個實踐的目的：我們要確信沒有漏掉一個正確的三段論的式。 這系統是公理化的。亞里士多德取**格的頭兩個式，Bar-bara與Celarent，作為公理。在這兩條公理之外，我們還應當加上兩條換位定律，因為它們都不能用三段論加以證明。如果我們希望這個系統中有同一律：“所有A是A”，我們就應假定它們是公理。我們能夠得到的*簡單的基礎，是取常項“所有——是”和“有些——是”為原始詞項，憑著它們用命題否定來定義其它兩個常項，并設定四條斷定命題為公理，即兩條同一律和Barbara式與Datisi式，或者Barbara式與Dimaris式。把這個系統建立在僅僅一條公理之上是不可能的，如果“原則”指的是與“公理”相同的東西的話，那么，尋求亞里士多德的三段論的原則就是一種徒勞的企圖。“所謂全和零原則”，在這個意義上，也不能是三段論的原則，并且亞里士多德本人也沒有那樣陳述它！
亞里士多德的三段論 作者簡介
盧卡西維茨（1878-1956），教授，波蘭著名邏輯學家、波蘭科學院院士（1937）；利沃夫（綜合性）大學教授（1906-1915）；華沙（綜合性）大學教授（1915-1939）；第二次世界大戰后，1946年起，在都柏林的愛爾蘭皇家科學院任教授。他在邏輯學方面的主要著作除本書外，還有《邏輯中的歸納法和因果關系問題》、《概率論的基礎理論》、《第一個多值邏輯系統的構造，并用以構造模態邏輯系統》、《為形式邏輯和數學表達式而制訂的一種創造性的語言》（即盧卡西維茨教授的沒有括號的符號系統）等。由于盧卡西維茨教授的工作，波蘭成為數理邏輯的世界中心之一，人才輩出。
書友推薦
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
- >
名家帶你讀魯迅:故事新編
- >
羅曼·羅蘭讀書隨筆-精裝
- >
【精裝繪本】畫給孩子的中國神話
- >
經典常談
- >
詩經-先民的歌唱
- >
月亮與六便士
- >
李白與唐代文化
