Backwards-looking operators in intensional logic and in philosophical analysis