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