Combining Texts

All the ideas for 'Model Theory for Modal Logic I', 'On a supposed right to lie' and 'Remarks on the Foundations of Mathematics'

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

---

5 ideas

3. Truth / H. Deflationary Truth / 1. Redundant Truth

11074

'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

9560	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

11073

Two and one making three has the necessity of logical inference [Wittgenstein]

23. Ethics / B. Contract Ethics / 3. Promise Keeping

22442

If lies were ever acceptable, with would undermine all duties based on contract [Kant]

23. Ethics / D. Deontological Ethics / 2. Duty

22441

The law will protect you if you tell a truth which results in murder [Kant]