「判断的セオリーと判断計算」で紹介したコラリア／ディ-リベールティの論文 "Context, Judgement, Deduction" は、「演繹〈deduction〉とは何なのか？」をテーマにしています。「メリス／ジルバーガーの圏論的判断計算」で紹介したメリス／ジルバーガーの論…