5 ideas
| 9935 | Mathematical truth is always compromising between ordinary language and sensible epistemology [Benacerraf] |
| Full Idea: Most accounts of the concept of mathematical truth can be identified with serving one or another of either semantic theory (matching it to ordinary language), or with epistemology (meshing with a reasonable view) - always at the expense of the other. | |
| From: Paul Benacerraf (Mathematical Truth [1973], Intro) | |
| A reaction: The gist is that language pulls you towards platonism, and epistemology pulls you towards empiricism. He argues that the semantics must give ground. He's right. |
| 17927 | Realists have semantics without epistemology, anti-realists epistemology but bad semantics [Benacerraf, by Colyvan] |
| Full Idea: Benacerraf argues that realists about mathematical objects have a nice normal semantic but no epistemology, and anti-realists have a good epistemology but an unorthodox semantics. | |
| From: report of Paul Benacerraf (Mathematical Truth [1973]) by Mark Colyvan - Introduction to the Philosophy of Mathematics 1.2 |
| 9936 | The platonist view of mathematics doesn't fit our epistemology very well [Benacerraf] |
| Full Idea: The principle defect of the standard (platonist) account of mathematical truth is that it appears to violate the requirement that our account be susceptible to integration into our over-all account of knowledge. | |
| From: Paul Benacerraf (Mathematical Truth [1973], III) | |
| A reaction: Unfortunately he goes on to defend a causal theory of justification (fashionable at that time, but implausible now). Nevertheless, his general point is well made. Your theory of what mathematics is had better make it knowable. |
| 17897 | Analytic explanation is wholes in terms of parts; synthetic is parts in terms of wholes or contexts [Belnap] |
| Full Idea: Throughout the whole texture of philosophy we distinguish two modes of explanation: the analytic mode, which tends to explain wholes in terms of parts, and the synthetic mode, which explains parts in terms of the wholes or contexts in which they occur. | |
| From: Nuel D. Belnap (Tonk, Plonk and Plink [1962], p.132) | |
| A reaction: The analytic would be bottom-up, and the synthetic would be top-down. I'm inclined to combine them, and say explanation begins with a model, which can then be sliced in either direction, though the bottom looks more interesting. |
| 19216 | 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? |