UCLA Logic Colloquium, Nov 5

From: H. Enderton (hbe_at_sonia.math.ucla.edu)
Date: 10/29/04


Date: Fri, 29 Oct 2004 23:57:31 +0000 (UTC)


                        UCLA LOGIC COLLOQUIUM
                       Friday, November 5, 2004
                              4:00 p.m.
                      Mathematical Sciences 6627
                                UCLA

                          DONALD A. MARTIN

                      (Departments of Mathematics
                         and Philosophy, UCLA)

                     "GOEDEL'S CONCEPTUAL REALISM"

  Goedel is commonly regarded the paradigm of a platonist: of someone
  who believes that mathematics is about a realm of independently
  existing abstract objects. Goedel certainly is a platonist in this
  sense. But his brand of platonism, which he calls "conceptual
  realism," has a whole other aspect. For example, Goedel holds that
  the truths of mathematics are analytic: that a true mathematical
  proposition is true in virtue of the meanings of the terms occurring
  in it. This aspect of Goedel's position puts concepts, rather than
  objects, to the forefront. I will discuss the relation between the two
  aspects of Goedel's realism, and I will try to show that the object
  aspect has a smaller role than it is usually taken to have.

_________________________________________________________________________

http://www.math.ucla.edu/~hbe/logic.html



Relevant Pages

  • Re: Set Theory: Should You Believe
    ... theory to do mathematics. ... axioms of set theory. ... There is a book "Platonism and Anti-Platonism in Mathematics", ... "Mathematical realism, like realism in general, holds that mathematical ...
    (sci.logic)
  • Re: Whats the name for this?
    ... EN> We have a philosophy of mathematics whether we want to or not, ... EN> and Platonism produces bugs because of its demand that everything ... predates "programming" and computers. ...
    (comp.programming)
  • Re: Whats the name for this?
    ... > EN> We have a philosophy of mathematics whether we want to or not, ... > EN> and Platonism produces bugs because of its demand that everything ... >> infinity of proofs that there is a connection between Plato and CS. ... Whatever "encyclopedias of philosophy" or cheat sheets you are reading ...
    (comp.programming)
  • Re: The Physics of the Platonic Realm
    ... realm where mathamatical laws have objective existence. ... Platonism, and intuitionism. ... Platonistic view that mathematical truth is absolute, ... "Is mathematics invention or discovery? ...
    (sci.physics)
  • Re: existencism
    ... particular Balaguer 1998 "Platonism and Anti-Platonism in Mathematics," ... “Multiple universes of sets and indeterminate truth values”, Topoi, 20 ... But do these non standard universes exist? ...
    (talk.origins)