色々とゴタゴタだが、重要な概念。1-指標の種まず、知り方＝「『知っている』のあり方」として、 直接知〈direct knowledge〉＝直接知っていること、経験的に知っていること 公理的知〈axiomatic knowledge〉＝公理系の実例として知っていること とに分類す…

構文論はコンピュータッド理論といえる。各次元の基本記号（セル | アトム）を決めて、基本記号のプロファイルは、下の次元の基本記号から構成される項（複合セル | ダイアグラム）で記述する。各次元の基本記号（セル）の意味（割り当て）が決まれば、アン…