structure for 'Science'    |     alphabetical list of themes    |     unexpand these ideas

14. Science / B. Scientific Theories / 1. Scientific Theory

[a generalised explanation of natural events]

39 ideas
Plato says sciences are unified around Forms; Aristotle says they're unified around substance [Aristotle, by Moravcsik]
     Full Idea: Plato's unity of science principle states that all - legitimate - sciences are ultimately about the Forms. Aristotle's principle states that all sciences must be, ultimately, about substances, or aspects of substances.
     From: report of Aristotle (works [c.330 BCE], 1) by Julius Moravcsik - Aristotle on Adequate Explanations 1
General statements about nature are not valid [Novalis]
     Full Idea: General statements are not valid in the study of nature.
     From: Novalis (Last Fragments [1800], 17)
     A reaction: This is his striking obsession with the particularity and fine detail of nature. Alexander von Humbolt was exploring nature in S.America in this year. It sounds wrong about physics, but possibly right about biology.
You have only begun to do real science when you can express it in numbers [Kelvin]
     Full Idea: When you cannot express it in numbers, your knowledge is of a meagre and unsatisfactory kind; it may be the beginning of knowledge, but you have scarcely, in your thoughts, advanced to the stage of science, whatever the matter may be.
     From: Lord Kelvin (Wm Thomson) (works [1881]), quoted by Reiss,J/Spreger,J - Scientific Objectivity 4.1
     A reaction: [Popular Lectures 1 p.73] Clearly the writer is a physicist! Astronomers discover objects, geologists discover structures, biologists reveal mechanisms.
Duns Scotus offers perhaps the best logic and metaphysics for modern physical science [Peirce]
     Full Idea: The works of Duns Scotus have strongly influenced me. …His logic and metaphysics, torn away from its medievalism, …will go far toward supplying the philosophy which is best to harmonize with physical science.
     From: Charles Sanders Peirce (Concerning the Author [1897], p.2)
I classify science by level of abstraction; principles derive from above, and data from below [Peirce]
     Full Idea: I classify the sciences on Comte's general principles, in order of the abstractness of their objects, so that each science may largely rest for its principles upon those above it in the scale, while drawing its data in part from those below it.
     From: Charles Sanders Peirce (Reasoning and the Logic of Things [1898], I)
     A reaction: He places mathematics at the peak of abstraction. I assume physics is more abstract than biology. So chemistry draws principles from physics and data from biology. Not sure about this. Probably need to read Comte on it.
There is no one scientific method; we must try many approaches, and many emotions [Nietzsche]
     Full Idea: There is no one and only scientific method that leads to knowledge. We must proceed experimentally with things, be sometimes angry, sometimes affectionate towards them, and allow justice, passion, and coldness to follow one upon another.
     From: Friedrich Nietzsche (Dawn (Daybreak) [1881], 432)
     A reaction: Alexander Bird says the same thing in our time. I agree, but I think there is a core of controlled conditions and peer review.
The building blocks contain the whole contents of a discipline [Frege]
     Full Idea: The ultimate building blocks of a discipline contain, as it were in a nutshell, its whole contents.
     From: Gottlob Frege (works [1890]), quoted by Tyler Burge - Frege on Knowing the Foundations 1
     A reaction: [Burge gives a reference] I would describe this nutshell as the 'essence' of the subject, and it fits Aristotle's concept of an essence perfectly. Does it fit biology or sociology, in the way it might fit maths or logic? Think of DNA or cells in biology.
Mathematically expressed propositions are true of the world, but how to interpret them? [Russell]
     Full Idea: We know that certain scientific propositions - often expressed in mathematical symbols - are more or less true of the world, but we are very much at sea as to the interpretation to be put upon the terms which occur in these propositions.
     From: Bertrand Russell (Introduction to Mathematical Philosophy [1919], VI)
     A reaction: Enter essentialism, say I! Russell's remark is pretty understandable in 1919, but I don't think the situation has changed much. The problem of interpretation may be of more interest to philosophers than to physicists.
Carnap tried to define all scientific predicates in terms of primitive relations, using type theory [Carnap, by Button]
     Full Idea: Carnap's ultimate ambition in the Aufbau is to provide a constitution-system within which any predicate of any scientific vocabulary can be explicitly defined in terms of primitive relations holding among basic elements, using type theory.
     From: report of Rudolph Carnap (The Logical Structure of the World (Aufbau) [1928]) by Tim Button - The Limits of Reason 05.2
     A reaction: David Chalmers has a modern shot at the same project in 'Constructing the World'. Ramsey sentences seem to be part of the same game.
