PhilosophyDay

1.2.2 Значение и смысл предложений

Другая философия / Аналитическая философия / Введение. Эволюция и основные характеристики аналитической философии / 1.2 Логико-семантические идеи Г.Фреге / 1.2.2 Значение и смысл предложений

Страница 6

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

Так, значением косвенного предложения, подчиненного перформативу, является не истина или ложь, а его обычный смысл. Поэтому немецкий логик говорит именно о форме утвердительного предложения, которая соответствует знаку ‘÷¾’ в естественном языке. Поскольку признание истинным зависит исключительно от формы

утвердительного предложения, постольку оно также не имеет никакого отношения к чувству субъективной уверенности, сопровождающему психологическое осуществление акта суждения. Признание истинным – объективный процесс, характеризующий форму выражения мысли.

Знак суждения по Фреге может рассматриваться как общий всем предложениям предикат, типа “Истинно, что p

” или “Имеет место p

”. Так как предложения рассматриваются как имена, последнее вполне оправданно, поскольку с точки зрения грамматики конструкция “÷¾ p

” представляет собой глагол, приписанный имени.

Введение знака суждения основано не только на соображениях, связанных с формой выражения мысли. Важную роль знак суждения играет в структуре вывода. В качестве элементов вывода, как считает Фреге, могут использоваться только такие предложения, которые высказаны с утвердительной силой (т.е. соответствующая им мысль должна быть признана истинной), поскольку вывод заключается в вынесении суждений, осуществляемом на основе уже вынесенных ранее суждений, согласно логическим законам. Каждая из посылок есть определенная мысль, признанная истинной; точно так же признается истинной определенная мысль в суждении, которое является заключением вывода. Последнее можно прояснить специальным случаем c правилом вывода modus

ponens

, которое Фреге в своем шрифте понятий рассматривает в качестве единственного способа получения следствий и которое иллюстрирует еще один аргумент в пользу введения в структуру вывода особой утвердительной силы, связанной с формой повествовательного предложения в естественном языке и знаком ‘÷¾’ в символическом языке. С точки зрения последнего, выделение особой формы суждения позволяет предотвратить petitio

principi

, скрытое в форме условно-категорического умозаключения. В “Если

p

, то

q

;

p

. Следовательно,

q

” заключение уже присутствует в условной посылке. Однако если в это умозаключение явно ввести знак ‘÷¾’, то petitio

principi

можно избежать. В “÷¾ Если

p

, то

q

;

÷¾ p

. Следовательно,

÷¾ q

” заключение в условной посылке не содержится, поскольку “÷¾ q

” не совпадает с “q

”.

В силу этого Фреге считал необходимым ввести в свое «исчисление понятий» особый знак утверждения

. Он указывал, что в простом равенстве «22 = 4» не содержится никакого утверждения. Это равенство просто обозначает некоторое истинностное значение. Чтобы показать, что речь идет именно об утверждении истины, Фреге предпосылает имени истинностного значения знак «ú¾», так что в предложении «ú¾22 = 4» утверждается, что квадрат двух есть четыре.