形式化の2つの用途

1. コミュニケーションの精度向上のため
2. 命題のデータ化のため

コミュニケーション精度向上のほうは、やることが望ましいが、必須ではない。がんばれば、自然言語でも伝わる。それに100%の形式はどうせ無理。常に必然的に宿命的に中途半端である。

一方、命題のデータ化＝符号化は必須であり。絶対にやらなくてはならない。これは100%やる。完全にやらないと意味がない。