Combining Texts

All the ideas for 'works (all lost)', 'The iterative conception of Set' and 'Letters to Leibniz'

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

2 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
16519 No one can conceive of a possible substance, apart from those which God has created [Arnauld]
     Full Idea: I am much mistaken if there is anyone who dares to say that he can conceive of a purely possible substance, …for although one talks so much of them, one never conceives them except according to the notion of those which God has created.
     From: Antoine Arnauld (Letters to Leibniz [1686], 1686.05.13), quoted by David Wiggins - Sameness and Substance 4.2
     A reaction: This idea cashes out in the 'necessitism' of Tim Williamson, and views on the Barcan formulae in modal logic.
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / h. Axiom of Replacement VII
18192 Do the Replacement Axioms exceed the iterative conception of sets? [Boolos, by Maddy]
     Full Idea: For Boolos, the Replacement Axioms go beyond the iterative conception.
     From: report of George Boolos (The iterative conception of Set [1971]) by Penelope Maddy - Naturalism in Mathematics I.3