Philosophe, elle est professeur à l’École Normale Supérieure, où elle enseigne l’histoire de la philosophie, l’histoire de la logique et l’esthétique. Elle a publié Phénoménologie et langues formulaires, 1992 ; Pour une histoire de la logique, 1995 ; Maurice Merleau-Ponty, 2005. Ses diverses publications portent sur les invariants des logiques grecques, Port-Royal, Kant, Wittgenstein et Frege.