Combining Texts

All the ideas for 'Sisyphus (lost)', 'Model Theory for Modal Logic I' and 'talk'

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

2 ideas

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]
     Full Idea: S5 provides the correct logic for necessity in the broadly logical sense.
     From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics
     A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'.
14. Science / C. Induction / 3. Limits of Induction
7295 Maybe induction is only reliable IF reality is stable [Mitchell,A]
     Full Idea: Maybe we should say that IF regularities are stable, only then is induction a reliable procedure.
     From: Alistair Mitchell (talk [2006]), quoted by PG - Db (ideas)
     A reaction: This seems to me a very good proposal. In a wildly unpredictable reality, it is hard to see how anyone could learn from experience, or do any reasoning about the future. Natural stability is the axiom on which induction is built.