Full Idea
'Tonk' is stipulated by Prior to stand for a meaning that obeys the elimination and introduction rules; but there simply is no such meaning; 'tonk' cannot be interpreted so as to obey the rules.
Gist of Idea
'Tonk' is supposed to follow the elimination and introduction rules, but it can't be so interpreted
Source
Theodore Sider (Writing the Book of the World [2011], 06.5)
Book Reference
Sider,Theodore: 'Writing the Book of the World' [OUP 2011], p.103
A Reaction
'Tonk' thus seems to present a problem for so-called 'natural' deduction, if the natural deduction consists of nothing more than obey elimination and introduction rules.