PhilosophyIdeas
.com Database |
Current Total Ideas:
22,104
|
home
|
back
Combining Texts
All the ideas for 'On the Goal (frags)', 'Set Theory and its Logic' and 'Letter to Frege 29.12.1899'
expand these ideas
|
start again
| specify just
one area
for these texts
2 ideas
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
15716
If axioms and their implications have no contradictions, they pass my criterion of truth and existence
[Hilbert]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
21717
Reducibility undermines type ramification, and is committed to the existence of functions
[Quine, by Linsky,B]