What's wrong with tonk(?) (Q815017): Difference between revisions

\textit{A. N. Prior}'s connective tonk [``The runabout inference ticket'', Analysis 21, 219--241 (1960)] is such that \(p \vdash p\) tonk \(q\), and \(p\) tonk \(q \vdash q\). Introduction of tonk would reduce a logic to triviality provided, as \textit{N. Belnap} [``Tonk, plonk, and plink'', Analysis 22, 130--134 (1962)] pointed out, we preserve our ordinary assumption that deducibility is transitive. Cook in this paper explores a logic with a non-transitive deducibility relation, making the general point that there is a trade-off between the acceptability of connectives and the legitimacy of a particular conception of logical consequence.