邏輯的計算進路--從萊布尼茨到圖靈的邏輯發展

【作者單位：北京語言大學信息科學學院+中國社會科學院哲學所】 摘要：現代邏輯肇始於萊布尼茨，在布爾和弗雷格處發生了分流，形成了所謂的邏輯的代數傳統和邏輯的語言傳統，然而，無論是代數傳統亦或者是語言傳統都離萊布尼茨的邏輯學綱領（即：「作爲科學、數學和哲學」的基礎）相去甚遠。在圖靈機理論中，圖靈核心闡述了「自動機」和「指令表語言」這兩個概念，這兩者很好地契合了萊布尼茨關於 「理性演算」和「普遍語言」的

>>阅读原文<<