Physical Propositions and Quantum Languages