現在の数理論理学の主流は、
世界的に abstract algebraic logic と modal logic の
2本柱なのに、大丈夫なのかね、この国は。
意味論もウィトゲンシュタイン流の2値論理は終焉を迎えて、
真理値がノルム空間に拡張された fuzzy logic の
萌芽も見え始めているというのに・・・。