Combining Texts

All the ideas for 'Clitophon', 'Il Saggiatore ('The Assayer')' and 'Principles of Theoretical Logic'

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

---

6 ideas

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]

12. Knowledge Sources / B. Perception / 2. Qualities in Perception / d. Secondary qualities

7401	Heat and colour don't exist, so cannot mislead about the external world [Galileo, by Tuck]

5454	Tastes, odours and colours only reside in consciousness, and would disappear with creatures [Galileo]

14. Science / D. Explanation / 2. Types of Explanation / i. Explanations by mechanism

16560

Galileo introduced geometrico-mechanical explanation, based on Archimedes [Galileo, by Machamer/Darden/Craver]

22. Metaethics / B. Value / 2. Values / f. Altruism

1590	The just man does not harm his enemies, but benefits everyone [Plato]

26. Natural Theory / A. Speculations on Nature / 4. Mathematical Nature

3645	To understand the universe mathematics is essential [Galileo]