Combining Texts

All the ideas for 'Universal Prescriptivism', 'Mathematics is Megethology' and 'To be is to be the value of a variable..'

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

32 ideas

4. Formal Logic / F. Set Theory ST / 1. Set Theory
10807 Mathematics reduces to set theory, which reduces, with some mereology, to the singleton function [Lewis]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / b. Empty (Null) Set
10809 We can accept the null set, but not a null class, a class lacking members [Lewis]
10811 The null set plays the role of last resort, for class abstracts and for existence [Lewis]
10812 The null set is not a little speck of sheer nothingness, a black hole in Reality [Lewis]
4. Formal Logic / F. Set Theory ST / 3. Types of Set / c. Unit (Singleton) Sets
10813 What on earth is the relationship between a singleton and an element? [Lewis]
10814 Are all singletons exact intrinsic duplicates? [Lewis]
4. Formal Logic / F. Set Theory ST / 5. Conceptions of Set / a. Sets as existing
7785 The use of plurals doesn't commit us to sets; there do not exist individuals and collections [Boolos]
4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
10699 Does a bowl of Cheerios contain all its sets and subsets? [Boolos]
4. Formal Logic / G. Formal Mereology / 1. Mereology
10806 Megethology is the result of adding plural quantification to mereology [Lewis]
5. Theory of Logic / A. Overview of Logic / 7. Second-Order Logic
10225 Monadic second-order logic might be understood in terms of plural quantifiers [Boolos, by Shapiro]
10736 Boolos showed how plural quantifiers can interpret monadic second-order logic [Boolos, by Linnebo]
10780 Any sentence of monadic second-order logic can be translated into plural first-order logic [Boolos, by Linnebo]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
10697 Identity is clearly a logical concept, and greatly enhances predicate calculus [Boolos]
5. Theory of Logic / E. Structures of Logic / 6. Relations in Logic
10816 We can use mereology to simulate quantification over relations [Lewis]
5. Theory of Logic / G. Quantification / 5. Second-Order Quantification
13671 Second-order quantifiers are just like plural quantifiers in ordinary language, with no extra ontology [Boolos, by Shapiro]
5. Theory of Logic / G. Quantification / 6. Plural Quantification
10267 We should understand second-order existential quantifiers as plural quantifiers [Boolos, by Shapiro]
10698 Plural forms have no more ontological commitment than to first-order objects [Boolos]
5. Theory of Logic / G. Quantification / 7. Unorthodox Quantification
7806 Boolos invented plural quantification [Boolos, by Benardete,JA]
6. Mathematics / B. Foundations for Mathematics / 4. Axioms for Number / a. Axioms for numbers
10808 Mathematics is generalisations about singleton functions [Lewis]
6. Mathematics / B. Foundations for Mathematics / 7. Mathematical Structuralism / e. Structuralism critique
10815 We don't need 'abstract structures' to have structural truths about successor functions [Lewis]
7. Existence / D. Theories of Reality / 11. Ontological Commitment / b. Commitment of quantifiers
10700 First- and second-order quantifiers are two ways of referring to the same things [Boolos]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
10810 I say that absolutely any things can have a mereological fusion [Lewis]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / c. Ethical intuitionism
2705 How can intuitionists distinguish universal convictions from local cultural ones? [Hare]
2712 You can't use intuitions to decide which intuitions you should cultivate [Hare]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / h. Expressivism
2706 Emotivists mistakenly think all disagreements are about facts, and so there are no moral reasons [Hare]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / i. Prescriptivism
2709 Prescriptivism sees 'ought' statements as imperatives which are universalisable [Hare]
2704 If morality is just a natural or intuitive description, that leads to relativism [Hare]
2703 Descriptivism say ethical meaning is just truth-conditions; prescriptivism adds an evaluation [Hare]
2707 If there can be contradictory prescriptions, then reasoning must be involved [Hare]
2708 An 'ought' statement implies universal application [Hare]
2711 Prescriptivism implies a commitment, but descriptivism doesn't [Hare]
23. Ethics / D. Deontological Ethics / 3. Universalisability
2710 Moral judgements must invoke some sort of principle [Hare]