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

17896

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

13836

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

17898

Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap]

11021

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