Логическая константа

В логике — логическая константа или постоянный символ языка . ${\mathcal {L}}$ Символ , имеющий одно и то же смысловое значение при любой интерпретации . ${\mathcal {L}}$ . Двумя важными типами логических констант являются логические связки и кванторы . ( Предикат равенства обычно обозначаемый «=») также рассматривается как логическая константа во многих системах логики .

Один из фундаментальных вопросов философии логики : «Что такое логическая константа?»; ^[1] то есть какая особенность определенных констант делает их логическими по своей природе? ^[2]

Некоторые символы, которые обычно рассматриваются как логические константы:

Символ	Значение на английском
Т	"истинный"
Ф, ⊥	" ЛОЖЬ "
¬	" нет "
∧	" и "
∨	" или "
→	« подразумевается », «если… то»
∀	" для всех "
∃	« существует », «для некоторых»
=	" равно "
$\Box$	"обязательно"
$\Diamond$	"возможно"

Многие из этих логических констант иногда обозначаются альтернативными символами (например, использование символа «&», а не «∧» для обозначения логических и ).

Определение логических констант является основной частью работы Готлоба Фреге и Бертрана Рассела . Рассел вернулся к теме логических констант в предисловии ко второму изданию (1937 г.) « Основ математики», отметив, что логика становится лингвистической: «Если мы хотим сказать о них что-то определенное, [они] должны рассматриваться как часть языке, а не как часть того, о чем этот язык говорит». ^[3] В тексте этой книги используются отношения R , их обратные и дополнения в качестве примитивных понятий , принимаемые также как логические константы в форме aRb .

См. также [ править ]

Ссылки [ править ]

^ Пикок, Кристофер (6 мая 1976 г.). «Что такое логическая константа?» . Журнал философии . 73 (9): 221–240. дои : 10.2307/2025420 . JSTOR 2025420 . Проверено 12 января 2022 г.
^ Карнап, Рудольф (1958). Введение в символическую логику и ее приложения . Нью-Йорк: Дувр.
^ Бертран Рассел (1937) Предисловие к «Принципам математики» , страницы с ix по xi

Внешние ссылки [ править ]

Статья о логических константах в Стэнфордской энциклопедии философии

Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее .

[1] Пикок, Кристофер (6 мая 1976 г.). «Что такое логическая константа?» . Журнал философии . 73 (9): 221–240. дои : 10.2307/2025420 . JSTOR 2025420 . Проверено 12 января 2022 г.

[2] Карнап, Рудольф (1958). Введение в символическую логику и ее приложения . Нью-Йорк: Дувр.

[3] Бертран Рассел (1937) Предисловие к «Принципам математики» , страницы с ix по xi

[1]

[2]

[3]