Philosophy of Science 80-220
http://www.andrew.cmu.edu/user/kk3n/philsciclass/philsci.html
Current News:
Hi everyone. Thank you for being well prepared
and having a lively class discussion.
I have added some reading assignments for the
second part of the course on confirmation. The readings will be in
a handout, so if you miss class on Wed. you will have to get it from my
mailbox (next to my office door at 135K Baker Hall).
Syllabus
I. Case Study: The Copernican Revolution.
II. Confirmation and Induction: What justifies
conclusions that go beyond the data? Does anything?
Midterm paper assignment.
Final paper assignment.
Basic Information:
Time: MW 10:30-11:50
Instructor: Kevin
T. Kelly.
-
E-mail: kk3n@andrew.cmu.edu.
-
Phone: X8567.
-
Office: 135 BH.
-
Office hours: Monday 1:00-2:00, Wed: 2:00-3:00, or by appointment.
Texts:
-
Thomas S. Kuhn, The Copernican Revolution
-
David Papineau, The Philosophy of Science
Description:
The stunning success of modern science occasions a number of very basic
questions.
What is an explanation? What is a cause? What
is confirmation? What is probability? What justifies
drawing conclusions beyond the data? How does logic differ
from science? Does science aim at truth? Explanation?
Prediction?
Do scientific terms denote objects or do they merely serve as calculational
devices? Is there a scientific
method? Is there a role
for subjectivity? Are there any objective rules in
science at all? Is science just politics? Is there such a thing
as objective evidence in scientific debates?
Reasonable (and famous) people have differed sharply as to their answers.
We will survey some answers proposed to some of these questions.
This is not a closed subject. You may come up with a better idea!
The material is not dogmatic or generally conceded, so it lends itself
to discussion. In order to get you thinking, I will put issues on
the table in a loose lecture format. Also, I will give some lectures
on some of the logical and probabilistic ideas as they arise.
Level of the Course:
The class carries a 200 level number. As such, it must be offered
at a level accessible to Sophomores. Advanced students can pursue
their interests in the rather open midterm and final essay assignments.
I will also be happy to discuss further issues and details in office hours.
Although the course material is not so difficult, it demands a certain
intellectual maturity to keep a clear grasp on the point at hand.
At the end of the day, you will not be told what the "right" answer is.
You will have to master several conflicting positions and not confuse
them. You will have to understand and construct arguments
instead of calculating the answers to exercises. All of this is typical
of any subject, including science, at the advanced graduate level, but
most people encounter it first in undergraduate philosophy classes.
Aims of the Course:
Primarily:
To provide an introduction to some issues and well-known
literature in the philosophy of science.
Secondarily:
To provide practice in argumentation.
To provide practice in structuring vague issues.
To provide practice in technical writing.
It is not an aim of the course to march through a fixed range
of material. The textbook is a loose collection of articles and the
schedule gives us little time to explore each topic in depth. If
there is support for the idea, we can extend a topic (e.g., confirmation).
General Requirements
Class participation:
This is a discussion course. I expect enthusiastic and well-informed
class discussion.
Discussion groups:
I may ask you to break into discussion groups and report your findings.
Attendance:
Reading assignments are due in class.
Punctuality:
A 10% per day late penalty applies to all written assignments.
Days are measured from the end of class.
To account for health and family contingencies, your lowest two
reading assignments will be dropped from your average.
Reading Assignments:
The philosophical material is tricky. It's kind of like stage
magic: by the time you even start to wonder how the lady will get out of
the box, she is already smoking backstage.
Whenever you read a philosophical article, have a notebook at hand and
follow this procedure:
-
Find the author's conclusion. Write it as simply and crisply as you
can.
-
Reconstruct the author's argument for the conclusion, noting all the basic
assumptions. Be very concrete about this. List the assumptions,
and then derive the conclusion from them by logical reasoning.
-
If the conclusion doesn't seem to follow, think of assumptions that would
make it follow.
-
Some assumptions may be left unstated because they are obvious or the author
doesn't want to call attention to them
-
Think about whether you agree with the assumptions. Try to think
of cases in which they would be false.
-
In the end, you should have
Assumptions
Missing assumptions
Reasoning
----------------
Conclusion
I may call on you to state an author's argument from your notes in
class.
Written Assignments and Grading
Reading Exercises (33% of the grade)
Simple reading questions are published with each reading assignment
on the web. These exercises give you some official credit for being
prepared for class discussion.
They are due in class on the date indicated.
Answers must be typed.
Keep the answers as short and crisp as possible. I expect no more
than a couple of sentences per question. Try to say something that
convinces me you read the text instead of guessing.
Your two lowest scores will be dropped from the average to account for
broken computers, illness, etc.
Midterm Paper Assignment (33% of the grade)
Due date: Oct. 15, end of class.
Length: 5 pages plus references.
Essay must be typed, double spaced, 10 pt. Times Roman, with proper
references. See paper
writing guide.
Option 1: Philosophical theories of scientific justification
are often judged by their ability to make sense of the history of science.
Analyze the Copernican Revolution (or some other scientific episode you
know about) from the point of view of one or more of the approaches
to confirmation and induction discussed in the course. Argue either
that the philosophical theory does a good job of accounting for the case
or that it fails to make sense of important aspects of the case.
Option 2: Bayesianism is a very flexible approach.
Try to show that some of the other confirmation theories we have looked
at can be understood to be applications of Bayesian principles.
Option 3: Discuss the relative merits of Naturalism and
of its alternatives.
Option 4: Write an expository essay on any other topic
that pertains to more than one of the confirmation readings. Give
me a written proposal with references first.
Final Paper Proposal (counts as one reading
exercise)
Due Nov 21. Start doing library work by Nov. 12.
One page outline of your final paper, with a list of plausible references
included.
Final Paper Assignment (34% of the grade)
Due last day of class (Dec 11). Get started as soon
as your prospectus is approved.
Essay must be typed, double spaced, 10 pt. Times Roman, with proper
references. See paper
writing guide.
seven pages + footnotes and bibliography.
Option 1: Argue for or against scientific realism, illustrating
your position with indendent research in the history or present practice
of some science. Try to keep it crisp and stick to arguments rather
than opinion.
Option 2: Analyze the rationality of a historical scientific
development in terms of one or more of the theories of confirmation discussed
in class. Check the linked list of scientific
episodes.
Option 3: If there is no logic of discovery, what are A.I.
people doing when the write computer programs for learning from experience?
Compare the articles on discovery in the text with some of the machine
learning literature (e.g., Herb Simon's BACON program). I can help
with references.
Option 4: Compare two of the accounts of explanation discussed
in class in light of real scientific examples drawn from library research.
Option 5: Any other critical topic that interests you and
that brings outside scientific reading to bear on more than one of the
articles examined in class. Consult me early (by April 5) for guidance
on this option.
You will be graded first on competent description, second on cogent
argumentation, and third on originality.
I. The Copernican Revolution
This introductory section of the course has two purposes. First of
all, we will be visiting a time when no distinction was made between philosophy
and science. Philosophy always becomes more important to scientists
during times of revolutionary change, when the certitudes of the past come
up for re-evaluation. Second, the Copernican Revolution is a celebrated
example of scientific change that will serve to illustrate many ideas in
the philosophy of science. It is widely agreed that philosophical
theorizing must be grounded in knowledge of scientific practice.
A third reason for the choice is Kuhn's admirable writing style, which
you may wish to emulate.
For those of you who looked at the case with me in 80-120, you
will find that Kuhn's presentation expands upon Cohen's.
Some related links:
Aug 29: The Two-Sphere Universe. Kuhn Chap 1 and Technical
Appendix section 1:
Reading Questions:
-
Define north, the solstices, and the equinoxes in terms of gnomon observations.
Draw a picture illustrating the definitions.
-
How are north, the solstices and the equinoxes defined theoretically in
terms of the two-sphere model?
-
What were the ancient plausibility arguments for the two-sphere model?
-
What phenomena are logically systematized by the two-sphere model?
How does Kunn distinguish explanation from usefulness for prediction?
(Wake up when words like "explanation" are discussed!)
-
Why were the more "modern" views of Leucippus, Pontus, and Aristarchus
ridiculed and rejected? (Give both reasons and remember them.
They will be important when we get to confirmation theory).
Sept. 5: The Problem of the Planets and Aristotle. Kuhn Chaps 2,
3:
Reading Questions:
-
By what observable property were the planetary orbits ordered? Which
planets were left unordered by this principle?
-
What problem posed by Plato did Eudoxus attempt to solve?
-
What obvious phenomenon did epicycles account for that Eudoxus' theory
did not?
-
Define "equant", "eccentric", and "major" and "minor epicycle". Why
didn't Copernicus like equants?
-
Was Ptolemy's theory ever refuted by the data? What was wrong with
it? (This is a very important question).
-
How did later astronomers try to fit epicycles into Aristotelian physics?
How did this lead to spurious measurements of the diameter of the universe?
-
Distinguish Aristotle's sublunary physics from his celestial physics.
-
Why would admission of infinite space or a vacuum undermine Aristotle's
physics?
-
How did Aristotelian physics foster astrology and how did astrology undermine
Aristotle's physics?
-
What two advantages did Aristotle's theory have over those of his contemporaries?
Some links:
Sept. 12: Medieval Developments. Kuhn, Chap 4.
-
When did Western Europe lose the Greek texts and when did it recover them?
-
Contrast Hellenic and Hellenistic astronomy.
-
What was Aquinas' achievement?
-
What was the moral significance of the Aristotelian cosmos in the 14th
c.?
-
What did Oresme do?
-
How did Buridan's impetus theory differ from Aristotle?s account of projectile
motion?
-
Contrast the assimilation of Ptolemy with that of Aristotle.
-
What practical concerns heightened the importance of astronomy in the Renaissance?
-
Contrast the texts recovered in the 15th c. with those recovered
in the 12th c.
-
How did new translations of Proclus affect Renaissance science?
Sept 17: Copernicanism. Kuhn, Chap 5.
This is an important topic. We want to figure out what was better
about Copernicus' system. The philosophical question will be: does
any of that mean that the theory is true?
Reading Questions:
-
Why did Copernicus find the current Ptolemaic system to be monstrous?
-
What does Copernicus himself cite as the main advantage of heliocentrism?
-
Why is it so important to Copernicus that the ocean and atmosphere make
Earth into a perfect sphere?
-
How does Copernicus reply to Aristotle's argument from natural motion to
the fixity of the Earth?
-
How does Copernicus' account of gravity differ from Aristotle's? (Where
did he get it from?)
-
Describe Copernicus' explanation of retrograde motion. Provide a picture.
-
Describe Copernicus' explanation of the seasons. Provide a picture.
-
What is the problem of stellar parallax?
-
How did Copernicus objectively order the orbits of the planets?
-
Was Copernicus' system more accurate or simpler than Ptolemy's?
Some links:
-
My notes on the Copernican
Revolution.
-
Copernicus' Preface
to De Revolutionibus .
-
Nikolaus Copernicus On
the Revolutions of Heavenly Spheres. Charles G. Wallis (Translator).
-
Photographs of De
Revolutionibus.
Sept. 19: Reception. Kuhn, Chap. 6.
This is another important topic. We want to see how scientists received
the theory after it became known. Try to figure out whether the reception
says anything about the unstated methods of the scientists involved.
Think about simplistic proposals one hears all the time about scientific
method. Was one of the theories refuted by data? Was there
a crucial experiment? Did one theory have more positive instances
than the other? Did astronomers critically suspend judgment until
one side was proved right?
Reading questions:
-
What was the significance of the Prutenic tables for the reception of Copernicus'
work by astronomers?
-
Contrast Copernicus' early reception by astronomers and non-astronomers.
-
Did Copernicanism initially fare better among Catholics or Protestants,
and why?
-
What accounts for the changing Catholic attitude toward attacks on the
Aristotelian cosmos in the early 17th c.
-
During which period did the tide turn in favor of Copernicanism?
-
What was the Tychonic system and what were its advantages?
-
Why were Tycho's parallax measurements on comets and novas so important?
-
State Kepler's three laws of planetary motion. Where did the first
law come from?
-
Why was it so important that stars seem to shrink when viewed through a
telescope?
-
What other telescopic observations supported Copernicanism?
II. Induction and Confirmation
This section of the course will be quite different from what came before.
Instead of looking at how science actually works, we will consider a few
ideas about how it should work. Whatever else one might say about
them, the papers we will be looking at are very widely known in the philosophy
of science.
Sept. 24: Carl Hempel: Studies in the Logic of Confirmation
(Brody and Grandy volume, pp. 258-278).
This paper shaped a whole approach to the philosophy of science.
Don't be put off by all the technical-sounding stuff. The motivation
and principles he discusses along the way have been very influential in
the philosophy of science, so it is worth looking at. Stay awake
and look for presuppositions you might challenge. The reading questions
will help you to focus on some relevant points. They will be more
critical in character than before.
I took a course with Hempel in 1981 and drove him to the airport when
he left Pittsburgh for Princeton after his retirement. He was a very
congenial gentleman and an animated lecturer.
Some reading notes:
-
Carl Hempel was a close associate of the logical positivist's "Vienna Circle".
The basic idea of the logical positivist movement was to use logic as a
tool to model scientific method the way it had already been used to analyze
the foundations of mathematics by Gottlob Frege and Bertrand Russell.
Thus, Hempel expects applause when he repeatedly draws an analogy between
scientific confirmation on the on the one hand and logical proof on the
other. That is also his excuse for gratuitous technicality throughout
the paper.
-
When Hempel says "A entails B" he means "if A then B".
-
"(x)(Red(x))" abbreviates "for all x, x is red".
-
"(Ex)(Red(x))" abbreviates "there exists an x such that x is red".
-
"All ravens are black" is translated into logic as "(x)(Raven(x) ---> Black(x))",
or "for all x, if x is a raven then x is black".
-
Read footnote 24.
-
Hempel's proposed theory is a mess so I cut it from your reading.
-
Footnote 27 pertains to question 7 below.
Reading Questions
-
What does Hempel want to provide a theory of?
-
What is "inductivism" and how does Hempel criticize it? Do you agree?
-
Why does Hempel think problem (A) is prior to problem (B)? Can you
think of an objection to that conclusion? Try to think of an analogous
concept where the qualitative version is slippery but the comparative concept
is not.
-
Hempel considers whether his project rests on which false assumption?
How does he respond?
-
What is Nicod's criterion of confirmation and what are Hempel's two objections?
-
What are the "paradoxes of confirmation"? (These are famous).
-
What is Hempel's solution to the paradoxes? Do you agree?
-
State the "special consequence condition". Does Ptolemy's theory
provide an intuitive counterexample?
-
Why can't you adopt the special consequence condition, the converse consequence
condition, and the entailment condition all at once? Give the argument.
-
What is "material adequacy"?
Sept. 26: Two articles by Rudolf Carnap:
1. Statistical and Inductive Probability
2. On Inductive Logic.
Here is a more formidable idea. Carnap still thinks of confirmation
as a logical relation between hypothesis and evidence. Carnap's idea
is that a valid deductive argument completely supports its conclusion,
whereas in science, the evidence incompletely supports the conclusion
to some degree. This degree of incomplete support is called
the logical probability of the hypothesis given the data. Like many
earlier writers, including the physicists Bernoulli and Laplace and the
economist John Meynard Keynes, Carnap thinks of degrees of support as probabilities.
The guiding analogy is:
deductive logic is to complete support as logical probability
is to incomplete support.
Perhaps the first recorded exponent of the idea was the ancient skeptic
Carneides, who held that complete certainty is not justified but that degrees
of certainty are. All of these proposals have the property that one
can talk of the probability of h given e rather than somebody's
personal degrees of belief in h given e. On such a theory, the degree
of support of h given e is objective; subjective differences being a matter
of different evidential histories and of taste in choosing a particular
method of assigning degrees of support or "confirmation"..
Carnap was a leader in the positivist's Vienna Circle, developing many
of its main ideas. He felt that the new mathematical logic of Frege
and Russell gave him an advantage over earlier advocates of degrees of
empirical support like Laplace and Keynes. He actually picked up the idea
of logical probability from a pre-mystical Wittgenstein, during the latter's
tumultuous visit to the Vienna Circle.
Reading hints:
You shouldn't have much trouble with the first article. The article
"On Inductive Logic", is needlessly difficult to understand. The
concepts are actually quite simple, so I'll explain them myself. My
hints should more or less save you the work of reading the article
up to section 9. If you aren't used to mathematical definitions,
don't panic. The terms introduced below mean nothing more or less
than what the definitions say, so no background is required.
Reading
hints.
Reading Questions on first article:
-
How do inductive probabilities differ from statistical probabilities (e.g.,
what are they attached to)?
-
What is the principle of indifference and how did Reichenbach and Von Mises
object? How does Carnap object?
-
What are prior probabilities and what are methods I and II for assigning
them?
-
How does Carnap propose to avoid the paradoxes of indifference?
-
Why does Carnap choose method II over method I?
Reading Questions on second article:
-
To make sure you get the idea: list all the isomorphism classes of
state descriptions for the language with two predicates P(_), Q(_), and
two individuals a, b (easiest on a word-processor: cut and paste
a lot and add - signs where required). Next to each state description,
write the value of m* for that state description. Use the table to
calculate c*(P(a), Q(b)).
-
What is a direct inference?
-
What is an inverse inference?
-
What "astonishing" consequence does Carnap's theory have for the confirmation
of universal laws? How does he try to address this consequence?
What do you think about that?
-
What kind of "justification" of induction does Carnap approve of?
Oct. 1:
Goodman: The New Riddle of Induction and
Savage: Implications of Personal Probability
Nelson Goodman's short article is among the most famous in the philosophy
of science. It represents a direct attack on the very idea of Carnap's
"logical" account of induction.
After Goodman's article, philosophers of science lowered their ambitions
from finding an objective logic of empirical support to merely identifying
some "rational" constraints on changes in admittedly subjective degrees
of belief.
The view that probabilities on hypotheses are just somebody or other's
willingness to bet on the proposition is now called Bayesian methodology,
after the Reverend Thomas Bayes. The idea that there is no justification
for belief but, nonetheless, we are psychologically wired to become more
confident in light of increasing evidence goes back at least to David Hume
in the 18th century. The view was revived in this century by the
philosopher/mathematician Frank Ramsey. J. M. Keynes, the famous
economist who first proposed the logical interpretation of probability
pursued by Carnap, was completely converted to the Bayesian or "personalist"
position by Ramsey.
L. J. Savage, a Bayesian statistician, was a major figure in laying
the foundations of Bayesian statistics, the official view of the Carnegie
Mellon statistics department.
I have included some notes
on Bayesian methodology that complement Savage's more foundational
discussion. Please study them. They contain ideas that may be useful
for your midterm paper.
Reading Questions:
-
Why is it important to distinguish lawlike from accidental statements?
How does this point relate to Carnap's theory?
-
What is the point of the blue/green vs. grue/bleen example?
-
What is the starting point for the theory of personal probability?
-
What is an example of an objective, normative constraint on personal degrees
of belief?
-
What is Savage's model of the objectivity of scientific knowledge?
-
What is the "paradox" of the objectivity of classical statistics?
-
What is Savage's view of logical or "necessary" theories of probability
like Carnap's?
-
How does Savage respond to the objection that a theory of gambling preferences
is too mundane to serve as a foundation for science?
-
How does Savage respond to Carnap's view that there are two kinds of probability?
-
Why does personalism leave one with no foundation for one's current beliefs?
Oct. 3:
Gilbert Harman: The Inference to the Best Explanation.
Clark Glymour: Relevant Evidence
Harman defends the "hypothetico-deductive" method, which is to to select
the theory that best accounts for the data.
Clark Glymour is a professor in our philosophy department. So
if you have any complaints about his theory, go tell him! This article
was very influential. Unlike the preceding papers, Glymour's emphasizes
the importance for confirmation of "unification" or "harmony" of the sort
we saw in Copernicus' theory. For this reason, Glymour's theory has
lots of applications in real science and my be of use to you in composing
your midterm paper. Glymour claimed that his theory is not Bayesian.
But a Bayesian, Roger Rosencranz, claimed that Glymour's ideas follow from
Bayesianism. While you ponder this, go back and look at my notes
on Bayesianism, under the heading of "unification".
The idea is simpler than Glymour makes it sound. His idea is just
that the hypotheses that are confirmed in a theory are the ones that can
be "cross-checked" by using the data and other
hypotheses in the theory to compute values for their theoretical quantities
in different ways that might possibly agree. So for example, the
observation of two planets tests Kepler's third law relative to the assumptions
of Copernican astronomy, but the observation of one planet does not, since
Kepler's law relates the radii and velocities of different planets.
If the data could not have turned out in such a way that the hypothesis
is refuted given the rest of the theory (i.e., if the hypothesis is not
"at risk" from the data, given the rest of the theory), then even if the
theory is consistent with the data, the hypothesis is not confirmed by
the data. Even though two theories make the same predictions with
equal accuracy, the hypotheses in one theory may be cross-checked against
one another better than the hypotheses of its opponent.
That sounds good, doesn't it? Here's a question for you to ponder.
If both theories make exactly the same predictions, how could relying on
"internal cross checking" possibly allow you to determine which is true
unless God told you in advance that he would produce phenomena in a unified
or internally cross-checkable way?
If you find the article rough sledding, make sure to look at the quote
of Weyl on p. 334, which presents the idea very simply. Don't worry
about the details of the generalization to logical theories under heading
III.
There is typo on p. 333: the equation should be
X(f1(E1 ... Ek),
..., fi(E1 ... Ek))
= 0.
Reading Questions:
-
What is "enumerative" induction and how does Harman argue that hypothetico-deductivism
is more fundamental?
-
What feature of knowledge does the hypothetico-deductive approach explain
that enumerative induction cannot explain? It could have been said
more clearly.
-
Why does Glymour think the hypothetico-deductive account failed?
-
What is Glymour's objection to subjective Bayesianism?
-
How do scientists compute values of theoretical quantities? Use your
knowledge of Copernicus' determination of the diameters of the superior
planets to illustrate this point.
-
Why is hypothesis (1) not confirmed by an observed value of A1?
-
Why is variety of evidence good, and how does Glymour define "variety"
with respect to a theory?
-
How does Thirring's theory illustrate the point that accurate prediction
does not suffice for confirmation?
-
How does Glymour characterize theoretical simplicity and what does it have
to do with confirmation?
-
What is holism? What part of holism does Glymour agree withand what
part does he disagree with.