Loading article…
論理学において、言語の論理定数または定数記号は、あらゆる解釈において同じ意味値を持つ記号である。論理定数には、論理結合子と量化子という2つの重要な種類があります。等号述語（通常は「=」と表記される）も、多くの論理体系において論理定数として扱われます。
論理哲学における根本的な問いの一つは、「論理定数とは何か？」[ 1 ]、つまり、特定の定数のどのような特別な特徴が、それらを論理的な性質にしているのか？[ 2 ]である。
論理定数として一般的に扱われる記号には、次のようなものがあります。
これらの論理定数の多くは、別の記号で表されることがあります（たとえば、論理積を表すのに「∧」ではなく「&」という記号を使用するなど）。
論理定数の定義は、ゴットロープ・フレーゲとバートランド・ラッセルの研究の重要な部分である。ラッセルは『数学原理』第2版（1937年）の序文で論理定数の主題に戻り、論理が言語的になることを指摘している。「それらについて何か明確なことを言うためには、それらは言語が語るものの一部としてではなく、言語の一部として扱われなければならない。」[ 3 ]本書の本文では、関係R、その逆と補元を原始概念として使用しており、これらはaRb の形式で論理定数としても扱われている。
