Temporalna interpretacja logiki modalnej
Temporal Interpretation of Modal Logic

Summary/Abstract: The temporal interpretation of modal logic consists in replacing possible worlds with temporal states of the world or any time determinates and the accessibility relation with a relation of passage of time. That issue has been raised by A. N. Prior, who was thinking of propositions as things which could change their truth-values (could become true or become false) with the passage of time. Under such interpretation Prior was reading a formula (□ϕ ) as: it (is and) will always be the case that ϕ or: it (is and) has always been the case that ϕ . The formula (◇ϕ ) should be read respectively. In the present paper the interpretation in question is examined. Its sources are presented and its consequences are analysed. It is claimed that the interpretation is highly disputable because of its disagreement with the physical meaning of temporal statements, established in the special relativity theory.

• Details
• Contents