on whether modus ponens is located somewhere.

Literally, the marks that [the logician] makes on paper are just as much a part of the world as is [ordinary language]. Logically, to vary the metaphor, these marks are nowhere.

Gustav Bergmann, “Strawson’s Ontology”