Ruth Barcan Marcus
Ruth Barcan Marcus ( dans le Bronx - ) est une philosophe et logicienne américaine, plus particulièrement connue pour ses découvertes en logique modale, comme la Formule de Barcan.Ses travaux en philosophie du langage et en philosophie de la logique sur la quantification substitutionnelle ou l'identité et la référence des termes ont une influence sur les théories de la Référence directe de Saul Kripke. Informations fournies par Wikipedia