В естественном языке различие между содержанием предложения и его утверждением скрыто самой формой выражения. В структуре повествовательного предложения нет ничего такого, что позволило бы отличить простую констатацию мысли от признания ее истинной. В естественном языке это противопоставление скрыто, в частности, тем обстоятельством, что отсутствует особый знак суждения, подобный ‘?’ и ‘!’. Однако выделение особой утвердительной силы, основанное на противопоставлении запроса и суждения, необходимо, как считает Фреге, ввести в формальный язык описания логических структур, в котором все различия должны быть явно артикулированы. Для этого он использует особый знак суждения ‘((’. Различая суждение и саму мысль, он пишет: «В простом равенстве еще нет утверждения; “2+3=5” только обозначает истинностное значение, не говоря о том, какое из двух. Кроме того, если я написал “(2+3=5)=(2=2)” и предполагается, что мы знаем, что 2=2 есть истина, я тем самым все еще не утверждал, что сумма 2 и 3 равна 5; скорее я только обозначил истинностное значение “2+3=5” означает то же самое, что и “2=2”. Нам, следовательно, требуется другой, особый знак, для того чтобы мы могли утверждать нечто как истинное. Для этой цели я предпосылаю знак ‘((’ имени истинностного значения, так что, например, в “(( 22=4” утверждается, что 2 в квадрате равно 4. Я отличаю суждение от мысли следующим образом: под суждением я понимаю признание истинности мысли»57.
Своеобразие формальной системы, созданной Фреге, состоит в том, что на ее языке можно выразить как предложения, высказанные с утвердительной силой, так и простую констатацию. В последнем случае немецкий логик использует знак ‘(’, который помещает перед предложением. Этот знак является составной частью знака суждения ‘((’, и только вертикальная черта превращает констатацию в признание истинным. Различие констатации и суждения позволяет избавиться от традиционной классификации суждений на положительные и отрицательные. С точки зрения Фреге, нет никакой специфической отрицательной силы, для формальной системы достаточен только знак утверждения. Отрицание не затрагивает акт суждения и интегрировано в формальную запись на уровне констатации, поскольку, как указывалось выше, отрицание представляет собой одноместную истинностно-истинностную функцию. Знак суждения служит для утверждения, что истинностным значением предложения является истина, но «нам не нужен специальный знак, для того чтобы объявить, что истинностным значением является ложь, поскольку мы обладаем знаком, посредством которого истинностное значение изменяется на противоположное; это также необходимо и по другим основаниям. Теперь я ставлю условием: значением функции ‘( (p’ будет ложь для каждого аргумента, для которого значением функции ‘( p’ будет истина; и будет истина для всех других аргументов. Соответственно, в ‘( (p’ мы имеем функцию, значением которой всегда является истинностное значение; это – понятие, под которое подпадет каждый объект, единственно за исключением истины... При принятых нами условиях ‘( ((22=5)’ есть истина; а потому: ‘( ((22=5)’, используя слова: ‘22=5 не есть истина’; или: ‘2 в квадрате не равно 5’»58. Таким образом, отрицание относится не к форме выражения, как это имеет место в традиционной логике, которая различает утвердительные и отрицательные суждения, а к элементам, связанным с содержанием. Мысль, выраженная в предложении, в этом смысле нейтральна, как вообще нейтрален способ данности объектов, каковыми в данном случае выступают истина и ложь.
Инкорпорируя знак суждения в структуру выражения мысли, Фреге не рассматривает его как конструкцию, аналогичную перформативным выражениям типа ‘Я утверждаю...’, ‘Он утверждает...’ и т.п. Знак суждения, выражающий утвердительную силу, никогда не может быть включен в содержание предложения, поскольку, согласно Фреге, приписанное перформативу предложение имеет косвенное вхождение в выражение, и как таковое имеет смысл и значение, отличные от смысла и значения исходного предложения. Так, значением косвенного предложения, подчиненного перформативу, является не истина или ложь, а его обычный смысл. Поэтому немецкий логик говорит именно о форме утвердительного предложения, которая соответствует знаку ‘((’ в естественном языке. Поскольку признание истинным зависит исключительно от формы утвердительного предложения, постольку оно также не имеет никакого отношения к чувству субъективной уверенности, сопровождающему психологическое осуществление акта суждения. Признание истинным – объективный процесс, характеризующий форму выражения мысли.