真偽判定がその真偽判定に対しても行われるべきことの名称

真偽判定がおよそすべての事柄について行われなくてはならないことに正式な名称はついていますか

「真偽判定がおよそすべての事柄について行われなくてはならないこと」や「真偽判定そのものに対しても真偽判定を行うこと」という概念は、論理学や数学の基礎論において非常に重要なテーマですね。 結論から言うと、これにズバリ合致するたった一つの「正式名称」があるわけではありませんが、関連する強力な概念がいくつかあります。 1. 自己言及 (Self-reference) 真偽判定そのものを真偽判定の対象にする、つまり「自分の正しさを自分で判定する」行為は自己言及と呼ばれます。 これが極端な形になると、「この文章は偽である」といった嘘つきのパラドックスを生み出します。 2. 無矛盾性 (Consistency) と 決定可能性 (Decidability) 「およそすべての事柄（命題）について真か偽かが決まらなければならない」という性質は、数学の文脈では決定可能性に近いです。 かつて数学者ヒルベルトは、「数学のあらゆる問題は肯定か否定か判定できるはずだ（決定問題）」と考えましたが、後にゲーデルの不完全性定理によって、「ある体系の中には、真偽を判定できない（証明も反論もできない）命題が必ず存在する」ことが証明されました。 3. 排中律 (Law of Excluded Middle) 「いかなる命題も真か偽のどちらかであり、中間はない」という論理学の規則を排中律と言います。 質問にある「すべての事柄について判定が行われるべき」という考え方は、この排中律を究極まで適用しようとする姿勢と言えるかもしれません。 4. メタ理論 (Meta-theory) / メタ論理 「真偽判定というルールそのもの」について判定を行うことを**メタ（高次）**な視点と言います。 * 対象言語: 真偽を判定される側のルール * メタ言語: そのルールが正しいかどうかを判定する、一段上のルール このように階層を分けることで、無限ループやパラドックスを回避しようとするのが現代論理学のアプローチです。 もし、特定の哲学的な文脈（例えば「あらゆる価値観を客観的に裁くべきだ」といった意味）で探されているのであれば、普遍主義や論理実証主義といった言葉も関わってくるかもしれません。 以上、生成AIによる回答でした。