Two recently popular metaphilosophical movements, formal philosophy and experimental philosophy, promote what seem to be conflicting methodologies. Nonetheless, I argue that the two can be mutually supportive. I propose an experimentally-informed variation on explication, a powerful formal philosophical tool introduced by Carnap. The resulting method, which I call “experimental explication,” provides the formalist with a means of responding to explication's gravest criticism. Moreover, this method introduces a philosophically salient, positive role for survey-style experiments while steering clear of several objections that critics of “positive experimental philosophy” raise. Thus, it provides the experimentalist with a more defensible example of how empirical work can have positive philosophical import. For these reasons, experimental explication should appeal to experimental philosophers and formal philosophers alike.