more on this theme | more from this text
Full Idea
For Prior, so the moral goes, we must first have a notion of what 'and' means, independently of the role it plays as premise and as conclusion.
Gist of Idea
We need to know the meaning of 'and', prior to its role in reasoning
Source
report of Arthur N. Prior (The Runabout Inference Ticket [1960]) by Nuel D. Belnap - Tonk, Plonk and Plink p.132
Book Ref
'Philosophical Logic', ed/tr. Strawson,P.F. [OUP 1973], p.132
A Reaction
The meaning would be given by the truth tables (the truth-conditions), whereas the role would be given by the natural deduction introduction and elimination rules. This seems to be the basic debate about logical connectives.
22899 | 'Thank goodness that's over' is not like 'thank goodness that happened on Friday' [Prior,AN] |
15201 | That Queen Anne is dead is a 'general fact', not a fact about Queen Anne [Prior,AN] |
17896 | We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap] |
17898 | Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN] |
11021 | Prior rejected accounts of logical connectives by inference pattern, with 'tonk' his absurd example [Prior,AN, by Read] |
13836 | Maybe introducing or defining logical connectives by rules of inference leads to absurdity [Prior,AN, by Hacking] |