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.
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.
If Pa is “a is permitted”, it is ¬P¬a rather than ¬¬Pa.
You've lost me.
Sorry – it is a bit of an Uppsala tradition, both deontic and general modal logic, about “must”, and ”can”.
Now you’ve lost me, too.