Combining Texts

All the ideas for 'fragments/reports', 'The Sign of Four' and 'Model Theory for Modal Logic I'

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


3 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Even pointing a finger should only be done for a reason [Epictetus]
     Full Idea: Philosophy says it is not right even to stretch out a finger without some reason.
     From: Epictetus (fragments/reports [c.57], 15)
     A reaction: The key point here is that philosophy concerns action, an idea on which Epictetus is very keen. He rather despise theory. This idea perfectly sums up the concept of the wholly rational life (which no rational person would actually want to live!).
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]
     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 / 1. Induction
If you eliminate the impossible, the truth will remain, even if it is weird [Conan Doyle]
     Full Idea: When you have eliminated the impossible, whatever remains, however improbable, must be the truth.
     From: Arthur Conan Doyle (The Sign of Four [1890], Ch. 6)
     A reaction: A beautiful statement, by Sherlock Holmes, of Eliminative Induction. It is obviously not true, of course. Many options may still face you after you have eliminated what is actually impossible.