La preocupación filosófica por la modalidad y las nociones afines ha existido siempre. En el siglo pasado, sin embargo, esa preocupación ha pasado por un contraste muy marcado, desde un desprestigio casi completo a un interés obsesivo. Esto se explica en buena medida por la transformación que impulsaron las ideas de Kripke y otros filósofos en la década del 70, tal como se ha indicado arriba. Los positivistas lógicos estuvieron inclinados a pensar que la necesidad de ciertas proposiciones estaba fundada simplemente en el significado que se ha convenido en otorgar a expresiones de un lenguaje. Los términos pueden tener asignado cualquier significado que queramos darle. Esto es un hecho puramente convencional. Dadas esas convenciones, habrá expresiones que, por su modo de estructuración, son verdaderas sin importar cómo sea el mundo. Otras serán falsas sin importar cómo sea el mundo –y sus negaciones, entonces, serán verdaderas sin importar cómo sea el mundo. Otras, en fin, no tendrán valores de verdad determinados por tales convenciones y la estructura semántica. Estas proposiciones serán algunas veces verdaderas, otras veces falsas de acuerdo con cómo sean los hechos. Un ejemplo muy característico de este enfoque es el de Carnap (1956). El ámbito de lo ‘necesario’ y, correlativamente, el ámbito de lo ‘imposible’ está fundado en los significados. La dilucidación de cuál sea el significado es algo que puede hacerse perfectamente a priori. Los positivistas rechazan la existencia de verdades ‘sintéticas a priori’ –tal como lo había propuesto Kant– pero no se han movido un ápice de la asimilación de la necesidad con lo que puede justificarse a priori. De acuerdo con la definición de Carnap: <blockquote>Una oración '''G'''<sub>i</sub> es '''''L''-verdadera''' en un sistema semántico ''S'' si y sólo si '''G'''<sub>i</sub> es verdadera en ''S'' de tal modo que su verdad puede ser establecida sobre la base solamente de las reglas semánticas del sistema ''S'', sin referencia alguna a hechos (extra-lingüísticos). (Carnap 1956, 10).</blockquote>Por definición, una oración ''L''-verdadera se da en toda ‘descripción de estado’. Una ‘descripción de estado’ es una clase de oraciones que contiene, para toda oración atómica, o bien tal oración o su negación, pero no ambas. Una oración ''L''-determinada es una oración que es, o bien ''L''-verdadera o bien ''L''-falsa. Una oración ‘fáctica’ es una oración que no es ''L''-determinada. Se puede ver, entonces, que la necesidad se identifica con la verdad y la imposibilidad con la falsedad fundadas ambas en las ‘reglas semánticas’. La contingencia, en cambio, se identifica con los casos en los que no existe verdad o falsedad fundadas en ‘reglas semánticas’.
Por esto, las conexiones necesarias son todas ellas artefactos lingüísticos, cuyo fundamento es –finalmente– las convenciones por las que se ha asociado algún significado a expresiones de un lenguaje. Desde esta perspectiva no tiene sentido suponer que un objeto posee ciertas propiedades ‘necesariamente’. No tiene sentido suponer que hay algo así como una ‘esencia’ para un objeto, que sea la colección de todas las propiedades que ese objeto posee ‘necesariamente’. A un objeto se puede hacer referencia de muchas maneras. Sea una de esas formas de singularizar a un objeto la expresión ''D''. Será necesario para ''D'' ser ''F'', por ejemplo, pero esto tiene que ver no con cierta naturaleza íntima de aquello que ''D'' designa, sino que es algo que se sigue de la forma de designación. Quine hace notar que pensar cualquier otra cosa sería una ‘recaída’ en el esencialismo aristotélico (1953, 155): <blockquote>Esto [el esencialismo] implica adoptar una actitud discriminatoria hacia ciertas formas de especificar únicamente a ''x'', por ejemplo (33) [que 9 = el número de los planetas], y favoreciendo otras formas, por ejemplo (32) [que 9 = 3√9], como revelando mejor de algún modo la “esencia” del objeto. Las consecuencias de (32) pueden ser vistas, desde esta perspectiva, como necesariamente verdaderas del objeto que es 9 (y que es el número de los planetas), mientras que algunas consecuencias de (32) son consideradas como todavía sólo contingentemente verdaderas de ese objeto. (Quine, 1953, 155).</blockquote>El mismo objeto –en este caso, el número 9– puede ser singularizado como el número ''x'' que es el producto de la raíz cuadrada de ''x'' por 3, pero también como el número de los planetas[[#3|<sup>3</sup>]]<span id="...">. Parece razonable sostener que es necesario que 9 > 7. Sucede que 9 = 3√9, pero también que 9 es el número de los planetas. Entonces, si se sustituye el término “9” por otro que tenga la misma referencia, deberíamos aceptar como una consecuencia lógica de que es necesario que 9 es mayor que 7, que es necesario también que el número de los planetas sea mayor que 7. Pero parece obvio que no hay ninguna necesidad en que los planetas hayan sido más que siete. Nada parece obstar a que hubiesen llegado a ser menos.