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
21493
|
Pure mathematics deals only with hypotheses, of which the reality does not matter [Peirce]
|
17620
|
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
19102
|
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
12876
|
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
12845
|
Some natural languages don't distinguish between singular and plural [Simons]
|
5. Theory of Logic / K. Features of Logics / 1. Axiomatisation
17605
|
Hilbert's geometry and Dedekind's real numbers were role models for axiomatization [Maddy]
|
17625
|
If two mathematical themes coincide, that suggest a single deep truth [Maddy]
|