Combining Texts

All the ideas for 'Nietzsche and Philosophy', 'English as a Formal Language' 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'.

5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions

18779	'The' is a quantifier, like 'every' and 'a', and does not result in denotation [Montague]
	Full Idea: The expression 'The' turns out to play the role of a quantifier, in complete analogy with 'every' and 'a', and does not generate (in common with common noun phrases) denoting expressions
	From: Richard Montague (English as a Formal Language [1970], p.216), quoted by Bernard Linsky - Quantification and Descriptions 4
	A reaction: Linsky says that it is now standard to interpret definite descriptions as quantifiers

7. Existence / A. Nature of Existence / 3. Being / c. Becoming

21899	There is no being beyond becoming [Deleuze]
	Full Idea: There is no being beyond becoming, nothing beyond multiplicity. ...Becoming is the affirmation of being.
	From: Gilles Deleuze (Nietzsche and Philosophy [1962], p.23), quoted by Todd May - Gilles Deleuze 2.09
	A reaction: This places Deleuze in what I think of as the Heraclitus tradition. Parmenides does Being, Heraclitus does Becoming, Aristotle does Beings.