Аналитическая философия

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

Инкорпорируя знак суждения в структуру выражения мысли, Фреге не рассматривает его как конструкцию, аналогичную перформативным выражениям типа ‘Я утверждаю...’, ‘Он утверждает...’ и т.п. Знак суждения, выражающий утвердительную силу, никогда не может быть включен в содержание предложения, поскольку, согласно Фреге, приписанное перформативу предложение имеет косвенное вхождение в выражение, и как таковое имеет смысл и значение, отличные от смысла и значения исходного предложения. Так, значением косвенного предложения, подчиненного перформативу, является не истина или ложь, а его обычный смысл. Поэтому немецкий логик говорит именно о форме утвердительного предложения, которая соответствует знаку ‘((’ в естественном языке. Поскольку признание истинным зависит исключительно от формы утвердительного предложения, постольку оно также не имеет никакого отношения к чувству субъективной уверенности, сопровождающему психологическое осуществление акта суждения. Признание истинным – объективный процесс, характеризующий форму выражения мысли.

Знак суждения по Фреге может рассматриваться как общий всем предложениям предикат, типа “Истинно, что p” или “Имеет место p”. Так как предложения рассматриваются как имена, последнее вполне оправданно, поскольку с точки зрения грамматики конструкция “(( p” представляет собой глагол, приписанный имени.