?黑格爾本人的水平很難評，鑒于他那篇臭名昭著的教職論文《論行星軌道》，在其中，據(jù)說他從純粹哲學(xué)的立場出發(fā)，認(rèn)定太陽系只有七顆行星，在火星和木星之間不存在別的星體，盡管在他撰寫這篇論文不久前，皮亞齊（Giuseppe Piazzi）已經(jīng)發(fā)現(xiàn)了谷神星，但這個消息并沒有傳到黑格爾耳朵里（或者傳到了但他沒有采信），而且從這篇論文的理論運用來看，黑格爾的科學(xué)知識水平似乎也很難評...

不過，據(jù)說這種混淆在他的時代是很常見的，所以黑格爾應(yīng)該就是一般人水平

當(dāng)然，可以說谷神星太小，算不上行星——據(jù)說黑格爾的學(xué)生就是這樣為他辯護(hù)的，但隨著海王星的發(fā)現(xiàn)，這種辯護(hù)就變得不可能了。然而，當(dāng)齊澤克在他的《少于無》中再次提到這個陳年老梗并試圖為他辯護(hù)的時候，喜劇又一次上演了：（引文來自 @葉宇翔 ）

齊澤克似乎忘記了黑格爾捍衛(wèi)的是七顆行星而不是八顆，而且他還把海王星和冥王星搞混了

一向幽默的索洛維約夫諷刺說，這是在他的職業(yè)生涯初期就已顯現(xiàn)的天意，讓他不要誤入歧途——但顯然，黑格爾并沒有把這個天意當(dāng)回事。

但如果不考慮他的自然哲學(xué)，那么他的邏輯學(xué)呢？他的辯證邏輯是否只是他本人的胡言亂語，表明他邏輯學(xué)水平的低劣，就像叔本華嘲諷的那樣？辯證邏輯和形式邏輯的爭論直到今日也沒有停止，但對于一些嚴(yán)肅的邏輯學(xué)家，黑格爾的辯證邏輯似乎并沒有那么臭不可聞，像哥德爾這樣的人對黑格爾的《邏輯學(xué)》肯定是好感多于惡感，他曾表示推進(jìn)黑格爾的概念系統(tǒng)是一項有益的工作。根據(jù)他的說法，黑格爾的邏輯并不處理矛盾，而是一種得到新概念的系統(tǒng)的方式，就此而言，它并不是無時間的，而是處理時間中的存在?！霸诤诟駹柲抢?，一個條件在歷史中產(chǎn)生自身的對立：這是一個時間中的過程，真理依賴于時間?！?/p>

事實上，哥德爾還神必地相信蘇聯(lián)有兩套哲學(xué)，一套是顯白的，另一套是隱微的，后者就是這么一個概念系統(tǒng)，從中可以推出一切真的結(jié)論。但更神必的是，他還贊美一個早就被遺忘的黑格爾壬——米什萊，“黑格爾派的永世流浪的猶太人”（恩格斯語）——哥德爾聲稱他在《哲學(xué)作為嚴(yán)格科學(xué)的體系》中對黑格爾的《邏輯學(xué)》作出了有益的推進(jìn)，因為他正是試圖建立這樣一個系統(tǒng)。

除了哥德爾，還有像京特這樣硬核的哲學(xué)家兼邏輯學(xué)家兼控制論專家試圖更嚴(yán)肅地對待黑格爾的辯證邏輯，但不知道為什么他很少被提到，可能是因為太硬核了（？）

看上去很嚇人

當(dāng)然，除了京特，一位更重要的人物，或許會讓黑格爾左派以及馬克思主義者（ @魔怔暴論plus @zzx @路覺 @紅葉泡紅茶 @星野愛 等）感到振奮的人物，試圖用數(shù)學(xué)的范疇論形式化黑格爾的辯證邏輯——此人就是威廉·勞威爾（William Lawvere），作為一名數(shù)學(xué)家，他以對范疇論的貢獻(xiàn)和拓?fù)渌估碚摚═opos-Theorie）的奠基人為人所熟知，但鮮為人知的是，他在70年代也是一個充滿激情的馬列毛主義者，他甚至用范疇論解讀了 的《矛盾論》：

據(jù)說，他還試圖解讀馬克思的微積分手稿，令人感嘆：

這項工作直至今日仍然在進(jìn)行，由理論物理學(xué)家Urs Schreiber，有能力的朋友可以了解一下：

Hegel's "Logic" as Modal Type Theory in nLab

?ncatlab.org/nlab/show/Hegel%27s+%22Logic%22+as+Modal+Type+Theory

總而言之，如果這項計劃是可行，那它無疑會為辯證唯物主義的武器庫添加了一些新東西（這不是比齊澤克的量子力學(xué)有趣多了嗎），黑格爾也會洗刷冤屈——因為，啊，感謝上帝，他還沒有被更嚴(yán)肅的領(lǐng)域所拋棄——盡管絕大多數(shù)人（至少我）沒有能力閱讀它。但無論如何，這是值得歡迎的，在黑格爾誕辰的今天，如果他知道這一切理當(dāng)感到欣慰。