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