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