Ideas from 'The Runabout Inference Ticket' by Arthur N. Prior [1960], by Theme Structure

[found in 'Philosophical Logic' (ed/tr Strawson,P.F.) [OUP 1973,0-19-875004-8]].

green numbers give full details    |     back to texts     |     expand these ideas

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
We need to know the meaning of 'and', prior to its role in reasoning [Belnap]
Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap]
Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Read]
Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Hacking]