18 ideas
| 10528 | Definitions concern how we should speak, not how things are [Fine,K] |
| Full Idea: Our concern in giving a definition is not to say how things are by to say how we wish to speak | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310) | |
| A reaction: This sounds like an acceptable piece of wisdom which arises out of analytical and linguistic philosophy. It puts a damper on the Socratic dream of using definition of reveal the nature of reality. |
| 9944 | We understand some statements about all sets [Putnam] |
| Full Idea: We seem to understand some statements about all sets (e.g. 'for every set x and every set y, there is a set z which is the union of x and y'). | |
| From: Hilary Putnam (Mathematics without Foundations [1967], p.308) | |
| A reaction: His example is the Axiom of Choice. Presumably this is why the collection of all sets must be referred to as a 'class', since we can talk about it, but cannot define it. |
| 9937 | I do not believe mathematics either has or needs 'foundations' [Putnam] |
| Full Idea: I do not believe mathematics either has or needs 'foundations'. | |
| From: Hilary Putnam (Mathematics without Foundations [1967]) | |
| A reaction: Agreed that mathematics can function well without foundations (given that the enterprise got started with no thought for such things), the ontology of the subject still strikes me as a major question, though maybe not for mathematicians. |
| 9939 | It is conceivable that the axioms of arithmetic or propositional logic might be changed [Putnam] |
| Full Idea: I believe that under certain circumstances revisions in the axioms of arithmetic, or even of the propositional calculus (e.g. the adoption of a modular logic as a way out of the difficulties in quantum mechanics), is fully conceivable. | |
| From: Hilary Putnam (Mathematics without Foundations [1967], p.303) | |
| A reaction: One can change the axioms of a system without necessarily changing the system (by swapping an axiom and a theorem). Especially if platonism is true, since the eternal objects reside calmly above our attempts to axiomatise them! |
| 10529 | If Hume's Principle can define numbers, we needn't worry about its truth [Fine,K] |
| Full Idea: Neo-Fregeans have thought that Hume's Principle, and the like, might be definitive of number and therefore not subject to the usual epistemological worries over its truth. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.310) | |
| A reaction: This seems to be the underlying dream of logicism - that arithmetic is actually brought into existence by definitions, rather than by truths derived from elsewhere. But we must be able to count physical objects, as well as just counting numbers. |
| 10530 | Hume's Principle is either adequate for number but fails to define properly, or vice versa [Fine,K] |
| Full Idea: The fundamental difficulty facing the neo-Fregean is to either adopt the predicative reading of Hume's Principle, defining numbers, but inadequate, or the impredicative reading, which is adequate, but not really a definition. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.312) | |
| A reaction: I'm not sure I understand this, but the general drift is the difficulty of building a system which has been brought into existence just by definition. |
| 9940 | Maybe mathematics is empirical in that we could try to change it [Putnam] |
| Full Idea: Mathematics might be 'empirical' in the sense that one is allowed to try to put alternatives into the field. | |
| From: Hilary Putnam (Mathematics without Foundations [1967], p.303) | |
| A reaction: He admits that change is highly unlikely. It take hardcore Millian arithmetic to be only changeable if pebbles start behaving very differently with regard to their quantities, which appears to be almost inconceivable. |
| 9941 | Science requires more than consistency of mathematics [Putnam] |
| Full Idea: Science demands much more of a mathematical theory than that it should merely be consistent, as the example of the various alternative systems of geometry dramatizes. | |
| From: Hilary Putnam (Mathematics without Foundations [1967]) | |
| A reaction: Well said. I don't agree with Putnam's Indispensability claims, but if an apparent system of numbers or lines has no application to the world then I don't consider it to be mathematics. It is a new game, like chess. |
| 9943 | You can't deny a hypothesis a truth-value simply because we may never know it! [Putnam] |
| Full Idea: Surely the mere fact that we may never know whether the continuum hypothesis is true or false is by itself just no reason to think that it doesn't have a truth value! | |
| From: Hilary Putnam (Mathematics without Foundations [1967]) | |
| A reaction: This is Putnam in 1967. Things changed later. Personally I am with the younger man all they way, but I reserve the right to totally change my mind. |
| 16422 | The necessity of a proposition concerns reality, not our words or concepts [Stalnaker] |
| Full Idea: The necessity or contingency of a proposition has nothing to do with our concepts or the meanings of our words. The possibilities would have been the same even if we had never conceived of them. | |
| From: Robert C. Stalnaker (Conceptual truth and metaphysical necessity [2003], 1) | |
| A reaction: This sounds in need of qualification, since some of the propositions will be explicitly about words and concepts. Still, I like this idea. |
| 16423 | Conceptual possibilities are metaphysical possibilities we can conceive of [Stalnaker] |
| Full Idea: Conceptual possibilities are just (metaphysical) possibilities that we can conceive of. | |
| From: Robert C. Stalnaker (Conceptual truth and metaphysical necessity [2003], 1) |
| 16421 | Critics say there are just an a priori necessary part, and an a posteriori contingent part [Stalnaker] |
| Full Idea: Critics say there are no irreducible a posteriori truths. They can be factored into a part that is necessary, but knowable a priori through conceptual analysis, and a part knowable only a posteriori, but contingent. 2-D semantics makes this precise. | |
| From: Robert C. Stalnaker (Conceptual truth and metaphysical necessity [2003], 1) | |
| A reaction: [Critics are Sidelle, Jackson and Chalmers] Interesting. If gold is necessarily atomic number 79, or it wouldn't be gold, that sounds like an analytic truth about gold. Discovering the 79 wasn't a discovery of a necessity. Stalnaker rejects this idea. |
| 16429 | A 'centred' world is an ordered triple of world, individual and time [Stalnaker] |
| Full Idea: A 'centred' possible world is an ordered triple consisting of a possible world, an individual in the domain of that world, and a time. | |
| From: Robert C. Stalnaker (Conceptual truth and metaphysical necessity [2003], 2) |
| 16428 | Meanings aren't in the head, but that is because they are abstract [Stalnaker] |
| Full Idea: Meanings ain't in the head. Putnam's famous slogan actually fits Frege's anti-psychologism better than it fits Purnam's and Burge's anti-individualism. The point is that intensions of any kind are abstract objects. | |
| From: Robert C. Stalnaker (Conceptual truth and metaphysical necessity [2003], 2) | |
| A reaction: If intensions are abstract, that leaves (for me) the question of what they are abstracted from. I take it that there are specific brain events that are being abstractly characterised. What do we call those? |
| 10527 | An abstraction principle should not 'inflate', producing more abstractions than objects [Fine,K] |
| Full Idea: If an abstraction principle is going to be acceptable, then it should not 'inflate', i.e. it should not result in there being more abstracts than there are objects. By this mark Hume's Principle will be acceptable, but Frege's Law V will not. | |
| From: Kit Fine (Precis of 'Limits of Abstraction' [2005], p.307) | |
| A reaction: I take this to be motivated by my own intuition that abstract concepts had better be rooted in the world, or they are not worth the paper they are written on. The underlying idea this sort of abstraction is that it is 'shared' between objects. |
| 16432 | One view says the causal story is built into the description that is the name's content [Stalnaker] |
| Full Idea: In 'causal descriptivism' the causal story is built into the description that is the content of the name (and also incorporates a rigidifying operator to ensure that the descriptions that names abbreviate have wide scope). | |
| From: Robert C. Stalnaker (Conceptual truth and metaphysical necessity [2003], 5) | |
| A reaction: Not very controversial, I would say, since virtually every fact about the world has a 'causal story' built into it. Must we insist on rigidity in order to have wide scope? |
| 16430 | Two-D says that a posteriori is primary and contingent, and the necessity is the secondary intension [Stalnaker] |
| Full Idea: Two-dimensionalism says the necessity of a statement is constituted by the fact that the secondary intensions is a necessary proposition, and their a posteriori character is constituted by the fact that the associated primary intension is contingent. | |
| From: Robert C. Stalnaker (Conceptual truth and metaphysical necessity [2003], 2) | |
| A reaction: This view is found in Sidelle 1989, and then formalised by Jackson and Chalmers. I like metaphysical necessity, but I have some sympathy with the approach. The question must always be 'where does this necessity derive from'? |
| 16431 | In one view, the secondary intension is metasemantic, about how the thinker relates to the content [Stalnaker] |
| Full Idea: On the metasemantic interpretation of the two-dimensional framework, the second dimension is used to represent the metasemantic facts about the relation between a thinker or speaker and the contents of her thoughts or utterances. | |
| From: Robert C. Stalnaker (Conceptual truth and metaphysical necessity [2003], 4) | |
| A reaction: I'm struggling to think what facts there might be about the relation between myself and the contents of my thoughts. I'm more or less constituted by my thoughts. |