40 ideas
| 22358 | Scientific objectivity lies in inter-subjective testing [Popper] |
| Full Idea: The objectivity of scientific statements lies in the fact that they can be inter-subjectively tested. | |
| From: Karl Popper (The Logic of Scientific Discovery [1934], p.22), quoted by Reiss,J/Spreger,J - Scientific Objectivity 2.4 | |
| A reaction: Does this mean that objectivity is the same as consensus? A bunch of subjective prejudiced fools can reach a consensus. And in the middle of that bunch there can be one person who is objecfive. Sounds wrong. |
| 12223 | It is a fallacy to explain the obscure with the even more obscure [Hale/Wright] |
| Full Idea: The fallacy of 'ad obscurum per obscurius' is to explain the obscure by appeal to what is more obscure. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §3) | |
| A reaction: Not strictly a fallacy, so much as an example of inadequate explanation, along with circularity and infinite regresses. |
| 12230 | Singular terms refer if they make certain atomic statements true [Hale/Wright] |
| Full Idea: Anyone should agree that a justification for regarding a singular term as having objectual reference is provided just as soon as one has justification for regarding as true certain atomic statements in which it functions as a singular term. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: The meat of this idea is hidden in the word 'certain'. See Idea 10314 for Hale's explanation. Without that, the proposal strikes me as absurd. |
| 10631 | If 'x is heterological' iff it does not apply to itself, then 'heterological' is heterological if it isn't heterological [Hale/Wright] |
| Full Idea: If we stipulate that 'x is heterological' iff it does not apply to itself, we speedily arrive at the contradiction that 'heterological' is itself heterological just in case it is not. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) |
| 10624 | The incompletability of formal arithmetic reveals that logic also cannot be completely characterized [Hale/Wright] |
| Full Idea: The incompletability of formal arithmetic reveals, not arithmetical truths which are not truths of logic, but that logical truth likewise defies complete deductive characterization. ...Gödel's result has no specific bearing on the logicist project. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §2 n5) | |
| A reaction: This is the key defence against the claim that Gödel's First Theorem demolished logicism. |
| 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. |
| 10629 | If structures are relative, this undermines truth-value and objectivity [Hale/Wright] |
| Full Idea: The relativization of ontology to theory in structuralism can't avoid carrying with it a relativization of truth-value, which would compromise the objectivity which structuralists wish to claim for mathematics. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: This is the attraction of structures which grow out of the physical world, where truth-value is presumably not in dispute. |
| 10628 | The structural view of numbers doesn't fit their usage outside arithmetical contexts [Hale/Wright] |
| Full Idea: It is not clear how the view that natural numbers are purely intra-structural 'objects' can be squared with the widespread use of numerals outside purely arithmetical contexts. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2 n26) | |
| A reaction: I don't understand this objection. If they refer to quantity, they are implicitly cardinal. If they name things in a sequence they are implicitly ordinal. All users of numbers have a grasp of the basic structure. |
| 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. |
| 10622 | The neo-Fregean is more optimistic than Frege about contextual definitions of numbers [Hale/Wright] |
| Full Idea: The neo-Fregean takes a more optimistic view than Frege of the prospects for the kind of contextual explanation of the fundamental concepts of arithmetic and analysis (cardinals and reals), which he rejected in 'Grundlagen' 60-68. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], §1) |
| 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. |
| 12225 | Neo-Fregeanism might be better with truth-makers, rather than quantifier commitment [Hale/Wright] |
| Full Idea: A third way has been offered to 'make sense' of neo-Fregeanism: we should reject Quine's well-known criterion of ontological commitment in favour of one based on 'truth-maker theory'. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4 n19) | |
| A reaction: [The cite Ross Cameron for this] They reject this proposal, on the grounds that truth-maker theory is not sufficient to fix the grounding truth-conditions of statements. |
| 12224 | Are neo-Fregeans 'maximalists' - that everything which can exist does exist? [Hale/Wright] |
| Full Idea: It is claimed that neo-Fregeans are committed to 'maximalism' - that whatever can exist does. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §4) | |
| A reaction: [The cite Eklund] They observe that maximalism denies contingent non-existence (of the £20 note I haven't got). There seems to be the related problem of 'hyperinflation', that if abstract objects are generated logically, the process is unstoppable. |
| 12226 | The identity of Pegasus with Pegasus may be true, despite the non-existence [Hale/Wright] |
| Full Idea: Identity is sometimes read so that 'Pegasus is Pegasus' expresses a truth, the non-existence of any winged horse notwithstanding. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: This would give you ontological commitment to truth, without commitment to existence. It undercuts the use of identity statements as the basis of existence claims, which was Frege's strategy. |
| 12229 | Maybe we have abundant properties for semantics, and sparse properties for ontology [Hale/Wright] |
| Full Idea: There is a compatibilist view which says that it is for the abundant properties to play the role of 'bedeutungen' in semantic theory, and the sparse ones to address certain metaphysical concerns. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Only a philosopher could live with the word 'property' having utterly different extensions in different areas of discourse. They similarly bifurcate words like 'object' and 'exist'. Call properties 'quasi-properties' and I might join in. |
| 18443 | A successful predicate guarantees the existence of a property - the way of being it expresses [Hale/Wright] |
| Full Idea: The good standing of a predicate is already trivially sufficient to ensure the existence of an associated property, a (perhaps complex) way of being which the predicate serves to express. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: 'Way of being' is interesting. Is 'being near Trafalgar Sq' a way of being? I take properties to be 'features', which seems to give a clearer way of demarcating them. They say they are talking about 'abundant' (rather than 'sparse') properties. |
| 11946 | Propensities are part of a situation, not part of the objects [Popper] |
| Full Idea: Propensities should not be regarded as inherent in an object, such as a die or a penny, but should be regarded as inherent in a situation (of which, of course, the object was part). | |
| From: Karl Popper (A World of Propensities [1993], p.14), quoted by George Molnar - Powers 6.2 | |
| A reaction: Molnar argues against this claim, and I agree with him. We can see why Popper might prefer this relational view, given that powers often only become apparent in unusual relational situations. |
| 10626 | Objects just are what singular terms refer to [Hale/Wright] |
| Full Idea: Objects, as distinct from entities of other types (properties, relations or, more generally, functions of different types and levels), just are what (actual or possible) singular terms refer to. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.1) | |
| A reaction: I find this view very bizarre and hard to cope with. It seems either to preposterously accept the implications of the way we speak into our ontology ('sakes'?), or preposterously bend the word 'object' away from its normal meaning. |
| 12177 | Human artefacts may have essences, in their purposes [Popper] |
| Full Idea: One might adopt the view that certain things of our own making, such as clocks, may well be said to have 'essences', viz. their 'purposes', and what makes them serve these purposes. | |
| From: Karl Popper (Conjectures and Refutations [1963], 3.3 n17) | |
| A reaction: This is from one of the arch-opponents of essentialism. Could we take him on a slippery slope into essences for evolved creatures, or their organs? His argument says admitting an essence for a clock prevents using it for another purpose. |
| 5451 | Popper felt that ancient essentialism was a bar to progress [Popper, by Mautner] |
| Full Idea: Karl Popper vehemently rejected the essentialism which underpins Plato and Aristotle, taking it to be a major obstacle to political, moral and scientific progress. | |
| From: report of Karl Popper (Open Society and Its Enemies:Hegel and Marx [1945]) by Thomas Mautner - Penguin Dictionary of Philosophy p.179 | |
| A reaction: This makes Popper sound like an existentialist, which seems unlikely. Modern essentialism would say the opposite about science - that hunting for external imposed laws is a red herring, and we should try to understand essences. |
| 22188 | Give Nobel Prizes for really good refutations? [Gorham on Popper] |
| Full Idea: Popper implies that we should be giving Nobel Prizes to scientists who use severe tests to show us what the world is not like! | |
| From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by Geoffrey Gorham - Philosophy of Science 2 | |
| A reaction: A lovely simple point. The refuters are important members of the scientific team, but not the leaders. |
| 18284 | Particulars can be verified or falsified, but general statements can only be falsified (conclusively) [Popper] |
| Full Idea: Whereas particular reality statements are in principle completely verifiable or falsifiable, things are different for general reality statements: they can indeed be conclusively falsified, they can acquire a negative truth value, but not a positive one. | |
| From: Karl Popper (Two Problems of Epistemology [1932], p.256), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap 18 'Laws' | |
| A reaction: This sounds like a logician's approach to science, but I prefer to look at coherence, where very little is actually conclusive, and one tinkers with the theory instead. |
| 7780 | Falsification is the criterion of demarcation between science and non-science [Popper, by Magee] |
| Full Idea: According to Popper, falsification is the criterion of demarcation between science and non-science. | |
| From: report of Karl Popper (The Logic of Scientific Discovery [1934]) by Bryan Magee - Popper Ch.3 | |
| A reaction: If I propose something which might be falsified in a hundred years, is it science NOW? Suppose my theory appeared to be falsifiable, but (after much effort) it turned out not to be? Suppose I just see a pattern (like quark theory) in a set of facts? |
| 16830 | We don't only reject hypotheses because we have falsified them [Lipton on Popper] |
| Full Idea: Popper's mistake is to hold that disconfirmation and elimination work exclusively through refutation. | |
| From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by Peter Lipton - Inference to the Best Explanation (2nd) 05 'Explanation' | |
| A reaction: The point is that we reject hypotheses even if they have not actually been refuted, on the grounds that they don't give a good explanation. I agree entirely with Lipton. |
| 6794 | If falsification requires logical inconsistency, then probabilistic statements can't be falsified [Bird on Popper] |
| Full Idea: In Popper's sense of the word 'falsify', whereby an observation statement falsifies a hypothesis only by being logically inconsistent with it, nothing can ever falsify a probabilistic or statistical hypothesis, which is therefore unscientific. | |
| From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by Alexander Bird - Philosophy of Science Ch.5 | |
| A reaction: In general, no prediction can be falsified until the events occur. This seems to be Aristotle's 'sea fight' problem (Idea 1703). |
| 6795 | When Popper gets in difficulties, he quietly uses induction to help out [Bird on Popper] |
| Full Idea: It is a feature of Popper's philosophy that when the going gets tough, induction is quietly called upon to help out. | |
| From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by Alexander Bird - Philosophy of Science Ch.5 | |
| A reaction: This appears to be the central reason for the decline in Popper's reputation as the saviour of science. It would certainly seem absurd to say that you know nothing when you have lots of verification but not a glimmer of falsification. |
| 3856 | Good theories have empirical content, explain a lot, and are not falsified [Popper, by Newton-Smith] |
| Full Idea: Popper's principles are roughly that one theory is superior to another if it has greater empirical content, if it can account for the successes of the first theory, and if it has not been falsified (unlike the first theory). | |
| From: report of Karl Popper (The Logic of Scientific Discovery [1934]) by W.H. Newton-Smith - The Rationality of Science I.6 |
| 7779 | There is no such thing as induction [Popper, by Magee] |
| Full Idea: According to Popper, induction is a dispensable concept, a myth. It does not exist. There is no such thing. | |
| From: report of Karl Popper (The Logic of Scientific Discovery [1934]) by Bryan Magee - Popper Ch.2 | |
| A reaction: This is a nice bold summary of the Popper view - that falsification is the underlying rational activity which we mistakenly think is verification by repeated observations. Put like this, Popper seems to be wrong. We obviously learn from experiences. |
| 3860 | Science cannot be shown to be rational if induction is rejected [Newton-Smith on Popper] |
| Full Idea: If Popper follows Hume in abandoning induction, there is no way in which he can justify the claims that there is growth of scientific knowledge and that science is a rational activity. | |
| From: comment on Karl Popper (The Logic of Scientific Discovery [1934]) by W.H. Newton-Smith - The Rationality of Science III.3 |
| 12176 | Science does not aim at ultimate explanations [Popper] |
| Full Idea: I contest the essentialist doctrine that science aims at ultimate explanations, one which cannot be further explained, and which is in no need of any further explanation. | |
| From: Karl Popper (Conjectures and Refutations [1963], 3.3) | |
| A reaction: If explanations are causal, this seems to a plea for an infinite regress of causes, which is an odd thing to espouse. Are the explanations verbal descriptions or things in the world. There can be no perfect descriptions, but there may be ultimate things. |
| 10630 | Abstracted objects are not mental creations, but depend on equivalence between given entities [Hale/Wright] |
| Full Idea: The new kind of abstract objects are not creations of the human mind. ...The existence of such objects depends upon whether or not the relevant equivalence relation holds among the entities of the presupposed kind. | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: It seems odd that we no longer have any choice about what abstract objects we use, and that we can't evade them if the objects exist, and can't have them if the objects don't exist - and presumably destruction of the objects kills the concept? |
| 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. |
| 12227 | Abstractionism needs existential commitment and uniform truth-conditions [Hale/Wright] |
| Full Idea: Abstractionism needs a face-value, existentially committed reading of the terms occurring on the left-hand sides together with sameness of truth-conditions across the biconditional. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §5) | |
| A reaction: They employ 'abstractionism' to mean their logical Fregean strategy for defining abstractions, not to mean the older psychological account. Thus the truth-conditions for being 'parallel' and for having the 'same direction' must be consistent. |
| 12228 | Equivalence abstraction refers to objects otherwise beyond our grasp [Hale/Wright] |
| Full Idea: Abstraction principles purport to introduce fundamental means of reference to a range of objects, to which there is accordingly no presumption that we have any prior or independent means of reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §8) | |
| A reaction: There's the rub! They make it sound like a virtue, that we open up yet another heaven of abstract toys to play with. As fictions, they are indeed exciting new fun. As platonic discoveries they strike me as Cloud-Cuckoo Land. |
| 12231 | Reference needs truth as well as sense [Hale/Wright] |
| Full Idea: It takes, over and above the possession of sense, the truth of relevant contexts to ensure reference. | |
| From: B Hale / C Wright (The Metaontology of Abstraction [2009], §9) | |
| A reaction: Reference purely through sense was discredited by Kripke. The present idea challenges Kripke's baptismal realist approach. How do you 'baptise' an abstract object? But isn't reference needed prior to the establishment of truth? |
| 10627 | Many conceptual truths ('yellow is extended') are not analytic, as derived from logic and definitions [Hale/Wright] |
| Full Idea: There are many statements which are plausibly viewed as conceptual truths (such as 'what is yellow is extended') which do not qualify as analytic under Frege's definition (as provable using only logical laws and definitions). | |
| From: B Hale / C Wright (Intro to 'The Reason's Proper Study' [2001], 3.2) | |
| A reaction: Presumably this is because the early assumptions of Frege were mathematical and logical, and he was trying to get away from Kant. That yellow is extended is a truth for non-linguistic beings. |
| 6004 | The cardinal virtues are theoretical (based on knowledge), and others are 'non-theoretical' [Hecato, by Dorandi] |
| Full Idea: Hecato defined the cardinal virtues as 'theoretical', that is, based on knowledge, and to these he opposed those that are 'non-theoretical', for example, health, beauty, strength of spirit, and courage. | |
| From: report of Hecato (fragments/reports [c.70 BCE]) by Tiziano Dorandi - Hecato of Rhodes | |
| A reaction: Mostly these are Aristotle's external and non-external virtues, except that courage is here included among the former, implying, presumably, that it is more of a natural gift than an intellectual achievement. |
| 12175 | Galilean science aimed at true essences, as the ultimate explanations [Popper] |
| Full Idea: The third of the Galilean doctrines of science is that the best, the truly scientific theories, describe the 'essences' or the 'essential natures' of things - the realities which lie behind the appearances. They are ultimate explanations. | |
| From: Karl Popper (Conjectures and Refutations [1963], 3.3) | |
| A reaction: This seems to be the seventeenth century doctrine which was undermined by Humeanism, and hence despised by Popper, but is now making a comeback, with a new account of essence and necessity. |
| 12179 | Essentialist views of science prevent further questions from being raised [Popper] |
| Full Idea: The essentialist view of Newton (due to Roger Cotes) ...prevented fruitful questions from being raised, such as, 'What is the cause of gravity?' or 'Can we deduce Newton's theory from a more general independent theory?' | |
| From: Karl Popper (Conjectures and Refutations [1963], 3.3) | |
| A reaction: This is Popper's main (and only) objection to essentialism - that it is committed to ultimate explanations, and smugly terminates science when it thinks it has found them. This does not strike me as a problem with scientific essentialism. |