論理学について

論理的に正しい推論というのは、どのような推論なのでしょうか？

質問者からの補足コメント

• 前提と結論の含意(等値)関係という観点では、どのような説明が考えられますか？

    補足日時：2024/09/05 06:20

No.1 回答者： 春閑 回答日時： 2024/08/29 10:25

例えば、論理的に反論するのが難しい推論ということでしょう。

でも、普通、論理的に正しい推論というのは。テーマが同じでもいくらでも出てきそうです。

この回答へのお礼

ありがとうございます。
論理的に反論するのが難しい推論であれば、それは論理的に正しい推論であるというのは、
論理的に正しい推論であれば、それは論理的に反論するのが難しい推論である。
も成り立つという認識で合っていますか？

お礼日時：2024/08/29 11:32

No.2 回答者： 春閑 回答日時： 2024/08/29 12:49

その通りだと思います。

もとろん、「論理的に正しい推論」の具体例が示されておりませんので、仮説のひとつにしか過ぎませんが。

この回答へのお礼

今回、回答者より示された前提「論理的に反論するのが難しい推論であれば、それは論理的に正しい推論である。」

の文について、前件部分(論理的に反論するのが難しい)を¬p、後件部分をqとした場合、前提文は¬p→qと表される。
これをφとし、一方の結論文(q→¬p)をψとして、⊢φ↔︎ψについての真理値分析をしていく中で、T(q)=1かつT(p)=1のときにT(φ→ψ)=0となり、よってこれは整合であって恒真ではなく、つまり「論理的に反論するのが難しい推論であれば、それは論理的に正しい推論である。」と結論することができない。という結果になると考えられるのですが、これを解決するにはどう考えれば良いのかよく分かりません…

別の観点から改めて考えてみたいと思います。
ありがとうございました。

お礼日時：2024/09/05 14:09