数学と哲学
論理
仲悪い
数学
- 基礎づけ主義を素朴に信仰している
- 単語を定義する
- 定義の真実性は疑わないことにしてる
哲学
- 基礎づけ主義の問題点とか旧聞
- 整合性のある体系を作ることを目指す
- あるシンボルXの定義は単にXと他の単語の関係を述べているだけにすぎないのだからXの単なる使用との違いはない
- 同じシンボルが2箇所で使われているならそれは同じものを指していると仮定する
- シンボルXがその日常的な使用においてどのように使われるかはあまり重要ではない
- 似た用法で使われているかもしれない、という弱い仮定はあり、他に手がかりがないならそれを使って意味を解釈するが、テクスト内の関係の方が強いので矛盾するならこちらが捨てられる