Ruth Barcan Marcus was a logician and important philosopher whose pioneering contributions
in the forties gave rise to the quantified modal logic. The so-called "Barcan formula" is a very controversial axiom of quantified modal logic. In this survey we retrace the important contributions of Barcan Marcus in debates in the philosophy of logic as to the essentialist implications of the use of quantifiers in modal logic, in philosophy of language (especially with his contributions on the reference and on proper names), and meta -Ethics (especially with respect to the arguments on the possibility of moral dilemma based sull'assiomatizzazione deontica and implications for the debate about the moral realism and the so-called "practical necessity"). Ruth Barcan Marcus è stata una importante logica e filosofa i cui contributi pionieristici negli anni quaranta hanno dato origine alla logica modale quantificata. La cosiddetta formula Barcan è un assioma assai controverso della logica modale quantificata. Barcan Marcus ha contribuito in modo significativo anche a dibattiti di filosofia della logica riguardo alle implicazioni essenzialiste dell'uso di quantificatori modali, di filosofia del linguaggio (specialmente con i suoi contributi sul riferimento e sui nomi propri), e di meta-etica (specialmente riguardo agli argomenti sulla possibilità del dilemma morale basati sull'assiomatizzazione deontica e sulle implicazioni per il dibattito intorno al realismo morale e la cosiddetta necessità pratica).
