―「昨日の記事（210）」を訂正します。―
（01）
（ⅰ）
１（１）（Ｐ→Ｑ）＆（ Ｑ→ Ｐ） Ａ
１（２） Ｐ→Ｑ １＆Ｅ
１（３） Ｑ→ Ｐ １＆Ｅ
１（４） ～Ｐ→～Ｑ ３対偶
１（５）（Ｐ→Ｑ）＆（～Ｐ→～Ｑ） ２４＆Ｉ
（〃）
１（１）（Ｐ→Ｑ）＆（～Ｐ→～Ｑ） Ａ
１（２） Ｐ→Ｑ １＆Ｅ
１（３） ～Ｐ→～Ｑ １＆Ｅ
１（４） Ｑ→ Ｐ ３対偶
１（５）（Ｐ→Ｑ）＆（ Ｑ→ Ｐ） ２４＆Ｉ
（02）
（ⅰ）
１ （１）（Ｐ→Ｑ）＆（ Ｑ→ Ｐ） Ａ
１ （２） Ｐ→Ｑ １＆Ｅ
１ （３） Ｑ→ Ｐ １＆Ｅ
４ （４） Ｑ Ａ
５（５） ～Ｐ Ａ
１４ （６） Ｐ ３４ＭＰＰ
１４５（７） ～Ｐ＆Ｐ ５６＆Ｉ
１ ５（８） ～Ｑ ４７ＲＡＡ
１ （９） ～Ｐ→～Ｑ ５８ＣＰ
１ （ア）（Ｐ→Ｑ）＆（～Ｐ→～Ｑ） ２９＆Ｉ
（〃）
１ （１）（Ｐ→Ｑ）＆（～Ｐ→～Ｑ） ２ア＆Ｉ
１ （２） Ｐ→Ｑ １＆Ｅ
１ （３） ～Ｐ→～Ｑ １＆Ｅ
４ （４） ～Ｐ Ａ
５（５） Ｑ Ａ
１４ （６） ～Ｑ ３４ＭＰＰ
１４５（７） Ｑ＆～Ｑ ５６＆Ｉ
１ ５（８） ～～Ｐ ４７ＲＡＡ
１ ５（９） Ｐ ５８ＤＮ
１ （ア） Ｑ→ Ｐ ５９ＣＰ
１ （イ）（Ｐ→Ｑ）＆（ Ｑ→ Ｐ） ２ア＆Ｉ
従って、
（01）（02）により、
（03）
いづれにせよ、
（ⅰ）（Ｐ→Ｑ）＆（ Ｑ→ Ｐ）
（〃）（Ｐ→Ｑ）＆（～Ｐ→～Ｑ）
に於いて、
（ⅰ）＝（〃） である。
従って、
（03）により、
（04）
（ⅰ）（ＰならばＱであり、）＆（Ｑならば、 Ｐである。）
（〃）（ＰならばＱであり、）＆（ＰでないならばＱでない。）
に於いて、
（ⅰ）＝（〃） である。
然るに、
（05）
（ⅰ）（ＰならばＱであり、）＆（Ｑならば、 Ｐである。）
を称して、「双条件法（Biconditional）」と言ふ。
従って、
（03）（04）（05）により、
（06）
（ⅰ）（Ｐ→Ｑ）＆（ Ｑ→ Ｐ）
（〃）（Ｐ→Ｑ）＆（～Ｐ→～Ｑ）
（〃）（ＰならばＱであり、）＆（Ｑならば、 Ｐである。）
（〃）（ＰならばＱであり、）＆（ＰでないならばＱでない。）
といふ「論理式・日本語」は、「双条件法」である。
然るに、
（07）
（ⅰ）（Ｐ→Ｑ）＆（Ｑ→Ｐ）＝（Ｐ→Ｑ）＆（～Ｐ→～Ｑ） を、
（〃）（Ｐ⇔Ｑ）といふ風に、「略記」し、
（〃）（Ｐ⇔Ｑ）＝（Ｐ→Ｑ）＆（Ｑ→Ｐ）＝（Ｐ→Ｑ）＆（～Ｐ→～Ｑ） を、すなはち、
（〃）（Ｐ⇔Ｑ）＝（ＰならばＱであり、）＆（ＱならばＰである。）＝（ＰならばＱであり、）＆（ＰでないならばＱでない。） を、
（〃）「双条件法の定義（Ｄｆ.⇔）」とする。
然るに、
（08）
精選版 日本国語大辞典の解説
はいたてき‐ろんりわ【排他的論理和】
〘名〙 論理和（「または」）の解釈の一つ。二つの命題から成る複合命題「ＡまたはＢ」が真となるのはＡとＢのどちらか一方だけが真であるときとする。日常の「または」もこの解釈をとる場合が多い。
従って、
（08）により、
（09）
（ⅱ）（Ｐ→～Ｑ）＆（～Ｐ→Ｑ）
（〃）（ＰならばＱでなく）＆（ＰでないならばＱである）。
といふ「論理式・日本語」は、「排他的論理和」である。
然るに、
（10）
１ （１） （Ｐ→ Ｑ）＆（～Ｐ→～Ｑ） Ａ
１ （２） （Ｐ→～Ｑ）＆（～Ｐ→ Ｑ） Ａ
１ （３） Ｐ→ Ｑ １＆Ｅ
２ （４） Ｐ→～Ｑ ２＆Ｅ
１ （５） ～Ｐ→～Ｑ １＆Ｅ
２ （６） ～Ｐ→ Ｑ ２＆Ｅ
（７） Ｐ∨～Ｐ 排中律
８ （８） Ｐ Ａ
１ ８ （９） Ｑ ３８ＭＰＰ
２８ （ア） ～Ｑ ４８ＭＰＰ
１２８ （イ） Ｑ＆～Ｑ ９ア＆Ｉ
１ ８ （ウ）～｛（Ｐ→～Ｑ）＆（～Ｐ→ Ｑ）｝ ２イＲＡＡ
エ（エ） ～Ｐ Ａ
１ エ（オ） ～Ｑ ５エＭＰＰ
２ エ（カ） Ｑ ６エＭＰＰ
１２ エ（キ） ～Ｑ＆Ｑ オカ＆Ｉ
１ エ（ク）～｛（Ｐ→～Ｑ）＆（～Ｐ→ Ｑ）｝ ２キＲＡＡ
１ （ケ）～｛（Ｐ→～Ｑ）＆（～Ｐ→ Ｑ）｝ ７８ウエク∨Ｅ
１２ （コ） ｛（Ｐ→～Ｑ）＆（～Ｐ→ Ｑ）｝＆
～｛（Ｐ→～Ｑ）＆（～Ｐ→ Ｑ）｝ ２ケ＆Ｉ
１ （サ）～｛（Ｐ→～Ｑ）＆（～Ｐ→ Ｑ）｝ ２コＲＡＡ
従って、
（10）により、
（11）
（１）（Ｐ→ Ｑ）＆（～Ｐ→～Ｑ）
（２）（Ｐ→～Ｑ）＆（～Ｐ→ Ｑ）
に於いて、
（１）を「仮定」し、
（２）を「仮定」すると、
（７）の「排中律」によって、
（２）は「否定」される。
従って、
（11）により、
（12）
（ⅰ）（Ｐ→ Ｑ）＆（～Ｐ→～Ｑ）
（ⅱ）（Ｐ→～Ｑ）＆（～Ｐ→ Ｑ）
に於いて、
（ⅰ）と、
（ⅱ）は「矛盾」する。
然るに、
（13）
（ⅱ）（Ｐ→～Ｑ）＆（～Ｐ→Ｑ） を、
（〃）（Ｐ◇Ｑ）といふ風に、「略記」し、仮に、
（〃）（Ｐ◇Ｑ）＝（Ｐ→～Ｑ）＆（～Ｐ→Ｑ） を、すなはち、
（〃）（Ｐ◇Ｑ）＝（ＰならばＱでなく、）＆（Ｐでないならば、Ｑである。） を、
（〃）「排他的論理和の定義（Ｄｆ.◇）」とする。
従って、
（07）（12）（13）により、
（14）
「Ｄｆ.⇔」と「Ｄｆ.◇」により、
（ⅰ）Ｐ⇔Ｑ
（ⅱ）Ｐ◇Ｑ
に於いて、
（ⅰ）と、
（ⅱ）は「矛盾」する。
然るに、
（15）
（ⅲ）
１ （１） Ｐ⇔ Ｑ Ａ
１ （２）（ Ｐ→ Ｑ）＆
（～Ｐ→ ～Ｑ） １Ｄｆ.⇔
１ （３） Ｐ→ Ｑ ２＆Ｅ
１ （４）（ Ｐ→～～Ｑ） ３ＤＮ
１ （５）（～Ｐ→ ～Ｑ） ２＆Ｅ
１ （６）（ Ｐ→～～Ｑ）＆
（～Ｐ→ ～Ｑ） ４５＆Ｉ
１ （７） Ｐ◇ ～Ｑ ６Ｄｆ.◇
（ⅳ）
１ （１） Ｐ◇ ～Ｑ Ａ
２ （２） Ｐ Ａ
１２ （３） ～～Ｑ １２Ｄｆ.◇
１２ （４） Ｑ ３ＤＮ
１ （５） Ｐ→ Ｑ ２４ＣＰ
６（６） ～Ｐ Ａ
１ ６（７） ～Ｑ １６Ｄｆ.◇
１ （８） ～Ｐ→ ～Ｑ ６７ＣＰ
１ （９）（ Ｐ→ Ｑ）＆
（～Ｐ＆ ～Ｑ） ５８＆Ｉ
１ （ア） Ｐ⇔ Ｑ ９Ｄｆ.⇔
従って、
（15）により、
（16）
（ⅲ）Ｐ⇔ Ｑ
（ⅳ）Ｐ◇～Ｑ
に於いて、
（ⅲ）＝（ⅳ） である。
従って、
（14）（16）により、
（17）
（ⅰ）Ｐ⇔ Ｑ
（ⅱ）Ｐ◇ Ｑ
（ⅲ）Ｐ⇔ Ｑ
（ⅳ）Ｐ◇～Ｑ
に於いて、
（ⅰ）と、
（ⅱ）は「矛盾」し、
（ⅲ）と、
（ⅳ）は「等しい」。
従って、
（18）
Ｐ＝天気が良い。
～Ｐ＝天気が悪い。
Ｑ＝釣りに行く。
～Ｑ＝釣りに行かない。
であるならば、
（ⅰ）天気が良い。⇔ 釣りに行く。
（ⅱ）天気が良い。◇ 釣りに行く。
は、「矛盾」し、
（ⅲ）天気が良い。⇔ 釣りに行く。
（ⅳ）天気が良い。◇ 釣りに行かない。
に於いて、
（ⅲ）と（ⅳ）は「等しい」。
すなはち、
（19）
（α）
（ⅳ）天気が良い。◇ 釣りに行かない。
に於いて、
（１）天気が良い。のあれば、「Ｄｆ.◇」により、
（２）釣りに行かない。が「偽」になるため、
（３）釣りに行く。 が「真」になり、そのため、
（４）天気が良い。ならば、釣りに行く。
（β）
（ⅳ）天気が良い。◇ 釣りに行かない。
に於いて、
（１）天気が悪い。のであれば、「Ｄｆ.◇」により、
（２）釣りに行かない。が「真」になり、そのため、
（３）天気が悪い。のであれば、釣りに行かない。
従って、
（19）により、
（20）
（ⅳ）天気が良い。◇ 釣りに行かない。
であるならば、
（α）天気が良いならば、釣りに行き、
（β）天気が悪いならば、釣りに行かない。
従って、
（06）（07）（13）（20）により、
（21）
（ⅰ）天気が良い。⇔ 釣りに行く。
（ⅳ）天気が良い。◇ 釣りに行かない。
に於いて、
（ⅰ）＝（ⅳ） である。
従って、
（22）
「昨日の記事」で書いた、
（ⅰ）と、
（ⅱ）は「矛盾」するにも拘らず、
（ⅰ）と、
（ⅱ）は「同じ」である。
といふことから、何となく、「弁証法」といふ「用語」を「想起」させる。
といふ「言ひ方」は、マチガイでした。
（23）
（ⅰ）天気が良い。⇔ 釣りに行く。
（ⅳ）天気が良い。◇ 釣りに行かない。
に於ける、
（ⅰ）⇔ 釣りに行く。
（ⅳ）◇ 釣りに行かない。
が「印象的」であっため、「そのやうなこと」を書いてしまったものの、
（ⅰ）天気が良い。⇔ 釣りに行く。
（ⅱ）天気が良い。◇ 釣りに行く。
に於いては、「論理学」でいふ所の、「矛盾」といふ「意味」で、「矛盾」する。
従って、
（24）
「ＡでありかつＡでない」という矛盾が起こればそれは偽だとするのに対し、矛盾を偽だとは決めつけない。
といふのであれば、「弁証法」は、「論理学の否定」である。
といふことに関しては、マチガイではないと、思ってゐる。
然るに、
（25）
本書の著者たちが初めて大学で論理学を学んだのは、１９７０年頃であった。当時は「一般教養の論理学」の講義と称してヘーゲルやマルクスの「弁証法」を教える先生たちがまだ各大学に多数生存してしていた時代である。当時われわれが学んだ記号論理学の新鮮さは記憶に新しい（飯田賢一・中才敏郎・中谷隆雄 著、論理学の基礎、1994年、１８５頁）。
然るに、
（26）
当時はまだ、「一般教養の論理学」の講義と称して「弁証法」を教える先生たちが、各大学に「多数生存していた」。といふ風に、「過去形」で書かれてゐることからすれば、今では、「弁証法」は「時代遅れ」のやうであるし、「弁証法」に対して、「当時われわれが学んだ記号論理学の新鮮さは記憶に新しい。」としてゐることからすれば、「論理学の基礎」の著者である「飯田賢一・中才敏郎・中谷隆雄」先生たちも、「弁証法」は、「論理学」と称するに値しない。
といふ風に、思はれてゐるものと、思はれる。