Combining Texts

All the ideas for 'Necessary Existents', 'The Logic of Scientific Discovery' and 'Intuitionism and Formalism'

unexpand these ideas     |    start again     |     specify just one area for these texts


15 ideas

2. Reason / A. Nature of Reason / 5. Objectivity
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.
4. Formal Logic / E. Nonclassical Logics / 7. Paraconsistency
Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer]
     Full Idea: Not to the mathematician, but to the psychologist, belongs the task of explaining why ...we are averse to so-called contradictory systems in which the negative as well as the positive of certain propositions are valid.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.79)
     A reaction: Was the turning point of Graham Priest's life the day he read this sentence? I don't agree. I take the principle of non-contradiction to be a highly generalised observation of how the world works (and Russell agrees with me).
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / g. Applying mathematics
Scientific laws largely rest on the results of counting and measuring [Brouwer]
     Full Idea: A large part of the natural laws introduced by science treat only of the mutual relations between the results of counting and measuring.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.77)
     A reaction: His point, I take it, is that the higher reaches of numbers have lost touch with the original point of the system. I now see the whole issue as just depending on conventions about the agreed extension of the word 'number'.
6. Mathematics / C. Sources of Mathematics / 10. Constructivism / b. Intuitionism
Intuitionists only accept denumerable sets [Brouwer]
     Full Idea: The intuitionist recognises only the existence of denumerable sets.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80)
     A reaction: That takes you up to omega, but not beyond, presumably because it then loses sight of the original intuition of 'bare two-oneness' (Idea 12453). I sympathise, but the word 'number' has shifted its meaning a lot these days.
Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer]
     Full Idea: Neo-intuitionism sees the falling apart of moments, reunited while remaining separated in time, as the fundamental phenomenon of human intellect, passing by abstracting to mathematical thinking, the intuition of bare two-oneness.
     From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80)
     A reaction: [compressed] A famous and somewhat obscure idea. He goes on to say that this creates one and two, and all the finite ordinals.
14. Science / A. Basis of Science / 6. Falsification
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.
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?
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.
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).
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.
14. Science / B. Scientific Theories / 2. Aim of Science
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
14. Science / C. Induction / 3. Limits of Induction
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.
14. Science / C. Induction / 4. Reason in Induction
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
19. Language / A. Nature of Meaning / 5. Meaning as Verification
Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman]
     Full Idea: The concern of mathematical intuitionists was that the use of certain forms of inference generates, not contradiction, but unjustified assertions.
     From: report of Luitzen E.J. Brouwer (Intuitionism and Formalism [1912]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6
     A reaction: This seems to be the real origin of the verificationist idea in the theory of meaning. It is a hugely revolutionary idea - that ideas are not only ruled out of court by contradiction, but that there are other criteria which should also be met.
19. Language / D. Propositions / 3. Concrete Propositions
Propositions (such as 'that dog is barking') only exist if their items exist [Williamson]
     Full Idea: A proposition about an item exists only if that item exists... how could something be the proposition that that dog is barking in circumstances in which that dog does not exist?
     From: Timothy Williamson (Necessary Existents [2002], p.240), quoted by Trenton Merricks - Propositions
     A reaction: This is a view of propositions I can't make sense of. If I'm under an illusion that there is a dog barking nearby, when there isn't one, can I not say 'that dog is barking'? If I haven't expressed a proposition, what have I done?