It seems obvious to prefer the simpler of two theories, on grounds of beauty and convenience [Quine]
     Full Idea: It is not to be wondered that theory makers seek simplicity. When two theories are equally defensible on other counts, certainly the simpler of the two is to be preferred on the score of both beauty and convenience.
     From: Willard Quine (On Simple Theories of a Complex World [1960], p.255)
     A reaction: A simple application of Ockham's Razor. Quine goes on to nicely deconstruct what is involved in simplicity, and identify a certain amount of dubious prejudice in the concept.
There are four suspicious reasons why we prefer simpler theories [Quine]
     Full Idea: We prefer simpler theories through wishful thinking, or a bias which slants the data, or a bias where the simpler hypothesis is more open to confirmation, or simpler hypotheses tolerating wider deviations in score-keeping.
     From: Willard Quine (On Simple Theories of a Complex World [1960], p.258)
     A reaction: [a compression of his summary of the paper] Quine is not dismissing our preference for simpler theories, but just very nicely inviting us to focus of aspects about which we should be cautious.
Two theories can be internally consistent and match all the facts, yet be inconsistent with one another [Quine, by Baggini /Fosl]
     Full Idea: Duhem and Quine have maintained that it may be possible to develop two or more theories that are 1) internally consistent, 2) inconsistent with one another, and 3) perfectly consistent with all the data we can muster.
     From: report of Willard Quine (Word and Object [1960]) by J Baggini / PS Fosl - The Philosopher's Toolkit §1.06
     A reaction: Obviously this may be a contingent truth about our theories, but why not presume that this is because we are unable to collect the crucial data (e.g. about prehistoric biology), rather than denigrate the whole concept of a theory, and undermine science?
Kuhn came to accept that all scientists agree on a particular set of values [Kuhn, by Bird]
     Full Idea: Kuhn later came to accept that there are five values to which scientists in all paradigms adhere: accuracy; consistency with accepted theories; broad scope; simplicity; and fruitfulness.
     From: report of Thomas S. Kuhn (Reflections on my Critics [1970]) by Alexander Bird - Philosophy of Science Ch.8
     A reaction: To shake off the relativism for which Kuhn is notorious, we should begin by asking the question WHY scientists favoured these particular values, rather than (say) bizarreness, consistency with Lewis Carroll, or alliteration. (They are epistemic virtues).
Since there are three different dimensions for generalising laws, no one system of logic can cover them [Harré]
     Full Idea: Since there are three different dimensions of generality into which every law of nature is generalised, there can be no one system of logic which will govern inference to or from every law of every kind.
     From: Rom Harré (Laws of Nature [1993], 3)
     A reaction: This is aimed at the covering-law approach, which actually aims to output observations as logical inferences from laws. Wrong.
Identities like 'heat is molecule motion' are necessary (in the highest degree), not contingent [Kripke]
     Full Idea: I hold that characteristic theoretical identifications like 'heat is the motion of molecules', are not contingent truths but necessary truths, and I don't just mean physically necessary, but necessary in the highest degree.
     From: Saul A. Kripke (Naming and Necessity lectures [1970], Lecture 2)
     A reaction: This helps to keep epistemology and ontology separate. The contingency was in the epistemology. That the identity is 'physically necessary' seems obvious; that it is necessary 'in the highest degrees' implies an essentialist view of nature.
Clavius's Paradox: purely syntactic entailment theories won't explain, because they are too profuse [Harré/Madden]
     Full Idea: Clavius' Paradox shows that a theorem-like structure organised by entailments cannot be identified as a scientific explanation by reference to syntactical criteria, since it shares its syntactic criteria with many other theorem-like structures.
     From: Harré,R./Madden,E.H. (Causal Powers [1975], 7.3)
     A reaction: I think I was pretty convinced that a scientific theory had to meet more than mere syntactic criteria, before I encountered this idea. Lewis's account of laws may have to face this objection.
Simplicity can sort theories out, but still leaves an infinity of possibilities [Harré/Madden]
     Full Idea: Whatever simplicity criterion is chosen for theories, it can at best sort out strata of explanations of equal simplicity, each stratum containing infinitely many items.
     From: Harré,R./Madden,E.H. (Causal Powers [1975], 7.I)
     A reaction: [They cite Katz 1962 for this] This sounds to me like a purely technical result, where pragmatics would narrow the plausible theories right down. The 'Paradox of Clavius' is behind the idea (with an infinity of possible middle terms).
The powers/natures approach has been so successful (for electricity, magnetism, gravity) it may be universal [Harré/Madden]
     Full Idea: The marvellous success in science of the powers/natures formula as a guide to research naturally leads to an attempt at a universal application of such a powerful schema. The electric and magnetic and gravitational fields are known by their powers.
     From: Harré,R./Madden,E.H. (Causal Powers [1975], 9.III)
     A reaction: This is a wonderfully heroic, and accurate, opposition to the prevailing accounts of science when they wrote. The laws, processes and equations of science and just part of a description of the natures and basic powers of what exists.
