Combining Texts

Ideas for 'Defending the Axioms', 'Parts' and 'works'

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

display all the ideas for this combination of texts


7 ideas

5. Theory of Logic / C. Ontology of Logic / 3. If-Thenism
Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce]
Critics of if-thenism say that not all starting points, even consistent ones, are worth studying [Maddy]
5. Theory of Logic / D. Assumptions for Logic / 1. Bivalence
Bivalence is a regulative assumption of enquiry - not a law of logic [Peirce, by Misak]
5. Theory of Logic / F. Referring in Logic / 1. Naming / a. Names
Philosophy is stuck on the Fregean view that an individual is anything with a proper name [Simons]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Some natural languages don't distinguish between singular and plural [Simons]
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy]
If two mathematical themes coincide, that suggest a single deep truth [Maddy]