>>857
> 哲学板でやってれば
>
> いいや、ここに留まる。
> 　”if ..., then ...” の解釈を誤った上に構築されている現行の論理学理論は、根本的に間違っているのだ。

だからそれは哲学の問題、あるいは哲学としての論理学理論の問題
ここは数学、数学は単なるゲーム
ゲームとしての数学で重要なのは、公理系が面白い＝様々な美しい定理が導かれるだけの豊かさを持つか否かであって日常の言葉に沿っているか否かの問題は数学では関心・興味の対象ではない

君が拘っている自然語としての"if …, then …"に沿った解釈に基づく公理か否かは数学の問題ではないから、これについて数理論理学としては正しい・間違っているの判断はしない
どういう解釈であろうと、その解釈の結果として面白い公理系が得られればそれが数学としては「正しい」道
そして、君が「解釈が間違っている」と批判する古典命題論理はモデルとしてのブール代数など十分に豊かで楽しめる世界を与えてくれたので数学の一分野である数理論理学としてはそれで十分に合格

君の疑問や議論が意味や意義を持つのはあくまでも哲学においてだけだ、数学では君の疑問の価値はゼロ、ここで論じられても単なる迷惑なだけというのを良く認識したまえ、偏執狂のアスペ君