言葉や記号や図による表現の困難さ
大事なこと:
- 記号と、記号が意味するモノを区別する。
- 図や図の一部と、図や図の一部が意味するモノを区別する。
- 必要なら、記号と、記号が意味するモノを同一視する。
- 必要なら、図や図の一部と、図や図の一部が意味するモノを同一視する。
- 多義語は文脈ごとの解釈を変える。
- 同義語は、言葉の違いに拘らない。
- 標準的(広く合意された)な数学(論理、計算科学)用語を別な意味に転用しない。
- 数学的な用語を、オレオレ解釈して歪めたり制限したりしない。
リレーションの理論がダメなのは、やってはいけなことを派手にやって、それにも関わらず得意がっているところだろう。「イタイ」という感じだ。