婷婷色五月激情综合深爱,国产小受呻吟GV视频在线观看,8090成人午夜精品

《中國社會科學(xué)院老學(xué)者文庫：從現(xiàn)代邏輯的觀點(diǎn)看亞里士多德的邏輯理論》遵循馬克思提出的“人體解剖對于猴體解剖是一把鑰匙”的歷史研究方法，從現(xiàn)代邏輯觀點(diǎn)全面系統(tǒng)地研究了亞里七多德的九大邏輯理論；澄清了長期以來國內(nèi)外學(xué)術(shù)界對亞里士多德邏輯理論的諸多誤解，深刻地揭示出亞里士多德邏輯理論對現(xiàn)代邏輯發(fā)展的重大意義。在此基礎(chǔ)上，《中國社會科學(xué)院老學(xué)者文庫：從現(xiàn)代邏輯的觀點(diǎn)看亞里士多德的邏輯理論》進(jìn)行了“推陳出新”的研究，用現(xiàn)代邏輯的工具，重新構(gòu)造了亞里士多德的直言三段論系統(tǒng)、必然模態(tài)三段論系統(tǒng)和偶然模態(tài)三段論系統(tǒng)，并且構(gòu)造了形式排斥系統(tǒng)，構(gòu)造了這些系統(tǒng)的語義模型，證明了這些系統(tǒng)的可靠性和語義完全性，*重要的結(jié)果是解決了這些系統(tǒng)的判定程序。

　亞里士多德（公元前384-前322年）是古希臘最偉大的哲學(xué)家，同時是邏輯學(xué)的創(chuàng)始人，邏輯學(xué)的代表作是《工具論》。他創(chuàng)立的邏輯理論直至今天仍然被現(xiàn)代邏輯學(xué)家進(jìn)行研究，并在大學(xué)的講堂上傳授。本書作者通過對《工具論》的研讀、分析和發(fā)掘，認(rèn)為亞里士多德的邏輯理論是多方面的，絕不限于直言命題和直言三段論，概括起來有九大方面：（1）詞項(xiàng)理論；（2）直言命題和直言三段論理論；（3）偏好邏輯；（4）關(guān)系理論；（5）模態(tài)命題邏輯；（6）模態(tài)三段論理論；（7）邏輯規(guī)律；（8）公理方法和歸納方法；（9）辨謬?yán)碚�。由此可見，亞里士多德的邏輯理論博大精深，是邏輯學(xué)的永恒研究課題。
　　長期以來，國外邏輯學(xué)家對亞里士多德邏輯理論的研究采用的是評述方法，就亞里士多德邏輯理論本身的問題進(jìn)行評述，主要是詞項(xiàng)理論、直言命題和直言三段論、辨謬?yán)碚摰龋雎粤藖喞锸慷嗟逻壿嬂碚撝袑ΜF(xiàn)代邏輯的發(fā)展起重要作用的理論，如偏好和關(guān)系的理論、模態(tài)命題邏輯和模態(tài)三段論等，甚至關(guān)系邏輯的創(chuàng)始人德摩根都認(rèn)為亞里士多德沒有關(guān)系理論，認(rèn)為用“所有馬是動物，所以，所有的馬頭都是動物頭”這個推理就可證明亞里士多德邏輯理論的局限性，這種錯誤觀點(diǎn)使國內(nèi)外的一些邏輯學(xué)者對亞里士多德的邏輯理論產(chǎn)生了諸多誤解。1951年，國際著名邏輯學(xué)家、多值邏輯創(chuàng)始人盧卡西維茨出版了《從現(xiàn)代形式邏輯觀點(diǎn)看亞里士多德的三段論》（1957年出第二版，商務(wù)印書館1981年出版了中譯本），開創(chuàng)了用現(xiàn)代邏輯的方法研究邏輯史特別是亞里士多德邏輯理論的全新道路。這種方法就是馬克思所說的“人體解剖法”：“人體解剖對于猴體解剖是一把鑰匙，低等動物身上表露的高等動物的征兆，反而只有在高等動本身已被認(rèn)識之后才能理解。因此，資產(chǎn)階級經(jīng)濟(jì)為古代經(jīng)濟(jì)等提供了鑰匙。……人們認(rèn)識了地租，就能理解代役租、什一稅等，但是不應(yīng)當(dāng)把它們等同起來�！雹俦R卡西維茨的研究成果揭示了亞里士多德的直言三段論已經(jīng)達(dá)到了何種水平，對邏輯的發(fā)展有何重要意義，存在哪些不嚴(yán)格之處，并從現(xiàn)代邏輯的高度解決亞里士多德所不能解決的課題，促進(jìn)了現(xiàn)代邏輯的發(fā)展。例如盧卡西維茨證明了直言三段論公理的一致性、獨(dú)立性，自弗雷格以來在現(xiàn)代邏輯中建立了第一個形式化的排斥系統(tǒng)，解決了有意義的三段論表達(dá)式的判定問題，揭示了亞里士多德模態(tài)三段論的缺陷，創(chuàng)建了自己的4值模態(tài)邏輯系統(tǒng)。由此可見，用“人體解剖法”研究邏輯史，也是一種“推陳出新”的好方法，用“人體解剖”研究“猴體解剖”的目的是為了發(fā)展“人體解剖”。

你還可能感興趣

我要評論