Combining Texts

All the ideas for 'Scientific Explanation', 'Leibniz' and 'On the Foundations of Logic and Arithmetic'

unexpand these ideas     |    start again     |     specify just one area for these texts


4 ideas

2. Reason / F. Fallacies / 4. Circularity
One sort of circularity presupposes a premise, the other presupposes a rule being used [Braithwaite, by Devitt]
     Full Idea: An argument is 'premise-circular' if it aims to establish a conclusion that is assumed as a premise of that very argument. An argument is 'rule-circular' if it aims to establish a conclusion that asserts the goodness of the rule used in that argument.
     From: report of R.B. Braithwaite (Scientific Explanation [1953], p.274-8) by Michael Devitt - There is no a Priori §2
     A reaction: Rule circularity is the sort of thing Quine is always objecting to, but such circularities may be unavoidable, and even totally benign. All the good things in life form a mutually supporting team.
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
The existence of an arbitrarily large number refutes the idea that numbers come from experience [Hilbert]
     Full Idea: The standpoint of pure experience seems to me to be refuted by the objection that the existence, possible or actual, of an arbitrarily large number can never be derived through experience, that is, through experiment.
     From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.130)
     A reaction: Alternatively, empiricism refutes infinite numbers! No modern mathematician will accept that, but you wonder in what sense the proposed entities qualify as 'numbers'.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Logic already contains some arithmetic, so the two must be developed together [Hilbert]
     Full Idea: In the traditional exposition of the laws of logic certain fundamental arithmetic notions are already used, for example in the notion of set, and to some extent also of number. Thus we turn in a circle, and a partly simultaneous development is required.
     From: David Hilbert (On the Foundations of Logic and Arithmetic [1904], p.131)
     A reaction: If the Axiom of Infinity is meant, it may be possible to purge the arithmetic from the logic. Then the challenge to derive arithmetic from it becomes rather tougher.
9. Objects / F. Identity among Objects / 7. Indiscernible Objects
The Identity of Indiscernibles is really the same as the verification principle [Jolley]
     Full Idea: Various writers have noted that the Identity of Indiscernibles is really tantamount to the verification principle.
     From: Nicholas Jolley (Leibniz [2005], Ch.3)
     A reaction: Both principles are false, because they are the classic confusion of epistemology and ontology. The fact that you cannot 'discern' a difference between two things doesn't mean that there is no difference. Things beyond verification can still be discussed.