Предложение обозначает один из двух абстрактных предметов: «истину» (в себе) или «ложь» (в себе)

Таким образом, предметная область (универсум рассуждения) ЯЛФРТ дополняется двумя абстрактными предметами: истина и ложь; каждое предложение ЯЛФРТ рассматривается как имя одного из этих двух предметов. В процессе логического анализа посредством ЯЛФРТ мы отвлекаемся от решения вопроса, каким образом может быть установлена истинность или ложность элементарного предложения (то есть не содержащего в своем составе других предложений); мы принимаем, следовательно, предпосылку, согласно которой каждое предложение ЯЛФРТ истинно или ложно «само по себе»; фактически здесь в структуре ЯЛФРТ реализуется принцип (закон) исключенного третьего классической логики.

Различие семантики предложения естественного языка и ЯЛФРТ представлено в следующих схемах.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: