6 ideas
22329 | Logic is highly general truths abstracted from reality [Russell, by Glock] |
Full Idea: In 1911 Russell held that the propositions of logic are supremely general truths about the most pervasive traits of reality, to which we have access by abstraction from non-logical propositions. | |
From: report of Bertrand Russell (Philosophical Implications of Mathematical logic [1911]) by Hans-Johann Glock - What is Analytic Philosophy? 2.4 | |
A reaction: Glock says the rival views were Mill's inductions, psychologism, and Frege's platonism. Wittgenstein converted Russell to a fifth view, that logic is empty tautologies. I remain resolutely attached to Russell's abstraction view. |
8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
Full Idea: The modal structuralist thinks of mathematical structures as possibilities. The application of mathematics is just the realisation that a possible structure is actualised. As structures are possibilities, realist ontological problems are avoided. | |
From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Michèle Friend - Introducing the Philosophy of Mathematics 4.3 | |
A reaction: Friend criticises this and rejects it, but it is appealing. Mathematics should aim to be applicable to any possible world, and not just the actual one. However, does the actual world 'actualise a mathematical structure'? |
9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
Full Idea: Hellman represents statements of pure mathematics as elliptical for modal conditionals of a certain sort. | |
From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Charles Chihara - A Structural Account of Mathematics 5.3 | |
A reaction: It's a pity there is such difficulty in understanding conditionals (see Graham Priest on the subject). I intuit a grain of truth in this, though I take maths to reflect the structure of the actual world (with possibilities being part of that world). |
10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
Full Idea: The usual way to show that a sentence is possible is to show that it has a model, but for Hellman presumably a sentence is possible if it might have a model (or if, possibly, it has a model). It is not clear what this move brings us. | |
From: comment on Geoffrey Hellman (Mathematics without Numbers [1989]) by Stewart Shapiro - Philosophy of Mathematics 7.3 | |
A reaction: I can't assess this, but presumably the possibility of the model must be demonstrated in some way. Aren't all models merely possible, because they are based on axioms, which seem to be no more than possibilities? |
23218 | The brain has no responsibility for sensations, which occur in the heart [Aristotle] |
Full Idea: And of course, the brain is not responsible for any of the sensations at all. The correct view is that the seat and source of sensation is the region of the heart. | |
From: Aristotle (The Parts of Animals [c.345 BCE]), quoted by Matthew Cobb - The Idea of the Brain 1 | |
A reaction: [Need a reference] Hippocrates's assertion a century earlier made no impression on the great man. I wish he had been a little more circumspect with his own view. |
21569 | It is good to generalise truths as much as possible [Russell] |
Full Idea: It is a good thing to generalise any truth as much as possible. | |
From: Bertrand Russell (Philosophical Implications of Mathematical logic [1911], p.289) | |
A reaction: An interesting claim, which seems to have a similar status to Ockham's Razor. Its best justification is pragmatic, and concerns strategies for coping with a big messy world. Russell's defence is in 'as much as possible'. |