5 ideas
15873 | Laws of nature are just records of regularities and correlations, with concepts to make recording them easier [Mach, by Harré] |
Full Idea: For Mach, the laws of nature are simply the compendious record of sensory regularities, correlations of elements. Any additional concepts are no more than symbols or devices for the convenient recording of general sensory patterns. | |
From: report of Ernst Mach (Popular Scientific Lectures [1894], pp.201-5) by Rom Harré - Laws of Nature 2 | |
A reaction: Mach is the high priest of scientific positivism, which is really just hard-line empiricism. |
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? |
19699 | A Gettier case is a belief which is true, and its fallible justification involves some luck [Hetherington] |
Full Idea: A Gettier case contains a belief which is true and well justified without being knowledge. Its justificatory support is also fallible, ...and there is considerable luck in how the belief combnes being true with being justified. | |
From: Stephen Hetherington (The Gettier Problem [2011], 5) | |
A reaction: This makes luck the key factor. 'Luck' is a rather vague concept, and so the sort of luck involved must first be spelled out. Or the varieties of luck that can produce this outcome. |