Combining Texts

All the ideas for 'Philosophy of Science', 'Conditionals and Possibilia' and 'On Denoting'

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


108 ideas

1. Philosophy / C. History of Philosophy / 5. Modern Philosophy / b. Modern philosophy beginnings
Russell started a whole movement in philosophy by providing an analysis of descriptions [Read on Russell]
     Full Idea: Russell started a whole movement in philosophy by providing an analysis of descriptions.
     From: comment on Bertrand Russell (On Denoting [1905]) by Stephen Read - Thinking About Logic Ch.5
1. Philosophy / G. Scientific Philosophy / 1. Aims of Science
Instrumentalists say distinctions between observation and theory vanish with ostensive definition [Bird]
     Full Idea: Instrumentalists treat the theoretical/non-theoretical and the observational/non-observational distinctions as the same, ..because they think words get their meaning by way of ostensive definition.
     From: Alexander Bird (Philosophy of Science [1998], Ch.4)
     A reaction: To be honest, I'm not sure I quite understand this, but it sounds interesting... Ostensive definition seems to match the pragmatic spirit of instrumentalism (for which, see Idea 6778). Bird explains it all more fully.
5. Theory of Logic / D. Assumptions for Logic / 2. Excluded Middle
Russell's theories aim to preserve excluded middle (saying all sentences are T or F) [Sawyer on Russell]
     Full Idea: Russell's account of names and definite descriptions was concerned to preserve the law of excluded middle, according to which every sentence is either true or false (but it is not obvious that the law ought to be preserved).
     From: comment on Bertrand Russell (On Denoting [1905]) by Sarah Sawyer - Empty Names 3
     A reaction: That is the strongest form of excluded middle, but things work better if every sentence is either 'true' or 'not true', leaving it open whether 'not true' actually means 'false'.
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
'Elizabeth = Queen of England' is really a predication, not an identity-statement [Russell, by Lycan]
     Full Idea: On Russell's view 'Elizabeth II = Queen of England' is only superficially an identity-statement; really it is a predication, and attributes a complex relational property to Elizabeth.
     From: report of Bertrand Russell (On Denoting [1905]) by William Lycan - Philosophy of Language Ch.1
     A reaction: The original example is 'Scott = author of Waverley'. Why can't such statements be identities, in which the reference of one half of the identity is not yet known? 'The murderer is violent' and 'Smith is violent' suggests 'Smith is the murderer'.
5. Theory of Logic / E. Structures of Logic / 4. Variables in Logic
The idea of a variable is fundamental [Russell]
     Full Idea: I take the notion of the variable as fundamental.
     From: Bertrand Russell (On Denoting [1905], p.42)
     A reaction: A key idea of twentieth century philosophy, derived from Frege and handed on to Quine. A universal term, such as 'horse', is a variable, for which any particular horse can be its value. You can calculate using x, and generalise about horses.
5. Theory of Logic / F. Referring in Logic / 1. Naming / b. Names as descriptive
Names don't have a sense, but are disguised definite descriptions [Russell, by Sawyer]
     Full Idea: Russell proposed that names do not express a Fregean sense, ...but are disguised definite descriptions, of the form 'the F'.
     From: report of Bertrand Russell (On Denoting [1905]) by Sarah Sawyer - Empty Names 3
     A reaction: Of course, Russell then has a famous theory about definite descriptions, which turns them into quantifications.
Russell says names are not denotations, but definite descriptions in disguise [Russell, by Kripke]
     Full Idea: Russell (and Frege) thought that Mill was wrong about names: really a proper name, properly used, simply was a definite description abbreviated or disguised.
     From: report of Bertrand Russell (On Denoting [1905]) by Saul A. Kripke - Naming and Necessity lectures Lecture 1
     A reaction: It is tempting to oversimplify this issue, one way or the other, but essentially one has to agree with Kripke that naming does not inherently involve description, but is a 'baptism', without initial content. Connotations and descriptions accrue to a name.
Russell says a name contributes a complex of properties, rather than an object [Russell, by Sawyer]
     Full Idea: Russell's view of names, understood as a definite description, which is understood as a quantificational phrase, is not to contribute an object to propositions, but to contribute a complex of properties.
     From: report of Bertrand Russell (On Denoting [1905]) by Sarah Sawyer - Empty Names 3
     A reaction: This seems to contradict the role of constants in first-logic, which are the paradigm names, picking out an object in the domain. Kripke says names and definite descriptions have different modal profiles.
Are names descriptions, if the description is unknown, false, not special, or contains names? [McCullogh on Russell]
     Full Idea: Russell's proposal that a natural name is an abbreviated description invites four objections: not all speakers can produce descriptions; the description could be false; no one description seems special; and descriptions usually contain names.
     From: comment on Bertrand Russell (On Denoting [1905]) by Gregory McCullogh - The Game of the Name 8.74
     A reaction: The best reply on behalf of Russell is probably to concede all of these points, but deny that any of them are fatal. Most replies will probably say that they are possible true descriptions, rather than actual limited, confused or false ones.
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
Logically proper names introduce objects; definite descriptions introduce quantifications [Russell, by Bach]
     Full Idea: For Russell, a logically proper name introduces its referent into the proposition, whereas a description introduces a certain quantificational structure, not its denotation.
     From: report of Bertrand Russell (On Denoting [1905]) by Kent Bach - What Does It Take to Refer? 22.2 L0
     A reaction: I have very strong resistance to the idea that the actual referent could ever become part of a proposition. I am not, and never have been, part of a proposition! Russell depended on narrow 'acquaintance', which meant that few things qualified.
The meaning of a logically proper name is its referent, but most names are not logically proper [Russell, by Soames]
     Full Idea: Russell defined a logically proper name to be one the meaning of which is its referent. However, his internalist epistemology led him to deny that the words we ordinarily call names are logically proper.
     From: report of Bertrand Russell (On Denoting [1905]) by Scott Soames - Philosophy of Language 1.25
5. Theory of Logic / F. Referring in Logic / 1. Naming / d. Singular terms
Russell rewrote singular term names as predicates [Russell, by Ayer]
     Full Idea: Russell's theory used quantification to eliminate singular terms, which could be meaningful without denoting anything. He reparsed such sentences so they appeared as predicates instead of names.
     From: report of Bertrand Russell (On Denoting [1905]) by A.J. Ayer - The Central Questions of Philosophy IX.A.2
