Логическая константа - Logical constant
В логике , А логическая константа из языка является символом , который имеет то же смысловое значение при каждой интерпретации из . Два важных типа логических констант - это логические связки и кванторы . Равенство сказуемое (обычно пишется «=») также рассматривается как логическая константа во многих системах логики .
Один из фундаментальных вопросов философии логики : «Что такое логическая константа?»; то есть какая особенность некоторых констант делает их логичными по своей природе?
Вот некоторые символы, которые обычно рассматриваются как логические константы:
| Условное обозначение | Значение на английском языке |
|---|---|
| Т | "правда" |
| F | " ложь " |
| ¬ | " не " |
| ∧ | " и " |
| ∨ | " или " |
| → | " подразумевает ", "если ... то" |
| ∀ | " для всех " |
| ∃ | " существует ", "для некоторых" |
| знак равно | " равно " |
| "обязательно" | |
| "возможно" |
Многие из этих логических констант иногда обозначаются альтернативными символами ( например , использование символа «&» вместо «∧» для обозначения логического и ).
Определение логических констант - основная часть работы Готтлоба Фреге и Бертрана Рассела . Рассел вернулся к теме логических констант в предисловии ко второму изданию (1937 г.) «Принципов математики», отметив, что логика становится лингвистической: «Если мы хотим сказать что-то определенное о них, [они] должны рассматриваться как часть язык, а не как часть того, о чем говорит язык ». В тексте этой книги отношения R, их преобразования и дополнения используются как примитивные понятия , также взятые как логические константы в форме aRb.
Смотрите также
использованная литература
внешние ссылки
 |
Эта статья о логике - незавершенная . Вы можете помочь Википедии, расширив ее . |