Combining Texts

Ideas for 'The Statesman', 'First-Order Logic' and 'Existence,Ontological Commitment and Fictions'

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

display all the ideas for this combination of texts


1 idea

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
What in the real world could ground the distinction between the sets {A,{A,B}} and {B,{A,B}}? [Inwagen]
     Full Idea: Nothing in the world of nominalistically acceptable things could ground or explain the non-identity of the set {A,{A,B}} with the set {B,{A,B}}.
     From: Peter van Inwagen (Existence,Ontological Commitment and Fictions [2003], p.154)
     A reaction: [He cites Goodman for this thought] Van Inwagen is offering this to show that the existence of sets is abstract, whereas Goodman was denying the existence of sets altogether. I'm with Goodman. Nice example.