В логике логическая константа или константный символ языка — это символ , который имеет одно и то же семантическое значение при каждой интерпретации . Двумя важными типами логических констант являются логические связки и квантификаторы . Предикат равенства (обычно обозначаемый как '=') также рассматривается как логическая константа во многих системах логики .
Одним из основных вопросов в философии логики является вопрос «Что такое логическая константа?»; [1] то есть, какая особенность некоторых констант делает их логическими по своей природе? [2]
Вот некоторые символы, которые обычно рассматриваются как логические константы:
Многие из этих логических констант иногда обозначаются альтернативными символами (например, использование символа «&» вместо «∧» для обозначения логического «И» ).
Определение логических констант является основной частью работы Готтлоба Фреге и Бертрана Рассела . Рассел вернулся к теме логических констант в предисловии ко второму изданию (1937) « Принципов математики», отметив, что логика становится лингвистической: «Если мы хотим сказать о них что-то определенное, [их] следует рассматривать как часть языка, а не как часть того, о чем говорит язык». [3] В тексте этой книги отношения R , их обратные и дополняющие используются как примитивные понятия , также рассматриваемые как логические константы в форме aRb .
