New semantics for the extensional but hyper-intensional part \({\mathcal L}_\alpha\) of the modal sense language \({\mathcal S}{\mathcal L}_\alpha^\nu\) (Q2277438)

In previous papers the author has presented a number of formalized intensional languages intended to deal with various paradoxes which arise when belief operators are treated as applying to `senses' conceived of as structured meanings. The problems are caused in iterated belief sentences where a belief operator may have to accept as argument a structure which contains itself as a value. Like its predecessors the present paper orders senses so that iterated operators only apply to lower-order versions of themselves. The new feature of the present paper is that by omitting non-logical constants and intensional operators one can admit the validity of the various logical axioms for a much wider class of sense orders.