"Nobody" is not a singular term, but a quantifier [Russell, by Lycan]
     Full Idea: Though someone just beginning to learn English might take it as one, "nobody" is not a singular term, but a quantifier.
     From: report of Bertrand Russell (On Denoting [1905]) by William Lycan - Philosophy of Language Ch.1
     A reaction: If someone replies to "nobody's there" with "show him to me!", presumably it IS a singular term - just one that doesn't work very well. If you want to get on in life, treat it as a quantifier; if you just want to have fun...
5. Theory of Logic / F. Referring in Logic / 1. Naming / e. Empty names
Russell implies that all sentences containing empty names are false [Sawyer on Russell]
     Full Idea: Russell's account implies that all sentences composed of an empty name and a predicate are false, including 'Pegasus was a mythical creature'.
     From: comment on Bertrand Russell (On Denoting [1905]) by Sarah Sawyer - Empty Names 4
     A reaction: Russell insists that such sentences contain a concealed existence claim, which they clearly don't.
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / b. Definite descriptions
Critics say definite descriptions can refer, and may not embody both uniqueness and existence claims [Grayling on Russell]
     Full Idea: The main objections to Russell's theory of descriptions are to say that definite descriptions sometime are referring expressions, and disputing the claim that definite descriptions embody both uniqueness and existence claims.
     From: comment on Bertrand Russell (On Denoting [1905]) by A.C. Grayling - Russell Ch.2
     A reaction: The first one seems particularly correct, as you can successfully refer with a false description. See Colin McGinn (Idea 6067) for criticism of the existence claim made by the so-called 'existential' quantifier.
Definite descriptions fail to refer in three situations, so they aren't essentially referring [Russell, by Sainsbury]
     Full Idea: Russell's reasons for saying that definite descriptions are not referring expressions are: some definite descriptions have no referent, and they cannot be referring when used in negative existential truths, or in informative identity sentences.
     From: report of Bertrand Russell (On Denoting [1905]) by Mark Sainsbury - The Essence of Reference 18.5
     A reaction: The idea is that by 'parity of form', if they aren't referring in these situations, they aren't really referring in others. Sainsbury notes that if there are two different forms of definite description (referential and attributive) these arguments fail.
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
The theory of descriptions eliminates the name of the entity whose existence was presupposed [Russell, by Quine]
     Full Idea: When a statement of being or non-being is analysed by Russell's theory of descriptions it ceases to contain any expression which even purports to name the alleged entity, so the being of such an entity is no longer presupposed.
     From: report of Bertrand Russell (On Denoting [1905]) by Willard Quine - On What There Is p.6
Russell's theory explains non-existents, negative existentials, identity problems, and substitutivity [Russell, by Lycan]
     Full Idea: Russell showed that his theory of definite descriptions affords solutions to each of four vexing logical problems: the Problems of Apparent Reference to Non-existents and Negative existentials, Frege's Puzzle about Identity, and Substitutivity.
     From: report of Bertrand Russell (On Denoting [1905]) by William Lycan - Philosophy of Language 2.Over
     A reaction: You must seek elsewhere for the explanations of the four problems, but this gives some indication of why Russell's theory was famous, and was felt to be a breakthrough in explaining logical forms.
