言語・習慣・文化のせいで、せっかくの原則がうまく使えない例がカリー／ハワード対応。なんとかしてキレイに整理する。演繹システムでは不明瞭で、プログラミング・システムでは明瞭な概念： システム組み込み vs ユーザー定義 ライブラリによるシステムの…

http://d.hatena.ne.jp/m-hiyama-memo/20181102/1541141733の最後の余談を敷衍する。domain of discourse の訳語に論域を使う。すると、命題関数の域は論域となる。「論域＝命題関数の域」で事情が少しハッキリする。シーケントにおける自由変数の指定は、論…

記法バイアスと記法独立な把握： 順序随伴を例として - 檜山正幸のキマイラ飼育記では、 標準的テキスト記法の強烈なバイアスに支配されている、あるいは記法の獄舎に投獄されているからです。 自ら「記法の獄舎」に閉じこもりたい傾向（思考、指向、嗜好）…