 (F\(_{\textit{any}}\))  is a very strong thesis and most standard semantic theories are incompatible with it. Take, for example, a simple Carnapian semantics that assigns to each sentence the set of possible worlds where it is true. Suppose we are considering a language that contains the standard logical operators, and so any sentence is a constituent of a necessarily true sentence. Since the meaning of a necessary truth is the set of all possible worlds, this set would have to determine the meanings of all sentences in the language, which is absurd.