3 ideas
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'. |
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 |
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. |