亚洲欧洲日韩国产aa色大片,99精品国产91久久久久久无码,和公么在厨房作爱

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

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

你還可能感興趣

我要評論