#temporal logic

“X will never happen” or “never X” can be formalized as “∀t>0, ¬X(t)”.

“X will ever happen” or “ever X” (archaic) can be formalized as “∀T, ∃t>T: X(t)”.

“X will never ever ever happen” can, therefore, be formalized as: ∀t>0, ¬∀T2, ∃t2>T2: ∀T1, ∃t1>T1: X(t1) ⇔ ¬∀T2, ∃t2>T2: ∀T1, ∃t1>T1: X(t1) ⇔ ∃T2: ∀t2>T2, ∃T1: ∀t1>T1, ¬X(t1) ⇔ ∃T1: ∀t1>T1, ¬X(t1) which is a strictly weaker claim than “never X”: colloquially, it could be read as “someday X will stop happening, but it could still definitely happen in the future.” In this paper, we argue that the deliberate addition of this extra nuance suggests that Swift is intimating to her paramour that, in fact,

It’s fine to text; it’s fine to drive; it’s not fine to text and drive at the same time. Hence:

If it’s permissible to do something, and it’s permissible to do something else - that doesn’t mean it’s permissible to do both those things at the same time. 

[Note to self: At first this was written out as “If an act a is permissible, and an act b is permissible, it does not entail that a and b are permissible at the same time. But then I recalled what SG said about how rigour sometimes obscures more than it helps, the old joke that rigour should not lead to rigor mortis, Knuth’s advice on writing mathematics, and a quote from Daniel Dennett in Freedom Evolves: 

Some philosophers can't bear to say simple things, like “Suppose a dog bites a man.” They feel obliged instead to say, "Suppose a dog d bites a man m at time t," thereby demonstrating their unshakable commitment to logical rigor, even though they don’t go on to manipulate any formulae involving d, m, and t.”

"Hanyuu-san must have put so much time into it; a handmade gift… I’ll have to take extra care of it". His small fingers tightened their hold on the card, clutching it preciously like any other and keeping it close. "It’s so pretty".

Gingerbread: What does your muse enjoy about the holidays?

SEND ME A ✍ AND I’LL INTRODUCE YOU TO A MUSE THAT I’D LIKE TO RP AS.

“And I need you to know that every moment you love being yourself, that's me, loving you and loving being you. Because you're going to be extraordinary.”

Rose Quartz | Steven Universe