22140
|
The greatest philosophers are methodical; it is what makes them great [Grice]
|
|
Full Idea:
The greatest philosophers have been the greatest, and most self-conscious, methodologists; indeed, I am tempted to regard the fact as primarily accounting for their greatness as philosophers.
|
|
From:
H. Paul Grice (Reply to Richards [1986], p.66), quoted by Stephen Boulter - Why Medieval Philosophy Matters 3
|
|
A reaction:
I agree. Philosophy is nothing if it is not devoted to the attempt to be fully rational, and that implies consistency and coherence. If a thinker doesn't even try to be systematic, I would not consider them to be a philosopher.
|
17896
|
We need to know the meaning of 'and', prior to its role in reasoning [Prior,AN, by Belnap]
|
|
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.
|
|
From:
report of Arthur N. Prior (The Runabout Inference Ticket [1960]) by Nuel D. Belnap - Tonk, Plonk and Plink 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.
|
17898
|
Prior's 'tonk' is inconsistent, since it allows the non-conservative inference A |- B [Belnap on Prior,AN]
|
|
Full Idea:
Prior's definition of 'tonk' is inconsistent. It gives us an extension of our original characterisation of deducibility which is not conservative, since in the extension (but not the original) we have, for arbitrary A and B, A |- B.
|
|
From:
comment on Arthur N. Prior (The Runabout Inference Ticket [1960]) by Nuel D. Belnap - Tonk, Plonk and Plink p.135
|
|
A reaction:
Belnap's idea is that connectives don't just rest on their rules, but also on the going concern of normal deduction.
|