摘要：普萊爾較早較系統(tǒng)地創(chuàng)立了時(shí)態(tài)邏輯。蒯因認(rèn)為模態(tài)邏輯的產(chǎn)生面臨三個(gè)等級(jí)的牽涉,但是這并沒有阻礙普萊爾構(gòu)建時(shí)態(tài)邏輯。普萊爾出于哲學(xué)的和技術(shù)的考慮在時(shí)態(tài)邏輯的基礎(chǔ)上進(jìn)一步建立了混合時(shí)態(tài)邏輯?；旌蠒r(shí)態(tài)邏輯在人文和計(jì)算機(jī)科學(xué)中有著重要的應(yīng)用,但它又引起了進(jìn)一步的牽涉,普萊爾對(duì)此沒有給出充分的說明,本文將追尋普萊爾提出混合時(shí)態(tài)邏輯的過程并對(duì)其合理性進(jìn)行論述。筆者認(rèn)為邏輯牽涉是形式化方法必然會(huì)帶來的問題,但是多半是可以化解的。