証拠チェッカーのバグが大きな証拠を無効にしたことはありますか?

たいていの(すべて?)証拠アシスタントは時々正しきバグを修正しています。しかし、私が見てきたこれらのバグは、意図せずに出くわすのが普通ではなく、バグが修正される前に実証された結果は、一般的には修正後のものです。 3つの質問、強さの順に: このような健全性のバグ修正により、証明を変更せずに大きな証明が失敗することがありましたか? (1)が真であれば、証明を修正するために大きな変更が必要でしたか? (2)が真であれば、健全性のバグのために誰かが間違った大定理を証明したことがありますか? 私は “メジャー”の定義を他&

もっと読む

仮説の1つが偽であっても、議論は有効であるか?

議論はその論理的形態によって有効であるが、誤った前提を含んでいる可能性はあるか?言い換えれば、引数自体が論理的に有効であっても、前提が誤っている可能性がありますか? 前もって感謝します! (文脈について:最初の質問は、その論理的な形で「真実である」と思われても、議論が偽である可能性があるかどうかであった。論理的に有効ですか?) ベストアンサー まず、議論が真実か偽であるかは実際には言いません。 ステートメントは真または偽ですが、引数にはさまざまな種類のプロパティがあります。 これらのプロパティの1つは、あなたが明らかに&#

もっと読む

これらの基本的な議論は有効で健全だと考えられていますか

私は哲学書を作るためのいくつかの基本的な議論を考え出しており、次の議論が有効で健全かどうか疑問です。助けてくれてありがとう! 人間に欠陥がある場合、それらは不完全な存在です。 人間には欠陥があります。 したがって、彼らは不完全な存在です。 人間は完全であるか、欠陥があります。 人間は完璧ではありません。 したがって、彼らには欠陥があります。 どちらの美も客観的でも主観的でもあります。 美しさは誰にとっても同じではありません。 したがって、美しさは個人の意見によって決定されます。 法律が秩序を達成すれば、法律は社&#x4F1

もっと読む