While this may seem trivial, our language often belies the true nature of our beliefs.
The journalist concluded, for example, that Lord Palmerston's judgment was "dubious," his language, "trivial" and his voice, "clear but slender".
Self-Reference is obviously trivial in any language possessing the pronoun "I".
For single languages, this is trivial: if the target language is L and it is generated by a grammar G, then the procedure "Always guess G" does the job, and every language is learnable.
It turns out that some rational merging/revision/update operators are not guaranteed to offer the most basic (yet non-trivial) form of language independence.
A case study is also discussed, namely the K definition of the dynamic and static semantics of SIMPLE, a non-trivial imperative programming language.
Universalists retort that such neo-Whorfians are finding trivial surface features of language: the claim that language truly constricts thinking is still not proven.With all that in mind, which is the hardest language?
It's hard to believe, but from these seemingly trivial concepts emerged a language that is the bread and butter of all the symmetries (and the notion of symmetry-breaking) in modern physics.
One was a trivial definition for a finite language; it simply listed the finitely many true sentences.
The only valuations that respect both these determinants are vT, assigning T to every formula, and vF assigning F to every formula, and the logic determined by {vT,vF} is the smallest trivial consequence relation on the language concerned.
