Osnova sekce

  • Read Putnam's paper "Mathematics without foundations" and think about the following:

    1] Do you agree that one of the two ways of looking at mathematics -- which Putnam states --,  i.e. ``Mathematics as Modal Logic'', can be understood with little loss of meaning as the simple provability in the first order-logic?

    2] What is the other way in Putnam's paper?

    3] Do you think (argue your point) that every mathematical statement has a truth value?

    ---

    If interested you can also read Putnam's paper "What is mathematical truth"?