Single Idea 11021

[catalogued under 5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives]

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


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]