[カテゴリー：問答推論主義へ向けて]
私には、tonkで明示化できるような暗黙的な推論は成立していないように思われます。しかし、それを証明することも難しように思われます。
そこで、＜暗黙的推論を認めると、「tonk」のような不適切な論理的語彙もまた保存拡大的であることになってしまう＞という懸念を回避するために、保存拡大性の定義をつぎのように修正したいとおもいます。
論理的語彙の「保存拡大性」とは、＜論理的語彙を（導入規則によって）導入して、直ちに（除去規則によって）除去するとき、論理的語彙の導入と除去の前に、正しくなかった明示的推論が正しくなることはなく、正しかった明示的推論が正しくなくなることはない、つまり、以前の明示的推論関係が保存される＞としたいと思います。
このようにすれば、tonkのような論理結合子を排除できます。
