Страница 18 из 58
В естественном языке различие между содержанием предложения и его утверждением скрыто самой формой выражения. В структуре повествовательного предложения нет ничего такого, что позволило бы отличить простую констатацию мысли от признания ее истинной. В естественном языке это противопоставление скрыто, в частности, тем обстоятельством, что отсутствует особый знак суждения, подобный ‘?’ и ‘!’. Однако выделение особой утвердительной силы, основанное на противопоставлении запроса и суждения, необходимо, как считает Фреге, ввести в формальный язык описания логических структур, в котором все различия должны быть явно артикулированы. Для этого он использует особый знак суждения ‘((’. Различая суждение и саму мысль, он пишет: «В простом равенстве еще нет утверждения; “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. Таким образом, отрицание относится не к форме выражения, как это имеет место в традиционной логике, которая различает утвердительные и отрицательные суждения, а к элементам, связанным с содержанием. Мысль, выраженная в предложении, в этом смысле нейтральна, как вообще нейтрален способ данности объектов, каковыми в данном случае выступают истина и ложь.
Инкорпорируя знак суждения в структуру выражения мысли, Фреге не рассматривает его как конструкцию, аналогичную перформативным выражениям типа ‘Я утверждаю...’, ‘Он утверждает...’ и т.п. Знак суждения, выражающий утвердительную силу, никогда не может быть включен в содержание предложения, поскольку, согласно Фреге, приписанное перформативу предложение имеет косвенное вхождение в выражение, и как таковое имеет смысл и значение, отличные от смысла и значения исходного предложения. Так, значением косвенного предложения, подчиненного перформативу, является не истина или ложь, а его обычный смысл. Поэтому немецкий логик говорит именно о форме утвердительного предложения, которая соответствует знаку ‘((’ в естественном языке. Поскольку признание истинным зависит исключительно от формы утвердительного предложения, постольку оно также не имеет никакого отношения к чувству субъективной уверенности, сопровождающему психологическое осуществление акта суждения. Признание истинным – объективный процесс, характеризующий форму выражения мысли.
Знак суждения по Фреге может рассматриваться как общий всем предложениям предикат, типа “Истинно, что p” или “Имеет место p”. Так как предложения рассматриваются как имена, последнее вполне оправданно, поскольку с точки зрения грамматики конструкция “(( p” представляет собой глагол, приписанный имени.
Введение знака суждения основано не только на соображениях, связанных с формой выражения мысли. Важную роль знак суждения играет в структуре вывода. В качестве элементов вывода, как считает Фреге, могут использоваться только такие предложения, которые высказаны с утвердительной силой (т.е. соответствующая им мысль должна быть признана истинной), поскольку вывод заключается в вынесении суждений, осуществляемом на основе уже вынесенных ранее суждений, согласно логическим законам. Каждая из посылок есть определенная мысль, признанная истинной; точно так же признается истинной определенная мысль в суждении, которое является заключением вывода. Последнее можно прояснить специальным случаем c правилом вывода modus ponens, которое Фреге в своем шрифте понятий рассматривает в качестве единственного способа получения следствий и которое иллюстрирует еще один аргумент в пользу введения в структуру вывода особой утвердительной силы, связанной с формой повествовательного предложения в естественном языке и знаком ‘((’ в символическом языке. С точки зрения последнего, выделение особой формы суждения позволяет предотвратить petitio principi, скрытое в форме условно-категорического умозаключения. В “Если p, то q; p. Следовательно, q” заключение уже присутствует в условной посылке. Однако если в это умозаключение явно ввести знак ‘((’, то petitio principi можно избежать. В “(( Если p, то q; (( p. Следовательно,(( q” заключение в условной посылке не содержится, поскольку “(( q” не совпадает с “q”.
В силу этого Фреге считал необходимым ввести в свое «исчисление понятий» особый знакутверждения. Он указывал, что в простом равенстве «22 = 4» не содержится никакого утверждения. Это равенство просто обозначает некоторое истинностное значение. Чтобы показать, что речь идет именно об утверждении истины, Фреге предпосылает имени истинностного значения знак «((», так что в предложении «((22 = 4» утверждается, что квадрат двух есть четыре.
В «Основоположениях арифметики» Фреге указывал: «В простом равенстве еще нет утверждения; “2 + 3 = 5” только обозначает истинностное значение, ничего не говоря о том, какое из двух. Кроме того, если я написал
“2 + 3 = 5” = “2 =2”
и предполагается, что 2 = 2 есть Истина, я тем самым еще не утверждал, что сумма 2 и 3 равна 5; скорее, я только обозначил истинностное значение “2 + 3 = 5” означает то же самое, что и “2 = 2”. Нам, следовательно, требуется другой, особый знак для того, чтобы мы могли утверждать нечто как истинное. Для этой цели я предпосылаю знак «((» имени истинностного значения, так что, например, в
«((22 = 4»
утверждается, что квадрат двух есть четыре. Я отличаю суждение от мысли следующим образом: под суждением я понимаю признание истинности мысли».
Если повествовательные предложения являются именами, обозначающими абстрактные предметы «истинность» и «ложность», то по отношению к их истинностнымзначениям должен сохранять свою силу принцип взаимозаменимости равнозначных языковых выражений.Это означает, что если в сложном предложении одну из его составных частей, в свою очередь являющуюся предложением, заменить другим предложением, обладающим тем же самым значением, хотя быть может и отличающимся от первого по смыслу, то истинностное значение полученного предложения не изменится. В этой связи Фреге отмечает:
57
Frege G. Grundgesetze. S.9.
58
Ibid. S.10.