Combining Texts

All the ideas for 'Necessary Existents', 'reports' and 'On the Foundations of Logic and Arithmetic'

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


4 ideas

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.
19. Language / D. Propositions / 3. Concrete Propositions
Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]
     Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist?
     From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions
     A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done?
25. Social Practice / D. Justice / 3. Punishment / c. Deterrence of crime
The greatest deterrence for injustice is if uninjured parties feel as much indignation as those who are injured [Solon, by Diog. Laertius]
     Full Idea: Men can be most effectively deterred from committing injustice if those who are not injured feel as much indignation as those who are.
     From: report of Solon (reports [c.600 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 01.So.10