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
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
Maybe introducing or defining logical connectives by rules of inference leads to absurdity