論理と理論

論理と理論の違いは、可逆か不可逆かであると思う。

論理が同値関係に基く可逆な情報の変化を扱うのに対し、
理論はモデル化によって不可逆な情報の変化を扱う。