Combining Texts

All the ideas for 'fragments/reports', 'Model Theory for Modal Logic I' and 'Reductive Theories of Modality'

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


3 ideas

1. Philosophy / D. Nature of Philosophy / 3. Philosophy Defined
Maybe what distinguishes philosophy from science is its pursuit of necessary truths [Sider]
     Full Idea: According to one tradition, necessary truth demarcates philosophical from empirical inquiry. Science identifies contingent aspects of the world, whereas philosophical inquiry reveals the essential nature of its objects.
     From: Theodore Sider (Reductive Theories of Modality [2003], 1)
     A reaction: I don't think there is a clear demarcation, and I would think that lots of generalizations about contingent truths are in philosophical territory, but I quite like this idea - even if it does make scientists laugh at philosophers.
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'.
21. Aesthetics / C. Artistic Issues / 7. Art and Morality
Musical performance can reveal a range of virtues [Damon of Ath.]
     Full Idea: In singing and playing the lyre, a boy will be likely to reveal not only courage and moderation, but also justice.
     From: Damon (fragments/reports [c.460 BCE], B4), quoted by (who?) - where?