Предикат истины
 | Эта статья нуждается в дополнительных цитатах для проверки . ( январь 2021 г. ) |
В формальных теориях истины предикат истины — это фундаментальное понятие, основанное на предложениях формального языка , интерпретируемых логически. То есть он формализует концепцию, которая обычно выражается словами о том, что предложение, утверждение или идея «истинны».
допускающие предикат истинности , Языки
На основании «Определения Хомского» предполагается, что язык представляет собой счетный набор предложений, каждое из которых имеет конечную длину и построен из счетного набора символов. Предполагается, что теория синтаксиса вводит символы и правила построения правильно построенных предложений. Язык называется полностью интерпретируемым, если к его предложениям приписаны значения так, что все они либо истинны, либо ложны.
Полностью интерпретируемый язык L , не имеющий предиката истинности, может быть расширен до полностью интерпретируемого языка Ľ. которое содержит предикат истинности T , т. е. предложение A ↔ T (⌈ A ⌉) истинно для каждого предложения A из Ľ , где T (⌈ A ⌉) означает «предложение (обозначаемое) A истинно». Основными инструментами доказательства этого результата являются обычная и трансфинитная индукция , рекурсивные методы и теория множеств ZF (см. [1] и [2] ).
См. также [ править ]
Ссылки [ править ]
 | Эта логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |
 | Эта лингвистическая статья незавершена . Вы можете помочь Википедии, расширив ее . |