麥加拉—斯多葛學(xué)派邏輯聯(lián)結(jié)詞的電路仿真研究

打開文本圖片集

摘要：“來克頓”是麥加拉—斯多葛學(xué)派用于表達真假判斷的復(fù)合命題；四個邏輯聯(lián)結(jié)詞之間存在互定義關(guān)系，并與經(jīng)典邏輯理論相互映射；實質(zhì)蘊涵理論推出三真一假共四種條件命題真值形式，實質(zhì)蘊涵的“前假后真”特性引發(fā)了長期的學(xué)術(shù)爭議（即“蘊涵怪論”）；邏輯聯(lián)結(jié)詞的數(shù)理邏輯化，使得蘊涵怪論在一階謂詞邏輯層面獲得了徹底的解決；計算機、數(shù)理邏輯和數(shù)學(xué)共屬一階謂詞形式系統(tǒng)，意味著邏輯聯(lián)結(jié)詞可以轉(zhuǎn)換為計算機軟件和硬件的形式；文章通過計算機電路仿真，展示了麥加拉—斯多葛學(xué)派邏輯聯(lián)結(jié)詞的物質(zhì)性基礎(chǔ)和客觀性，并探討了其蘊含的樸素辯證法思想。（剩余4257字）