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. |
12185 | Logical necessity is epistemic necessity, which is the old notion of a priori [Edgington, by McFetridge] |
Full Idea: Edgington's position is that logical necessity is an epistemic notion: epistemic necessity which, she claims, is the old notion of the a priori. Like Kripke, she thinks this is two-way independent of metaphysical necessity. | |
From: report of Dorothy Edgington (Epistemic and Metaphysical Possibility [1985]) by Ian McFetridge - Logical Necessity: Some Issues §1 | |
A reaction: [her paper was unpublished] She hence thinks an argument can be logically valid, while metaphysically its conclusion may not follow. Dubious, though I think I favour the view that logical necessity is underwritten by metaphysical necessity. |
6017 | Nomos is king [Pindar] |
Full Idea: Nomos is king. | |
From: Pindar (poems [c.478 BCE], S 169), quoted by Thomas Nagel - The Philosophical Culture | |
A reaction: This seems to be the earliest recorded shot in the nomos-physis wars (the debate among sophists about moral relativism). It sounds as if it carries the full relativist burden - that all that matters is what has been locally decreed. |