3 ideas
| 16886 | The truth of an axiom must be independently recognisable [Frege] |
| Full Idea: It is part of the concept of an axiom that it can be recognised as true independently of other truths. | |
| From: Gottlob Frege (On Euclidean Geometry [1900], 183/168), quoted by Tyler Burge - Frege on Knowing the Foundations 4 | |
| A reaction: Frege thinks the axioms of arithmetic all reside in logic. |
| 15282 | Facts should be deducible from the theory and initial conditions, and prefer the simpler theory [Osiander, by Harré/Madden] |
| Full Idea: The two positivist criteria for a scientific theory are that the facts must be deducible from the theory together with initial conditions, and if there is more than one theory the simplest must be chosen. | |
| From: report of Andreas Osiander (Preface to 'De Revolutionibus' [1543]) by Harré,R./Madden,E.H. - Causal Powers 7.I | |
| A reaction: Harré and Madden cite this as a famous early statement of positivism. It seems to combine Hempel and Lewis very concisely. Wrong, of course. It does not, though, appear to mention 'laws'. |
| 16383 | Puzzled Pierre has two mental files about the same object [Recanati on Kripke] |
| Full Idea: In Kripke's puzzle about belief, the subject has two distinct mental files about one and the same object. | |
| From: comment on Saul A. Kripke (A Puzzle about Belief [1979]) by François Recanati - Mental Files 17.1 | |
| A reaction: [Pierre distinguishes 'London' from 'Londres'] The Kripkean puzzle is presented as very deep, but I have always felt there was a simple explanation, and I suspect that this is it (though I will leave the reader to think it through, as I'm very busy…). |