Combining Philosophers

All the ideas for Nicolas Malebranche, Quentin Smith and Hilbert,D/Ackermann,W

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

---

5 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]

8. Modes of Existence / B. Properties / 8. Properties as Modes

16669

Everything that exists is either a being, or some mode of a being [Malebranche]

26. Natural Theory / C. Causation / 9. General Causation / d. Causal necessity

12726

In a true cause we see a necessary connection [Malebranche]

2594	A true cause must involve a necessary connection between cause and effect [Malebranche]

27. Natural Reality / C. Space / 6. Space-Time

15194

Time, as it appears in standard modern science, is bad verificationist metaphysics [Smith,Q, by Le Poidevin]