Skip to main content
Philosophy

Return to Question

Tweeted twitter.com/StackPhilosophy/status/725673241801580544
removed tag (this isn't really about logic), formatting
Source Link
edit approved Apr 25, 2016 at 17:25
E...
edit approved Apr 25, 2016 at 17:25
E...
  • 6.7k
  • 4
  • 24
  • 43

I read that platonists believe there are abstract mathematical objects.

How do they think about formal systems? For example, (1)Do they discriminate the set of natural numbers N on ZF and that on ZFC?(2)Do they see the sets in a formal system as itself abstract mathematical objects, or as something gives expressions of the abstract objects?

  1. Do they discriminate the set of natural numbers N on ZF and that on ZFC?

  2. Do they see the sets in a formal system as itself abstract mathematical objects, or as something gives expressions of the abstract objects?

I read that platonists believe there are abstract mathematical objects.

How do they think about formal systems? For example, (1)Do they discriminate the set of natural numbers N on ZF and that on ZFC?(2)Do they see the sets in a formal system as itself abstract mathematical objects, or as something gives expressions of the abstract objects?

I read that platonists believe there are abstract mathematical objects.

How do they think about formal systems? For example,

  1. Do they discriminate the set of natural numbers N on ZF and that on ZFC?

  2. Do they see the sets in a formal system as itself abstract mathematical objects, or as something gives expressions of the abstract objects?

edited title
Link
Joseph Weissman ♦
Joseph Weissman ♦
  • 9.7k
  • 8
  • 48
  • 86

Mathematical platonism and axiomatic mathematics How do mathematical Platonists think about formal systems?

Source Link
user14830
user14830

Mathematical platonism and axiomatic mathematics

I read that platonists believe there are abstract mathematical objects.

How do they think about formal systems? For example, (1)Do they discriminate the set of natural numbers N on ZF and that on ZFC?(2)Do they see the sets in a formal system as itself abstract mathematical objects, or as something gives expressions of the abstract objects?