入れ子の概念

タイトルは書いてることに対して抽象度が高すぎるのでいいタイトルを思いついたら変える

いくつかの概念と関連している

• 一つの概念だと思っていたものが入れ子の二つの概念
• 「Xである」と「Xでない」が両立する
• リスコフ置換原則

それらに出てない追加の話がある

• 狭義のXを考えてる人1が「Xの要素はAである」を前提として話してるとき、広義のXを考えてる人2は「1は『Xの要素はAである』と仮定して話しているがそれは間違っている、教えてあげよう」と考える
  • 自分が正しいことをしようとしているつもりなので正義の暴力が発生する
• 広義のXを考えてる人2が「Xの要素にはAでないものがある」と主張したとき、狭義のXを考えてる人1は「そんなものは明らかにない、人2は間違っている、教えてあげよう」と考える
  • もしくは「認知の解像度が低いから」
• 互いに相手が劣っていると思う

二人が違うことを言う絵のシリーズ

• 言うことが複雑
• なるべく自然言語を使わないで表現しようとしてきたんだけど今回それをやると
  • $\forall x\in X,x\in A$ v.s. $\exists x\in X,x\notin A$
• と言う構図になる
• うーん、まあでも、図と合わせれば数学が苦手でもわかるか？(わかるか？？)

関連

• 入れ子の集合
• 入れ子