普萊爾混合時態(tài)邏輯的思想基礎(chǔ)
作者：霍書全 安徽大學(xué)哲學(xué)系
摘要：普萊爾較早較系統(tǒng)地創(chuàng)立了時態(tài)邏輯。蒯因認為模態(tài)邏輯的產(chǎn)生面臨三個等級的牽涉,但是這并沒有阻礙普萊爾構(gòu)建時態(tài)邏輯。普萊爾出于哲學(xué)的和技術(shù)的考慮在時態(tài)邏輯的基礎(chǔ)上進一步建立了混合時態(tài)邏輯?；旌蠒r態(tài)邏輯在人文和計算機科學(xué)中有著重要的應(yīng)用,但它又引起了進一步的牽涉,普萊爾對此沒有給出充分的說明,本文將追尋普萊爾提出混合時態(tài)邏輯的過程并對其合理性進行論述。筆者認為邏輯牽涉是形式化方法必然會帶來的問題,但是多半是可以化解的。
注：因版權(quán)方要求，不能公開全文，如需全文，請咨詢雜志社。
中山大學(xué)學(xué)報論叢雜志
中山大學(xué)學(xué)報論叢雜志， 月刊，本刊重視學(xué)術(shù)導(dǎo)向，堅持科學(xué)性、學(xué)術(shù)性、先進性、創(chuàng)新性，刊載內(nèi)容涉及的欄目：研究報告、文獻綜述、簡報等。于1981年經(jīng)新聞總署批準(zhǔn)的正規(guī)刊物。
- 部級期刊
- 1個月內(nèi)審核