亞里士多德的三段論

定　價(jià)：￥22.00

作　者：	（波）盧卡西維茨（Jan Lukasiewicz）著；李真，李先焜譯
出版社：	商務(wù)出版社
叢編項(xiàng)：	漢譯世界學(xué)術(shù)名著叢書
標(biāo)　簽：	理論

購(gòu)買這本書可以去

ISBN：	9787100011051	出版時(shí)間：	1981-01-01	包裝：	膠版紙
開本：	20cm	頁(yè)數(shù)：	279	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　《亞里士多德的三段論》是波蘭著名邏輯學(xué)家盧卡西維茨的一部重要著作。作者的目的是用現(xiàn)代數(shù)理邏輯的觀點(diǎn)解釋亞里士多德邏輯最重要的部分——三段論理論?！秮喞锸慷嗟碌娜握摗啡?、系統(tǒng)地考察了亞氏三段論理論，繪出了亞氏三段論理論的嚴(yán)格的形式系統(tǒng)。《亞里士多德的三段論》曾對(duì)邏輯史的研究產(chǎn)生重大影響，對(duì)于把數(shù)理邏輯方法運(yùn)用到其他領(lǐng)域也具有重要意義?！秮喞锸慷嗟碌娜握摗肥橇私猬F(xiàn)代邏輯不可不讀的參考書。

作者簡(jiǎn)介

暫缺《亞里士多德的三段論》作者簡(jiǎn)介

圖書目錄

本書述評(píng)
第一版原序
第二版原序
本書所引用的亞里士多德的原著與注釋的版本
第一章亞里士多德三段論系統(tǒng)的要素
1、亞里士多德式三段論的正確形式
2、前提和詞項(xiàng)
3、為什么單一詞項(xiàng)被亞里多德略去了
4、變項(xiàng)
5、三段論的必然性
6、什么是形式邏輯
7、什么是形式化
第二章亞里士多德三段論系統(tǒng)的斷定命題
8、斷定命題與推論規(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、一些未解決的問(wèn)題
第四章用符號(hào)形式表達(dá)的亞里士多德系統(tǒng)
22、符號(hào)系統(tǒng)的說(shuō)明
23、演繹理論
24、量詞
25、三段論系統(tǒng)的基本要素
26、三段論的斷定命題的推導(dǎo)
27、排斥的表達(dá)式的公理和規(guī)則
28、我國(guó)的公理和規(guī)則不充分
第五章判定問(wèn)題
29、不能判定的表達(dá)式的數(shù)目
30、斯盧派斯基的排斥規(guī)則
31、化歸為初的表達(dá)式
32、演繹的等值式
33、三段論系統(tǒng)的初等表達(dá)式
34、三段論系統(tǒng)的一個(gè)算術(shù)的解釋
35、結(jié)束語(yǔ)
第六章亞里士多德的模態(tài)命題邏輯
第七章模態(tài)邏輯系統(tǒng)
第八章亞里士多德的模態(tài)三段論
索引