De Church et Carnap à Quine, Kripke, Hintikka et Kamp, les différentes approches du sens dénotationnel et de la notion de proposition, n'ont toujours pas résolu cette question , ramenée au rôle de puzzle par Kripke, due pour Hintikka à la non- omniscience du logicien et due pour Quine à une " opacité " référentielle inhérente à la formulation linguistique.