Оно исследует, например, в каком смысле и как существуют любые истинные и ложные высказывания и каковы общие условия (conditions), которым должны соответствовать все мысли или знаки всех типов для того, чтобы утверждать нечто