Social sciences discover no law-like generalisations, and tend to ignore counterexamples [MacIntyre]
     Full Idea: Social sciences have discovered no law-like generalisations whatsoever, ...and for the most part they adopt a very tolerant attitude to counter-examples.
     From: Alasdair MacIntyre (After Virtue: a Study in Moral Theory [1981], Ch. 8)
     A reaction: I suspect that this is as much to do with a narrow and rigid view of what 'science' is supposed to be, as a failure of the social sciences. Have such sciences explained anything? I suspect that they have explained a lot, often after the facts.
Why should it matter whether or not a theory is scientific? [Newton-Smith]
     Full Idea: Why should it be so important to distinguish between theories that are scientific and those that are not?
     From: W.H. Newton-Smith (The Rationality of Science [1981], IV.3)
Theories can never represent accurately, because their components are abstract [Cartwright,N, by Portides]
     Full Idea: Cartwright objects that the claim that theories represent what happens in actual situations is to overlook that the concepts used in them (such as 'force functions' and 'Hamiltonians') are abstract.
     From: report of Nancy Cartwright (The Dappled World [1999]) by Demetris Portides - Models 'Current'
     A reaction: I'm not convinced by this. The term 'abstract' is too loose. In a sense most words are abstract because they are universals. If I say 'that's a cat', that is a very accurate remark, despite the generality of 'cat'.
Theories are links in the causal chain between the environment and our beliefs [Fodor]
     Full Idea: Theories function as links in the causal chains that run from environmental outcomes to the beliefs that they cause the inquirer to have.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
If we make a hypothesis about data, then a deduction, where does the hypothesis come from? [Lipton]
     Full Idea: The cost of the hypothetico-deductive method …is that we are left in the dark about the source of the hypotheses themselves.
     From: Peter Lipton (Inference to the Best Explanation (2nd) [2004], 05 'Explanation')
     A reaction: How do we distinguish a wild hypothesis from a plausible one? It can only be from patterns in the data, rather than mere accumulations of data. If water causes cholera, or smoking causes cancer, the hypothesis guides the data search.
If the world is theory-dependent, the theories themselves can't be theory-dependent [Heil]
     Full Idea: If the world is somehow theory-dependent, this implies, on pain of a regress, that theories are not theory-dependent.
     From: John Heil (From an Ontological Point of View [2003], 06.4)
     A reaction: I am not sure where this puts the ontology of theories, but this is a nice question, of a type which never seems to occur to your more simple-minded relativist.
Neither a priori rationalism nor sense data empiricism account for scientific knowledge [Thagard]
     Full Idea: Both rationalists (who start with a priori truths and make deductions) and empiricists (starting with indubitable sense data and what follows) would guarantee truth, but neither even begins to account for scientific knowledge.
     From: Paul Thagard (Coherence: The Price is Right [2012], p.46)
     A reaction: Thagard's answer, and mine, is inference to the best explanation, but goes beyond both the a priori truths and the perceptions.
The Principle of Conservatism says we should violate the minimum number of background beliefs [Orenstein]
     Full Idea: The principle of conservatism in choosing between theories is a maxim of minimal mutilation, stating that of competing theories, all other things being equal, choose the one that violates the fewest background beliefs held.
     From: Alex Orenstein (W.V. Quine [2002], Ch.2)
     A reaction: In this sense, all rational people should be conservatives. The idea is a modern variant of Hume's objection to miracles (Idea 2227). A Kuhnian 'paradigm shift' is the dramatic moment when this principle no longer seems appropriate.
Relativity ousted Newtonian mechanics despite a loss of simplicity [Bird]
     Full Idea: The theories of relativity ousted Newtonian mechanics despite a loss of simplicity.
     From: Alexander Bird (Philosophy of Science [1998])
     A reaction: This nicely demonstrates that simplicity is not essential, even if it is desirable. The point applies to the use of Ockham's Razor (Idea 6806), and to Hume's objection to miracles (Idea 2227), where strange unnatural events may be the truth.
Realists say their theories involve truth and the existence of their phenomena [Bird]
     Full Idea: A realist says of their theories that they can be evaluated according to truth, they aim at truth, their success favours their truth, their unobserved entities probably exist, and they would explain the observable phenomena.
     From: Alexander Bird (Philosophy of Science [1998], Ch.4)
     A reaction: This seems to me to be the only sensible attitude towards scientific theories, even if they do become confusing down at the level of quantum theory. Theories aim to be true explanations.
There is no agreement on scientific method - because there is no such thing [Bird]
     Full Idea: I find little concurrence as to what scientific method might actually be - the reason being, I conclude, that there is no such thing.
     From: Alexander Bird (Philosophy of Science [1998], Ch.8)
     A reaction: I take the essence of science to be two things: first, becoming very fussy about empirical evidence; second, setting up controlled conditions to get at the evidence that seems to be needed. I agree that there seems to be no distinctive way of thinking.
