【MoL】6 CONSISTENCY AND VALIDITY

• interpretationをベースにして、schemaのconsistent, inconsistent, validを定義。
  
• validは、トートロジのこと。inconsistentの定義は、validのnegation。consistentは、validでもinconsistentでも無いこと。
  
• ここら辺の用語の選択、下手じゃないかなぁ。
  
• validなschemaは、言明としては無内容である。validなschemaというのは、それ自体が目的ではなくて、それがいろいろな手段になることが重要だ、とのこと。なるほど。
  
• 例えば、真理値分析をスピードアップできる。
  
• validなschemaへの別のschemaの代入は、validityを維持する。consistentなschemaは性質が変化してしまう。
  

こつこつ。