Combining Texts

All the ideas for 'Inexpressible Properties and Propositions', 'The Protestant Ethic and the Spirit of Capitalism' and 'What are Sets and What are they For?'

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

20 ideas

3. Truth / H. Deflationary Truth / 3. Minimalist Truth
17990 Instances of minimal truth miss out propositions inexpressible in current English [Hofweber]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
14239 The empty set is usually derived from Separation, but it also seems to need Infinity [Oliver/Smiley]
14240 The empty set is something, not nothing! [Oliver/Smiley]
14241 We don't need the empty set to express non-existence, as there are other ways to do that [Oliver/Smiley]
14242 Maybe we can treat the empty set symbol as just meaning an empty term [Oliver/Smiley]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
14243 The unit set may be needed to express intersections that leave a single member [Oliver/Smiley]
5. Theory of Logic / G. Quantification / 4. Substitutional Quantification
17988 Quantification can't all be substitutional; some reference is obviously to objects [Hofweber]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
14234 If you only refer to objects one at a time, you need sets in order to refer to a plurality [Oliver/Smiley]
14237 We can use plural language to refer to the set theory domain, to avoid calling it a 'set' [Oliver/Smiley]
5. Theory of Logic / I. Semantics of Logic / 3. Logical Truth
14245 Logical truths are true no matter what exists - but predicate calculus insists that something exists [Oliver/Smiley]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
14246 If mathematics purely concerned mathematical objects, there would be no applied mathematics [Oliver/Smiley]
6. Mathematics / B. Foundations for Mathematics / 6. Mathematics as Set Theory / a. Mathematics is set theory
14247 Sets might either represent the numbers, or be the numbers, or replace the numbers [Oliver/Smiley]
8. Modes of Existence / B. Properties / 1. Nature of Properties
17989 Since properties have properties, there can be a typed or a type-free theory of them [Hofweber]
19. Language / F. Communication / 6. Interpreting Language / a. Translation
17991 Holism says language can't be translated; the expressibility hypothesis says everything can [Hofweber]
23. Ethics / D. Deontological Ethics / 2. Duty
20725 The idea of duty in one's calling haunts us, like a lost religion [Weber]
24. Political Theory / D. Ideologies / 11. Capitalism
20722 Acquisition and low consumption lead to saving, investment, and increased wealth [Weber]
20724 When asceticism emerged from the monasteries, it helped to drive the modern economy [Weber]
20717 Capitalism is not unlimited greed, and may even be opposed to greed [Weber]
20718 Modern western capitalism has free labour, business separate from household, and book-keeping [Weber]
29. Religion / B. Monotheistic Religion / 4. Christianity / a. Christianity
20719 Punish the heretic, but be indulgent to the sinner [Weber]