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'''_i es '''''L''-verdadera''' en un sistema semántico ''S'' si y sólo si '''G'''_i 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’.

Este tipo de objeciones a la existencia de hechos modales metafísicos –esto es, que están fundados en nuestros mecanismos semánticos– fueron dejadas a un lado en gran medida por las ideas de Kripke acerca de los nombres propios como ‘designadores rígidos’ y la llamada “teoría de la referencia directa”, tal como se ha explicado arriba. Hay una diferencia no-arbitraria entre diferentes formas de singularizar a un objeto, porque algunas de estas formas designan al ‘mismo’ objeto en todos los mundos posibles y otras no. Con todo, aún admitiendo que hay hechos modales objetivos cuya existencia no está constreñida por la forma en que accedemos a tales hechos, debe darse una explicación acerca de cuál es su naturaleza. En algún sentido, la cuestión acerca de la naturaleza de los hechos modales se torna mucho más urgente que antes, dado que no basta hacer apelación a factores epistemológicos y semánticos para adjudicar si algo es posible o necesario. Las décadas que han seguido a la transformación kripkeana han visto una proliferación de teorías para ofrecer esta explicación.

La relevancia de la contribución de Fine consiste en haber mostrado la insuficiencia de esta perspectiva. Corregir estas deficiencias requiere introducir nociones primitivas que no admiten ser analizadas por recursos modales. De acuerdo a la concepción modal de la esencia, resulta ‘esencial’ para un objeto ''a'' ser un elemento del conjunto singleton {''a''}, pues en todos los mundos posibles en que existe ''a'' existe también el conjunto {''a''}. Pero no parece esencial para ''a'' ser elemento de algún conjunto. La ‘identidad’ de un objeto no tiene que ver con ser o no elemento de tal o cual conjunto. Al revés, sí parece algo constitutivo de la identidad de un conjunto cuáles sean sus elementos. Además, es un hecho necesario que, por ejemplo, 2 + 3 = 5. Así, sería parte de la esencia de cualquier objeto el poseer la propiedad de ''ser tal que'' 2 + 3 = 5, pero no parece constitutivo de la identidad de un objeto cualquiera la totalidad de los hechos aritméticos. Si se quiere preservar la intuición de que hay propiedades que determinan ‘lo que algo es’ o ‘la identidad’ de un objeto, entonces se requiere hacer una distinción entre las propiedades que posee un objeto en todos los mundos posibles en que existe. Sólo algunas de esas propiedades son relevantes, pero las covariaciones modales no son capaces de efectuar esa discriminación. Fine propone, entonces –siguiendo una venerable tradición filosófica que se remonta a Aristóteles– tomar las esencias como primitivos, sin pretender analizarlas de algún modo. Las entidades poseen esencias y eso es un hecho básico. Los hechos modales, esto es, la distribución de hechos en los diferentes mundos posibles, están fundados en las esencias de las cosas y no al revés. Fine descansa en este concepto primitivo de ‘esencia’ para analizar la relación de dependencia ontológica. Una entidad ''A'' depende ontológicamente de ''B'' porque ''B'' es un constituyente de la esencia de ''A'' (cf. Fine 1995). Así como qué sea esencial no puede ser analizado en términos modales, tampoco puede ser analizado en términos modales qué sea dependiente ontológicamente de qué.

Durante los últimos diez años la relación de ‘fundación’ ha sido objeto de una atención notoria (cf. por ejemplo, los volúmenes Correia y Schnieder 2012a; Jago 2016; Bliss y Priest 2018). Hay una multitud de cuestiones que son objeto de una viva discusión. Muchos han tratado la relación de fundación como una relación entre ‘hechos’ (cf., por ejemplo, Rosen 2010). Otros la han tratado como conectivos oracionales (cf. Fine 2012), esto es, como un conectivo que permite construir oraciones complejas a partir de oraciones más simples. En la notación de Fine, la expresión “''A'' < ''B''” se debe leer como diciendo que “''B'' porque ''A''”. Las teorías de la ‘fundación’ son regimentaciones de las expresiones en las que utilizamos “porque” para expresar explicaciones ontológicas no causales. La relación de ''truthmaking'' sería un tipo de fundación entre la verdad de una proposición y los hechos que la determinan (cf. Correia y Schnieder 2012b, 25-28; Fine 2012, 43-46).