Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'The Essence of Reference' and 'Models and Reality'

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

11 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
9915 V = L just says all sets are constructible [Putnam]
13655 The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro]
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
10429 It is best to say that a name designates iff there is something for it to designate [Sainsbury]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
10425 Definite descriptions may not be referring expressions, since they can fail to refer [Sainsbury]
10438 Definite descriptions are usually rigid in subject, but not in predicate, position [Sainsbury]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
9913 The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
9914 It is unfashionable, but most mathematical intuitions come from nature [Putnam]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
10432 A new usage of a name could arise from a mistaken baptism of nothing [Sainsbury]
19. Language / B. Reference / 5. Speaker's Reference
10434 Even a quantifier like 'someone' can be used referentially [Sainsbury]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
7903 The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
26. Natural Theory / A. Speculations on Nature / 3. Natural Function
10431 Things are thought to have a function, even when they can't perform them [Sainsbury]