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
17896

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

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
