Логическая константа
В логике — логическая константа или постоянный символ языка . Символ , имеющий одно и то же смысловое значение при любой интерпретации . . Двумя важными типами логических констант являются логические связки и кванторы . Предикат равенства (обычно обозначаемый «=») также рассматривается как логическая константа во многих системах логики .
Один из фундаментальных вопросов философии логики : «Что такое логическая константа?»; [1] то есть какая особенность определенных констант делает их логическими по своей природе? [2]
Некоторые символы, которые обычно рассматриваются как логические константы:
Символ | Значение на английском |
---|---|
Т | "истинный" |
Ф, ⊥ | " ЛОЖЬ " |
¬ | " нет " |
∧ | " и " |
∨ | " или " |
→ | « подразумевается », «если… то» |
∀ | " для всех " |
∃ | « существует », «для некоторых» |
= | " равно " |
"обязательно" | |
"возможно" |
Многие из этих логических констант иногда обозначаются альтернативными символами (например, использование символа «&», а не «∧» для обозначения логических и ).
Определение логических констант является основной частью работы Готлоба Фреге и Бертрана Рассела . Рассел вернулся к теме логических констант в предисловии ко второму изданию (1937 г.) « Основ математики», отметив, что логика становится лингвистической: «Если мы хотим сказать о них что-то определенное, [они] должны рассматриваться как часть языке, а не как часть того, о чем этот язык говорит». [3] В тексте этой книги используются отношения R , их обратные и дополнения в качестве примитивных понятий , принимаемые также как логические константы в форме aRb .
См. также [ править ]
Ссылки [ править ]
- ^ Пикок, Кристофер (6 мая 1976 г.). «Что такое логическая константа?» . Журнал философии . 73 (9): 221–240. дои : 10.2307/2025420 . JSTOR 2025420 . Проверено 12 января 2022 г.
- ^ Карнап, Рудольф (1958). Введение в символическую логику и ее приложения . Нью-Йорк: Дувр.
- ^ Бертран Рассел (1937) Предисловие к «Принципам математики» , страницы с ix по xi