論理學 에서 時間 論理 (時間論里, temporal logic)는 時間 의 槪念을 나타낼 수 있는 論理 體系를 이르는 말이다. 特히 時祭 論理 (時制論里, tense logic)라 하면 樣相 論理 를 基盤으로 한 時間 論理를 가리키는 말로, 線型 時祭 論理 와 計算 트리 論理 等이 알려져 있으며 컴퓨터 科學 分野에서 重要하게 應用되고 있다.

Prior의 時祭 論理 (TL) [ 編輯 ]

Arthur Prior가 1950年代에 著書 Time and Modality 에서 처음 導入한 詩祭 論理 體系에는 一般的 1次 論理 演算子에 더하여 다음의 4가지 樣相 演算子가 더해졌다.

• P a: "過去의 어떤 時點에 a 라는 일이 있었다"
• F a: "未來의 어떤 時點에 a 라는 일이 있을 것이다"
• G a: "未來의 모든 時點에 a 라는 일이 있을 것이다"
• H a: "過去의 모든 時點에 a 라는 일이 있었다"

다음과 같이 P 와 F 로부터 G 와 H 가 導出될 수 있고, 그 驛도 그러하다:

${\displaystyle {\begin{aligned}F&\equiv \lnot G\lnot \\P&\equiv \lnot H\lnot \end{aligned}}}$

같이 보기 [ 編輯 ]

• 線型 時祭 論理
• 樣相 論理
• 時間

이 글은 哲學에 關한 토막글 입니다. 여러분의 知識으로 알차게 文書를 完成해 갑시다.