Согласно Т - конвенции Тарского, критерием адекватности теории будет то, соблюдают ли из нее все Т - предложения[9], но мы наверное не умеем задать подобное следование для интенсиональных контекстов. В подобном эпизоде, если T - теория предначертана предназначаться теорией значения, то она должна быть T - теорией подобного облика, какая умеет отображать значения. Тождественная T - теория для типа A будет держать теоремы ( 1 ) — ( 2 ), но не теоремы ( 3 ) — ( 4 ). В противоположном эпизоде следует отстранить обстоятельства адекватности.

Согласно Т - конвенции Тарского, критерием адекватности теории будет то, соблюдают ли из нее все Т - предложения[9], но мы наверное не умеем задать подобное следование для интенсиональных контекстов. В подобном эпизоде, если T - теория предначертана предназначаться теорией значения, то она должна быть T - теорией подобного облика, какая умеет отображать значения. Тождественная T - теория для типа A будет держать теоремы ( 1 ) — ( 2 ), но не теоремы ( 3 ) — ( 4 ). В противоположном эпизоде следует отстранить обстоятельства адекватности.