10 ideas
| 15527 | Defining terms either enables elimination, or shows that they don't require elimination [Lewis] |
| Full Idea: To define theoretical terms might be to show how to do without them, but it is better to say that it shows there is no good reason to want to do without them. | |
| From: David Lewis (How to Define Theoretical Terms [1970], Intro) |
| 18200 | Very large sets should be studied in an 'if-then' spirit [Putnam] |
| Full Idea: Sets of a very high type or very high cardinality (higher than the continuum, for example), should today be investigated in an 'if-then' spirit. | |
| From: Hilary Putnam (The Philosophy of Logic [1971], p.347), quoted by Penelope Maddy - Naturalism in Mathematics | |
| A reaction: Quine says the large sets should be regarded as 'uninterpreted'. |
| 18199 | Indispensability strongly supports predicative sets, and somewhat supports impredicative sets [Putnam] |
| Full Idea: We may say that indispensability is a pretty strong argument for the existence of at least predicative sets, and a pretty strong, but not as strong, argument for the existence of impredicative sets. | |
| From: Hilary Putnam (The Philosophy of Logic [1971], p.346), quoted by Penelope Maddy - Naturalism in Mathematics II.2 |
| 8857 | We must quantify over numbers for science; but that commits us to their existence [Putnam] |
| Full Idea: Quantification over mathematical entities is indispensable for science..., therefore we should accept such quantification; but this commits us to accepting the existence of the mathematical entities in question. | |
| From: Hilary Putnam (The Philosophy of Logic [1971], p.57), quoted by Stephen Yablo - Apriority and Existence | |
| A reaction: I'm not surprised that Hartry Field launched his Fictionalist view of mathematics in response to such a counterintuitive claim. I take it we use numbers to slice up reality the way we use latitude to slice up the globe. No commitment to lines! |
| 15530 | A logically determinate name names the same thing in every possible world [Lewis] |
| Full Idea: A logically determinate name is one which names the same thing in every possible world. | |
| From: David Lewis (How to Define Theoretical Terms [1970], III) | |
| A reaction: This appears to be rigid designation, before Kripke introduced the new word. |
| 15528 | A Ramsey sentence just asserts that a theory can be realised, without saying by what [Lewis] |
| Full Idea: If we specify a theory with all of its terms, and then replace all of those terms with variables, we can then say that some n-tuples of entities can satisfy this formula. This Ramsey sentence then says the theory is realised, without specifying by what. | |
| From: David Lewis (How to Define Theoretical Terms [1970], II) | |
| A reaction: [I have compressed Lewis, and cut out the symbolism] |
| 15526 | There is a method for defining new scientific terms just using the terms we already understand [Lewis] |
| Full Idea: I contend that there is a general method for defining newly introduced terms in a scientific theory, one which uses only the old terms we understood beforehand. | |
| From: David Lewis (How to Define Theoretical Terms [1970], Intro) | |
| A reaction: Lewis is game is to provide bridge laws for a reductive account of nature, without having to introduce something entirely new to achieve it. The idea of bridge laws in scientific theory is less in favour these days. |
| 15529 | It is better to have one realisation of a theory than many - but it may not always be possible [Lewis] |
| Full Idea: A uniquely realised theory is, other things being equal, certainly more satisfactory than a multiply realised theory. We should insist on unique realisation as a standard of correctness unless it is a standard too high to be met. | |
| From: David Lewis (How to Define Theoretical Terms [1970], III) | |
| A reaction: The point is that rewriting a theory as Ramsey sentences just says there is at least one realisation, and so it doesn't meet the highest standards for scientific theories. The influence of set-theoretic model theory is obvious in this approach. |
| 15531 | The Ramsey sentence of a theory says that it has at least one realisation [Lewis] |
| Full Idea: The Ramsey sentence of a theory says that it has at least one realisation. | |
| From: David Lewis (How to Define Theoretical Terms [1970], V) |
| 7903 | 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'). |