スパイダー〈デルタ〉を持つテンソル計算系では、スパイダー定理が成り立つ。あるいは、スパイダー定理の主張を公理として要請する。スパイダー定理は包括的な主張だが、より具体的な事例はいくらでも自分で作れるだろう。many spiders が2匹、3匹のときの簡…

[含意問題] 含意と論理順序が混同されており、その混同が常態化している。 [メタ問題] オブジェクトレベルとメタレベルの区別、命題と判断〈メタ命題〉の区別や使用法が難しい。 [イコール問題 1] イコール記号が等値じゃなくても使われる。やめさせたいが、…

我々（人類）は、名付けと名前解釈の問題で悩み続ける宿命なのだろう。我々は、直示（名付けによらない直接指示）コミュニケーションが特別な（同じ絵を見ていて、指差し可能とかの）場合しか出来ないから、名付け・名指しを避けられない。名指しによらない…