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