How can we mathematically describe a world that lacks humans? [Meillassoux]
     Full Idea: How is mathematical discourse able to describe a reality where humanity is absent?
     From: Quentin Meillassoux (After Finitude; the necessity of contingency [2006], 1)
     A reaction: He is referring to the prehistoric world. He takes this to be a key question about the laws of nature. We extrapolate mathematically from the experienced world, relying on the stability of the laws. Must they be necessary to be stable? No, it seems.
Seeing reality mathematically makes it an object of thought, not of experience [Macbeth]
     Full Idea: As mathematically understood, the world is not an object of experience but instead an object of thought.
     From: Danielle Macbeth (Pragmatism and Objective Truth [2007], p.183)
     A reaction: Since I am keen on citing biology to show that science does not have to be mathematical, this nicely shows that there is something wrong with a science which places a large gap between itself and the world.
Theories with unobservables are underdetermined by the evidence [Okasha]
     Full Idea: According to anti-realists, scientific theories which posit unobservable entities are underdetermined by the empirical data - there will always be a number of competing theories which can account for the data equally well.
     From: Samir Okasha (Philosophy of Science: Very Short Intro (2nd ed) [2016], 4)
     A reaction: The fancy version is Putnam's model theoretic argument, explored by Tim Button. The reply, apparently, is that there are other criteria for theory choice, apart from the data. And we don't have to actually observe everything in a theory.
If a term doesn't pick out a kind, keeping it may block improvements in classification [Machery]
     Full Idea: If a hypothesised natural kind term fails to pick out a natural kind, keeping this theoretical term is likely to prevent the development of a new classification system that would identify the relevant kinds.
     From: Edouard Machery (Doing Without Concepts [2009], 8.2.3)
     A reaction: I'm persuaded. This is why metaphysicians should stop talking about 'properties'.
Horizontal arguments say eliminate a term if it fails to pick out a natural kind [Machery]
     Full Idea: Horizontal arguments for eliminativism of theoretical terms say that some terms should be eliminated if they do not pick out a natural kind.
     From: Edouard Machery (Doing Without Concepts [2009], 8.2.3)
     A reaction: This is the one Machery likes, but I would say that it is less obvious than the 'vertical' version, since picking out a natural kind may not be the only job of a theoretical term. (p.238: Machery agrees!)
Vertical arguments say eliminate a term if it picks out different natural kinds in different theories [Machery]
     Full Idea: Vertical arguments for eliminativism of theoretical terms note that distinct types of generalisation do not line up with each other. ...It is argued that the theoretical term picks out more than one natural kind.
     From: Edouard Machery (Doing Without Concepts [2009], 8.2.3)
     A reaction: He mentions 'depression', as behavioural and cognitive; the former includes apes, and the latter doesn't. It is a nice principle for tidying up theories.
Structural Realists must show the mathematics is both crucial and separate [Gorham]
     Full Idea: Structural Realists must show that it is the mathematical aspects of the theories, not their content, that account for their success ….and that their structure and content can be clearly separated.
     From: Geoffrey Gorham (Philosophy of Science [2009], 4)
     A reaction: Their approach certainly seems to rely on mathematical types of science, so it presumably fits biology, geology and even astronomy less well.
Structural Realism says mathematical structures persist after theory rejection [Gorham]
     Full Idea: Structural Realists say that modern science achieves a true or 'truer' account of the world only with respect to its mathematical structure rather than its intrinsic qualities or nature. The structure carries over to new theories.
     From: Geoffrey Gorham (Philosophy of Science [2009], 4)
     A reaction: At first glance I am unconvinced that when an old theory is replaced it neverthess contains some sort of 'mathematical structure' which endures and is worth preserving. No doubt Worrall, French and co have examples.
Is Newton simpler with universal simultaneity, or Einstein simpler without absolute time? [Gorham]
     Full Idea: Is Newton's theory simpler than Einstein's, since there is only one relation of simultaneity in absolute time, or is Einstein's simpler because it dispenses with absolute time altogether?
     From: Geoffrey Gorham (Philosophy of Science [2009], 4)
     A reaction: A nice question, to which a good scientist might be willing to offer an answer. Since simultaneity is crucial but the existence of time is not, I would vote for Newton as the simpler.
Science begins with sufficient reason, de-animation, and the importance of nature [Boulter]
     Full Idea: Three assumptions needed for the emergence of science are central to medieval thought: that the natural order is subject to the principle of sufficient reason, that nature is de-animated, and that it is worthy of study.
     From: Stephen Boulter (Why Medieval Philosophy Matters [2019], 2)
     A reaction: A very illuminating and convincing observation. Why did Europe produce major science? The answer is likely to be found in Christianity.