My philosophy acquaintances are busy and or bored

  1. When the future now will end the past now will not (FN =/= PN)
  2. The present now will have ended when some past now will end (PN -> TN)
  3. When the future now will end the present now will not have ended (FN =/= TN)

How can I ask this question without it being poorly received and closed? I'm not saying I'm right: I want to know if I might be (so I'm not pushing a personal philosophy).

What about: how would you phrase this in temporal logic (and is it wrong)?

1 Answer 1


It sounds like at least part of your question is "How to symbolize this concept in modal logic" which is definitely a common question-pattern here.

  • That makes sense, thanks for the reply. The second assumption isn't very appealing so IDC
    – user62727
    Commented Sep 30, 2022 at 20:26
  • Exactly what I talked about. Maybe the community could edit the question for first questioners and those with low reps? Just as SE requires? Or construe them as broadly to answer as it was necessary for you to understand and then advice how to reformulate it to be understood? Commented Oct 11, 2022 at 14:03

You must log in to answer this question.