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