A structural tonk

Article

Summary *

When logicians work with multiple-conclusion systems, they use a metalinguistic comma ‘,’ to aggregate premisses and/or conclusions. In this note, I present an analogy between this comma and Prior’s infamous connective TONK. The analogy reveals that these expressions have much in common. I argue that, indeed, the comma can be seen as a structural incarnation of TONK. The upshot is that, whatever story one has to tell about TONK, there are good reasons to tell a similar story about the comma in typical multiple-conclusion systems, and vice versa. Information provided by the agent in SIGEVA