back to ideas for this text


Single Idea 13836

[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 intended 'tonk' (a connective which leads to absurdity) as a criticism of the very idea of introducing or defining logical connectives by rules of inference.

Gist of Idea

Maybe introducing or defining logical connectives by rules of inference leads to absurdity

Source

report of Arthur N. Prior (The Runabout Inference Ticket [1960], §09) by Ian Hacking - What is Logic?

Book Reference

'A Philosophical Companion to First-Order Logic', ed/tr. Hughes,R.I.G. [Hackett 1993], p.236


Related Idea

Idea 11021 Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read]