Philosophy of Mathematics

You can view this site just like any web site. If you want to be able to edit it, you must ShaughanLavine? - 28 Aug 2008 - 04:25 - 1.15" class="twikiLink">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

ShaughanLavine? - 21 Feb 2007 - 06:55 - 1.16" class="twikiLink">GödelWhat IsCantor'sContinuumHypothesis

ShaughanLavine? - 21 Feb 2007 - 21:35 - 1.11" class="twikiLink">PoincaréOntheNatureofMathematicalReasoning

BenacerrafMathematicalTruth

---

CorcoranConceptualStructureofClassicalLogic

IsomorphismandStructuralism

CategoricityandFirstandSecondOrderLogic

FirstvsSecondOrderLogic

AxiomatizableTheories

SkolemsParadox

ShaughanLavine? - 25 Feb 2007 - 04:50 - 1.4" class="twikiLink">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.