論理における公準とは何ですか?

論理学において、公準または公準とは、証明なしに真であると仮定されるステートメントです。これは、推論や議論の基礎として使用される基本的な原則または公理です。公準は、理論の一貫性を確立したり、結論の妥当性を証明したりするために、数学や論理などの形式的なシステムでよく使用されます。

アリストテレスの三段論法の文脈では、公準は、次のような三段論法の基礎となる基本原則です。無矛盾の法則と排中の法則。これらの原則は、証明なしで真であると想定され、前提から結論を演繹するための基礎として機能します。要約すると、公準または公準は、証明なしで真であると想定され、理論における基本原則または公理として機能します。論理的なシステム。