istnieje co najmniej jedna wartość (value) α, przy której A jest prawdziwe.
Esencjalizm Artykuł Modalities and Intensional Languages [Modalności a języki intensjonalne] opublikowany został w czasopiśmie „Synthese” w 1961Modalities and Intensional Languages, „Synthese” XIII,4, s. 303–322.. W lutym 1962 został odczytany na Bostońskim Kolokwium Filozofii Nauki, wraz z komentarzem W. V. Quine’a. W zbiorze Modalities. Philosophical Essays dodany został zapis związanej z tym odczytem dyskusji, w której uczestniczyli autorka, Quine i Kripke.
Quine, zwłaszcza w dziele World and Object, stawiał logice modalnej zarzut pomieszania użycia i wymienienia – według niego Lewis, konstruując swoje systemy, nieprawnie zinterpretował zwroty języka naturalnego wyrażające konieczność jako operatory zdaniowe, ponieważ powinny być one rozpatrywane przede wszystkim jako predykaty. Ruth Barcan Marcus broni logik modalnych przed tymi zarzutami, dostrzegając ich przydatność dla analizy pojęć takich jak przyczynowość, obowiązek czy wiara.