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,0198750048]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / a. Logical connectives
17898

Prior's 'tonk' is inconsistent, since it allows the nonconservative inference A  B

11021

Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example

13836

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

17896

We need to know the meaning of 'and', prior to its role in reasoning
