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