Full Idea
Prior dislike the holism inherent in the claim that the meaning of a logical connective was determined by the inference patterns into which it validly fitted. ...His notorious example of 'tonk' (A → A-tonk-B → B) was a reductio of the view.
Gist of Idea
Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example
Source
report of Arthur N. Prior (The Runabout Inference Ticket [1960]) by Stephen Read - Thinking About Logic Ch.8
Book Reference
Read,Stephen: 'Thinking About Logic' [OUP 1995], p.225
A Reaction
[The view being attacked was attributed to Gentzen]