Combining Texts

All the ideas for 'Mahaprajnaparamitashastra', 'Assertion' and 'On Platonism in Mathematics'

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


6 ideas

4. Formal Logic / F. Set Theory ST / 8. Critique of Set Theory
Very few things in set theory remain valid in intuitionist mathematics [Bernays]
     Full Idea: Very few things in set theory remain valid in intuitionist mathematics.
     From: Paul Bernays (On Platonism in Mathematics [1934])
6. Mathematics / C. Sources of Mathematics / 1. Mathematical Platonism / a. For mathematical platonism
Restricted Platonism is just an ideal projection of a domain of thought [Bernays]
     Full Idea: A restricted Platonism does not claim to be more than, so to speak, an ideal projection of a domain of thought.
     From: Paul Bernays (On Platonism in Mathematics [1934], p.261)
     A reaction: I have always found Platonism to be congenial when it talks of 'ideals', and ridiculous when it talks of a special form of 'existence'. Ideals only 'exist' because we idealise things. I may declare myself, after all, to be a Restricted Platonist.
6. Mathematics / C. Sources of Mathematics / 6. Logicism / d. Logicism critique
Mathematical abstraction just goes in a different direction from logic [Bernays]
     Full Idea: Mathematical abstraction does not have a lesser degree than logical abstraction, but rather another direction.
     From: Paul Bernays (On Platonism in Mathematics [1934], p.268)
     A reaction: His point is that the logicists seem to think that if you increasingly abstract from mathematics, you end up with pure logic.
19. Language / F. Communication / 2. Assertion
An assertion aims to add to the content of a context [Stalnaker, by Magidor]
     Full Idea: Stalnaker starts with the general thesis that the role of a successful assertion of s is to update the context by adding to it the content of s.
     From: report of Robert C. Stalnaker (Assertion [1978]) by Ofra Magidor - Category Mistakes 5.3.2
     A reaction: This is to be compared with criteria of meaningfulness, such as verificationism, and with Grice's rules of conversational implicature. Presumably if you assert what the context presupposes, you fail to assert, without being meaningless.
19. Language / F. Communication / 5. Pragmatics / b. Implicature
An assertion is an attempt to rule out certain possibilities, narrowing things down for good planning [Stalnaker, by Schroeter]
     Full Idea: Stalnaker's guiding idea is that in making an assertion the speaker is trying to get the audience to rule out certain possibilities. ....If all goes well, further planning will proceed on the basis of a smaller and more accurate range of possibilities.
     From: report of Robert C. Stalnaker (Assertion [1978]) by Laura Schroeter - Two-Dimensional Semantics
     A reaction: This sounds intuitively rather plausible, and is a nice original thought. This is what we pay clever chaps like Stalnaker to come up with. It seems to imply some notion of verisimilitude (qv. under 'truth'), depending on how much narrowing happens.
23. Ethics / C. Virtue Theory / 3. Virtues / a. Virtues
The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna]
     Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom.
     From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88)
     A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate').