Interesting!
I’ve never heard of this term “philosophy of fun”