Combining Texts

All the ideas for 'fragments/reports', 'Mind and Its Place in Nature' and 'Model Theory for Modal Logic I'

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

3 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'.
10. Modality / A. Necessity / 8. Transcendental Necessity
490 Everything happens by reason and necessity [Leucippus]
     Full Idea: Nothing happens at random; everything happens out of reason and by necessity.
     From: Leucippus (fragments/reports [c.435 BCE], B002), quoted by (who?) - where?
12. Knowledge Sources / B. Perception / 6. Inference in Perception
7628 Broad rejects the inferential component of the representative theory [Broad, by Maund]
     Full Idea: Broad, one of the most important modern defenders of the representative theory of perception, explicitly rejects the inferential component of the theory.
     From: report of C.D. Broad (Mind and Its Place in Nature [1925]) by Barry Maund - Perception Ch.1
     A reaction: Since the supposed inferences happen much too quickly to be conscious, it is hard to see how we could distinguish an inference from an interpretation mechanism. Personally I interpret things long before the question of truth arises.