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

Логическая константа Логическая константа — постоянный символ языка с одинаковым семантическим значением при любой интерпретации.  Двумя важными типами логических констант […]

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

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

Полный текст статьи:

Логическая константа — Википедия

Оставьте комментарий

Прокрутить вверх