まっとうな論理系（証明系＋真偽割り当て）の条件として「無矛盾かつ健全」があるが、これはなんだか変な気がしてきた。無矛盾性と健全性は全然レベルが違う。並列にならべて議論すべき概念ではない。健全を定義するには真偽概念がないといけない。そのため…

論理式の全体をF（formula）として、それに証明系が付いていているとする。証明可能な論理式の全体をP（provable）、反証可能な論理式の全体をR（refutable）とする。P∩R≠空 のとき、PとRは接触すると言えるだろう。そのとき、通常の証明系では、P=F、R=Fと…

非常に予測できた事態（日本語変？）だが、飼育記本編よりメモ編のほうが書きやすい。本編は他人が読むであろうことを一応は仮定しているから、「あけましておめでとうございます」とか書き始めるべきかとプレッシャー(?)がかかる。僕にとって新年なんてどう…