Combining Texts

All the ideas for 'fragments/reports', 'Noneism or Allism?' and 'Consciousness, Philosophy and Mathematics'

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


6 ideas

5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
We can quantify over fictions by quantifying for real over their names [Lewis]
     Full Idea: Substitutionalists simulate quantification over fictional characters by quantifying for real over fictional names.
     From: David Lewis (Noneism or Allism? [1990], p.159)
     A reaction: I would say that a fiction is a file of conceptual information, identified by a label. The label brings baggage with it, and there is no existence in the label.
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
We could quantify over impossible objects - as bundles of properties [Lewis]
     Full Idea: We can quantify over Meinongian objects by quantifying for real over property bundles (such as the bundle of roundness and squareness).
     From: David Lewis (Noneism or Allism? [1990], p.159)
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer]
     Full Idea: Mathematics rigorously treated from the point of view of deducing theorems exclusively by means of introspective construction, is called intuitionistic mathematics. It deviates from classical mathematics, which believes in unknown truths.
     From: Luitzen E.J. Brouwer (Consciousness, Philosophy and Mathematics [1948]), quoted by Stewart Shapiro - Thinking About Mathematics 1.2
     A reaction: Clearly intuitionist mathematics is a close cousin of logical positivism and the verification principle. This view would be anathema to Frege, because it is psychological. Personally I believe in the existence of unknown truths, big time!
7. Existence / A. Nature of Existence / 1. Nature of Existence
'Allists' embrace the existence of all controversial entities; 'noneists' reject all but the obvious ones [Lewis]
     Full Idea: An expansive friend of the controversial entities who says they all exist may be called an 'allist'; a tough desert-dweller who says that none of them exist may be called a 'noneist'.
     From: David Lewis (Noneism or Allism? [1990], p.152)
     A reaction: Lewis gives examples of the obvious and the controversial entities. Lewis implies that he himself is in between. The word 'desert' is a reference to Quine.
7. Existence / A. Nature of Existence / 2. Types of Existence
We can't accept a use of 'existence' that says only some of the things there are actually exist [Lewis]
     Full Idea: If 'existence' is understood so that it can be a substantive thesis that only some of the things there are exist, we will have none of it.
     From: David Lewis (Noneism or Allism? [1990], p.163)
     A reaction: Lewis is a strong advocate, following Quine, of the univocal sense of the word 'exist', and I agree with them.
10. Modality / A. Necessity / 8. Transcendental Necessity
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?