Tonk, Plonk and Plink 1

A. N. Prior has recently discussed ² the connective tonk, where tonk is defined by specifying the role it plays in inference. Prior characterizes the role of tonk in inference by describing how it behaves as conclusion, and as premiss: (1) A ├ A-tonk-B, and (2) A-tonk-B ├ B (where we have used the sign ‘├’ for deducibility). We are then led by the transitivity of deducibility to the validity of A ├ B, “which promises to banish falsche Spitzfindigkeit from Logic for ever.”