Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'The Foundations of Mathematics' and 'Reference and Necessity'

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


20 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / f. Axiom of Infinity V
Infinity: there is an infinity of distinguishable individuals [Ramsey]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / p. Axiom of Reducibility
Reducibility: to every non-elementary function there is an equivalent elementary function [Ramsey]
5. Theory of Logic / D. Assumptions for Logic / 4. Identity in Logic
Either 'a = b' vacuously names the same thing, or absurdly names different things [Ramsey]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
To understand a name (unlike a description) picking the thing out is sufficient? [Stalnaker]
5. Theory of Logic / L. Paradox / 1. Paradox
Contradictions are either purely logical or mathematical, or they involved thought and language [Ramsey]
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Formalists neglect content, but the logicists have focused on generalizations, and neglected form [Ramsey]
6. Mathematics / C. Sources of Mathematics / 7. Formalism
Formalism is hopeless, because it focuses on propositions and ignores concepts [Ramsey]
9. Objects / C. Structure of Objects / 7. Substratum
Possible worlds allow separating all the properties, without hitting a bare particular [Stalnaker]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
If it might be true, it might be true in particular ways, and possible worlds describe such ways [Stalnaker]
Possible worlds allow discussion of modality without controversial modal auxiliaries [Stalnaker]
Possible worlds are ontologically neutral, but a commitment to possibilities remains [Stalnaker]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
Kripke's possible worlds are methodological, not metaphysical [Stalnaker]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
Rigid designation seems to presuppose that differing worlds contain the same individuals [Stalnaker]
11. Knowledge Aims / A. Knowledge / 4. Belief / d. Cause of beliefs
I just confront the evidence, and let it act on me [Ramsey]
13. Knowledge Criteria / C. External Justification / 3. Reliabilism / a. Reliable knowledge
A belief is knowledge if it is true, certain and obtained by a reliable process [Ramsey]
19. Language / A. Nature of Meaning / 1. Meaning
If you don't know what you say you can't mean it; what people say usually fits what they mean [Stalnaker]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
In the use of a name, many individuals are causally involved, but they aren't all the referent [Stalnaker]
19. Language / C. Assigning Meanings / 2. Semantics
'Descriptive' semantics gives a system for a language; 'foundational' semantics give underlying facts [Stalnaker]
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
To understand an utterance, you must understand what the world would be like if it is true [Stalnaker]
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]