The paper defends the thesis that analysis of truth problem in the context of interpretations of quantum logic allows to come to more general problem of the coherence between the scope of quantum mechanical and quantum logical studies on the basis of principle of the indiscernibility of identicals entered by G. Leibnitz and developed by S. Kripke. At the same time it’s revealed the prospect of elicitation of specifics of the relations between quantum mechanics and quantum logic in a context of modal expansions of quantum logic.