Combining Texts

All the ideas for 'Principles of Theoretical Logic', 'Philosophy of Logics' and 'On 'Physics''

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

4 ideas

3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
2572 Logical truth seems much less likely to 'correspond to the facts' than factual truth does [Haack]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / a. Tarski's truth definition
2570 The same sentence could be true in one language and meaningless in another, so truth is language-relative [Haack]
4. Formal Logic / C. Predicate Calculus PC / 1. Predicate Calculus PC
17750 The first clear proof of the consistency of the first order predicate logic was in 1928 [Hilbert/Ackermann, by Walicki]
9. Objects / E. Objects over Time / 6. Successive Things
16695 Successive entities are in flux, flowing in existence, with different parts at different times [Oresme]