Mathematics and Philosophy logic at loggerheads mathematics - fundamentalism with a naive faith in

  • Define the word
  • I’m not going to question the veracity of the definition. philosophy
  • Problems with foundationalism and old news
    • Aim to create a system with [integrity
  • The definition of a certain symbol X is no different from the mere use of X because it merely states the relationship between X and other words - The meaning of a word is the use of the word
  • If the same symbol is used in two places, we assume it refers to the same thing.
    • How the symbol X is used in its everyday use is of little importance
    • There is a weak assumption that it may be used in a similar way, and if there are no other clues, it is used to interpret the meaning, but if there is a contradiction, this one is discarded because the relationship in the text is stronger.

This page is auto-translated from /nishio/数学と哲学 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.