back to ideas for this text


Single Idea 11021

[from 'The Runabout Inference Ticket' by Arthur N. Prior, in 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

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]