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

В логика, а логическая константа из язык ${displaystyle {mathcal {L}}}$ это символ это то же самое семантическое значение под каждым интерпретация из ${displaystyle {mathcal {L}}}$. Два важных типа логических констант: логические связки и кванторы. В равенство предикат (обычно пишется '=') также рассматривается как логическая константа во многих системы логики.

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

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

Символ	Значение на английском языке
Т	"истинный"
F	"ложный "
¬	"нет "
∧	"и "
∨	"или же "
→	"подразумевает "," если ... то "
∀	"для всех "
∃	"Существует ", "для некоторых"
=	"равно "
${displaystyle Box }$	"обязательно"
${displaystyle Diamond }$	"возможно"

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

Смотрите также

• Нелогический символ
• Логическое значение
• Логическая связка

Рекомендации

1. Карнап

внешняя ссылка

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