Combining Texts

Ideas for 'Parmenides', 'Introduction to Russell's Theory of Types' and 'A Structural Account of Mathematics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


1 idea

18. Thought / E. Abstraction / 7. Abstracta by Equivalence
I prefer the open sentences of a Constructibility Theory, to Platonist ideas of 'equivalence classes' [Chihara]
     Full Idea: What I refer to as an 'equivalence class' (of line segments of a particular length) is an open sentence in my Constructibility Theory. I just use this terminology of the Platonist for didactic purposes.
     From: Charles Chihara (A Structural Account of Mathematics [2004], 09.10)
     A reaction: This is because 'equivalence classes' is committed to the existence of classes, which is Quinean Platonism. I am with Chihara in wanting a story that avoids such things. Kit Fine is investigating similar notions of rules of construction.