Combining Texts
Ideas for
'fragments/reports', 'Philosophical Implications of Mathematical logic' and 'Philosophies of Mathematics'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
10 ideas
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / b. Against mathematical platonism
10089
|
Talk of 'abstract entities' is more a label for the problem than a solution to it [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / c. Against mathematical empiricism
10131
|
If mathematics is not about particulars, observing particulars must be irrelevant [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
10092
|
In the unramified theory of types, the types are objects, then sets of objects, sets of sets etc. [George/Velleman]
|
10094
|
The theory of types seems to rule out harmless sets as well as paradoxical ones. [George/Velleman]
|
10095
|
Type theory has only finitely many items at each level, which is a problem for mathematics [George/Velleman]
|
17901
|
Type theory prohibits (oddly) a set containing an individual and a set of individuals [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 8. Finitism
10114
|
Bounded quantification is originally finitary, as conjunctions and disjunctions [George/Velleman]
|
10134
|
Much infinite mathematics can still be justified finitely [George/Velleman]
|
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
10123
|
The intuitionists are the idealists of mathematics [George/Velleman]
|
10124
|
Gödel's First Theorem suggests there are truths which are independent of proof [George/Velleman]
|