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