Philosophy of Mathematics

You can view this site just like any web site. If you want to be able to edit it, you must register. Once you have a WikiName and password, all you have to do is click the edit link above.

If you wish to make use of mathematical symbols, most can be displayed using the LatexModePlugin, which accepts most LaTeX constructs. There is a quick tutorial on the LaTeX page. The symbols should display correctly in any browser. If you have trouble let ShaughanLavine know. Here is a list of TWiki TextFormattingRules.

-- ShaughanLavine - 06 Jan 2005


TheFirstPaperIsDue25February(SeeNote)

Professor Lavine agreed to accept the first of our two required papers on February 28, 2005 (Monday) without assessing a penalty for tardiness; however, he warned that he will not be able to guarantee that papers submitted to him Monday will be graded before the March 8, 2005 (withdraw from course or switch to audit deadline for the Spring 2005 semester). -- EdwardHopkins? - 23 Feb 2005

ProposalsforEndofCourse

Lecture Notes

FirstLecture
FregeConceptofNumber
RussellIntroductiontoMathematicalPhilosophy
FregeRussellDiscussion
CurryFormalism
DummettIntuitionism
IntuitionisticLogic
HilbertOnTheInfinite
CarnapPredicativity
FreeChoiceSequences
BenacerrafWhatNumbersCouldNotBe
BernaysPlatonisminMathematics
InfiniteNumbers
GödelWhat IsCantor'sContinuumHypothesis
PoincaréOntheNatureofMathematicalReasoning
BenacerrafMathematicalTruth

CorcoranConceptualStructureofClassicalLogic
IsomorphismandStructuralism
CategoricityandFirstandSecondOrderLogic
FirstvsSecondOrderLogic
AxiomatizableTheories
SkolemsParadox
GödelsIncompletenessTheorems
ParsonsStructuralistViewofMathematicalObjects
LavinesIncompleteObjects

PhilosophyofMathematicsSyllabus2005

Announcement:

I will be gone from 6 March to 20 March and again 25 March. Patrick Dieveney will be covering the class.