Set theory axioms
The following are the axioms of ZFC (ZermeloFraenkel plus choice) developed between 1908 and
the 1920s.
1. Axiom of extensionality; 2. Axiom of regularity
(also called the Axiom of f
Consistency and
existence
SQ12. What is the relationship between consistency
and existence?
Hankel: the mathematician counts as impossible
only what is self-contradictory.
Frege: A concept is still ad
Zero
SQ7. What is 0?
That a concept contains a contradiction is not
always obvious without investigation, but to
investigate it we must first possess it, and, in logic,
treat it like any other. All th
Notes
Auditing: people not formally enrolled in the class
may sit in or audit, but if you are not enrolled, please
ensure that enrolled students all have seats before
you take one yourself.
Please bri
Philosophy of Mathematics
Patricia Marino
Fall 2012
Paper topics, second paper assignment. Write 1500-1800 words on ONE of the topics
below. The paper is due Dec 11; email it to me at [email protected]
Philosophy of Mathematics
Patricia Marino
Fall 2012
Paper topics, first paper assignment. Write 900-1200 words on ONE of the topics below.
The paper is due Oct 4; email it to me in pdf format before c
The mathematical
practice objection
In contrast with CH, this question [of Lebesgue
measurability of certain sets of reals] concerns only
a limited class of definable sets of reals, sets whose
definit
Two talks about phil
of science
Who Speaks for the Global Climate? Institutional
Pluralism and Democratic Representation. Mark
B. Brown, California State University, Sacramento,
Thursday, October 25,
Quine, On What
There Is
Quine is a proponent of naturalism.
Naturalism: "the abandonment of the goal of first
philosophy," "the recognition that it is within science
itself that reality is to be ident
Dates etc.
Optional rewrites for papers are due Thur Nov. 1 by
email before 5:30. If you have questions about your
grade, comments, etc., do not hesitate to ask me.
First test is Thur Oct 18. Format:
Quine, Two Dogmas
of Empiricism
Two dogmas: analytic/synthetic distinction;
reductionism
Quine: these are ill-founded.
Results: metaphysics and science run together, and
support for pragmatism.
Quine
Objection from an
interlocutor
But surely theres a fact of the matter of whether l=1,
even if we do not know it yet?
Heyting: to say this is to rely on metaphysics, which
should be banished from mathe
Brouwer, Intuitionism
and Formalism
Intuitionists and formalists agree that there is an
exactness to mathematics that does not hold in the
rest of science.
The question where mathematical exactness do
Legitimacy of ideal
elements
SQ9. On what conditions is the method of ideal
elements legitimate?
That condition is a proof of consistency, for the
extension of a domain by the addition of ideal
elemen
Naturalism and
applicability
Sorin Bangu, Wigners Puzzle for Mathematical
Naturalism
Two challenges for
Maddys views
1. What two challenges does Bangu think the Mnaturalist will have trouble meeting s
Maddy on second
philosophy
These days as more and more philosophers count
themselves as naturalists, the term has come to
mark little more than a vague science-friendliness .
My goal in this book is t
Interlude: the nature
of realism
There are two general aspects to realism, illustrated
by looking at realism about the everyday world of
macroscopic objects and their properties. First, there
is a cla
Burgess
Burgess, Mathematics and Bleak House.
A consideration of mathematical fictionalism.
Bleak House is a novel by Charles Dickens that
involves an endless court case, Jarndyce vs.
Jarndyce.
Destru
Bedrock
SQ6. How is the Bedrock community different from
ours and what's the point of this example?
Imagine that for us, Platonism is mandatory: it
would be irrational not to believe in abstract objec
Why math and not
other practices?
SQ2. How does Maddy respond to the challenge of
why we view mathematical practice as different
from, say, astrological practice?
The question has to do with why we tr
Maddy, Three Forms
of Naturalism
Idea: to contrast the naturalisms of Quine, Maddy,
and Burgess.
Can a naturalist do
more than describe?
Neurath has likened science to a boat which, if we
are to rebui
Physics is written in
mathematics
It is not true, however, as is so often stated, that
this had to happen because mathematics uses the
simplest possible concepts and these were bound to
occur in any f
Patricia Marino
Paper writing guidelines
- Have a clear thesis that you argue for. Do not merely summarize, or write a report.
- State your thesis early on, argue for it, then give a brief conclusion.
Patricia Marino, paper grading information
Typically, for this paper, the above will correlate with the paper features below,
though doing an exceptionally good or bad job in one area can move your gr
Philosophy of Mathematics Fall 2012
Benacerraf, "Mathematical Truth"
1. What are the two kinds of conditions an account of mathematical truth ought to be
faithful to?
2. What is the "standard" semanti
Philosophy of Mathematics
Study Questions week 12
Patricia Marino
Sorin Bangu, Wigners Puzzle for Mathematical Naturalism
1. What two challenges does Bangu think the M-naturalist will have trouble mee
Philosophy of Mathematics
Study Questions week 11
Patricia Marino
Colyvan, "The Miracle of Applied Mathematics"
1. How does Colyvan suggest the problem of applied mathematics has been usually seen
as
Philosophy of Mathematics
Study Questions week 10
Patricia Marino
Yablo, The Myth of the Seven
1. What is the purity problem? What is the alternative problem about applicability that
Yablo wants to fo
Philosophy of Mathematics
Study Questions week 9
Patricia Marino
Penelope Maddy, "Three Forms of Naturalism"
1. How do Maddy's and Burgess's versions of naturalism differ from that of Quine?
How are t