Combining Texts

All the ideas for 'fragments/reports', 'Words without Objects' and 'Constructibility and Mathematical Existence'

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


16 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
We could talk of open sentences, instead of sets [Chihara, by Shapiro]
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
If plural variables have 'some values', then non-count variables have 'some value' [Laycock]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
Plurals are semantical but not ontological [Laycock]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
Some non-count nouns can be used for counting, as in 'several wines' or 'fewer cheeses' [Laycock]
Some apparent non-count words can take plural forms, such as 'snows' or 'waters' [Laycock]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / b. Type theory
Chihara's system is a variant of type theory, from which he can translate sentences [Chihara, by Shapiro]
We can replace type theory with open sentences and a constructibility quantifier [Chihara, by Shapiro]
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / a. Constructivism
Introduce a constructibility quantifiers (Cx)Φ - 'it is possible to construct an x such that Φ' [Chihara, by Shapiro]
7. Existence / C. Structure of Existence / 8. Stuff / a. Pure stuff
The category of stuff does not suit reference [Laycock]
Descriptions of stuff are neither singular aggregates nor plural collections [Laycock]
7. Existence / C. Structure of Existence / 8. Stuff / b. Mixtures
We shouldn't think some water retains its identity when it is mixed with air [Laycock]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
Parts must be of the same very general type as the wholes [Laycock]
9. Objects / E. Objects over Time / 8. Continuity of Rivers
Cratylus said you couldn't even step into the same river once [Cratylus, by Aristotle]
13. Knowledge Criteria / D. Scepticism / 1. Scepticism
Cratylus decided speech was hopeless, and his only expression was the movement of a finger [Cratylus, by Aristotle]
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
'Humility is a virtue' has an abstract noun, but 'water is a liquid' has a generic concrete noun [Laycock]
19. Language / B. Reference / 1. Reference theories
It is said that proper reference is our intellectual link with the world [Laycock]