avatar
Paul Pharoah @paulpharoah.bsky.social

The statement "I can't not [do something]" is a double negative, but means something other than the positive. I.e. it means "I must..." And not "I can...". That's as interesting as my day gets.

aug 30, 2025, 2:31 pm • 1 0

Replies

avatar
Karl Pettersson @karlpettersson.bsky.social

If Pa is “a is permitted”, it is ¬P¬a rather than ¬¬Pa.

aug 30, 2025, 2:46 pm • 0 0 • view
avatar
Paul Pharoah @paulpharoah.bsky.social

You've lost me.

aug 30, 2025, 3:33 pm • 1 0 • view
avatar
Karl Pettersson @karlpettersson.bsky.social

Sorry – it is a bit of an Uppsala tradition, both deontic and general modal logic, about “must”, and ”can”.

aug 30, 2025, 4:07 pm • 1 0 • view
avatar
jody-h.bsky.social @jody-h.bsky.social

Now you’ve lost me, too.

aug 30, 2025, 8:06 pm • 0 0 • view