Логическая константа
- Логическая константа — постоянный символ языка с одинаковым семантическим значением при любой интерпретации.
- Двумя важными типами логических констант являются логические связки и кванторы.
- Предикат равенства также рассматривается как логическая константа во многих системах логики.
- Определение логических констант является основной частью работы Готлоба Фреге и Бертрана Рассела.
- Рассел отметил, что логика становится лингвистической, и логические константы должны рассматриваться как часть языка.
- В тексте книги отношения R, их преобразования и дополнения используются как примитивные понятия, принимаемые за логические константы.
Полный текст статьи: