[カテゴリー：『問答の言語哲学』をめぐって]
（問答論理での）シーケント計算が、他の言語表現の意味を変えないこと、つまり公理（ｐ┣ｐ、同一律）、構造規則の「弱化」「縮約」「交換」、派生規則の「カット」、それに加えて「┣」、これらの使用が、他の表現の意味を変えないことをどうやって証明したらよいのでしょうか。
＃公理ｐ┣ｐについて。
ｐ┣ｐがｐの意味を変えないことは、どうしたら証明できるでしょうか。これを証明することは、＜もしｐ┣ｐによってｐの意味が変化するとしたら、矛盾が生じる＞ということを証明することによってできるでしょう。もしｐの意味が変化するとすれば、真であったｐ≡ｒが、偽になるとか、真であったｐ→ｒが、偽になるとか、真であったｒ→ｐが偽になる、というようなことが生じるはずです。つまり、従来の真であった式が偽になったり、従来偽であった式が真になったりするはずであり、矛盾が生じるはずです。
（ｐ┣ｐがｐの意味を変えないことについては、今のところこのような背理法による証明しか思いつきません。直観主義論理では、背理法が成り立たないので、直観主義論における同一律の使用がｐの意味を変えないことの証明にはなっていません。）
しかし、ここで重要なことに気づきました。ｐ┣ｐは、ｐの意味を変えないのですが、それはｐの意味を保存するからではなく、ｐの意味を作り出すからではないでしょうか。ｐ┣ｐと語る前に、ｐの意味が成立しているのならば、ｐの意味を変えずに保存していると言えますが。しかし、ｐについて語る時、ｐ┣ｐが常に暗黙的に考えられているとすると、ｐ┣ｐは、ｐの意味を変えずに保存しているのではなくて、ｐの意味を作り出していることになります。
一度使用されたｐを何度も使用するときには、最初のｐの使用への照応的な言及が行われているはずです。ｐの意味は、一旦作った彫刻が存在し続けるように、ｐの意味を作ったら、存在し続けえるというのではありません。それが存在し続けるのは、いわば意味の空間においてであり、それを絶えず再構成し続けているのではないでしょうか。つまり、ｐ┣ｐは、ｐについて最初に語る時だけでなく、ｐ┣ｐは、ｐについて語るとき常に暗黙的に考えられており、ｐの意味を常に作り出していることになります。
ここから言えることは、たしかにｐ┣ｐは、ｐの意味を変えないけれども、それは、＜ｐの意味はこの同一律とは同区立に成立しており、同一律はｐの意味と無関係である＞と言うことではない、と言うことです。そして、同様のことが、これまでみた論理定項についても同じように言えるのではないでしょうか。論理的語彙が、他の語の意味を変えないということは、その語の意味と無関係であるということを意味しないのです。
ここから、これまで述べてきた論理的語彙と疑問表現による意味の明示化についての説明を、少し変更する必要が生じます。次にこの点を説明したいとおもいます。（今回言及しなかった構造規則とカット規則と意味の関係については、その後の課題とします。）