WikiDer > Предикат истины

Truth predicate

В формальных теориях правда, а предикат истины фундаментальная концепция, основанная на фразы из формальный язык как интерпретируется логически. То есть он формализует понятие, которое обычно выражается, говоря, что предложение, утверждение или идея «истинны».

Языки, допускающие предикат истины

На основе "определения Хомского" язык считается счетный набор предложений конечной длины, построенных из счетного набора символов. Предполагается, что теория синтаксиса вводит символы, а правила построения правильно сформированный фразы. Язык называется полностью интерпретируемым, если его предложениям приданы значения, так что все они либо истинны, либо ложны.

Полностью интерпретируемый язык L который не имеет предиката истинности, может быть расширен до полностью интерпретируемого языка Ľкоторый содержит предикат истины Т, т.е. предложение АТ(⌈А⌉) верно для каждого предложения А из Ľ, куда Т(⌈А⌉) означает «предложение (обозначается) А верно ". Основными инструментами доказательства этого результата являются обычный и трансфинитная индукция, методы рекурсии и Теория множеств ZF (ср.[1] и [2]).

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

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

  1. ^ С. Хейккиля, математически выведенная теория истины и ее свойства. Нелинейные исследования, 25, 1, 173--189, 2018
  2. ^ С. Хейккиля, Последовательная теория истины для языков, которые соответствуют классической логике. Нелинейные исследования (в печати)