11 ideas
| 8784 | Neo-logicism founds arithmetic on Hume's Principle along with second-order logic [Hale/Wright] |
| Full Idea: The result of joining Hume's Principle to second-order logic is a consistent system which is a foundation for arithmetic, in the sense that all the fundamental laws of arithmetic are derivable within it as theorems. This seems a vindication of logicism. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: The controversial part seems to be second-order logic, which Quine (for example) vigorously challenged. The contention against most attempts to improve Frege's logicism is that they thereby cease to be properly logical. |
| 8787 | The Julius Caesar problem asks for a criterion for the concept of a 'number' [Hale/Wright] |
| Full Idea: The Julius Caesar problem is the problem of supplying a criterion of application for 'number', and thereby setting it up as the concept of a genuine sort of object. (Why is Julius Caesar not a number?) | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 3) | |
| A reaction: One response would be to deny that numbers are objects. Another would be to derive numbers from their application in counting objects, rather than the other way round. I suspect that the problem only real bothers platonists. Serves them right. |
| 8788 | Logicism is only noteworthy if logic has a privileged position in our ontology and epistemology [Hale/Wright] |
| Full Idea: It is only if logic is metaphysically and epistemologically privileged that a reduction of mathematical theories to logical ones can be philosophically any more noteworthy than a reduction of any mathematical theory to any other. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 8) | |
| A reaction: It would be hard to demonstrate this privileged position, though intuitively there is nothing more basic in human rationality. That may be a fact about us, but it doesn't make logic basic to nature, which is where proper reduction should be heading. |
| 8783 | Logicism might also be revived with a quantificational approach, or an abstraction-free approach [Hale/Wright] |
| Full Idea: Two modern approaches to logicism are the quantificational approach of David Bostock, and the abstraction-free approach of Neil Tennant. | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1 n2) | |
| A reaction: Hale and Wright mention these as alternatives to their own view. I merely catalogue them for further examination. My immediate reaction is that Bostock sounds hopeless and Tennant sounds interesting. |
| 14919 | Empiricists deny what is unobservable, and reject objective modality [Fraassen] |
| Full Idea: To be an empiricist is to withhold belief in anything that goes beyond the actual, observable phenomena, and to recognise no objective modality in nature. | |
| From: Bas C. van Fraassen (The Scientific Image [1980], p.202), quoted by J Ladyman / D Ross - Every Thing Must Go 2.3.1 | |
| A reaction: To only believe in what is actually observable strikes me as ridiculous. It might be, though, that we observe modality, in observing dispositions. If you pull back a bowstring, you feel the possibilities. |
| 6783 | To 'accept' a theory is not to believe it, but to believe it empirically adequate [Fraassen, by Bird] |
| Full Idea: To 'accept' a theory is not to believe it, but is instead to believe it to be empirically adequate. | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Alexander Bird - Philosophy of Science Ch.4 | |
| A reaction: The second half of this doesn't avoid the word 'belief'. Nevertheless the suggestion is that we never believe (i.e. commit to truth) ever again. So you avoid an on-coming bus because the threat appears to be 'empirically adequate'. Hm. |
| 14917 | To accept a scientific theory, we only need to believe that it is empirically adequate [Fraassen] |
| Full Idea: Science aims to give us theories which are empirically adequate; and acceptance of a theory involves as belief only that it is empiricially adequate. | |
| From: Bas C. van Fraassen (The Scientific Image [1980], p.12), quoted by J Ladyman / D Ross - Every Thing Must Go 2.3.1 | |
| A reaction: This won't tell us what to do if there is a tie between two theories, and we will want to know the criteria for 'adequate'. Presumably there are theories which are empirically quite good, but not yet acceptable. Theories commit beyond experience. |
| 6784 | Why should the true explanation be one of the few we have actually thought of? [Fraassen, by Bird] |
| Full Idea: Van Fraassen asks why we should think that the actual explanation of the evidence should be found among the theories we are considering, when there must be an infinity of theories which are also potential explanations of the evidence? | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Alexander Bird - Philosophy of Science Ch.4 | |
| A reaction: This has become one of the leading modern anti-realist arguments. We must introduce an element of faith here; presumably evolution makes us experts on immediate puzzles, competent on intermediate ones, and hopeful on remote ones. |
| 13066 | An explanation is just descriptive information answering a particular question [Fraassen, by Salmon] |
| Full Idea: On van Fraassen's theory an explanation is simply an answer to a why-question; it is nothing other than descriptive information that, in a given context, answers a particular type of question. | |
| From: report of Bas C. van Fraassen (The Scientific Image [1980]) by Wesley Salmon - Four Decades of Scientific Explanation 4.3 | |
| A reaction: Presumably we would need some sort of criterion for a 'good' explanation, and it seems to me that a very good explanation might be given which was nevertheless beyond the grasp of the questioner. |
| 8786 | One first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines [Hale/Wright] |
| Full Idea: An example of a first-order abstraction principle is Frege's definition of 'direction' in terms of parallel lines; a higher-order example (which refers to first-order predicates) defines 'equinumeral' in terms of one-to-one correlation (Hume's Principle). | |
| From: B Hale / C Wright (Logicism in the 21st Century [2007], 1) | |
| A reaction: [compressed] This is the way modern logicians now treat abstraction, but abstraction principles include the elusive concept of 'equivalence' of entities, which may be no more than that the same adjective ('parallel') can be applied to them. |
| 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'). |