ポスト

下のスレッドにもあるとおり、一般的な論理学としては「大変具合が悪い」と考えるのが通常だと思います。(banban7866さんもそういう「相反」な「区別」は合理的でない、という点は同意されていると私は理解しています。)

メニューを開く
S (ツイートはスレッド全体をご確認ください)@esumii

自由変数を暗に全称化する解釈(それはよくある)じゃなくて、「命題」と「条件」(述語)を区別して⇒は「条件⇒条件」だけ全称「命題」として定義する、という話です。読めばそう書いてありますが念のため。

S (ツイートはスレッド全体をご確認ください)@esumii

Yahoo!リアルタイム検索アプリ