Combining Texts

All the ideas for 'Letter to the Editor about Bayle', 'Remarks on the Foundations of Mathematics' and 'Model Theory for Modal Logic I'

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


5 ideas

3. Truth / H. Deflationary Truth / 1. Redundant Truth
'It is true that this follows' means simply: this follows [Wittgenstein]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / a. Early logicism
Two and one making three has the necessity of logical inference [Wittgenstein]
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / c. Essence and laws
In addition to laws, God must also create appropriate natures for things [Leibniz]
27. Natural Reality / A. Classical Physics / 1. Mechanics / a. Explaining movement
All that is real in motion is the force or power which produces change [Leibniz]