Combining Texts

All the ideas for 'works', 'Protocol Sentences' and 'Models and Reality'

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


7 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro]
V = L just says all sets are constructible [Putnam]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
It is unfashionable, but most mathematical intuitions come from nature [Putnam]
13. Knowledge Criteria / B. Internal Justification / 4. Foundationalism / f. Foundationalism critique
If we are rebuilding our ship at sea, we should jettison some cargo [Boolos on Neurath]
We must always rebuild our ship on the open sea; we can't reconstruct it properly in dry-dock [Neurath]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / e. Human nature
There are two sides to men - the pleasantly social, and the violent and creative [Diderot, by Berlin]