Combining Texts

All the ideas for 'Science and Method', 'Mathematical Truth' and 'Symbolic Reasoning'

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


5 ideas

4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
The null class is the class with all the non-existents as its members [MacColl, by Lackey]
     Full Idea: In 1905 the Scottish logician Hugh MacColl published a paper in which he argued that the null class in logic should be taken as the class with all the non-existents as its members.
     From: report of Hugh MacColl (Symbolic Reasoning [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.95
     A reaction: For the null object (zero) Frege just chose one sample concept with an empty extension. MacColl's set seems to have a lot of members, given that it is 'null'. How many, I wonder? Russell responded to this paper.
6. Mathematics / A. Nature of Mathematics / 1. Mathematics
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.
6. Mathematics / A. Nature of Mathematics / 2. Geometry
One geometry cannot be more true than another [Poincaré]
     Full Idea: One geometry cannot be more true than another; it can only be more convenient.
     From: Henri Poincaré (Science and Method [1908], p.65), quoted by Stewart Shapiro - Philosophy of Mathematics
     A reaction: This is the culminating view after new geometries were developed by tinkering with Euclid's parallels postulate.
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
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
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.