The aim of this paper is to assess whether and at which level a nonclassical logic can be found that is satisfactory for a more adequate understanding of quantum theory. After analyzing the most meaningful proposals of quantum logic, we reach the following conclusions: At the level of the theory it is hard to find arguments in favor of the advisability of a nonclassical logic for a formal reconstruction of the theory. If, on the other hand, the issue is treated at the metatheoretical level, then, in line with von Weizsaecker, it might be proper to restrict the nonclassical logic at the experimental propositions level and to seek a consistent interpretation of it in a metalanguage conforming to classical logic. From this perspective, the problem of finding a logic adequate for quantum theory becomes eventually hardly distinguishable from a problem of language.