Russell showed how to define 'the', and thereby reduce the ontology of logic [Russell, by Lackey]
     Full Idea: With the devices of the Theory of Descriptions at hand, it was no longer necessary to take 'the' as indefinable, and it was possible to diminish greatly the number of entities to which a logical system is ontologically committed.
     From: report of Bertrand Russell (On Denoting [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.13
     A reaction: Illuminating, because it shows that ontology is what drove Russell at this time, and really they were all searching for Quine's 'desert landscapes', which minimalise commitment.
The theory of definite descriptions reduces the definite article 'the' to the concepts of predicate logic [Russell, by Horwich]
     Full Idea: Russell's theory of definite descriptions reduces the definite article 'the' to the notions of predicate logic - specifically, 'some', 'every', and 'same as'.
     From: report of Bertrand Russell (On Denoting [1905]) by Paul Horwich - Truth (2nd edn) Ch.2.7
     A reaction: This helpfully clarifies Russell's project - to find the logical form of every sentence, expressed in terms which are strictly defined and consistent. This huge project now looks rather too optimistic. Artificial Intelligence would love to complete it.
Russell implies that 'the baby is crying' is only true if the baby is unique [Grayling on Russell]
     Full Idea: Russell's analysis of 'the baby is crying' seems to imply that this can only be true if there is just one baby in the world; ..to dispose of the objection, it seems necessary to appeal implicitly or explicitly to a 'domain of discourse'.
     From: comment on Bertrand Russell (On Denoting [1905]) by A.C. Grayling - Russell Ch.2
     A reaction: This objection leads to ordinary language philosophy, and the 'pragmatics' of language. It is standard in modern predicate logic to specify the domain over which an expression is quantified.
Russell explained descriptions with quantifiers, where Frege treated them as names [Russell, by McCullogh]
     Full Idea: Russell proposed that descriptions be treated along with the quantifiers, which departs from Frege, who treated descriptions as proper names. ...the problem was that names invoke objects, and there is no object in failed descriptions.
     From: report of Bertrand Russell (On Denoting [1905]) by Gregory McCullogh - The Game of the Name 2.16
     A reaction: Maybe we just allow intentional objects (such as unicorns) into our ontology? Producing a parsimonious ontology seems to be the main motivation of most philosophy of language. Or maybe names are just not committed to actual existence?
Russell avoids non-existent objects by denying that definite descriptions are proper names [Russell, by Miller,A]
     Full Idea: Russell attempted to avoid Meinong's strategy (of saying 'The present King of France' refers to a 'non-existent object') by denying that definite descriptions are proper names.
     From: report of Bertrand Russell (On Denoting [1905]) by Alexander Miller - Philosophy of Language 2.7
     A reaction: Russell claimed that there was a covert existence claim built into a definite description. What about descriptions in known counterfactual situations ('Queen of the Fairies')?
Denying definite description sentences are subject-predicate in form blocks two big problems [Russell, by Forbes,G]
     Full Idea: Since Russell did not want to introduce non-existent objects, or declare many sentences meaningless, he prevented the problem from getting started, by denying that 'the present King of France is bald' is really a subject-predicate sentence.
     From: report of Bertrand Russell (On Denoting [1905]) by Graeme Forbes - The Metaphysics of Modality 4.1
Russell says apparent referring expressions are really assertions about properties [Russell, by Cooper,DE]
     Full Idea: Russell's theory says that sentences which apparently serve to refer to particulars are really assertions about properties.
     From: report of Bertrand Russell (On Denoting [1905]) by David E. Cooper - Philosophy and the Nature of Language §4.1
     A reaction: Right. Which is why particulars get marginalised in Russell, and universals take centre stage. I can't help suspecting that talk of de re/de dicto reference handles this problem better.
Russell's theory must be wrong if it says all statements about non-existents are false [Read on Russell]
     Full Idea: Russell's theory makes an exciting distinction between logical and grammatical form, but any theory which says that every positive statement, without distinction, about objects which don't exist is false, has to be wrong.
     From: comment on Bertrand Russell (On Denoting [1905]) by Stephen Read - Thinking About Logic Ch.5
The theory of descriptions lacks conventions for the scope of quantifiers [Lackey on Russell]
     Full Idea: Some logicians charge that the theory of descriptions as it stands is formally inadequate because it lacks explicit conventions for the scope of quantifiers, and that when these conventions are added the theory becomes unduly complex.
     From: comment on Bertrand Russell (On Denoting [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.97
     A reaction: [Especially in modal contexts, apparently] I suppose if the main point is to spell out the existence commitments of the description, then that has to include quantification, for full generality.
Non-count descriptions don't threaten Russell's theory, which is only about singulars [Laycock on Russell]
     Full Idea: It is sometimes claimed that the behaviour of definite non-count descriptions shows Russell's Theory of Descriptions itself to be false. ....but it isn't a general theory of descriptions, but precisely a theory of singular descriptions.
     From: comment on Bertrand Russell (On Denoting [1905]) by Henry Laycock - Words without Objects 3.1
Denoting is crucial in Russell's account of mathematics, for identifying classes [Russell, by Monk]
     Full Idea: Denoting phrases are central to mathematics, especially in Russell's 'logicist' theory, in which they are crucial to identifying classes ('the class of all mortal beings', 'the class of natural numbers').
     From: report of Bertrand Russell (On Denoting [1905]) by Ray Monk - Bertrand Russell: Spirit of Solitude Ch.6
     A reaction: This explains the motivation for Russell's theory of definite descriptions, since he thinks reference is achieved by description. Russell nearly achieved an extremely complete philosophical system.
Russell's analysis means molecular sentences are ambiguous over the scope of the description [Kaplan on Russell]
     Full Idea: Russell's analysis of sentences containing definite descriptions has as an immediate consequence the doctrine that molecular sentences containing definite descriptions are syntactically ambiguous as regards the scope of the definite description.
     From: comment on Bertrand Russell (On Denoting [1905]) by David Kaplan - How to Russell a Frege-Church I
     A reaction: Presumably this is a virtue of Russell's account, and an advert for analytic philosophy, because it reveals an ambiguity which was there all the time.
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
Existence is entirely expressed by the existential quantifier [Russell, by McGinn]
     Full Idea: Nowadays Russell's position is routinely put by saying that existence is what is expressed by the existential quantifier and only by that.
     From: report of Bertrand Russell (On Denoting [1905]) by Colin McGinn - Logical Properties Ch.2
     A reaction: We must keep separate how you express existence, and what it is. Quantifiers seem only to be a style of expressing existence; they don't offer any insight into what existence actually is, or what we mean by 'exist'. McGinn dislikes quantifiers.
7. Existence / D. Theories of Reality / 4. Anti-realism
Anti-realism is more plausible about laws than about entities and theories [Bird]
     Full Idea: There is anti-realism with regard to unobservable entities and the theories that purport to mention them, but the more plausible version attaches to theories concerning what laws of nature are.
     From: Alexander Bird (Philosophy of Science [1998], Ch.4)
     A reaction: This sounds right. I certainly find anti-realism about the entities of science utterly implausible. I also doubt whether there is any such thing as a law, above and beyond the behaviour of matter. Theories float between the two.
7. Existence / D. Theories of Reality / 11. Ontological Commitment / e. Ontological commitment problems
Russell showed that descriptions may not have ontological commitment [Russell, by Linsky,B]
     Full Idea: Russell's theory of definite descriptions allows us to avoid being ontologically committed to objects simply by virtue of using descriptions which seemingly denote them.
     From: report of Bertrand Russell (On Denoting [1905]) by Bernard Linsky - Quantification and Descriptions 1.1.2
     A reaction: This I take to be why Russell's theory is a famous landmark. I personally take ontological commitment to be independent of what we specifically say. Others, like Quine, prefer to trim what we say until the commitments seem sound.
7. Existence / E. Categories / 3. Proposed Categories
The Theory of Description dropped classes and numbers, leaving propositions, individuals and universals [Russell, by Monk]
     Full Idea: The real Platonic entities left standing after the Theory of Descriptions were propositions (not classes or numbers), and their constituents did not include denoting concepts or classes, but only individuals (Socrates) and universals (mortality).
     From: report of Bertrand Russell (On Denoting [1905]) by Ray Monk - Bertrand Russell: Spirit of Solitude Ch.6
     A reaction: Propositions look like being the problem here. If we identify them with facts, it is not clear how many facts there are in the universe, independent of human thought. Indeed, how many universals are there? Nay, how many individuals? See Idea 7534.
8. Modes of Existence / B. Properties / 12. Denial of Properties
Russell can't attribute existence to properties [McGinn on Russell]
     Full Idea: Russell's view makes it impossible to attribute existence to properties, and this would have to be declared ill-formed and meaningless.
     From: comment on Bertrand Russell (On Denoting [1905]) by Colin McGinn - Logical Properties Ch.2
     A reaction: This strikes me as a powerful criticism, used to support McGinn's view that existence cannot be analysed, using quantifiers or anything else.
9. Objects / A. Existence of Objects / 4. Impossible objects
If the King of France is not bald, and not not-bald, this violates excluded middle [Linsky,B on Russell]
     Full Idea: Russell says one won't find the present King of France on the list of bald things, nor on the list of things that are not bald. It would seem that this gives rise to a violation of the law of excluded middle.
     From: comment on Bertrand Russell (On Denoting [1905]) by Bernard Linsky - Quantification and Descriptions 2
     A reaction: It's a bit hard to accuse the poor old King of violating a law when he doesn't exist.
10. Modality / B. Possibility / 6. Probability
Subjective probability measures personal beliefs; objective probability measures the chance of an event happening [Bird]
     Full Idea: Subjective probability measures a person's strength of belief in the truth of a proposition; objective probability concerns the chance a certain sort of event has of happening, independently of whether anyone thinks it is likely to occur or not.
     From: Alexander Bird (Philosophy of Science [1998], Ch.6)
     A reaction: The challenge to the second one is that God would know for certain whether a meteor will hit the Earth next week. The impact looks like 'bad luck' to us, but necessary to one who really knows.
Objective probability of tails measures the bias of the coin, not our beliefs about it [Bird]
     Full Idea: In tossing a coin, the objective probability of tails is a measure of the bias of the coin; the bias and the probability are objective features of the coin, like its mass and shape; these properties have nothing to do with our beliefs about the coin.
     From: Alexander Bird (Philosophy of Science [1998], Ch.6)
     A reaction: Despite my reservation that God would not seem to be very interested in the probabilities of coin-tossing, since he knows each outcome with certaintly, this is fairly convincing. God might say that the coin has a 'three-to-two bias'.
10. Modality / B. Possibility / 8. Conditionals / c. Truth-function conditionals
The truth-functional account of conditionals is right, if the antecedent is really acceptable [Jackson, by Edgington]
     Full Idea: Jackson defends the truth-functional account by saying that for a conditional to be assertable, it must not only be believed that its truth-conditions are satisfied, but the belief must be robust or resilient with respect to the antecedent.
     From: report of Frank Jackson (Conditionals and Possibilia [1981]) by Dorothy Edgington - Do Conditionals Have Truth Conditions? 4
     A reaction: ..That is, one would not abandon the conditional if one believed the antecedent to be true.
13. Knowledge Criteria / A. Justification Problems / 1. Justification / b. Need for justification
Many philosophers rate justification as a more important concept than knowledge [Bird]
     Full Idea: Many philosophers take the notion of justification to be more important or more basic than the concept of knowledge.
     From: Alexander Bird (Philosophy of Science [1998], Ch.7)
     A reaction: Intriguing. Given the obvious social and conventional element in 'knowledge' ("do we agree that the candidate really knows the answer?"), justification may well be closer to where the real action is. 'Logos', after all, is at the heart of philosophy.
13. Knowledge Criteria / B. Internal Justification / 5. Coherentism / b. Pro-coherentism
As science investigates more phenomena, the theories it needs decreases [Bird]
     Full Idea: A remarkable fact about modern science is that as the number of phenomena which science has investigated has grown, the number of theories needed to explain them has decreased.
     From: Alexander Bird (Philosophy of Science [1998], Ch.4)
     A reaction: This rebuts the idea that theories are probably false because we are unlikely to have thought of the right one (Idea 6784). More data suggests more theories, yet we end up with fewer theories. Why is simplification of theories possible?
14. Science / A. Basis of Science / 1. Observation
If theories need observation, and observations need theories, how do we start? [Bird]
     Full Idea: If we cannot know the truth of theories without observation, and we cannot know the truth of observations without theories, where do we start?
     From: Alexander Bird (Philosophy of Science [1998], Ch.5)
     A reaction: See Idea 6793. You make a few observations, under the illusion that they are objective, then formulate a promising theory, then go back and deconstruct the observations, then tighten up the theory, and so on.
14. Science / A. Basis of Science / 4. Prediction
Explanation predicts after the event; prediction explains before the event [Bird]
     Full Idea: Explanation is prediction after the event and prediction is explanation before the event.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: A nice slogan, fitting Hempel's 'covering law' view of explanation. It doesn't seem quite right, because explanations and predictions are couched in very different language. Prediction implies an explanation; explanation implies a prediction.
14. Science / B. Scientific Theories / 1. Scientific Theory
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.
14. Science / B. Scientific Theories / 3. Instrumentalism
Instrumentalists regard theories as tools for prediction, with truth being irrelevant [Bird]
     Full Idea: Instrumentalism is so called because it regards theories not as attempts to describe or explain the world, but as instruments for making predictions; for the instrumentalist, asking about the truth of a theory is a conceptual mistake.
     From: Alexander Bird (Philosophy of Science [1998], Ch.4)
     A reaction: It cannot be denied that theories are used to make predictions, and there is nothing wrong with being solely interested in predictions. I cannot make head or tail of the idea that truth is irrelevant. Why is a given theory so successful?
14. Science / C. Induction / 2. Aims of Induction
Induction is inference to the best explanation, where the explanation is a law [Bird]
     Full Idea: Induction can be seen as inference to the best explanation, where the explanation is a law.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: I like this. I increasingly think of explanation as central to rational thought, as the key route for empiricists to go beyond their immediate and verifiable experience. Laws can be probabilistic.
14. Science / C. Induction / 3. Limits of Induction
If Hume is right about induction, there is no scientific knowledge [Bird]
     Full Idea: If Hume is right about induction then there is no scientific knowledge.
     From: Alexander Bird (Philosophy of Science [1998], Ch.5)
     A reaction: The first step is to recognise that induction is not deductively valid, but that does not make it irrational. If something happens five times, get ready for the sixth. If we discover the necessary features of nature, we can predict the future.
Anything justifying inferences from observed to unobserved must itself do that [Bird]
     Full Idea: Whatever could do the job of justifying an inference from the observed to the unobserved must itself be an inference from the observed to the unobserved.
     From: Alexander Bird (Philosophy of Science [1998], Ch.5)
     A reaction: We must first accept that the unobserved might not be like the observed, no matter how much regularity we have, so it can't possibly be a logical 'inference'. Essences generate regularities, but non-essences may not.
14. Science / C. Induction / 5. Paradoxes of Induction / a. Grue problem
Any conclusion can be drawn from an induction, if we use grue-like predicates [Bird]
     Full Idea: It looks as if any claim about the future can be made to be a conclusion of an inductive argument from any premises about the past, as long as we use a strange enough grue-like predicate.
     From: Alexander Bird (Philosophy of Science [1998], Intro)
     A reaction: So don't use strange grue-like predicates. If all our predicates randomly changed their reference each day, we would be unable to talk to one another at all. Emeralds don't change their colour-properties, so why change the predicates that refer to them?
Several months of observing beech trees supports the deciduous and evergreen hypotheses [Bird]
     Full Idea: If someone were to observe beech trees every day over one summer they would have evidence that seems to support both the hypothesis that beech trees are deciduous and the hypothesis that they are evergreens.
     From: Alexander Bird (Philosophy of Science [1998], Intro)
     A reaction: Bird offers this to anyone who (like me) is tempted to dismiss the 'grue' problem as ridiculous. Obviously he is right; 'deciduous' works like 'grue'. But we invented the predicate 'deciduous' to match an observed property.
We normally learn natural kinds from laws, but Goodman shows laws require prior natural kinds [Bird]
     Full Idea: We know what natural kinds there are by seeing which properties appear in the laws of nature. But one lesson of Goodman's problem is that we cannot identify the laws of nature without some prior identification of natural kinds.
     From: Alexander Bird (Philosophy of Science [1998], Ch.7)
     A reaction: For Goodman's problem, see Idea 4783. The essentialist view is that the natural kinds come first, and the so-called 'laws' are just regularities in events that arise from the interaction of stable natural kinds. (Keep predicates and properties separate).
14. Science / C. Induction / 6. Bayes's Theorem
Bayesianism claims to find rationality and truth in induction, and show how science works [Bird]
     Full Idea: Keen supporters of Bayesianism say it can show how induction is rational and can lead to truth, and it can reveal the underlying structure of actual scientific reasoning.
     From: Alexander Bird (Philosophy of Science [1998], Ch.6)
     A reaction: See Idea 2798 for Bayes' Theorem. I find it intuitively implausible that our feeling for probabilities could be reduced to precise numbers, given the subjective nature of the numbers we put into the equation.
14. Science / D. Explanation / 1. Explanation / a. Explanation
The objective component of explanations is the things that must exist for the explanation [Bird]
     Full Idea: There is an 'objective', non-epistemic component to explanations, consisting of the things that must exist for A to be able to explain B, and the relations those things have to one another.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: There seems to be some question-begging here, in that you have to decide what explanation you are after before you can decide which existences are of interest. There are objective facts, though, about what causally links to what.
We talk both of 'people' explaining things, and of 'facts' explaining things [Bird]
     Full Idea: We talk both of 'people' explaining things, and of 'facts' explaining things.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: An important point, and it is the job of philosophers to pull the two apart. How we talk does not necessarily show how it is. The concept of explanation is irrelevant in a universe containing no minds, or one containing only God. People seek the facts.
14. Science / D. Explanation / 2. Types of Explanation / a. Types of explanation
Explanations are causal, nomic, psychological, psychoanalytic, Darwinian or functional [Bird]
     Full Idea: Explanations can be classified as causal, nomic, psychological, psychoanalytic, Darwinian and functional.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: These could be subdivided, perhaps according to different types of cause. Personally, being a reductionist (like David Lewis, see Idea 3989), I suspect that all of these explanations could be reduced to causation. Essences explain causes.
14. Science / D. Explanation / 2. Types of Explanation / b. Contrastive explanations
Contrastive explanations say why one thing happened but not another [Bird]
     Full Idea: A 'contrastive explanation' explains why one thing happened but not another.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: If I explain why the ship sank, is this contrastive, or just causal, or both? Am I explaining why it sank rather than turned into a giraffe? An interesting concept, but I can't see myself making use of it.
14. Science / D. Explanation / 2. Types of Explanation / e. Lawlike explanations
'Covering law' explanations only work if no other explanations are to be found [Bird]
     Full Idea: The fact that something fits the 'covering law' model of explanation is no guarantee that it is an explanation, for that depends on what other explanations are there to be found.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: He gives Achinstein's example of a poisoned man who is run over by a bus. It has to be a basic requirement of explanations that they are the 'best', and not just something that fits a formula.
Livers always accompany hearts, but they don't explain hearts [Bird]
     Full Idea: All animals with a liver also have a heart; so we can deduce from this plus the existence of Fido's liver that he also has a heart, but his liver does not explain why he has a heart.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: This is a counterexample to Hempel's deductive-nomological view of explanation. It seems a fairly decisive refutation of any attempt to give a simple rule for explaining things. Different types of explanation compete, and there is a subjective element.
14. Science / D. Explanation / 2. Types of Explanation / l. Probabilistic explanations
Probabilistic-statistical explanations don't entail the explanandum, but makes it more likely [Bird]
     Full Idea: The probabilistic-statistical view of explanation (also called inductive-statistical explantion) is similar to deductive-nomological explanation, but instead of entailing the explanandum a probabilistic-statistical explantion makes it very likely.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: If people have umbrellas up, does that explain rain? Does the presence of a psychopath in the audience explain why I don't go to a rock concert? Still, it has a point.
An operation might reduce the probability of death, yet explain a death [Bird]
     Full Idea: An operation for cancer might lead to a patient's death, and so it explains the patient's death while at the same time reducing the probability of death.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: This attacks Hempel's 'covering law' approach. Increasing probability of something clearly does not necessarily explain it, though it often will. Feeding you contaminated food will increase the probability of your death, and may cause it.
14. Science / D. Explanation / 3. Best Explanation / a. Best explanation
Inference to the Best Explanation is done with facts, so it has to be realist [Bird]
     Full Idea: Explanation of a fact is some other fact or set of facts. And so Inference to the Best Explanation is inference to facts; someone who employs it cannot but take a realist attitude to a theory which is preferred on these grounds.
     From: Alexander Bird (Philosophy of Science [1998], Ch.4)
     A reaction: So my personal commitment to abduction is entailed by my realism, and my realism is entailed by my belief in the possibility of abduction. We can't explain the properties of a table just by referring to our experiences of tables.
14. Science / D. Explanation / 3. Best Explanation / c. Against best explanation
Maybe bad explanations are the true ones, in this messy world [Bird]
     Full Idea: It is objected to 'best explanation' that this may well not be the best of all possible worlds - so why think that the best explanation is true? Maybe bad (complicated, unsystematic and weak) explanations are true.
     From: Alexander Bird (Philosophy of Science [1998], Ch.4)
     A reaction: The only rebuttal of this objection to best explanation seems to be a priori. It would just seem an odd situation if very simple explanations fitted the facts and yet were false, like the points on a graph being a straight line by pure coincidence.
Which explanation is 'best' is bound to be subjective, and no guide to truth [Bird]
     Full Idea: It is objected to 'best explanation' that beauty is in the eye of the beholder - the goodness of possible explanations is subjective, and so the choice of best explanation is also subjective, and hence not a suitable guide to truth.
     From: Alexander Bird (Philosophy of Science [1998], Ch.4)
     A reaction: Explanation is indeed dependent both on the knowledge of the person involved, and on their interests. That doesn't, though, mean that you can choose any old explanation. Causal networks are features of the world.
14. Science / D. Explanation / 4. Explanation Doubts / a. Explanation as pragmatic
Maybe explanation is so subjective that it cannot be a part of science [Bird]
     Full Idea: Some philosophers have thought that explanation is hopelessly subjective, so subjective even that it is should have no part in proper science.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: God requires no explanations, and children require many. If fundamental explanations are causal, then laying bare the causal chains is the explanation, whether you want it or not. God knows all the explanations. See Idea 6752.
19. Language / B. Reference / 1. Reference theories
Russell argued with great plausibility that we rarely, if ever, refer with our words [Russell, by Cooper,DE]
     Full Idea: Russell argued with great plausibility that we rarely, if ever, refer with our words.
     From: report of Bertrand Russell (On Denoting [1905]) by David E. Cooper - Philosophy and the Nature of Language §4
     A reaction: I'm not sure if I understand this. Presumably phrases which appear to refer actually point at other parts of language rather than the world.
19. Language / B. Reference / 2. Denoting
Referring is not denoting, and Russell ignores the referential use of definite descriptions [Donnellan on Russell]
     Full Idea: If I am right, referring is not the same as denoting and the referential use of definite descriptions is not recognised on Russell's view.
     From: comment on Bertrand Russell (On Denoting [1905]) by Keith Donnellan - Reference and Definite Descriptions §I
     A reaction: This introduces a new theory of reference, which goes beyond the mere contents of linguistic experessions. It says reference is an 'external' and 'causal' affair, and so a definite description is not sufficient to make a reference.
A definite description 'denotes' an entity if it fits the description uniquely [Russell, by Recanati]
     Full Idea: In Russell's definition of 'denoting', a definite description denotes an entity if that entity fits the description uniquely.
     From: report of Bertrand Russell (On Denoting [1905]) by François Recanati - Mental Files 17.2
     A reaction: [Recanati cites Donnellan for this] Hence denoting is not the same thing as reference. A description can denote beautifully, but fail to refer. Donnellan says if denoting were reference, someone might refer without realising it.
Denoting phrases are meaningless, but guarantee meaning for propositions [Russell]
     Full Idea: Denoting phrases never have any meaning in themselves, but every proposition in whose verbal expression they occur has a meaning.
     From: Bertrand Russell (On Denoting [1905], p.43)
     A reaction: This is the important idea that the sentence is the basic unit of meaning, rather than the word. I'm not convinced that this dispute needs to be settled. Words are pretty pointless outside of propositions, and propositions are impossible without words.
In 'Scott is the author of Waverley', denotation is identical, but meaning is different [Russell]
     Full Idea: If we say 'Scott is the author of Waverley', we assert an identity of denotation with a difference of meaning.
     From: Bertrand Russell (On Denoting [1905], p.46)
     A reaction: This shows Russell picking up Frege's famous distinction, as shown in 'Hesperus is Phosphorus'. To distinguish the meaning from the reference was one of the greatest (and simplest) clarifications ever offered of how language works.
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
By eliminating descriptions from primitive notation, Russell seems to reject 'sense' [Russell, by Kripke]
     Full Idea: Russell, since he eliminates descriptions from his primitive notation, seems to hold in 'On Denoting' that the notion of 'sense' is illusory.
     From: report of Bertrand Russell (On Denoting [1905]) by Saul A. Kripke - Naming and Necessity notes and addenda note 04
     A reaction: Presumably we can eliminate sense from formal languages, but natural languages are rich in connotations (or whatever we choose to call them).
19. Language / B. Reference / 5. Speaker's Reference
Russell assumes that expressions refer, but actually speakers refer by using expressions [Cooper,DE on Russell]
     Full Idea: Russell assumes that it is expressions which refer if anything does, but strictly speaking it is WE who refer with the use of expressions.
     From: comment on Bertrand Russell (On Denoting [1905]) by David E. Cooper - Philosophy and the Nature of Language §4.1
     A reaction: This sounds right. Russell is part of the overemphasis on language which plagued philosophy after Frege. Words are tools, like searchlights or pointing fingers.
19. Language / C. Assigning Meanings / 5. Fregean Semantics
Russell rejected sense/reference, because it made direct acquaintance with things impossible [Russell, by Recanati]
     Full Idea: Russell rejected Frege's sense/reference distinction, on the grounds that, if reference is mediated by sense, we lose the idea of direct acquaintance and succumb to Descriptivism.
     From: report of Bertrand Russell (On Denoting [1905]) by François Recanati - Mental Files 1.1
     A reaction: [15,000th IDEA in the DB!! 23/3/2013, Weymouth] Recanati claims Russell made a mistake, because you can retain the sense/reference distinction, and still keep direct acquaintance (by means of 'non-descriptive senses').
'Sense' is superfluous (rather than incoherent) [Russell, by Miller,A]
     Full Idea: Russell does not claim that Frege's notion of sense is incoherent, but rather that it is superfluous.
     From: report of Bertrand Russell (On Denoting [1905]) by Alexander Miller - Philosophy of Language 2.9
     A reaction: My initial reaction to this is that the notion of strict and literal meaning (see Idea 7309) is incredibly useful. Some of the best jokes depend on the gap between implications and strict meaning. How could metaphors be explained without it?
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
The theory of definite descriptions aims at finding correct truth conditions [Russell, by Lycan]
     Full Idea: Russell's theory of definite descriptions proceeds by sketching the truth conditions of sentences containing descriptions, and arguing on various grounds that they are the correct truth conditions.
     From: report of Bertrand Russell (On Denoting [1905]) by William Lycan - Philosophy of Language Ch.9
     A reaction: It seems important to see both where Russell was going, and where Davidson has come from. The whole project of finding the logical form of sentences (which starts with Frege and Russell) implies that truth conditions is what matters.
19. Language / D. Propositions / 3. Concrete Propositions
In graspable propositions the constituents are real entities of acquaintance [Russell]
     Full Idea: In every proposition that we can apprehend, ...all the constituents are real entities with which we have immediate acquaintance.
     From: Bertrand Russell (On Denoting [1905], p.56), quoted by Bernard Linsky - Russell's Metaphysical Logic 7.2
     A reaction: This is the clearest statement of the 'Russellian' concept of a proposition. It strikes me as entirely wrong. The examples are always nice concrete objects like Mont Blanc, but as an account of sophisticated general propositions it seem hopeless.
26. Natural Theory / B. Natural Kinds / 1. Natural Kinds
Natural kinds are those that we use in induction [Bird]
     Full Idea: Natural kinds are the kinds one should make use of in inductive inference (if that is explanation which leads to laws).
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: The problem with this is that it is epistemological rather than ontological. In induction we use superficial resemblences that are immediately obvious, whereas the nature of kinds can be buried deep in the chemistry or physics.
Rubies and sapphires are both corundum, with traces of metals varying their colours [Bird]
     Full Idea: Both rubies (valuable) and sapphires (less valuable) are corundum (Al2O3), differing only in their colours, for which traces of iron, titanium and chomium are responsible.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: A nice example which illustrates how natural kinds determined by nominal essence could be drastically different from those suggested by real essence. It certainly suggests that corundum might be a natural kind, but ruby isn't.
Tin is not one natural kind, but appears to be 21, depending on isotope [Bird]
     Full Idea: If real essences are decided by microstructure, then what we call the element tin is not a natural kind, but a mixture of 21 different kinds, one for each isotope. There also exist two different allotropes of tin - white tin and grey tin.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: This example vividly brings out the difficulties of the Kripke-Putnam view. If natural kinds 'overlap', then there would be a very extensive overlap among the 21 isotopes of tin.
Membership of a purely random collection cannot be used as an explanation [Bird]
     Full Idea: One might randomly collect diverse things and give the collection a name, but one would not expect it to explain anything to say that a certain object belonged to this collection.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: This is in support of Bird's view that natural kinds are formulated because of their explanatory role. There is, though, an undeniable subjective aspect to explanation, in that explanations arise from the ignorance and interests of persons.
Natural kinds may overlap, or be sub-kinds of one another [Bird]
     Full Idea: It seems clear that in some cases one natural kind may be a subkind of another, while in other cases natural kinds may overlap without one being the subkind of another.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: Given the enormous difficulty of pinpointing natural kinds (e.g. Idea 6768), it is hard to know whether the comment is correct or not. Ellis says natural kinds come 'in hierarchies', which would make subkinds normal, but overlapping unlikely.
26. Natural Theory / B. Natural Kinds / 2. Defining Kinds
If F is a universal appearing in a natural law, then Fs form a natural kind [Bird]
     Full Idea: The proposal is that if F is a universal appearing in some natural law, then Fs form a natural kind.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: Such proposals always invite the question 'What is it about F that enables it to be a universal in a natural law?' Nothing can be ultimately defined simply by its role. The character (essence, even) of the thing makes the role possible.
26. Natural Theory / B. Natural Kinds / 3. Knowing Kinds
In the Kripke-Putnam view only nuclear physicists can know natural kinds [Bird]
     Full Idea: In the Kripke-Putnam view, it is very difficult for anyone except nuclear physicists to pick out natural kinds, since everything else is made out of compounds of different isotopes.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: The concept of a rigid 'natural kind' does not have to be sacred. Tin might be considered a natural kind, despite having 21 isotopes. What matters is protons, not the neutrons.
Darwinism suggests that we should have a native ability to detect natural kinds [Bird]
     Full Idea: Creatures that are able to recognise natural kinds and laws have a selective advantage, so Darwinism suggests that we should have some native ability to detect natural kinds.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: This seems right, but it makes 'natural kind' a rather instrumental concept, relative to our interests. True natural kinds cut across our interests, as when we discover by anatomy that whales are not fish, or that rubies and sapphires are both corundum.
26. Natural Theory / B. Natural Kinds / 5. Reference to Natural Kinds
Nominal essence of a natural kind is the features that make it fit its name [Bird]
     Full Idea: The nominal essence of a natural kind K consists of those features a thing must have to deserve the name 'a K' by virtue of the meaning of that name.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: Some people think 'nominal essence' is the only essence there is, which would make it relative to human languages. The rival view is that there are 'real essences'. I favour the latter view.
Jadeite and nephrite are superficially identical, but have different composition [Bird]
     Full Idea: There might be more than one natural kind that shares the same superficial features, …jade, for example, has two forms, jadeite and nephrite, which are similar in superficial properties, but have different chemical composition and structure.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: It might be questioned whether jadeite and nephrite really are natural kinds, either together or separately.
Reference to scientific terms is by explanatory role, not by descriptions [Bird]
     Full Idea: I propose that reference to scientific terms, such as natural kinds and theoretical terms, is not determined by a sense or description attached to the term, but by its explanatory role.
     From: Alexander Bird (Philosophy of Science [1998], Ch.8)
     A reaction: He gives the example of an electron, which had the same role in electrical theory, despite changes in understanding its nature. One might talk of its 'natural' (causal) role, rather than its 'explanatory' role (which implies a human viewpoint).
26. Natural Theory / C. Causation / 9. General Causation / b. Nomological causation
Laws are more fundamental in science than causes, and laws will explain causes [Bird]
     Full Idea: I think laws are fundamental and where there is a cause there is always a set of laws that encompasses the cause; identifying a cause will never be the final word in an scientific investigation, but will be open to supplementation by the underlying law.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: I think this is wrong. I would say (from the essentialist angle) that essences have causes, and the laws are the regularities that are caused by the essences. If laws are the lowest level of explanation, why these laws and not others? God?
26. Natural Theory / D. Laws of Nature / 1. Laws of Nature
Newton's laws cannot be confirmed individually, but only in combinations [Bird]
     Full Idea: None of Newton's laws individually records anything that can be observed; it is only from combinations of Newton's laws that we can derive the measurable motions of bodies.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: This certainly scuppers any traditional positivist approach to how we confirm laws of nature. It invites the possibility that a different combination might fit the same observations. Experiments attempt to isolate laws.
Parapsychology is mere speculation, because it offers no mechanisms for its working [Bird]
     Full Idea: Wegener's theory of continental drift was only accepted when the theory of plate tectonics was developed, providing a mechanism. While some correlations exist for parapsychology, lack of plausible mechanisms leaves it as speculation.
     From: Alexander Bird (Philosophy of Science [1998], Ch.2)
     A reaction: But parapsychology is not even on a par with Wegener's speculation, because his was consistent with known physical laws, whereas parapsychology flatly contradicts them. The so-called correlations are also not properly established.
Existence requires laws, as inertia or gravity are needed for mass or matter [Bird]
     Full Idea: I suspect that what we mean by 'mass' and 'matter' depends on our identifying the existence of laws of inertia and gravity; hence the idea of a world without laws is incoherent, for there to be anything at all there must be some laws and some kinds.
     From: Alexander Bird (Philosophy of Science [1998], Ch.3)
     A reaction: I find this counterintuitive. Reasonably stable existence requires something reasonably like laws. We only understand the physical world because we interact with it. But neither of those is remotely as strong as Bird's claim.
26. Natural Theory / D. Laws of Nature / 4. Regularities / a. Regularity theory
'All uranium lumps are small' is a law, but 'all gold lumps are small' is not [Bird]
     Full Idea: 'Uranium lumps have mass of less than 1000 kg' is a law, but 'gold lumps have mass of less than 1000kg' is not a law.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: A nice example. Essentialists talk about the nature of the substances; regularity theorists prefer to talk of nested or connected regularities (e.g. about explosions). In induction, how do you decide what your duty requires you to observe?
There can be remarkable uniformities in nature that are purely coincidental [Bird]
     Full Idea: Bode's non-law (of 1772, about the gaps between the planets) shows that there can be remarkable uniformities in nature that are purely coincidental.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: If Bode's law really were confirmed, even for asteroids and newly discovered planets, it might suggest that an explanation really is required, and there is some underlying cause. How likely is the coincidence? Perhaps we have no way of telling.
A law might have no instances, if it was about things that only exist momentarily [Bird]
     Full Idea: A law might have no instances at all; for example, about the chemical and electrical behaviour of the transuranic elements, which only exist briefly in laboratories.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: Nice example. We need to distinguish, though, (as Bird reminds us) between laws and theories. We have no theories in this area, but there are counterfactual truths about what the transuranic elements would do in certain circumstances.
If laws are just instances, the law should either have gaps, or join the instances arbitrarily [Bird]
     Full Idea: For the simple regularity theorist, the function ought to be a gappy one, leaving out values not actually instantiated; …one function would fit the actual points on the graph as well as any other.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: The 'simple' theorist says there is nothing more to a law than its instances. Clearly Bird is right; if the points line up, we join them with a straight line, making counterfactual assumptions about points which were not actually observed.
Where is the regularity in a law predicting nuclear decay? [Bird]
     Full Idea: If a law of nuclear physics says that nuclei of a certain kind have a probability p of decaying within time t, what is the regularity here?
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: Hume gives an answer, in terms of regularities observed among previous instances. Nevertheless the figure p given in the law does not itself have any instances, so the law is predicting something that may never have actually happened before.
Laws cannot explain instances if they are regularities, as something can't explain itself [Bird]
     Full Idea: It can be objected that laws cannot do the job of explaining their instances if they are merely regularities, ...because something cannot explain itself.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: A nice point. The objection assumes that a law should explain things, rather than just describing them. I take the model to be smoking-and-cancer; the statistics describe what is happening, but only lung biochemistry will explain it.
Similar appearance of siblings is a regularity, but shared parents is what links them [Bird]
     Full Idea: There may be a regularity of siblings looking similar, but the tie that binds them is not their similarity, but rather their being born of the same parents.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: A nice objection to the regularity view. Regularities, as so often in philosophy (e.g. Idea 1364), may be the evidence or test for a law, rather than the law itself, which requires causal mechanisms, ultimately based (I think) in essences.
We can only infer a true regularity if something binds the instances together [Bird]
     Full Idea: We cannot infer a regularity from its instances unless there is something stronger than the regularity itself binding the instances together.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: Spells out the implication of the example in Idea 6748. The reply to this criticism would be that no account can possibly be given of the 'something stronger' than further regularities, at a lower level (e.g. in the physics).
If we only infer laws from regularities among observations, we can't infer unobservable entities. [Bird]
     Full Idea: If the naïve inductivist says we should see well-established regularities among our observations, and take that to be the law or causal connection…this will not help us to infer the existence of unobservable entities.
     From: Alexander Bird (Philosophy of Science [1998], Ch.8)
     A reaction: The obvious solution to this difficulty is an appeal to 'best explanation'. Bird is obviously right that we couldn't survive in the world, let alone do science, if we only acted on what we had actually observed (e.g. many bodies, but not the poison).
Accidental regularities are not laws, and an apparent regularity may not be actual [Bird]
     Full Idea: Many actual regularities are not laws (accidental regularities), and many perceived regularities are not actual ones (a summer's worth of observing green leaves).
     From: Alexander Bird (Philosophy of Science [1998], Ch.8)
     A reaction: These problems are not sufficient to refute the regularity view of laws. Accidental regularities can only be short-lived, and perceived regularities support laws without clinching them. There is an awful lot of regularity behind laws concerning gravity.
There may be many laws, each with only a few instances [Bird]
     Full Idea: It might be that there is a large number of laws each of which has only a small number of instances.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: This is a problem for the Ramsey-Lewis view (Idea 6745) that the laws of nature are a simple, powerful and coherent system. We must be cautious about bringing a priori principles like Ockham's Razor (Idea 3667) to bear on the laws of nature.
26. Natural Theory / D. Laws of Nature / 4. Regularities / b. Best system theory
A regularity is only a law if it is part of a complete system which is simple and strong [Bird]
     Full Idea: The systematic (Ramsey-Lewis) regularity theory says that a regularity is a law of nature if and only if it appears as a theorem or axiom in that true deductive system which achieves a best combination of simplicity and strength.
     From: Alexander Bird (Philosophy of Science [1998], Ch.1)
     A reaction: Personally I don't accept the regularity view of laws, but this looks like the best account anyone has come up with. Individual bunches of regularities can't add up to or demonstrate a law, but coherence with all regularities might do it.
With strange enough predicates, anything could be made out to be a regularity [Bird]
     Full Idea: We learned from Goodman's problem that with strange enough predicates anything could be made out to be a regularity.
     From: Alexander Bird (Philosophy of Science [1998], Ch.8)
     A reaction: For Goodman's problem, see Idea 4783. The point, as I see it, is that while predicates can be applied arbitrarily (because they are just linguistic), properties cannot, because they are features of the world. Emeralds are green.
26. Natural Theory / D. Laws of Nature / 8. Scientific Essentialism / d. Knowing essences
If flame colour is characteristic of a metal, that is an empirical claim needing justification [Bird]
     Full Idea: I might say that flame colours are a characteristic feature of metals, but this is an empirical proposition which is in part about the unobserved, and stands in need of justification.
     From: Alexander Bird (Philosophy of Science [1998], Ch.5)
     A reaction: This draws attention to the fact that essentialism is not just a metaphysical theory, but is also part of the scientific enterprise. Among things to research about metals is the reason why they have a characteristic flame.
27. Natural Reality / B. Modern Physics / 4. Standard Model / d. Mass
In Newton mass is conserved, but in Einstein it can convert into energy [Bird]
     Full Idea: According to Newton mass is conserved, while in Einstein's theory mass is not conserved but can be converted into and from energy.
     From: Alexander Bird (Philosophy of Science [1998])
     A reaction: Perhaps this is the most fundamental difference between the theories. It certainly suggests that 'mass' was a conventional concept rather than a natural one. Maybe the relative notion of 'weight' is more natural than 'mass'.
28. God / B. Proving God / 2. Proofs of Reason / b. Ontological Proof critique
The ontological argument begins with an unproven claim that 'there exists an x..' [Russell]
     Full Idea: 'There is one and only one entity x which is most perfect; that one has all perfections; existence is a perfection; therefore that one exists' fails as a proof because there is no proof of the first premiss.
     From: Bertrand Russell (On Denoting [1905], p.54)
     A reaction: This is the modern move of saying that existence (which is 'not a predicate', according to Kant) is actually a quantifier, which isolates the existence claim being made about a variable with a bunch of predicates. McGinn denies Russell's claim.