more on this theme | more from this thinker
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 Ref
'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]
17896 | We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap] |
17898 | Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN] |
11021 | Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read] |
13836 | Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking] |