Abstract

In standard modal logic, □ ≡ ∼◊ ∼ and ◊ ≡ ∼□∼. I will, first, examine why in tense-logic, Arthur Prior thinks that ∼ ◊ ∼ is weaker than □ and ∼ □ ∼ is weaker than ◊. I will, then, examine whether there are similar motivations in modal logic to take ∼ ◊ ∼ to be weaker than □ and ∼ □ ∼ to be weaker than ◊. The upshot will be that, just as certain metaphysical views within the philosophy of time (e.g., Presentism) motivate one to deny the standard tense equivalences, certain metaphysical views within the metaphysics of modality (e.g., Contingentism, nonmodalism) motivate one to deny the standard modal equivalences.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call