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]].

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
Maybe introducing or defining logical connectives by rules of inference leads to absurdity
We need to know the meaning of 'and', prior to its role in reasoning
Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B
Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example